Theorem
- Suppose is a n-dim vector space
- If has distinct eigenvalues, then is Diagonalizable
Proof
- Suppose has distinct real eigenvalues
- For each eigenvalue, , we can find a non-zero eigenvector s.t by definition of eigenvalue
- Because eigenvalues are distinct by Eigenvectors of Distinct Eigenvalues are Independent thoerem, is Linearly Independent
- It follows that is a basis of because is dimensional and .
- Then, this basis
Therefore, is diagonizable