 Completion of a normed space

The completion of a normed vector space $X$ is a Banach space containing an isometric dense copy of $X$. Construct it from Cauchy sequences modulo sequences whose difference tends to zero; define the norm by $\Vert [(x_n)]\Vert ={\lim }_n\Vert x_n\Vert$. Equivalently, the canonical evaluation map into the bidual space is an isometry by the Hahn-Banach theorem, and the closure of its image supplies a completion.

A Banach space is precisely a normed vector space in which every Cauchy sequence converges in norm to an element of the same space. Completion of a normed space fills missing limits without changing distances between existing elements. For example, $C([0,1])$ with the L2 norm completes to L2 space on the interval with Lebesgue measure. The bounded integral functional extends uniquely to that completion of a normed space: define $F(f)={\lim }_{k}F(f_k)$ for any approximating sequence of continuous functions. Its bound makes this independent of the approximation. The unbounded point evaluation has no continuous extension agreeing with its values on all continuous functions.^[ref]