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 .

Articles by others on the same topic (0)

There are currently no matching articles.