The Cayley-Hamilton theorem by density
Statement
Prove that for every by a density argument.
Hint
First check the identity for matrices with distinct eigenvalues, which are diagonalisable over . Then use continuity.
Show solutionHide solution
Solution
Step 1: matrices with distinct eigenvalues. Suppose has distinct eigenvalues . Then with and . For every polynomial , . Taking ,
since each is a root of .
Step 2: continuity. The map from to is continuous: if , each coefficient is a polynomial in the entries of , and is polynomial. So is polynomial in the entries.
Step 3: density. The set of matrices with distinct complex eigenvalues is dense (it is , a nonempty polynomial open set). The continuous map vanishes on the dense set , so : for all .
Remark. The same argument proves the theorem over . Note that Step 1 genuinely needs complex diagonalisability, even for real . Lesson. For polynomial identities in matrix entries, it suffices to check them on diagonalisable matrices.