Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-36/4/b/solution

Use . Positivity of the directed subspace angle cosine gives
so is injective. The two vector spaces have the same finite dimension, . By the rank-nullity theorem, is also surjective. There is no need to assume a second positive directed subspace angle cosine in this finite-dimensional case.
For any , find with . Then . If , then , and injectivity gives . Hence
The direct sum is again bounded: . If , then and , so closedness of gives and the conclusion directly; no angle of an empty unit sphere is needed. Equal finite dimensions are essential to the surjectivity argument, whereas mere injectivity between infinite-dimensional Hilbert spaces is insufficient.

New to topics? Read the docs here!