Maths WorkshopMaths problems with full solutions
Exercise 2041Topology › Topology of Mn(ℝ) › Open, closed, interior, boundaryM1Added 7 Nov 2026

The set {ρ(A) < 1}: open, with boundary {ρ = 1}

#spectral radius#continuity of eigenvalues#closure#boundary

Statement

Let ρ(A)\rho(A) be the spectral radius of A∈Mn(R)A\in M_n(\mathbb{R}) (the largest modulus of a complex eigenvalue). Show that {ρ<1}\{\rho<1\} is open, its closure is {ρ≤1}\{\rho\le1\}, and its boundary is {ρ=1}\{\rho=1\}.

Hint

ρ\rho is continuous because the roots of a polynomial depend continuously on its coefficients. For the closure, note ρ(tA)=tρ(A)\rho(tA)=t\rho(A).

Show solutionHide solution

Solution

Idea. Once ρ\rho is known to be continuous, the topology follows from the homogeneity ρ(tA)=∣t∣ρ(A)\rho(tA)=|t|\rho(A), exactly as for a norm (even though ρ\rho is not a norm).

Step 1: ρ\rho is continuous. Let Ak→AA_k\to A. The characteristic polynomials χAk\chi_{A_k} have coefficients converging to those of χA\chi_A. By the continuity of roots (Part 3: every root of χAk\chi_{A_k} is within Cηk1/nC\eta_k^{1/n} of a root of χA\chi_A and vice versa, with ηk→0\eta_k\to0), we get ∣ρ(Ak)−ρ(A)∣→0|\rho(A_k)-\rho(A)|\to0. (The estimate behind this: if p,qp,q are monic of degree nn with ∣μ∣≤R|\mu|\le R a root of qq and coefficients differing by at most η\eta, then ∏i∣μ−λi∣=∣p(μ)∣=∣p(μ)−q(μ)∣≤η n(1+R)n−1\prod_i|\mu-\lambda_i|=|p(\mu)|=|p(\mu)-q(\mu)|\le\eta\,n(1+R)^{n-1}, so some root λi\lambda_i of pp is within (ηn(1+R)n−1)1/n(\eta n(1+R)^{n-1})^{1/n} of μ\mu; the coefficients of χAk\chi_{A_k} are bounded since AkA_k is, and so are the roots.) Concretely: if μ\mu is a root of χAk\chi_{A_k} of maximal modulus, some root λ\lambda of χA\chi_A has ∣μ−λ∣≤Cηk1/n|\mu-\lambda|\le C\eta_k^{1/n}, so ρ(Ak)≤ρ(A)+Cηk1/n\rho(A_k)\le\rho(A)+C\eta_k^{1/n}; exchanging the roles gives the reverse inequality.

Step 2: open and closed sets. {ρ<1}=ρ−1((−∞,1))\{\rho<1\}=\rho^{-1}((-\infty,1)) is open and {ρ≤1}=ρ−1((−∞,1])\{\rho\le1\}=\rho^{-1}((-\infty,1]) is closed.

Step 3: closure. Since {ρ<1}⊂{ρ≤1}\{\rho<1\}\subset\{\rho\le1\} and the latter is closed, {ρ<1}‾⊂{ρ≤1}\overline{\{\rho<1\}}\subset\{\rho\le1\}. Conversely if ρ(A)≤1\rho(A)\le1 then for t∈(0,1)t\in(0,1): ρ(tA)=tρ(A)<1\rho(tA)=t\rho(A)<1 (eigenvalues of tAtA are tt times those of AA; if ρ(A)=0\rho(A)=0 then ρ(tA)=0<1\rho(tA)=0<1), and ∥tA−A∥=(1−t)∥A∥→0\|tA-A\|=(1-t)\|A\|\to0. So A∈{ρ<1}‾A\in\overline{\{\rho<1\}}.

Step 4: boundary. The set {ρ<1}\{\rho<1\} is open, so ∂{ρ<1}={ρ<1}‾∖{ρ<1}={ρ=1}\partial\{\rho<1\}=\overline{\{\rho<1\}}\setminus\{\rho<1\}=\{\rho=1\}.

Example. A=(1501)A=\begin{pmatrix}1&5\\0&1\end{pmatrix} has ρ=1\rho=1 (boundary) although ∥A∥≈5.19>1\|A\|\approx5.19>1; tAtA has ρ=t<1\rho=t<1.

Remark.
- ρ(A)<1\rho(A)<1 iff Ak→0A^k\to0 iff some norm satisfies ∥A∥<1\|A\|<1; but no single norm works for all of {ρ<1}\{\rho<1\}: the set is not bounded and not convex. For the non-convexity take N=(0200)N=\begin{pmatrix}0&2\\0&0\end{pmatrix} and NTN^T: ρ(N)=ρ(NT)=0\rho(N)=\rho(N^T)=0 but 12(N+NT)=(0110)\frac12(N+N^T)=\begin{pmatrix}0&1\\1&0\end{pmatrix} has ρ=1\rho=1.
- The interior of {ρ≤1}\{\rho\le1\} is {ρ<1}\{\rho<1\} (if ρ(A)=1\rho(A)=1 then ρ(tA)=t>1\rho(tA)=t>1 for t>1t>1 arbitrarily close).