Symmetric Matrices: Real Eigenvalues & Orthogonal Eigenvectors
Symmetric matrices () are the best-behaved operators in all of linear algebra, and this lesson uncovers why. Two structural miracles set the stage for the Spectral Theorem: every eigenvalue of a symmetric matrix is real (Proposition 9.2), and eigenvectors belonging to distinct eigenvalues are automatically orthogonal (Lemma 9.1). Along the way we see that orthogonal diagonalizability forces symmetry (Remark 9.1), and that the orthogonal complement of an eigenvector is -invariant (Lemma 9.2) — the geometric engine that will power the full theorem next time.
Before you start — give these a try
Attempting first primes your brain for the lesson — even if you miss. Nothing is graded or saved; it's just a warm-up.
List the three eigenvalues of the symmetric matrix in increasing order.
The symmetric matrix has eigenvector (for ) and eigenvector (for ). Compute the dot product .
What you’ll be able to do
- State Definition 9.1 — is orthogonally diagonalizable when is diagonal for some orthogonal — and use Remark 9.1 to show every such matrix is symmetric, since .
- Prove Lemma 9.1 with the two-ways dot-product trick: for symmetric , eigenvectors for distinct eigenvalues satisfy .
- Explain Proposition 9.2 — a symmetric matrix has real eigenvalues counted with multiplicity — via the complex-conjugate argument that forces .
- Apply Lemma 9.2: for a real eigenvalue's eigenvector , the orthogonal complement is an -invariant -dimensional subspace.
- Connect these facts (Remark 9.2, Proposition 9.1): real eigenvalues together with orthogonal eigenspaces let us assemble an orthonormal eigenbasis, previewing the Spectral Theorem (Theorem 9.1).
In your course
· MATH2015 · Linear Algebra & Probability- Definition 9.1Orthogonally diagonalizableis orthogonally diagonalizable if is diagonal for some orthogonal matrix ; equivalently, has an orthonormal eigenbasis.
- Remark 9.1Orthogonally diagonalizable implies symmetricIf with orthogonal and diagonal, then .
- Lemma 9.1Orthogonality of eigenvectors for distinct eigenvaluesFor symmetric , eigenvectors for distinct eigenvalues satisfy .
- Proposition 9.2Real eigenvalues of symmetric matricesA symmetric matrix has real eigenvalues, counted with algebraic multiplicity.
- Lemma 9.2Orthogonal complement of an eigenvector is A-invariantIf is an eigenvector of symmetric , then is an -invariant -dimensional subspace.
- Remark 9.2Distinct eigenvalues give an orthonormal eigenbasisA symmetric matrix with distinct eigenvalues has an orthogonal eigenbasis (Lemma 9.1), which normalizes to an orthonormal eigenbasis, so it is orthogonally diagonalizable.
- Proposition 9.1Diagonalizable symmetric implies orthogonally diagonalizableIf a symmetric matrix is diagonalizable, Gram–Schmidt within each eigenspace yields an orthonormal eigenbasis.
- Theorem 9.1Spectral Theorem (stated here, proved next lesson)An matrix is orthogonally diagonalizable if and only if it is symmetric.
Orthogonal diagonalization forces symmetry
An matrix is orthogonally diagonalizable (Definition 9.1) if there is an orthogonal matrix (so ) with diagonal; equivalently, has an orthonormal eigenbasis. This is the gold standard of diagonalization — the change-of-basis matrix is a rigid motion that preserves lengths and angles. Which matrices earn it? Remark 9.1 supplies half the answer at once. If with orthogonal and diagonal, then using . So every orthogonally diagonalizable matrix is symmetric. The Spectral Theorem (Theorem 9.1) will prove the striking converse — that symmetry is also sufficient — but the rest of this lesson gathers the eigenvalue and eigenvector facts that make that converse possible.
Real eigenvalues (Proposition 9.2)
A general real matrix can have complex eigenvalues: the rotation has eigenvalues . Proposition 9.2 says this never happens for a symmetric matrix — a symmetric matrix has real eigenvalues, counted with algebraic multiplicity. The proof takes a possibly complex eigenvalue with eigenvector and shows . Since is real, conjugating gives , so is an eigenvector for . Writing with , note . Now evaluate two ways: directly , while using gives . Because , cancelling yields , i.e. . The degree- characteristic polynomial therefore has all real roots.
Eigenvectors for distinct eigenvalues are orthogonal (Lemma 9.1)
Here is the fact that makes symmetric matrices geometrically beautiful. Lemma 9.1: if is symmetric and are eigenvectors for distinct eigenvalues , then . The proof computes in two ways. On one hand , so On the other hand, using symmetry , Subtracting, . Since the factor , forcing . In words: different eigenspaces of a symmetric matrix are perpendicular. No Gram–Schmidt is needed between eigenspaces — their orthogonality comes for free, which is exactly why a symmetric matrix can be diagonalized by an orthogonal change of basis.
Invariant complements and the road to the Spectral Theorem
Lemma 9.1 handles distinct eigenvalues; the general argument needs one more geometric tool. Lemma 9.2: if is an eigenvector of a symmetric for a real eigenvalue , then the orthogonal complement is -invariant and has dimension . Invariance is a one-line computation: for , so is again orthogonal to . This lets the Spectral Theorem proceed by induction: peel off one unit eigenvector , restrict to the -dimensional invariant subspace (where it is again symmetric), and repeat. Remark 9.2 records the easy case: when the real eigenvalues are all distinct, Lemma 9.1 already makes the eigenbasis orthogonal, and normalizing produces an orthonormal eigenbasis — so is orthogonally diagonalizable. (Proposition 9.1 extends this to any diagonalizable symmetric matrix by running Gram–Schmidt inside each eigenspace.) The full theorem, and the explicit diagonalizing matrix, come next lesson.
If is orthogonally diagonalizable, say with orthogonal () and diagonal, then is symmetric: .
Let be symmetric. If are eigenvectors of for distinct eigenvalues , then (that is, ).
A symmetric matrix with real entries has real eigenvalues, counted with their algebraic multiplicities.
Let be symmetric and let be an eigenvector for a real eigenvalue . Then is an -invariant subspace of dimension .
Worked examples
Let . Confirm it is symmetric, find its eigenvalues and corresponding eigenvectors, and verify Lemma 9.1 by checking the eigenvectors are orthogonal.
- 1
Symmetry: , so is symmetric and Proposition 9.2 already guarantees its eigenvalues are real.
- 2
Characteristic polynomial: , so and — real and distinct.
- 3
Eigenvector for : solve , i.e. , giving .
- 4
Eigenvector for : solve , i.e. , giving .
- 5
Orthogonality check (Lemma 9.1): , so — exactly as the lemma promises for distinct eigenvalues.
Illustrate Proposition 9.2. (a) Show the non-symmetric matrix has complex eigenvalues. (b) Show the symmetric matrix has three real eigenvalues, and check them against the trace and determinant.
For the symmetric matrix , the vector is an eigenvector for . Verify Lemma 9.2: show is -invariant, and identify the restricted map.