Norm convergence (source code)

= Norm convergence
{title2=$x_n\to x$ in norm}

= Strong convergence
{synonym}

A sequence converges in norm when $\lVert x_n-x\rVert\to0$.