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.