Paper 1, Section II, F

Linear Analysis | Part II, 2017

Let XX be a normed vector space over the real numbers.

(a) Define the dual space X∗X^{*} of XX and prove that X∗X^{*} is a Banach space. [You may use without proof that X∗X^{*} is a vector space.]

(b) The Hahn-Banach theorem states the following. Let XX be a real vector space, and let p:X→Rp: X \rightarrow \mathbb{R} be sublinear, i.e., p(x+y)⩽p(x)+p(y)p(x+y) \leqslant p(x)+p(y) and p(λx)=λp(x)p(\lambda x)=\lambda p(x) for all x,y∈Xx, y \in X and all λ>0\lambda>0. Let Y⊂XY \subset X be a linear subspace, and let g:Y→Rg: Y \rightarrow \mathbb{R} be linear and satisfy g(y)⩽p(y)g(y) \leqslant p(y) for all y∈Yy \in Y. Then there exists a linear functional f:X→Rf: X \rightarrow \mathbb{R} such that f(x)⩽p(x)f(x) \leqslant p(x) for all x∈Xx \in X and f∣Y=g\left.f\right|_{Y}=g.

Using the Hahn-Banach theorem, prove that for any non-zero x0∈Xx_{0} \in X there exists f∈X∗f \in X^{*} such that f(x0)=∥x0∥f\left(x_{0}\right)=\left\|x_{0}\right\| and ∥f∥=1\|f\|=1.

(c) Show that XX can be embedded isometrically into a Banach space, i.e. find a Banach space YY and a linear map Φ:X→Y\Phi: X \rightarrow Y with ∥Φ(x)∥=∥x∥\|\Phi(x)\|=\|x\| for all x∈Xx \in X.

Typos? Please submit corrections to this page on GitHub.