Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ii/paper-4/22g/solution
Past exam of the mathematics course of the University of Cambridge 2006 ii Paper 4 22G Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
A bounded operator on a complex Hilbert space is self-adjoint when , equivalently . The spectral theorem for compact self-adjoint operators says its nonzero spectrum consists of real eigenvalues of finite multiplicity, with at most countably many and with accumulation possible only at zero. Their eigenspaces are mutually orthogonal; their closed span is the orthogonal complement of the kernel. On that span the operator has the norm-convergent spectral action .
Take and . It is self-adjoint and has infinite-dimensional range. Truncation to the first coordinates is a finite-rank operator and differs from in norm by , so is compact.
The resolvent set comprises those for which has a bounded everywhere-defined inverse; its complement is the spectrum, and the point spectrum consists of eigenvalues. In this exampleFor outside the displayed closed set the inverse is diagonal with entries uniformly bounded, proving membership of the resolvent. Each has eigenvector . Zero is not an eigenvalue, but prevents a bounded inverse; also has no preimage since that would be the non-square-summable constant sequence. This justifies every asserted spectral case.
New to topics? Read the docs here!