(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

Having a little trouble on number 24 of Chapter 3 in Rudin's Principles of Mathematical Analysis. How do I prove that the completion of a metric space is complete?

2. Relevant equations

[itex]X[/itex] is the original metric space, [itex]X^* [/itex] is the completion, or the set of equivalence classes generated by the metric [itex]\bigtriangleup(P,Q) = \lim_{n \to \infty} d(p_n, q_n) [/itex] where [itex]P,Q \in X^* [/itex] and [itex] \{p_n\} \in P[/itex] and [itex]\{q_n\} \in Q. [/itex]

3. The attempt at a solution

I guess the thing that's confusing me is thinking about Cauchy sequences of equivalence classes. Every time you compare two new equivalence classes, you compare the limit of two real number sequences I guess. Am I thinking about this correctly?

My gut instinct is to use Baire's theorem for this. Maybe construct some shrinking neighborhoods and show the infinite intersection is nonempty? If this is a good path to take, I'll have two questions:

1. How to construct the neighborhoods (maybe let [itex] N_{r_n}p_n[/itex] be the smallest neighborhood containing the previous point, centered at [itex] p_n [/itex])?

2. How to show these neighborhoods are dense in [itex] X^* [/itex]? How can an equivalence class be a limit or a point of a neighborhood?

**Physics Forums | Science Articles, Homework Help, Discussion**

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!

# Homework Help: Proving the completion of a metric space is complete

**Physics Forums | Science Articles, Homework Help, Discussion**