Hilbert space completion (source code)

= Hilbert space completion
{c}

The Hilbert space completion of an <inner-product space> $V$ is a <Hilbert space> containing an isometric dense copy of $V$. It can be constructed from <Cauchy sequences> in $V$, identifying two sequences when the norm of their difference tends to zero.