Gram–Schmidt, orthogonal/unitary/normal matrices, spectral theorem
Why this is asked: Spectral theorem: real symmetric ⇒ orthogonally diagonalisable with real eigenvalues; complex normal ⇒ unitarily diagonalisable. Know which matrix classes are normal.
In one sentence
Normal is exactly the class the spectral theorem applies to, Hermitian and unitary and skew-Hermitian are the three special cases whose eigenvalues sit on the real axis, the unit circle and the imaginary axis, and every question here is asking which of those you are in.
Why the exam asks it
Because "diagonalisable" and "unitarily diagonalisable" are different conditions, and the second is the useful one — it gives an orthonormal eigenbasis, which is what makes the spectral theorem a tool rather than a classification. And because the word "symmetric" carries real weight over and almost none over .
The idea
An inner product gives , and
with equality exactly when and are dependent.
Gram–Schmidt turns any independent list into an orthonormal one spanning the same subspaces step by step. Two things worth noting: it needs the inputs to be independent (a dependent vector produces the zero vector at that step), and it gives the factorisation directly.
Orthogonal projection onto a subspace minimises distance: for every , with equality only at . That is the best-approximation property, and it is what least squares is.
for finite-dimensional , and .
The adjoint and the three families
is the conjugate transpose. Then:
- Hermitian (self-adjoint): .
- Unitary: ; over , orthogonal, .
- Skew-Hermitian: .
- Normal: .
All three of the first families are normal, and normal is strictly larger than their union.
The spectral theorem
Over : is normal is unitarily diagonalisable, that is with unitary.
Over : is symmetric is orthogonally diagonalisable, with orthogonal and real.
Consequences that get examined directly:
- Hermitian all eigenvalues real.
- Unitary all eigenvalues have modulus 1.
- Skew-Hermitian all eigenvalues purely imaginary.
- For a normal matrix, eigenvectors belonging to distinct eigenvalues are orthogonal — not merely independent, which is all you get in general.
Each converse holds too, given normality: a normal matrix with all-real eigenvalues is Hermitian, and so on. Without normality the converses fail — has a real eigenvalue and is not Hermitian.
Real orthogonal matrices
A rotation is orthogonal, hence normal, hence unitarily diagonalisable over with eigenvalues — both of modulus , as required. Over it is not diagonalisable at all, because has no real root.
So "normal" does not mean "diagonalisable over the reals". The real spectral theorem needs symmetric, and orthogonal is a different condition entirely. Note also for orthogonal matrices, not : reflections have determinant .
Where intuition breaks
"Symmetric, so diagonalisable." Over yes. Over , is symmetric, nonzero and squares to zero. The complex analogue of real symmetry is Hermitian, and the option will say "symmetric" and let you supply "real" yourself.
"Normal, so diagonalisable over ." The rotation matrix. Normal gives unitary diagonalisability over , which says nothing about .
"Orthogonal, so ." . The ones form the rotations; the ones include every reflection.
"Hermitian, so positive definite." is Hermitian with eigenvalues . Hermitian fixes the eigenvalues to be real, not positive.
"Eigenvectors for distinct eigenvalues are orthogonal." True for normal matrices; false in general, where they are only independent. Take : eigenvectors and are not orthogonal.
" and have the same eigenvalues." They are conjugates of each other. For Hermitian matrices this is the same thing, which is why the error survives.
"Gram–Schmidt works on any spanning set." It needs independence. On a dependent list it produces a zero vector, which cannot be normalised — the fix is to discard it, but the naive algorithm divides by zero.
"Unitarily diagonalisable is the same as diagonalisable." is diagonalisable — distinct eigenvalues — and not normal, so not unitarily diagonalisable. The eigenbasis exists; an orthonormal one does not.
The exam's angle
- Compute and first. Normality is a two-line check and it decides whether the spectral theorem is available at all.
- Match eigenvalue location to family. Real Hermitian, modulus one unitary, purely imaginary skew-Hermitian — but only once you know the matrix is normal.
- Read or . Symmetric matters over ; over it is nearly worthless and Hermitian is the condition.
- For "orthonormal basis of eigenvectors", the question is normality, not diagonalisability.
- Remember orthogonal matrices are normal but rarely real-diagonalisable. Rotations are the standard counterexample and appear constantly.
The night before
- Normal unitarily diagonalisable, over . Real symmetric orthogonally diagonalisable, over .
- Hermitian: real eigenvalues. Unitary: modulus . Skew-Hermitian: purely imaginary. Converses hold given normality.
- Normal eigenvectors for distinct eigenvalues are orthogonal; in general only independent.
- Complex symmetric is worthless: is symmetric and nilpotent. Use Hermitian.
- Orthogonal . Rotation: normal, not diagonalisable over , eigenvalues .
- Cauchy–Schwarz with equality dependence.
- Gram–Schmidt needs independence; gives .
- Orthogonal projection is the best approximation; .
- Diagonalisable unitarily diagonalisable.
See it move
The trap here
“A real matrix with all real eigenvalues is orthogonally diagonalisable” — false
[[1,1],[0,1]]
Eigenvalue 1 twice but only one eigenvector; orthogonal diagonalisability requires symmetry.
Check yourself — select all that apply
Let U be a real orthogonal n × n matrix (UᵀU = I). Which of the following are true?
Next: Quadratic forms, positive definiteness, Sylvester's law
Create a free account to keep your place and have this feed your study plan.
Open this in the full syllabus view · Unit 1