## Constructing the Completion of a Metric Space

Suppose we are given a metric spaceLetbe the set of all Cauchy sequences inand letbe the equivalence relation ondefined byif and only if

Now defineas the quotient space .

Elements of the quotient space are the equivalence classesof the Cauchy sequencesofIfthenand