Coordinate criterion for weak convergence in a separable Hilbert space (source code)

= Coordinate criterion for weak convergence in a separable Hilbert space

For a Hilbertian basis $(e_i)$, a sequence $x_n$ converges weakly if and only if $(x_n)$ is norm bounded and every coordinate sequence $\langle x_n,e_i\rangle$ converges.