8
$\begingroup$

How does the Hahn-Banach theorem for Hilbert spaces follow from Riesz's representation theorem?

$\endgroup$
13
$\begingroup$

Yes. Given a subspace $M$ of a Hilbert space $H$, and a continuous linear functional $f : M \to \mathbb{C}$, you can extend $f$ to a unique continuous linear functional $g : \overline{M} \to \mathbb{C}$.

Now, $\overline{M}$ is a Hilbert space, to there is $y \in \overline{M}$ such that $$ g(x) = \langle x, y\rangle $$ for all $x\in \overline{M}$.

Now write $h : H \to \mathbb{C}$ to be $x \mapsto \langle x, y\rangle$ and this extends $f$.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ How to show the uniqueness?? @Prahlad $\endgroup$ – user487904 Nov 22 '17 at 9:33
  • $\begingroup$ There's no uniqueness in the Hahn-Banach theorem. Also, if $H$ is finite-dimensional, there can be more than one continuous linear functional extending $f$, and the norm of a continuous linear extension can be larger than $f$. To see this, extend a basis of $M$ to a basis of $H$, then extend $f$ to the basis of $H$ arbitrarily. $\endgroup$ – MichaelGaudreau Sep 27 '18 at 16:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.