Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/ib/paper-4/10f/b/solution

The adjoint operator is uniquely characterized by
Let . Its quadratic form is nonnegative:
If , both norms vanish. In particular , while means is orthogonal to , by the defining adjoint operator identity. A vector belonging to a vector subspace and its orthogonal complement must be zero. Hence is injective, and finite dimensionality makes it surjective.
Thus
The same calculation shows it is a positive-definite operator when .

New to topics? Read the docs here!