Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-6/3/d/solution

Since , . Also exactly when , which is exactly the range of . Thus
A bounded self-adjoint idempotent is an orthogonal projection: if and , then . Here the orthogonal complement is precisely the zero-mass subspace .

New to topics? Read the docs here!