topological proof of the Cayley-Hamilton theorem
We begin by showing that the theorem is true if the characteristicpolynomial does not have repeated roots, and then prove the general case.
Suppose then that the discriminant of the characteristic polynomial isnon-zero, and hence that has distincteigenvalues
once we extend11Technically, this means that we mustwork with the vector space
, where is thealgebraic closure
of the original field of scalars, and with the extended automorphism with action to the algebraic closure of the groundfield.We can therefore choose a basis of eigenvectors
, call them, with thecorresponding eigenvalues. From the definition of characteristicpolynomial we have that
The factors on the right commute, and hence
for all . Since annihilates a basis, it must, infact, be zero.
To prove the general case, let denote the discriminant ofa polynomial , and let us remark that the discriminant mapping
is polynomial on. Hence the set of with distinct eigenvalues is a denseopen subset of relative to the Zariskitopology. Now the characteristic polynomial map
is a polynomial map on the vectorspace . Since it vanishes on a denseopen subset, it must vanish identically. Q.E.D.