Maths WorkshopMaths problems with full solutions
Exercise 692Topology › Topology of Mn(ℝ) › ConnectednessL2Added 7 Nov 2026

Spectral radius balls and star-shaped sets

#spectral radius#star-shaped#norm ball

Statement

Let ρ(A)\rho(A) be the spectral radius (the largest modulus of an eigenvalue of A∈Mn(R)A\in M_n(\mathbb{R})).

  1. Show that {A:ρ(A)<1}\{A:\rho(A)<1\} and {A:∥A∥<1}\{A:\|A\|<1\} are path connected.
  2. Show that {A:ρ(A)>1}\{A:\rho(A)>1\} is not star-shaped about 00.
Hint

How do ρ(tA)\rho(tA) and ∥tA∥\|tA\| depend on t≥0t\ge0?

Show solutionHide solution

Solution

Idea. Scaling by t∈[0,1]t\in[0,1] shrinks both ρ\rho and ∥⋅∥\|\cdot\|, so the sets are star-shaped about 00.

1. The eigenvalues of tAtA are tλt\lambda for the eigenvalues λ\lambda of AA, so ρ(tA)=tρ(A)\rho(tA)=t\rho(A) for t≥0t\ge0. Also ∥tA∥=t∥A∥\|tA\|=t\|A\|. If ρ(A)<1\rho(A)<1 then ρ(tA)=tρ(A)<1\rho(tA)=t\rho(A)<1 for every t∈[0,1]t\in[0,1], so the segment from AA to 00 stays in {ρ<1}\{\rho<1\}. Same for {∥A∥<1}\{\|A\|<1\}. Every point is joined to 00, so both sets are path connected.

2. Suppose ρ(A)>1\rho(A)>1. Then ρ(tA)=tρ(A)\rho(tA)=t\rho(A) is <1<1 as soon as t<1/ρ(A)t<1/\rho(A). In particular 0∈0\in the segment [0,A][0,A] is *not* in {ρ>1}\{\rho>1\} (indeed ρ(0)=0\rho(0)=0), and neither are the points tAtA with small t>0t>0. So the segment from 00 to AA leaves the set {ρ>1}\{\rho>1\}: it is not star-shaped about 00 (and 00 doesn't even belong to it).

Remark. For n=1n=1, {∣a∣>1}=(−∞,−1)∪(1,∞)\{|a|>1\}=(-\infty,-1)\cup(1,\infty) is not even connected. Also note the inclusion {∥A∥<1}⊂{ρ(A)<1}\{\|A\|<1\}\subset\{\rho(A)<1\} (since ρ(A)≤∥A∥\rho(A)\le\|A\|), strict as soon as n≥2n\ge2 (for example (0200)\begin{pmatrix}0&2\\0&0\end{pmatrix} is nilpotent, so ρ=0\rho=0, but has norm 22).