Eigenvectors belonging to distinct eigenvalues are linearly independent. Indeed, suppose
is a shortest nontrivial relation, where and the are distinct. Applying gives
a shorter nontrivial relation, a contradiction.
Thus distinct eigenvalues provide a basis of eigenvectors, proving that is diagonalizable over . If is real and all its eigenvalues are real, each real singular matrix has a nonzero real null vector. Choosing one for each eigenvalue gives a real eigenbasis. Hence the real matrix is diagonalizable over . This is the distinct eigenvalues imply diagonalizability criterion.

Articles by others on the same topic (0)

There are currently no matching articles.