Uniform basis-tail criterion for strong convergence
= 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.