Definition
Eigenvalues and eigenspaces
For over , is an eigenvalue if for some nonzero . Its eigenspace is . For a matrix , is an eigenvalue exactly when , where .
Theorem
Independence and diagonalization
Eigenvectors belonging to distinct eigenvalues are linearly independent. An endomorphism of an -dimensional space is diagonalizable over if and only if the dimensions of its distinct eigenspaces sum to . For each eigenvalue, geometric multiplicity is at most its algebraic multiplicity as a root of .
Proof
Why distinct eigenvalues give independence
Suppose a shortest nontrivial relation is , with distinct eigenvalues. Applying gives , a shorter nontrivial relation, contradiction. Bases of the distinct eigenspaces therefore combine independently. Their union is an eigenbasis exactly when its length is . For the multiplicity bound, extend a basis of to a basis of ; the matrix has a block in the upper left and a zero block below it, so its characteristic polynomial contains .
A useful test is: factor over the chosen field, find a basis for each eigenspace, and check whether the total dimension is . Equivalently, the polynomial splits and geometric multiplicity equals algebraic multiplicity for every root. A repeated root does not by itself prevent diagonalization, and a polynomial that does not split over prevents diagonalization over .
Worked example
Repeated eigenvalue with a missing eigenvector
For , . Solving gives , so . Thus is not diagonalizable. By contrast has the same characteristic polynomial but a two-dimensional eigenspace.
If , columns of are eigenvectors and for nonnegative integers . This formula is not a license to diagonalize every matrix. State the field: the real rotation has eigenvalues over , but no real eigenvalues.
Exercises
- Diagonalize and find .
- Decide whether is diagonalizable over and over .
- Prove that an matrix with distinct eigenvalues in is diagonalizable over .
Full solutions
- Eigenvectors are for and for . Hence , and . Therefore .
- Its characteristic polynomial is . It has no real root and hence is not diagonalizable over . Over it has distinct roots and is diagonalizable; corresponding eigenvectors are and .
- Pick one nonzero eigenvector for each eigenvalue. Distinct-eigenvalue independence gives independent vectors, hence a basis; in it the matrix is diagonal.
Connection
Inner products add geometry to eigenstructure. Under the spectral theorem, normal or symmetric structure supplies an orthonormal eigenbasis rather than merely an eigenbasis.