Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-358/2/a/solution

A projection-valued measure on the Borel sets of is a map into the orthogonal projections on a separable Hilbert space such that
and 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 which
More generally, the Borel functional calculus for a normal operator is
For , the scalar spectral measures are
If is self-adjoint, its spectrum and hence the support of lie in . Moreover,
so is a positive measure, and
The 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!