Maths WorkshopMaths problems with full solutions
Exercise 1353Topology › Topology of Mn(ℝ) › Density and closuresL3Added 6 Nov 2026

The Cayley-Hamilton theorem by density

#Cayley-Hamilton#density#diagonalisation

Statement

Prove that χA(A)=0\chi_A(A)=0 for every A∈Mn(R)A\in M_n(\mathbb{R}) by a density argument.

Hint

First check the identity for matrices with nn distinct eigenvalues, which are diagonalisable over C\mathbb{C}. Then use continuity.

Show solutionHide solution

Solution

Step 1: matrices with distinct eigenvalues. Suppose AA has nn distinct eigenvalues λ1,…,λn∈C\lambda_1,\dots,\lambda_n\in\mathbb{C}. Then A=PDP−1A=PDP^{-1} with D=diag⁡(λi)D=\operatorname{diag}(\lambda_i) and P∈GLn(C)P\in GL_n(\mathbb{C}). For every polynomial qq, q(A)=Pq(D)P−1q(A)=Pq(D)P^{-1}. Taking q=χAq=\chi_A,
χA(A)=Pdiag⁡(χA(λ1),…,χA(λn))P−1=0,\chi_A(A)=P\operatorname{diag}\bigl(\chi_A(\lambda_1),\dots,\chi_A(\lambda_n)\bigr)P^{-1}=0,
since each λi\lambda_i is a root of χA\chi_A.

Step 2: continuity. The map Φ:A↦χA(A)\Phi:A\mapsto\chi_A(A) from Mn(R)M_n(\mathbb{R}) to Mn(R)M_n(\mathbb{R}) is continuous: if χA(X)=Xn+cn−1(A)Xn−1+⋯+c0(A)\chi_A(X)=X^n+c_{n-1}(A)X^{n-1}+\dots+c_0(A), each coefficient cj(A)c_j(A) is a polynomial in the entries of AA, and A↦AjA\mapsto A^j is polynomial. So Φ\Phi is polynomial in the entries.

Step 3: density. The set Ω\Omega of matrices with nn distinct complex eigenvalues is dense (it is {Disc⁡χA≠0}\{\operatorname{Disc}\chi_A\ne0\}, a nonempty polynomial open set). The continuous map Φ\Phi vanishes on the dense set Ω\Omega, so Φ≡0\Phi\equiv0: χA(A)=0\chi_A(A)=0 for all AA.

Remark. The same argument proves the theorem over C\mathbb{C}. Note that Step 1 genuinely needs complex diagonalisability, even for real AA. Lesson. For polynomial identities in matrix entries, it suffices to check them on diagonalisable matrices.