Hahn-Banach Theorem/Real Vector Space/Corollary 2

Corollary
Let $\struct {X, \norm \cdot}$ be a normed vector space.

Let $X_0$ be a linear subspace of $X$.

Let $f : X_0 \to \R$ be a bounded linear functional.

Then $f_0$ can be extended to a bounded linear functional $f$ with:


 * $\norm f_{X^\ast} = \norm f_{\paren {X_0}^\ast}$

where $\norm \cdot_{X^\ast}$ and $\norm \cdot_{\paren {X_0}^\ast}$ are the norms of the dual spaces $X^\ast$ and $\paren {X_0}^\ast$.