94. Spectral Theorem

The Spectral Theorem says that every real symmetric matrix is orthogonally diagonalizable:

where:

Equivalently, , and the columns of are orthonormal eigenvectors.

94.1. What it guarantees

For a real symmetric matrix :

  1. All eigenvalues are real (no complex eigenvalues, even if ‘s entries don’t suggest it)
  2. Eigenvectors for distinct eigenvalues are orthogonal (automatic)
  3. Eigenvectors for repeated eigenvalues can be chosen orthonormal (within that eigenspace, via Gram–Schmidt)
  4. The full set of orthonormal eigenvectors forms a basis of

The trio (1)+(2)+(3) is what makes the theorem work. No real symmetric matrix is missing eigenvectors.

94.2. Spectral expansion

Write and . Then:

The matrix decomposes into a sum of rank-1 spectral projectors , each scaled by an eigenvalue. This is the spectral decomposition.

Example

Eigenvalues: .

Orthonormal eigenvectors: , .

Spectral expansion: .

94.3. Generalizations

94.4. Why it matters

94.5. See also