Maths WorkshopMaths problems with full solutions
Exercise 1391Topology › Topology of Mn(ℝ) › Rank, spectrum and normsL3Added 6 Nov 2026

The spectral mapping theorem for polynomials

#spectrum#triangularisation#polynomial of a matrix

Statement

Let A∈Mn(R)A\in M_n(\mathbb{R}) with complex spectrum spec⁡A\operatorname{spec}A, and let pp be a polynomial. Show that spec⁡(p(A))=p(spec⁡A)\operatorname{spec}\big(p(A)\big)=p\big(\operatorname{spec}A\big) (and in fact the eigenvalues of p(A)p(A) with multiplicities are the p(λi)p(\lambda_i)).

Hint

Work over C\mathbb{C} and triangularise AA.

Show solutionHide solution

Solution

Triangularisation (Schur). Over C\mathbb{C} there is an invertible PP with A=PTP−1A=PTP^{-1}, TT upper triangular with diagonal entries λ1,…,λn\lambda_1,\dots,\lambda_n, the eigenvalues of AA repeated according to multiplicity.

Powers. Ak=PTkP−1A^k=PT^kP^{-1} for all k≥0k\ge0. A product of upper triangular matrices is upper triangular, with diagonal entries equal to the products of the diagonal entries; so TkT^k is upper triangular with diagonal (λik)(\lambda_i^k).

Polynomials. If p(x)=∑kckxkp(x)=\sum_kc_kx^k, then p(A)=∑ckPTkP−1=P p(T) P−1p(A)=\sum c_kPT^kP^{-1}=P\,p(T)\,P^{-1}, and p(T)=∑ckTkp(T)=\sum c_kT^k is upper triangular with diagonal entries ∑ckλik=p(λi)\sum c_k\lambda_i^k=p(\lambda_i).

Conclusion. The characteristic polynomial of p(A)p(A) is that of p(T)p(T), namely ∏i(t−p(λi))\prod_i(t-p(\lambda_i)). Therefore the spectrum of p(A)p(A) is {p(λ1),…,p(λn)}=p(spec⁡A)\{p(\lambda_1),\dots,p(\lambda_n)\}=p(\operatorname{spec}A).

Example. If AA is nilpotent, spec⁡A={0}\operatorname{spec}A=\{0\}, so A2+IA^2+I has spectrum {1}\{1\} and is invertible. If A2=AA^2=A (projection), spec⁡A⊂{0,1}\operatorname{spec}A\subset\{0,1\} because p(x)=x2−xp(x)=x^2-x gives p(spec⁡A)=spec⁡(0)={0}p(\operatorname{spec}A)=\operatorname{spec}(0)=\{0\}.

Remark. The real spectrum is not enough: A=(0−110)A=\begin{pmatrix}0&-1\\1&0\end{pmatrix} has no real eigenvalue but p(x)=x2+1p(x)=x^2+1 gives p(A)=0p(A)=0. The theorem must be applied over C\mathbb{C}.