Idea. Once ρ is known to be continuous, the topology follows from the homogeneity ρ(tA)=∣t∣ρ(A), exactly as for a norm (even though ρ is not a norm).
Step 1: ρ is continuous. Let Ak→A. The characteristic polynomials χAk have coefficients converging to those of χA. By the continuity of roots (Part 3: every root of χAk is within Cηk1/n of a root of χA and vice versa, with ηk→0), we get ∣ρ(Ak)−ρ(A)∣→0. (The estimate behind this: if p,q are monic of degree n with ∣μ∣≤R a root of q and coefficients differing by at most η, then ∏i∣μ−λi∣=∣p(μ)∣=∣p(μ)−q(μ)∣≤ηn(1+R)n−1, so some root λi of p is within (ηn(1+R)n−1)1/n of μ; the coefficients of χAk are bounded since Ak is, and so are the roots.) Concretely: if μ is a root of χAk of maximal modulus, some root λ of χA has ∣μ−λ∣≤Cηk1/n, so ρ(Ak)≤ρ(A)+Cηk1/n; exchanging the roles gives the reverse inequality.
Step 2: open and closed sets. {ρ<1}=ρ−1((−∞,1)) is open and {ρ≤1}=ρ−1((−∞,1]) is closed.
Step 3: closure. Since {ρ<1}⊂{ρ≤1} and the latter is closed, {ρ<1}⊂{ρ≤1}. Conversely if ρ(A)≤1 then for t∈(0,1): ρ(tA)=tρ(A)<1 (eigenvalues of tA are t times those of A; if ρ(A)=0 then ρ(tA)=0<1), and ∥tA−A∥=(1−t)∥A∥→0. So A∈{ρ<1}.
Step 4: boundary. The set {ρ<1} is open, so ∂{ρ<1}={ρ<1}∖{ρ<1}={ρ=1}.
Example. A=(1051) has ρ=1 (boundary) although ∥A∥≈5.19>1; tA has ρ=t<1.
Remark.
- ρ(A)<1 iff Ak→0 iff some norm satisfies ∥A∥<1; but no single norm works for all of {ρ<1}: the set is not bounded and not convex. For the non-convexity take N=(0020) and NT: ρ(N)=ρ(NT)=0 but 21(N+NT)=(0110) has ρ=1.
- The interior of {ρ≤1} is {ρ<1} (if ρ(A)=1 then ρ(tA)=t>1 for t>1 arbitrarily close).