Why Every Real Symmetric Matrix Is Diagonalizable
At a glance
- 1. Maximize a quadratic form
Find a unit vector where xᵀAx is largest; compactness guarantees that such a vector exists.
- 2. Obtain an eigenvector
Use the constrained maximum condition to show the maximizing vector satisfies Av = λv.
- 3. Preserve the complement
Symmetry makes the orthogonal complement of that eigenvector invariant under A.
- 4. Apply induction
Restrict A to the complement and repeat until an orthonormal eigenbasis is obtained.
Let be an real matrix satisfying
The claim is stronger than ordinary diagonalizability: has an orthonormal basis of real eigenvectors. Consequently, there is an orthogonal matrix and a real diagonal matrix such that
or equivalently,
This is the real spectral theorem.
The key idea: maximize a quadratic form
Consider the function
on the unit sphere
The sphere is compact and is continuous, so attains a maximum at some unit vector . Write the maximum as
We will show that is an eigenvector of .
At the constrained maximum, the method of Lagrange multipliers gives
for some scalar . Since
when , and , we obtain
Thus
Multiplying on the left by and using shows that
Therefore is a real unit eigenvector of .
The orthogonal complement is invariant
Let
We claim that maps into itself. Take any . Since is symmetric and ,
Hence . In other words, is invariant under .
The restriction of to is still symmetric. Indeed, for ,
The space has dimension . Applying the same argument to the restriction of on , we obtain a unit eigenvector in . Repeating this process gives orthonormal eigenvectors
that form a basis of .
Constructing the diagonalization
Let be the eigenvalue corresponding to , so that
Form the matrix whose columns are these orthonormal eigenvectors:
Because the columns are orthonormal,
so is orthogonal. Also,
Therefore
where
Multiplying by on the left gives
Thus is diagonalizable, and the diagonalizing matrix can be chosen orthogonal.
A concrete example
Consider
This matrix is symmetric. Its characteristic polynomial is
The eigenvalues are and . For , an eigenvector is , and for , an eigenvector is . Normalize them:
They are orthonormal, so
is orthogonal. With
we have
Why symmetry matters
For arbitrary real matrices, eigenvectors need not exist in sufficient number, and even when all eigenvalues exist, the matrix need not be diagonalizable. Symmetry forces the orthogonal-complement argument above to work at every stage.
It also implies that eigenvectors belonging to distinct eigenvalues are automatically orthogonal. If and , then
Thus . When , this gives .
Common convention issue: real versus complex matrices
The statement is correct for a real symmetric matrix, meaning with real entries. For complex matrices, the corresponding condition is Hermitian:
where is the conjugate transpose. Every complex Hermitian matrix is unitarily diagonalizable.
A complex matrix can satisfy without being diagonalizable. For example,
is complex symmetric, but
while . Hence its only eigenvalue is , and it cannot be diagonalizable: a diagonalizable matrix with only eigenvalue would have to be the zero matrix.
References
- Linear Algebra Done Right, Sheldon Axler
- Matrix Analysis, Roger A. Horn and Charles R. Johnson
Spotted an error? Send a correction. Read how we write and check articles in our editorial policy.