A direct determinant calculation gives
Moreover,
has rank one, so its kernel has dimension two, while and . Hence the minimal polynomial is
There 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 that
Then
is nonzero by minimality, and
Therefore , so is the required nonzero eigenvector.
We use induction on . Suppose
Applying gives
By 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 equals
whose inverse is the finite geometric series
Now use induction on . If , apply . The term vanishes, while every transformed vector
is 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 (0)

There are currently no matching articles.