Consider a Hausdorff, real (but I believe this not to be relevant), locally-convex topological linear space $X$ and a closed linear subspace $Y$. Let $f \in Y^*$ (the topological dual). I want to show that there exist $F \in X^*$ (not necessarily unique) such that $F \big| _Y = f$.
The only thing that this makes me think of is the Hahn-Banach theorem. However, I do not know how to use it, since that theorem makes use of an auxiliary seminorm, the role of which is to dominate the functional to be extended. In my problem, there is no such dominating seminorm, so how should I fabricate it? Or is there an alternative approach not involving the Hahn-Banach theorem?