4.3 The Real Spectral Theorem: Why Symmetric Covariance Matrices Have Orthogonal Eigenvectors
Why are the principal components of a dataset guaranteed to be mutually perpendicular (orthogonal)? After all, we saw in Chapter 3 that a general asymmetric matrix like has non-orthogonal eigenvectors. What makes a covariance matrix special?
The answer is symmetry: . The Real Spectral Theorem proves that every real symmetric matrix has exclusively real eigenvalues and admits an orthonormal basis of eigenvectors. Better yet, the proof of orthogonality takes just four lines of elementary dot-product algebra.
In this Article
1. The Self-Adjoint Property: Moving C Across a Dot Product
For any two vectors and any matrix , the dot product between and satisfies . When is symmetric (), can move freely from one side of the dot product to the other:
2. The Four-Line Proof That Distinct Eigenvectors Are Orthogonal
Suppose and are eigenvectors of a symmetric matrix with distinct eigenvalues , so and . Let us compute in two ways:
- Act with on the right: .
- Act with on the left (using ): .
- Subtract the two equal expressions: .
- Conclude orthogonality: Since , we cannot have , which forces !
3. Spectral Decomposition C = QΛQᵀ: Rotate, Stretch, Rotate Back
Stacking the orthonormal eigenvectors as columns of an orthogonal matrix (so ) and placing on the diagonal of yields the Spectral Decomposition:
Action of C = Q * Lambda * Q^T on any vector v:
[ Input v ] ---( Q^T )---> [ Rotate into Eigen-Axes ] ---( Lambda )---> [ Pure Axis Stretch ] ---( Q )---> [ Rotate Back ]
4. Worked Spectral Factorization Example
Take . From Chapter 3, its eigenvalues are and with eigenvectors and .
- Verify Orthogonality: .
- Normalize to Unit Vectors: and .
- Verify Rank-1 Sum :
5. Active Recall Check and Key Takeaways
Quick Check: Test Your Understanding
Question: What happens if a symmetric covariance matrix has a repeated eigenvalue, say (which happens when a 2D cloud is perfectly circular)?
Answer: Every nonzero vector in that 2D eigenspace is an eigenvector with variance , so we are free to pick any two perpendicular unit vectors (e.g., via Gram-Schmidt or standard axes) to form an orthonormal basis.
- Symmetry Guarantees Orthogonality: forces eigenvectors of distinct eigenvalues to be perpendicular.
- Decorrelation: Rotating data into the eigenbasis diagonalizes the covariance matrix to , making the principal component scores completely uncorrelated.
- Canonical References: See Wikipedia Reference on the Real Spectral Theorem.
Take a Quiz Based on This Article
Test your understanding with AI-generated questions tailored to this content
Adaptive Learning with SynLearn
Explore this article through guided practice that adapts to your answers