Radon-Riesz theorem (source code)

= Radon-Riesz theorem
{c}

In a Hilbert space, weak convergence $x_n\rightharpoonup x$ together with $\lVert x_n\rVert\to\lVert x\rVert$ implies strong convergence $x_n\to x$.