A direct determinant calculation givesMoreover,has rank one, so its kernel has dimension two, while and . Hence the minimal polynomial isThere are two Jordan blocks, because the eigenspace has dimension two, and the largest has size two, because the minimal polynomial has exponent two. Thus
Choose the least such thatThenis nonzero by minimality, andTherefore , so is the required nonzero eigenvector.
We use induction on . SupposeApplying givesBy induction, every for . The eigenvalues are distinct, so for , and the original relation then gives . Thus eigenvectors with distinct eigenvalues are linearly independent.
If , the operator is invertible on . Indeed, there it equalswhose inverse is the finite geometric series
Now use induction on . If , apply . The term vanishes, while every transformed vectoris nonzero by the invertibility just proved and still lies in . The induction hypothesis rules out the resulting relation. Allowing scalar coefficients, and omitting zero terms, gives the same argument. Hence the generalized eigenspaces for distinct eigenvalues form a direct sum, so are linearly independent.
Articles by others on the same topic
There are currently no matching articles.