Skip to content
VidiMaster it, module by module
Module 5/Symmetric Matrices & the Spectral Theorem

Symmetric Matrices: Real Eigenvalues & Orthogonal Eigenvectors

Symmetric matrices (A=ATA=A^T) 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 AA-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 A=[120210005]A=\begin{bmatrix}1&2&0\\2&1&0\\0&0&5\end{bmatrix} in increasing order.

The symmetric matrix A=[2112]A=\begin{bmatrix}2&1\\1&2\end{bmatrix} has eigenvector v1=(1,1)Tv_1=(1,1)^T (for λ=3\lambda=3) and eigenvector v2=(1,−1)Tv_2=(1,-1)^T (for λ=1\lambda=1). Compute the dot product v1⋅v2v_1\cdot v_2.

What you’ll be able to do

  • State Definition 9.1 — AA is orthogonally diagonalizable when S−1AS=STASS^{-1}AS=S^TAS is diagonal for some orthogonal SS — and use Remark 9.1 to show every such matrix is symmetric, since A=SDST⇒AT=SDST=AA=SDS^T\Rightarrow A^T=SDS^T=A.
  • Prove Lemma 9.1 with the two-ways dot-product trick: for symmetric AA, eigenvectors v1,v2v_1,v_2 for distinct eigenvalues λ1≠λ2\lambda_1\neq\lambda_2 satisfy v1⋅v2=0v_1\cdot v_2=0.
  • Explain Proposition 9.2 — a symmetric n×nn\times n matrix has nn real eigenvalues counted with multiplicity — via the complex-conjugate argument that forces λ=λˉ\lambda=\bar\lambda.
  • Apply Lemma 9.2: for a real eigenvalue's eigenvector vv, the orthogonal complement span⁡(v)⊥\operatorname{span}(v)^\perp is an AA-invariant (n−1)(n-1)-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
§9.1 The Spectral Theorem
  • Definition 9.1Orthogonally diagonalizable
    AA is orthogonally diagonalizable if S−1AS=STASS^{-1}AS=S^TAS is diagonal for some orthogonal matrix SS; equivalently, AA has an orthonormal eigenbasis.
  • Remark 9.1Orthogonally diagonalizable implies symmetric
    If A=SDSTA=SDS^T with SS orthogonal and DD diagonal, then AT=SDST=AA^T=SDS^T=A.
  • Lemma 9.1Orthogonality of eigenvectors for distinct eigenvalues
    For symmetric AA, eigenvectors for distinct eigenvalues λ1≠λ2\lambda_1\neq\lambda_2 satisfy v1⋅v2=0v_1\cdot v_2=0.
  • Proposition 9.2Real eigenvalues of symmetric matrices
    A symmetric n×nn\times n matrix has nn real eigenvalues, counted with algebraic multiplicity.
  • Lemma 9.2Orthogonal complement of an eigenvector is A-invariant
    If vv is an eigenvector of symmetric AA, then span⁡(v)⊥\operatorname{span}(v)^\perp is an AA-invariant (n−1)(n-1)-dimensional subspace.
  • Remark 9.2Distinct eigenvalues give an orthonormal eigenbasis
    A symmetric matrix with nn 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 diagonalizable
    If a symmetric matrix is diagonalizable, Gram–Schmidt within each eigenspace yields an orthonormal eigenbasis.
  • Theorem 9.1Spectral Theorem (stated here, proved next lesson)
    An n×nn\times n matrix is orthogonally diagonalizable if and only if it is symmetric.
This lesson covers the eigenstructure in the first half of §9.1 (Remark 9.1, Lemma 9.1, Proposition 9.2, Lemma 9.2, Remark 9.2). The full Spectral Theorem (Theorem 9.1) — its inductive proof and the explicit orthogonal diagonalizing matrix of Remark 9.3 — is developed in the next lesson.
1

Orthogonal diagonalization forces symmetry

An n×nn\times n matrix AA is orthogonally diagonalizable (Definition 9.1) if there is an orthogonal matrix SS (so S−1=STS^{-1}=S^T) with S−1AS=STAS=DS^{-1}AS=S^TAS=D diagonal; equivalently, AA 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 A=SDSTA=SDS^T with SS orthogonal and DD diagonal, then AT=(SDST)T=(ST)TDTST=SDST=A,A^T=(SDS^T)^T=(S^T)^T D^T S^T=SDS^T=A, using DT=DD^T=D. 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.

2

Real eigenvalues (Proposition 9.2)

A general real matrix can have complex eigenvalues: the rotation [0−110]\begin{bmatrix}0&-1\\1&0\end{bmatrix} has eigenvalues ±i\pm i. Proposition 9.2 says this never happens for a symmetric matrix — a symmetric n×nn\times n matrix AA has nn real eigenvalues, counted with algebraic multiplicity. The proof takes a possibly complex eigenvalue λ∈C\lambda\in\mathbb{C} with eigenvector vv and shows λ=λˉ\lambda=\bar\lambda. Since AA is real, conjugating Av=λvAv=\lambda v gives Avˉ=λˉvˉA\bar v=\bar\lambda\bar v, so vˉ\bar v is an eigenvector for λˉ\bar\lambda. Writing v=u+iwv=u+iw with u,w∈Rnu,w\in\mathbb{R}^n, note vˉ⋅v=∥u∥2+∥w∥2=∥v∥2>0\bar v\cdot v=\|u\|^2+\|w\|^2=\|v\|^2>0. Now evaluate vˉ⋅(Av)\bar v\cdot(Av) two ways: directly vˉ⋅(Av)=λ (vˉ⋅v)=λ∥v∥2\bar v\cdot(Av)=\lambda\,(\bar v\cdot v)=\lambda\|v\|^2, while using A=ATA=A^T gives vˉ⋅(Av)=(Avˉ)⋅v=λˉ (vˉ⋅v)=λˉ∥v∥2\bar v\cdot(Av)=(A\bar v)\cdot v=\bar\lambda\,(\bar v\cdot v)=\bar\lambda\|v\|^2. Because ∥v∥≠0\|v\|\neq0, cancelling yields λ=λˉ\lambda=\bar\lambda, i.e. λ∈R\lambda\in\mathbb{R}. The degree-nn characteristic polynomial cA(λ)=det⁡(A−λI)c_A(\lambda)=\det(A-\lambda I) therefore has all real roots.

3

Eigenvectors for distinct eigenvalues are orthogonal (Lemma 9.1)

Here is the fact that makes symmetric matrices geometrically beautiful. Lemma 9.1: if AA is symmetric and v1,v2v_1,v_2 are eigenvectors for distinct eigenvalues λ1≠λ2\lambda_1\neq\lambda_2, then v1⊥v2v_1\perp v_2. The proof computes v1⋅(Av2)v_1\cdot(Av_2) in two ways. On one hand Av2=λ2v2Av_2=\lambda_2 v_2, so v1⋅(Av2)=λ2 (v1⋅v2).v_1\cdot(Av_2)=\lambda_2\,(v_1\cdot v_2). On the other hand, using symmetry AT=AA^T=A, v1⋅(Av2)=(Av2)Tv1=v2TATv1=v2T(Av1)=λ1 (v1⋅v2).v_1\cdot(Av_2)=(Av_2)^T v_1=v_2^T A^T v_1=v_2^T(Av_1)=\lambda_1\,(v_1\cdot v_2). Subtracting, (λ1−λ2)(v1⋅v2)=0(\lambda_1-\lambda_2)(v_1\cdot v_2)=0. Since λ1≠λ2\lambda_1\neq\lambda_2 the factor λ1−λ2≠0\lambda_1-\lambda_2\neq0, forcing v1⋅v2=0v_1\cdot v_2=0. 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.

4

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 vv is an eigenvector of a symmetric AA for a real eigenvalue λ\lambda, then the orthogonal complement span⁡(v)⊥={w∈Rn∣v⋅w=0}\operatorname{span}(v)^\perp=\{w\in\mathbb{R}^n\mid v\cdot w=0\} is AA-invariant and has dimension n−1n-1. Invariance is a one-line computation: for w⊥vw\perp v, v⋅(Aw)=(Aw)Tv=wTATv=wT(Av)=λ (wTv)=λ (v⋅w)=0,v\cdot(Aw)=(Aw)^T v=w^T A^T v=w^T(Av)=\lambda\,(w^T v)=\lambda\,(v\cdot w)=0, so AwAw is again orthogonal to vv. This lets the Spectral Theorem proceed by induction: peel off one unit eigenvector u1u_1, restrict AA to the (n−1)(n-1)-dimensional invariant subspace span⁡(u1)⊥\operatorname{span}(u_1)^\perp (where it is again symmetric), and repeat. Remark 9.2 records the easy case: when the nn real eigenvalues are all distinct, Lemma 9.1 already makes the eigenbasis orthogonal, and normalizing produces an orthonormal eigenbasis — so AA 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.

Remark 9.1 — Orthogonally diagonalizable implies symmetric

If AA is orthogonally diagonalizable, say A=SDSTA=SDS^T with SS orthogonal (S−1=STS^{-1}=S^T) and DD diagonal, then AA is symmetric: AT=AA^T=A.

Intuition. Transpose the factorization: AT=(SDST)T=(ST)TDTST=SDST=AA^T=(SDS^T)^T=(S^T)^T D^T S^T=SDS^T=A, because a diagonal DD satisfies DT=DD^T=D. So symmetry is a necessary condition for orthogonal diagonalization — the Spectral Theorem (Theorem 9.1) shows it is sufficient as well.
Lemma 9.1 — Orthogonality of eigenvectors for distinct eigenvalues

Let AA be symmetric. If v1,v2v_1,v_2 are eigenvectors of AA for distinct eigenvalues λ1≠λ2\lambda_1\neq\lambda_2, then v1⋅v2=0v_1\cdot v_2=0 (that is, v1⊥v2v_1\perp v_2).

Intuition. Compute v1⋅(Av2)v_1\cdot(Av_2) two ways. Reading Av2=λ2v2Av_2=\lambda_2 v_2 gives λ2(v1⋅v2)\lambda_2(v_1\cdot v_2); using AT=AA^T=A to shift AA onto v1v_1 gives λ1(v1⋅v2)\lambda_1(v_1\cdot v_2). Hence (λ1−λ2)(v1⋅v2)=0(\lambda_1-\lambda_2)(v_1\cdot v_2)=0, and since λ1≠λ2\lambda_1\neq\lambda_2 the dot product must vanish. Symmetry is precisely what lets AA hop from one slot of the dot product to the other.
Proposition 9.2 — Real eigenvalues of symmetric matrices

A symmetric n×nn\times n matrix AA with real entries has nn real eigenvalues, counted with their algebraic multiplicities.

Intuition. For an eigenpair Av=λvAv=\lambda v with λ∈C\lambda\in\mathbb{C}, conjugation gives Avˉ=λˉvˉA\bar v=\bar\lambda\bar v. Evaluating vˉ⋅(Av)\bar v\cdot(Av) two ways yields λ∥v∥2=λˉ∥v∥2\lambda\|v\|^2=\bar\lambda\|v\|^2; since ∥v∥≠0\|v\|\neq0 we get λ=λˉ\lambda=\bar\lambda, so λ\lambda is real. The degree-nn characteristic polynomial then has only real roots.
Lemma 9.2 — The orthogonal complement of an eigenvector is $A$-invariant

Let AA be symmetric and let vv be an eigenvector for a real eigenvalue λ\lambda. Then span⁡(v)⊥={w∈Rn∣v⋅w=0}\operatorname{span}(v)^\perp=\{w\in\mathbb{R}^n\mid v\cdot w=0\} is an AA-invariant subspace of dimension n−1n-1.

Intuition. If w⊥vw\perp v then v⋅(Aw)=wTATv=wT(Av)=λ(v⋅w)=0v\cdot(Aw)=w^T A^T v=w^T(Av)=\lambda(v\cdot w)=0, so AwAw stays in span⁡(v)⊥\operatorname{span}(v)^\perp. The dimension is n−1n-1 because it is the orthogonal complement of a single line (Theorem 8.9). This invariant complement is exactly the inductive step of the Spectral Theorem.

Worked examples

Example 1

Let A=[2112]A=\begin{bmatrix}2&1\\1&2\end{bmatrix}. Confirm it is symmetric, find its eigenvalues and corresponding eigenvectors, and verify Lemma 9.1 by checking the eigenvectors are orthogonal.

  1. 1

    Symmetry: AT=[2112]=AA^T=\begin{bmatrix}2&1\\1&2\end{bmatrix}=A, so AA is symmetric and Proposition 9.2 already guarantees its eigenvalues are real.

  2. 2

    Characteristic polynomial: det⁡(A−λI)=(2−λ)2−1=λ2−4λ+3=(λ−1)(λ−3)\det(A-\lambda I)=(2-\lambda)^2-1=\lambda^2-4\lambda+3=(\lambda-1)(\lambda-3), so λ1=1\lambda_1=1 and λ2=3\lambda_2=3 — real and distinct.

  3. 3

    Eigenvector for λ1=1\lambda_1=1: solve (A−I)v=0(A-I)v=0, i.e. [1111]v=0\begin{bmatrix}1&1\\1&1\end{bmatrix}v=0, giving v1=(1,−1)Tv_1=(1,-1)^T.

  4. 4

    Eigenvector for λ2=3\lambda_2=3: solve (A−3I)v=0(A-3I)v=0, i.e. [−111−1]v=0\begin{bmatrix}-1&1\\1&-1\end{bmatrix}v=0, giving v2=(1,1)Tv_2=(1,1)^T.

  5. 5

    Orthogonality check (Lemma 9.1): v1⋅v2=(1)(1)+(−1)(1)=0v_1\cdot v_2=(1)(1)+(-1)(1)=0, so v1⊥v2v_1\perp v_2 — exactly as the lemma promises for distinct eigenvalues.

Answer. Eigenvalues λ1=1, λ2=3\lambda_1=1,\ \lambda_2=3 with eigenvectors v1=(1,−1)Tv_1=(1,-1)^T and v2=(1,1)Tv_2=(1,1)^T; since v1⋅v2=0v_1\cdot v_2=0, Lemma 9.1 is confirmed.
Example 2

Illustrate Proposition 9.2. (a) Show the non-symmetric matrix B=[0−110]B=\begin{bmatrix}0&-1\\1&0\end{bmatrix} has complex eigenvalues. (b) Show the symmetric matrix A=[120210005]A=\begin{bmatrix}1&2&0\\2&1&0\\0&0&5\end{bmatrix} has three real eigenvalues, and check them against the trace and determinant.

Example 3

For the symmetric matrix A=[120210005]A=\begin{bmatrix}1&2&0\\2&1&0\\0&0&5\end{bmatrix}, the vector v=(0,0,1)Tv=(0,0,1)^T is an eigenvector for λ=5\lambda=5. Verify Lemma 9.2: show span⁡(v)⊥\operatorname{span}(v)^\perp is AA-invariant, and identify the restricted map.