Weakly null orthonormal sequence
ID: weakly-null-orthonormal-sequence
Every orthonormal sequence in a Hilbert space converges weakly to zero, by Bessel inequality, but no subsequence converges strongly because distinct terms remain distance apart.
New to topics? Read the docs here!