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 getBy 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 andThis proves diagonalizability directly.
Articles by others on the same topic
There are currently no matching articles.