Hahn-Banach Theorem for Continuous Linear Functional on Locally Convex Space

Theorem
Let $\GF \in \set {\R, \C}$.

Let $\struct {X, \PP}$ be a locally convex space over $\GF$ with its standard topology.

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

Let $f_0 : X_0 \to \GF$ be a continuous linear functional.

Then there exists a continuous linear functional $f : X \to \GF$ such that $f$ extends $f_0$.

Proof
By Normed Vector Space is Locally Convex Space and Norm on Vector Space is Seminorm, we can view the normed vector space $\struct {\GF, \cmod {\, \cdot \,} }$ as the locally convex space $\struct {\GF, \set {\cmod {\, \cdot \,} } }$.

From Characterization of Continuous Linear Transformations between Locally Convex Spaces, there exists $C > 0$, $n \in \N$ and $p_1, \ldots, p_n \in \PP$ such that:


 * $\ds \cmod {\map {f_0} x} \le C \max_{1 \le i \le n} \map {p_i} x$

for each $x \in X_0$.

Define $p : X \to \R_{\ge 0}$ by:


 * $\ds \map p x = C \max_{1 \le i \le n} \map {p_i} x$

for each $x \in X$.

From Pointwise Maximum of Finite Family of Seminorms is Seminorm and Non-Negative Scalar Multiple of Seminorm on Vector Space is Seminorm, we have that $p$ is a seminorm.

So we have:


 * $\cmod {\map {f_0} x} \le \map p x$

for each $x \in X_0$.

From:


 * the Hahn-Banach Theorem: Real Vector Space: Corollary 1 if $\GF = \R$
 * the Hahn-Banach Theorem: Complex Vector Space: Corollary if $\GF = \C$

there exists a linear functional $f$ extending $f_0$ such that:


 * $\ds \cmod {\map f x} \le \map p x = C \max_{1 \le i \le n} \map {p_i} x$

for each $x \in X_0$.

From Characterization of Continuous Linear Transformations between Locally Convex Spaces, $f$ is continuous.

So $f$ is a continuous linear functional satisfying the demand.