Weak convergence in a Hilbert space (source code)

= Weak convergence in a Hilbert space

A sequence $x_n$ converges weakly to $x$ when $\langle x_n,y\rangle\to\langle x,y\rangle$ for every $y$ in the Hilbert space.