Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ib/paper-1/8f/a/ii/solution

For the common eigenvector , its orthogonal complement is invariant under both and . Indeed, if , then
and the analogous calculation applies to . The restriction of to is therefore again normal. Induction on , beginning with the normalized vector , produces an orthonormal eigenbasis. This proves the finite-dimensional spectral theorem for normal operators.

New to topics? Read the docs here!