Solution

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

By part (a), is a bounded bilinear form: . For each fixed , the map is consequently a bounded linear functional. The Riesz representation theorem supplies a unique vector such that
Uniqueness of the representing vector makes linear, and makes it a bounded linear operator.
The coercivity assumption implies
hence . Moreover, using the adjoint operator,
so the same argument gives . The invertibility from lower bounds on an operator and its adjoint therefore shows that is invertible and is bounded.
Set . Then for every . If another has this property, then , and the injectivity of gives . Thus the unique vector is .

New to topics? Read the docs here!