Jump to content

Finite-dimensional vector space/Linear mapping/Two generalized eigenspaces/Fact/Proof

From Wikiversity
Proof

The characteristic polynomial of has the form

where neither nor is a zero of . Because of fact, applied to , we have

Because of , this implies immediately