Paper 1, Section II, F
Let be a normed vector space over the real numbers.
(a) Define the dual space of and prove that is a Banach space. [You may use without proof that is a vector space.]
(b) The Hahn-Banach theorem states the following. Let be a real vector space, and let be sublinear, i.e., and for all and all . Let be a linear subspace, and let be linear and satisfy for all . Then there exists a linear functional such that for all and .
Using the Hahn-Banach theorem, prove that for any non-zero there exists such that and .
(c) Show that can be embedded isometrically into a Banach space, i.e. find a Banach space and a linear map with for all .
Typos? Please submit corrections to this page on GitHub.