Choose a basis and let represent . Define the characteristic polynomial byUnder a change of basis with invertible change matrix , the new matrix is . HenceThus 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 operatorEvery with is killed by one factor. On , each factor is multiplication by , givingThe scalar coefficient is nonzero because the eigenvalues are distinct. Thus for every , provingIn 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 . ThusThis 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 givesIf , 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. ThereforeThe argument uses only the determinant, rank-nullity, the established direct-sum result, and the definition of diagonalisation.
Articles by others on the same topic
There are currently no matching articles.