Spectral Theorem
The Spectral Theorem states that every real symmetric (or complex Hermitian) matrix is orthogonally (unitarily) diagonalizable. The eigenvectors form an orthonormal basis, and the eigenvalues are all real. This is one of the most important theorems in linear algebra, with applications ranging from quantum mechanics to principal component analysis.
Statement
Let be a symmetric matrix (). Then:
- All eigenvalues of are real.
- Eigenvectors corresponding to distinct eigenvalues are orthogonal.
- is orthogonally diagonalizable: there exists an orthogonal matrix () such that .
Equivalently, , where are the orthonormal eigenvectors.
Let be Hermitian (). Then all eigenvalues are real, and there exists a unitary matrix () such that .
More generally, for normal matrices (), unitarily diagonalizable with possibly complex eigenvalues.
Examples
.
Eigenvalues: , .
Eigenvectors: , .
, .
Spectral decomposition: ✓.
(the tridiagonal matrix from the discrete Laplacian).
Eigenvalues: for : , , .
All eigenvalues are real and positive (so is positive definite). The eigenvectors are orthogonal and can be normalized to form an orthonormal basis.
is already in spectral form with .
The spectral decomposition is just writing the diagonal matrix as a sum of rank- projections.
The spectral decomposition
The spectral decomposition of a symmetric matrix is:
where are the distinct eigenvalues and is the orthogonal projection onto the eigenspace . The projections satisfy for and .
. Eigenvalues: , .
Eigenvectors: , .
, .
✓.
Why eigenvalues are real
Let with , . Consider :
.
Also, ... wait. More carefully (working over ):
Cleanly: . Also .
So . Since , , meaning .
Why eigenvectors for distinct eigenvalues are orthogonal
Let and with and .
.
So . Since : .
, eigenvalues , eigenvectors and .
✓ (orthogonal as guaranteed by the theorem).
Applications
Given data points in , the covariance matrix is symmetric positive semi-definite. The spectral theorem gives .
The eigenvectors (columns of ) are the principal components -- the directions of maximum variance. The eigenvalues measure the variance along each direction.
For data in with : eigenvalues , eigenvectors and . The first principal component captures of the variance.
. Matrix: .
By the spectral theorem: eigenvalues , so in the eigenbasis .
The level set is an ellipse with semi-axes and , rotated to align with the eigenvectors.
For symmetric , any function can be applied:
- Square root: (requires positive semi-definite).
- Inverse: (requires invertible).
- Exponential: .
- Logarithm: (requires positive definite).
For , eigenvalues : .
For any matrix , the matrices and are symmetric positive semi-definite. By the spectral theorem:
, .
This leads to the SVD: , where are the singular values.
In quantum mechanics, observables are represented by Hermitian operators on a Hilbert space. The spectral theorem guarantees:
- Measurement outcomes (eigenvalues) are real numbers.
- Eigenstates for different outcomes are orthogonal.
- Any state can be expanded in the eigenbasis: .
The probability of measuring eigenvalue is .
A symmetric matrix is positive definite iff all eigenvalues are positive (by the spectral theorem, , which is positive for all iff all ).
: eigenvalues . Both positive, so is positive definite.
: eigenvalues . One negative, so is indefinite.
Spectral theorem for normal matrices
A complex matrix is unitarily diagonalizable () if and only if is normal ().
Normal matrices include: Hermitian (), skew-Hermitian (), unitary (), and their real analogues.
- Symmetric: . Real eigenvalues.
- Skew-symmetric: . Purely imaginary eigenvalues.
- Orthogonal: . Eigenvalues on the unit circle ().
- Rotation: . Normal (it is orthogonal). Over , unitarily diagonalizable with eigenvalues .
Summary
The Spectral Theorem is one of the most powerful results in linear algebra:
- Symmetric matrices have real eigenvalues and orthogonal eigenvectors.
- Every symmetric matrix has an orthonormal basis of eigenvectors -- orthogonal diagonalization always works.
- The spectral decomposition represents as a linear combination of orthogonal projections.
- It enables matrix functions (, , ) via the functional calculus.
- It underlies PCA, SVD, quantum mechanics, and the classification of quadratic forms.
- The generalization to normal operators on Hilbert spaces is the foundation of functional analysis and quantum theory.