Solution

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

is the space of linear functionals and the dual basis satisfies . Nondegeneracy and equal finite dimensions make an isomorphism; evaluation similarly identifies with . Riesz representation applied to gives the unique adjoint. If is diagonalizable, declare an eigenbasis orthonormal to make it self-adjoint. Conversely, for self-adjoint and invariant , shows invariant.

New to topics? Read the docs here!