If , then has nonzero kernel of a linear map. A nonzero vector in that kernel of a linear map satisfies , proving that is an eigenvalue. Extend to a basis. Its first column is , so the matrix has block form
Here represents the induced operator on .
If the algebraic multiplicity is , repeat this argument in that quotient: its characteristic polynomial still has with multiplicity . Induction and lifting a quotient basis gives a basis whose first columns have the prescribed upper-triangular form. With the span of those vectors, the full matrix is
Thus is invariant and is contained in . Conversely, if , project to . The induced map is invertible, so its th power cannot kill a nonzero class. Hence . Consequently ; this proves simultaneously that it is a subspace and -invariant. It also proves on this space, without using Cayley-Hamilton theorem in advance.
To prove independence of the different spaces, take a relation with . Fix and apply . It kills all terms except . On , each factor is invertible: its inverse is a finite geometric series in the nilpotent . Hence implies . The sum is direct, and its dimension is , so
Finally kills each summand, hence every vector. This proves without circularly assuming the theorem during the decomposition.

Articles by others on the same topic (0)

There are currently no matching articles.