We recently discussed completion in my analysis class and I have a brief question on the subject. The completion X* of the metric space X is defined to be the set of Cauchy sequences of X with a defined equivalence relation ({xn}~{yn} if lim d(xn,yn)=0) and metric (D([xn],[yn])=lim d(xn,yn)). I understand the proof of this being a well-defined metric space, but how is it known that X* itself is complete?(adsbygoogle = window.adsbygoogle || []).push({});

Thanks in advance.

**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 for Completion metric space | Date |
---|---|

Completing a Fourier Transform Integral | Jun 23, 2014 |

Partial Vs. Complete differentials when dealing with non-independent variables | May 12, 2012 |

Equivalence of Completeness Properties | Feb 15, 2012 |

Complete Fields property | Mar 22, 2011 |

Complete metric space | Sep 3, 2009 |

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