Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ib/paper-3/9g/d/solution

Proceed by induction on . Over , has an eigenvector , say . The normal operator satisfies the norm equality from part (c), so
Thus . Part (a) now shows that is invariant under both and . The restriction of to is normal. By induction it has an orthonormal eigenbasis, and adjoining the normalized vector proves the finite-dimensional spectral theorem for normal operators.
Hence

New to topics? Read the docs here!