Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ia/paper-1/7b/c/solution

Set
Then , and idempotence gives
Moreover,
because both and are Hermitian. This is the orthogonal decomposition into the kernel and image of the projection.

New to topics? Read the docs here!