Uniform basis-tail criterion for strong convergence (source code)

= Uniform basis-tail criterion for strong convergence

Suppose $x_n\rightharpoonup x$ in a separable Hilbert space with Hilbertian basis $(e_i)$. Then $x_n\to x$ in norm exactly when
$$
\forall\epsilon>0\ \exists I\ 
\forall n,\qquad
\sum_{i\geq I}|\langle x_n,e_i\rangle|^2<\epsilon.
$$
The condition prevents norm from escaping to successively higher basis coordinates.