Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ii/paper-4/22h/b/solution

If is invertible, the bounded inverse theorem makes bounded, and
Moreover is invertible with inverse , so the same argument shows that is bounded below.
Conversely, suppose
for some . The first bound makes injective. It also makes closed: if is Cauchy, then is Cauchy, and continuity gives its limit in the range. The second bound gives . By image-kernel orthogonality for an adjoint,
so the range is dense. Being both closed and dense, it equals . Thus is bijective, and the first lower bound gives . Therefore

New to topics? Read the docs here!