Hi all,(adsbygoogle = window.adsbygoogle || []).push({});

Given a metric space (X,d), one can take its completion by doing the following:

1) Take all Cauchy sequences of (X,d)

2) Define a pseudo-metric on these sequences by defining the distance between two sequences to be the limit of the termwise distance of the terms

3) Make this a metric by taking equivalence classes identifying any two sequences with 0 distance

4) This is your desired completion.

There is a slightly more topological approach which seems to mirror the above:

1) Take the (countable) infinite product of your metric spaces

2) Take the subspace (topology) of those points which are Cauchy sequences

3) Take the quotient space where we identify two points for which the Cauchy sequences are identified as above.

It feels as though these constructions should give rise to the same topological space, but I'm having troubles showing it - is there an immediately obvious reason that the two shouldn't be the same topologically?

[edit : to elaborate, my thoughts were that the topological space of Cauchy sequences with pseudo metric in the first construction won't be homeomorphic to the space of Cauchy sequences as a subspace of the infinite product, since things which "start off as distant in the first few terms" can converge to each other down the sequence. However, this might go away once we glue together points in the infinite product which have distance zero from each other as Cauchy sequences - very wordy, probably doesn't help, sorry].

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Completion of a Metric Space

Loading...

Similar Threads - Completion Metric Space | Date |
---|---|

I Relation of completeness to the l.u.b. property? | Aug 27, 2017 |

I Completeness Property (and Monotone Sequence) | Sep 17, 2016 |

Munkres Topology - Chapter 7 - Complete Metric Spaces and Function Spaces | Jan 15, 2013 |

Is this a homeomorphism that does not preserve metric completeness? | Apr 12, 2012 |

Metric and completeness of real numbers | Mar 29, 2012 |

**Physics Forums - The Fusion of Science and Community**