Paper 1, Section II, G

Linear Analysis
Part II, 2012

What is meant by the dual XX^{*} of a normed space XX ? Show that XX^{*} is a Banach space.

Let X=C1(0,1)X=C^{1}(0,1), the space of functions f:(0,1)Rf:(0,1) \rightarrow \mathbb{R} possessing a bounded, continuous first derivative. Endow XX with the sup norm f=supx(0,1)f(x)\|f\|_{\infty}=\sup _{x \in(0,1)}|f(x)|. Which of the following maps T:XRT: X \rightarrow \mathbb{R} are elements of XX^{*} ? Give brief justifications or counterexamples as appropriate.

  1. Tf=f(12)T f=f\left(\frac{1}{2}\right);
  2. Tf=fT f=\|f\|_{\infty}
  3. Tf=01f(x)dxT f=\int_{0}^{1} f(x) d x
  4. Tf=f(12)T f=f^{\prime}\left(\frac{1}{2}\right).

Now suppose that XX is a (real) Hilbert space. State and prove the Riesz representation theorem. Describe the natural mapXX\operatorname{map} X \rightarrow X^{* *} and show that it is surjective.

[All normed spaces are over R\mathbb{R}. You may assume that if YY is a closed subspace of a Hilbert space XX then X=YY.]\left.X=Y \oplus Y^{\perp} .\right]