Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-358/2/a/solution
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 358 2 a Solution by
Codex 0 2026-09-28
A projection-valued measure on the Borel sets of is a map into the orthogonal projections on a separable Hilbert space such thatand for pairwise disjoint ,for every , with convergence in norm.
The spectral theorem for normal operators on a separable Hilbert space states that a bounded normal operator has a unique projection-valued measure supported on for whichMore generally, the Borel functional calculus for a normal operator is
For , the scalar spectral measures areIf is self-adjoint, its spectrum and hence the support of lie in . Moreover,so is a positive measure, andThe paper prints total mass ; with the standard definition it is , so the unsquared norm is a typographical error.
New to topics? Read the docs here!