2
$\begingroup$

If $V \subset H$ are Hilbert spaces and $V$ is dense in $H$, is it true that for $f \in H^*$, $\lVert f \rVert_{H^*} = \sup_{v \in V} \frac{|f(v)|}{\lVert v \rVert_V}?$ So I mean can we just take the supremum in the definition of the norm of $f$ over the dense subset?

  • 0
    A complete subspace is a closed subspace. A dense closed subset is the whole space. You should require only that $V$ is a subspace.2012-11-29

1 Answers 1

3

Yes: let $v_n$ of norm $1$ such that $f(v_n)\geqslant \lVert f\rVert_{H^*}-n^{-1}$. Then let $v'_n\in V$ such that $\lVert v_n-v'_n\rVert\leqslant n^{-1}$. Then $|f(v'_n)|=|f(v_n)-f(v_n-v'_n)|\geqslant |f(v_n)|-|f(v_n-v'_n)|\geqslant\lVert f\rVert_{H^*}-n^{-1}-\lVert f\rVert_{H^*}n^{-1},$ which gives $\lVert f\rVert(1-n^{-1})^{-1}\geqslant\left|f\left(\frac 1{\lVert v'_n\rVert}v'_n\right)\right|\geqslant (1+n^{-1})^{-1}\left(\lVert f\rVert_{H^*}-n^{-1}(1+\lVert f\rVert_{H^*})\right).$ The result follows.

  • 0
    what if the norms of $V$ and $H$ are different?2013-03-07