Distinct Eigenvalues Theorem¶
Theorem¶
Fix a field . If is a linear operator with distinct eigenvalues and corresponding eigenvectors , then is linearly independent.
Interpretation¶
Different eigenvalues produce genuinely different eigendirections. An eigenvector for is scaled by and one for by a different factor, so neither can be built as a linear combination of eigenvectors with other eigenvalues.
For two eigenvectors the argument is short. Suppose . Applying gives , and subtracting times the first equation leaves . Since and the eigenvector is nonzero, , and then . The general case repeats this step, removing one eigenvector at a time.
Distinctness is exactly what the argument uses. Two eigenvectors for the same eigenvalue can be dependent, such as and , so the theorem takes one eigenvector per eigenvalue. It does not say that a repeated eigenvalue forces dependence: for , the double eigenvalue has the independent eigenvectors and .
The main use is the first Key Result. An matrix with distinct eigenvalues in has independent eigenvectors, which form a basis of , an eigenbasis, so the matrix is diagonalizable. For example, has the eigenvalues and , so its eigenvectors and form a basis of without further checking.
The condition is sufficient, not necessary. When an eigenvalue is repeated, the matrix may or may not be diagonalizable, and the algebraic and geometric multiplicities decide.
Key Results¶
- An matrix with distinct eigenvalues in is diagonalizable over .
- The theorem is a main reason eigenvectors can form useful bases.
Examples¶
- A diagonal matrix with diagonal entries and has two independent eigenvectors.
- A matrix with three distinct eigenvalues has three independent eigenvectors.
Prerequisites¶
Related Concepts¶
Sources¶
- Math II: Linear Algebra · Week 6
Aliases: eigenvectors for distinct eigenvalues theorem Symbols: element of, lambda, real numbers
Last updated: 20 October 2026 03:02
Distinct Eigenvalues TheoremEigenvalue and EigenvectorLinear Dependence and IndependenceDiagonalizable MatrixEigenbasisCharacteristic Polynomial