completion
Let be a metric space. Let be the set of all Cauchy sequences in . Define an equivalence relation on by setting if the interleave sequence of the sequences and is also a Cauchy sequence. The completion of is defined to be the set of equivalence classes of modulo .
The metric on extends to a metric on in the following manner:
where and are representative Cauchy sequences of elements in . The definition of is tailored so that the limit in the above definition is well defined, and the fact that these sequences are Cauchy, together with the fact that is complete, ensures that the limit exists. The space with this metric is of course a complete metric space.
The original metric space is isometric to the subset of consisting of equivalence classes of constant sequences.
Note the similarity between the construction of and the construction of from . The process used here is the same as that used to construct the real numbers , except for the minor detail that one can not use the terminology of metric spaces in the construction of itself because it is necessary to construct in the first place before one can define metric spaces.
1 Metric spaces with richer structure
If the metric space has an algebraic structure, then in many cases this algebraic structure carries through unchanged to simply by applying it one element at a time to sequences in . We will not attempt to state this principle precisely, but we will mention the following important instances:
-
1.
If is a topological group, then is also a topological group with multiplication defined by
-
2.
If is a topological ring, then addition and multiplication extend to and make the completion into a topological ring.
-
3.
If is a field with a valuation , then the completion of with respect to the metric imposed by is a topological field, denoted and called the completion of at .
2 Universal property of completions
The completion of satisfies the following universal property: for every uniformly continuous map of into a complete metric space , there exists a unique lifting of to a continuous map making the diagram