# Hahn Banach theorem for locally convex topological vector space.

Given a locally convex topological vector space $X$, and a closed proper subspace $Y \subset X$. Take $x \in X \setminus Y$. Is it true we can find a continuous linear functional $f : X \to \mathbb R$, such that $f(x) \neq 0$, and $f|_Y \equiv 0$. I know that this is true for normed vector spaces. However, can we do this for general topological vector spaces?

• Apply the Hahn-Banach separation theorem (the second part) with compact set $\{x\}$ and and closed set $Y$. – Aweygan Dec 4 '17 at 21:38
• @Aweygan Would like to write that as an answer? – punctured dusk Aug 9 '18 at 13:14
• @barto I don't really see the point, but alright – Aweygan Aug 9 '18 at 14:16

Apply the Hahn-Banach separation theorem, with the compact set $\{x\}$ and the closed set $Y$. We obtain some $f\in X^*$ such that $f(x)\notin f(Y)$ (actually we obtain something stronger, but not necessary here). As $Y$ is a subspace of $X$, $f(Y)$ is a proper subspace of $\mathbb F$ ($=\mathbb R$ or $\mathbb C$). Hence $f(Y)=\{0\}$, and $f(x)\neq0$.