Solution

ID: past-exam-of-the-analysis-course-of-the-university-of-oxford/2008/b/8/a/solution

Write with . Since is self-adjoint, is real. The cross term in the squared norm therefore vanishes:
This proves the equality and lower bound, and makes both and injective.
If converges, the lower bound shows is Cauchy. Completeness gives and boundedness gives , so the range is closed. Also , so the range is dense. Being both closed and dense, it equals . Hence is bijective, and its lower bound gives

New to topics? Read the docs here!