Symmetric Matrices and the Spectral Theorem
Problem
Diagonalize the symmetric matrix A = [[2,1],[1,2]] with orthogonal eigenvectors. Show the eigendirections are perpendicular.
Explanation
The spectral theorem (real, symmetric version)
If is a real symmetric matrix (), then:
- has real eigenvalues (counted with algebraic multiplicity).
- Eigenvectors for distinct eigenvalues are orthogonal.
- can be diagonalized by an orthogonal matrix :
with and diagonal with the eigenvalues.
This is sometimes called the orthogonal diagonalization theorem.
Step-by-step
— symmetric.
Step 1 — Eigenvalues.
Characteristic polynomial: .
Both real (as the theorem promises). ✓
Step 2 — Eigenvectors.
For : . Solution: .
For : . Solution: .
Check orthogonality: ✓ (Exactly as the theorem guarantees.)
Step 3 — Normalize.
, :
Step 4 — Assemble.
is orthogonal (), so .
Step 5 — Verify .
.
Wait — I get , not ? Let me recompute column 1 of : row 2 of is ; dotted with column 1 of which is : . So it's ✓. Transcription verification lesson — always double-check the dot product.
Why symmetric matrices are special
- Real eigenvalues guaranteed. Non-symmetric matrices can have complex eigenvalues; symmetric ones can't.
- Orthogonal eigenvectors. Even across repeated eigenvalues, you can always choose an orthogonal eigenvector basis.
- Always diagonalizable. Never defective.
- Geometric structure. The level sets of are aligned with the eigenvectors — the principal axes.
This is the "cleanest" diagonalization scenario in all of linear algebra.
Applications
- Principal Component Analysis (PCA): diagonalize the sample covariance matrix; its (orthogonal) eigenvectors are the principal components.
- Quadratic forms: simplifies to in the eigenvector coordinate system.
- Rigid-body mechanics: the inertia tensor is symmetric; its eigenvectors give the principal axes of rotation.
- Fourier analysis: the discrete Fourier transform diagonalizes circulant matrices; the continuous version diagonalizes translation-invariant operators.
- Spectral graph theory: the adjacency matrix and Laplacian are symmetric; their eigenvectors encode graph structure.
Extension: Hermitian matrices
Over , the analogue is Hermitian matrices ( where denotes conjugate transpose). Same conclusions: real eigenvalues, unitary diagonalization .
Generalization: normal matrices
The spectral theorem applies most broadly to normal matrices () over : they're unitarily diagonalizable. This class includes Hermitian, skew-Hermitian, and unitary matrices.
Common mistakes
- Forgetting to normalize. Orthogonality isn't enough; must have unit columns to be orthogonal as a matrix.
- Using (general) instead of (orthogonal). You can diagonalize as with non-orthogonal eigenvectors, but the whole point of the spectral theorem is that symmetric matrices admit orthogonal diagonalization — which is cheaper and numerically stable.
- Assuming repeated eigenvalues cause defects. Symmetric matrices are still diagonalizable even with repeated eigenvalues; you just pick an orthonormal basis for the eigenspace.
Try it in the visualization
The matrix acts on the unit circle, producing an ellipse; the eigenvectors emerge as the semi-major and semi-minor axes. Sliders move the off-diagonal entry; eigen-directions rotate in response while always staying perpendicular — confirming the spectral theorem.
Interactive Visualization
Parameters
Got your own math or physics problem?
Turn any problem into an interactive visualization like this one — powered by AI, generated in seconds. Free to try, no credit card required.