We're given some where is a complex, finite dimensional vector space, with distinct eigenvalues with multiplicities . Consider , the characteristic polynomial of transformation :
Notice then showing . Furthermore, the zeroes of are precisely the eigenvalues of .
But we also found instances where we could reduce some of the 's to make a minimal polynomial. Specifically, the Cayley-Hamilton theorem states that . So every operator is a zero of its own characteristic polynomial. But we can reduce the degree of to see if this is still true for removed multiplicities.
Minimal Polynomial
Suppose . Then there is a unique monic polynomial of smallest degree such that .
Axler doesn't use notation for the minimal polynomial, so we'll use to indicate the minimal polynomial. See the proof from the book for more details on this.