Maths WorkshopMaths problems with full solutions
Exercise 1431Topology › Topology of Mn(ℝ) › Continuity of matrix mapsL3Added 7 Nov 2026

The spectral radius is continuous

#spectral radius#continuity of eigenvalues#Hölder#characteristic polynomial

Statement

Deduce from the previous problem that ρ(A)=max⁡i∣λi(A)∣\rho(A)=\max_i|\lambda_i(A)| (the maximum of the moduli of the complex eigenvalues) is a continuous function on Mn(R)M_n(\mathbb{R}). Show that it need not be Lipschitz.

Hint

Apply Problem 81 to the characteristic polynomials of AkA_k and AA.

For the failure of Lipschitz, look at (01ε0)\begin{pmatrix}0&1\\\varepsilon&0\end{pmatrix}.

Show solutionHide solution

Solution

Idea. ρ(A)\rho(A) is the largest modulus of a root of χA\chi_A. Moving the coefficients a little moves each root a little, and so moves the largest modulus a little.

Step 1: set-up. Let Ak→AA_k\to A. The coefficients of χAk\chi_{A_k} converge to those of χA\chi_A (they are polynomial in the entries), so ηk:=max⁡j∣cj(Ak)−cj(A)∣→0\eta_k:=\max_j|c_j(A_k)-c_j(A)|\to0; discard finitely many terms so that ηk≤1\eta_k\le1. Let CC be the constant of Problem 81 for p=χAp=\chi_A.

Step 2: upper bound. Let λ\lambda be an eigenvalue of AkA_k with ∣λ∣=ρ(Ak)|\lambda|=\rho(A_k). By Problem 81, there is an eigenvalue μ\mu of AA with ∣λ−μ∣≤Cηk1/n|\lambda-\mu|\le C\eta_k^{1/n}, so
ρ(Ak)=∣λ∣≤∣μ∣+Cηk1/n≤ρ(A)+Cηk1/n.\rho(A_k)=|\lambda|\le|\mu|+C\eta_k^{1/n}\le\rho(A)+C\eta_k^{1/n}.

Step 3: lower bound. Let μ\mu be an eigenvalue of AA with ∣μ∣=ρ(A)|\mu|=\rho(A). By the converse part there is an eigenvalue λ\lambda of AkA_k with ∣λ−μ∣≤Cηk1/n|\lambda-\mu|\le C\eta_k^{1/n}, so
ρ(Ak)≥∣λ∣≥∣μ∣−Cηk1/n=ρ(A)−Cηk1/n.\rho(A_k)\ge|\lambda|\ge|\mu|-C\eta_k^{1/n}=\rho(A)-C\eta_k^{1/n}.

Step 4: conclusion. ∣ρ(Ak)−ρ(A)∣≤Cηk1/n→0|\rho(A_k)-\rho(A)|\le C\eta_k^{1/n}\to0.

Not Lipschitz. Aε=(01ε0)A_\varepsilon=\begin{pmatrix}0&1\\\varepsilon&0\end{pmatrix} has characteristic polynomial t2−εt^2-\varepsilon, so ρ(Aε)=ε\rho(A_\varepsilon)=\sqrt\varepsilon while ρ(A0)=0\rho(A_0)=0 and ∥Aε−A0∥=ε\|A_\varepsilon-A_0\|=\varepsilon. The ratio ε/ε→∞\sqrt\varepsilon/\varepsilon\to\infty. (Numerically: ε=10−4\varepsilon=10^{-4} gives ρ=0.01\rho=0.01.) For the n×nn\times n Jordan block with a corner entry ε\varepsilon, ρ=ε1/n\rho=\varepsilon^{1/n}.

Remark. On the other hand ρ\rho *is* Lipschitz on the set of symmetric (more generally normal) matrices, where ρ(A)=∥A∥\rho(A)=\|A\| (Weyl, Problem 88).