Choose a basis and let represent . Define the characteristic polynomial by
Under a change of basis with invertible change matrix , the new matrix is . Hence
Thus the polynomial is independent of the chosen coordinates. It is monic of degree .
To prove the sum is direct, suppose with . Fix and apply the polynomial in the linear operator
Every with is killed by one factor. On , each factor is multiplication by , giving
The scalar coefficient is nonzero because the eigenvalues are distinct. Thus for every , proving
In particular, choosing a basis in each eigenspace yields a linearly independent combined list.
If , then , so is singular. By the rank-nullity theorem it has a nonzero kernel vector . Thus
This is exactly the definition of an eigenvalue. Here lies in the scalar field: for the stated real vector space it is real. A nonreal root instead gives an eigenvalue of the complexified operator, by the same argument over .
Expanding the determinant along the second column gives
If , there are three distinct real eigenvalues. Part (b)(ii) gives a nonzero eigenvector for each, and part (b)(i) makes them independent. They form a basis, so the matrix is diagonalisable.
When ,
has rank one for every : the third row is nonzero, and the second row is times the third. Therefore the eigenspace for has dimension two. The eigenvalue provides at least one further independent eigenvector by part (b), so again there is an eigenbasis.
When ,
Its rank is one if and two otherwise. Thus the eigenspace for has dimension two exactly when . For it has dimension one, while the eigenspace for also has dimension one, since then has rank two. There are no other eigenvalues by the characteristic polynomial. A diagonal matrix in an eigenbasis would need three independent eigenvectors, whereas these two eigenspaces supply only two; diagonalisation is impossible. Conversely, at their dimensions add to three and part (b) makes their sum direct. Therefore
The argument uses only the determinant, rank-nullity, the established direct-sum result, and the definition of diagonalisation.

Articles by others on the same topic (0)

There are currently no matching articles.