Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/ib/paper-4/11e/i/solution
Past exam of the mathematics course of the University of Cambridge 2004 ib Paper 4 11E i Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
For a Hermitian operator , every eigenvalue is real. Indeed, if with , self-adjointness gives . To prove the finite-dimensional spectral theorem, proceed by induction on the dimension. The fundamental theorem of algebra supplies a root of the characteristic polynomial, hence a unit eigenvector . Its orthogonal complement is invariant: for , . The restriction of to that complement is again Hermitian. Induction supplies an orthonormal basis of eigenvectors there; adjoining gives an orthonormal eigenbasis of the whole space. The zero-dimensional case is immediate. Consequently a Hermitian operator is diagonal in an orthonormal basis, with real diagonal entries.
New to topics? Read the docs here!