Hilbert space completion
= 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.