A real number is an eigenvalue of if there is a nonzero vector with ; such a is an eigenvector for . The nonzero condition is essential.
For distinct eigenvalues , choose corresponding nonzero eigenvectors . Prove their linear independence by induction on . The claim for one vector is immediate. Given a relation , apply to get
By the induction hypothesis, every coefficient here is zero. Distinctness gives for , and the original relation then gives since . Thus the eigenvectors are linearly independent.
With distinct real eigenvalues, the real eigenvectors form a basis of . Put them into the columns of . Then is invertible and
This proves diagonalizability directly.

Articles by others on the same topic (0)

There are currently no matching articles.