Theorem

  • Suppose is a n-dim vector space
  • If has distinct eigenvalues, then is Diagonalizable

Proof

  1. Suppose has distinct real eigenvalues
  2. For each eigenvalue, , we can find a non-zero eigenvector s.t by definition of eigenvalue
  3. Because eigenvalues are distinct by Eigenvectors of Distinct Eigenvalues are Independent thoerem, is Linearly Independent
  4. It follows that is a basis of because is dimensional and .
  5. Then, this basis

Therefore, is diagonizable