Definition of the problem
Let $\mathcal{H}$ be a Hilbert space, and let $\left(x_{n}\right)_{n\in\mathbb{N}}\subset\mathcal{H}$ be a sequence. Prove the following:
If $\left(f\left(x_{n}\right)\right)_{n\in\mathbb{N}}\subset\mathbb{K}$ converges for each $f\in\mathcal{H}^{\star}$, then there exists $x\in\mathcal{H}$ such that $\left(x_{n}\right)_{n\in\mathbb{N}}$ converges weakly to $x$.
My idea
Define $\varphi:\mathcal{H}^{\star}\rightarrow\mathbb{K},\quad f\mapsto\lim\limits _{n\rightarrow\infty}f\left(x_{n}\right).$ We know that Hilbert spaces are reflexive, then the canonical mapping is surjective (from $\mathcal{H}$ to $\mathcal{H}^{\star\star}$).
Claim: $\varphi\in\mathcal{H}^{\star\star}$.
If we know that $\varphi\in\mathcal{H}^{\star\star}$, then $\varphi\left(f\right)=\lim\limits _{n\rightarrow\infty}f\left(x_{n}\right)=f\left(x\right)$, since the canonical mapping is surjective.
My questions
How could I prove now that my $\varphi$ is an element of $\mathcal{H}^{\star\star}$?
How do you find my proof so far? Is it complete? How would you improve it?
Thanks a lot, Franck.