- #1

- 6

- 0

## Homework Statement

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?

## Homework 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]

## 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?