If you’ve read the proof of the “completion of a metric space”, then you surely must have asked yourself “WHY?”! Say we have an incomplete metric space . Why can’t we just complete by including the limit points of all its cauchy sequences?!
No. We can’t. The limit points of cauchy sequences may not be determinable.
The new space that we create, is it just ? No. It is a completely different space.
So what exactly is ? is a space with a new bunch of points: equivalence classes of cauchy sequences in such that iff .
If you read the proof, you’ll realise it does a bunch of random crap to prove is complete. WHY?? Couldn’t it have been simpler with less dense sets and the like?
Let’s create a cauchy sequence of the equivalence classes. How do we know that the limit point of this sequence exists? We’re stuck here. One wouldn’t know how to proceed.
On a more important note, we just have a bunch of equivalence classes whose limits we do not know. We have no idea how they behave with respect to each other. Should we have equivalence classes whose limit points we do know, then we’ll have some perspective on the structure of the space and what the limit point of the cauchy sequence is. We might not even know the terms of some such equivalence classes. How’re we supposed to analyze things we have absolutely no idea about?
Some information is better than no information. If we could find out the limit points of all such equivalence classes (or terms of the cauchy sequence, in this case), we could think of doing something productive. But we can’t determine the limit points. So what now?
Consider all equivalence classes of cauchy sequences which converge to points in the space . This set is dense in (this is easy to prove).
A fundamental concept is this: Let us take a cauchy sequence , and another cauchy sequence which converges to . Then , where is a fixed number. As increases, the cauchy sequence converges to . Hence, we extrapolate from the concept of convergence of points to convergence of converging sequences. Can we think about the convergence of converging sequences in any other way? Something to think about. But this is definitely a useful concept to remember. Note that the limit point of may not even be known.
So how is this concept relevant to the proof? We’ve associated with the original cauchy sequence another cauchy sequence with limit points in the space, as mentioned before. The association is such that . Now the masterstroke- we map each sequence to the limit in the original space : we map converging to , to the point in . Isn’t that a lot of potentially useless mapping? No. This is explained below.
What do we have here? We have a cauchy sequence . This may or may not have a limit, which is inconsequential to the proof. Now let us take the cauchy sequence converging to . We know from before that . Now let us take equivalence classes of the sequence , and the sequences . The cauchy sequence of equivalence classes of will obviously converge to the equivalence class of . As a result, the original also converges to the equivalence class of . We had associated just so that we could get sequences converging to the terms of .
What is the point of creating these equivalence classes? Couldn’t we have formed a complete metric space in some other way? Thinking about cauchy sequences, something that immediately pops into mind is cauchy sequences of cauchy sequences. Cauchy sequences of what else can be formed? Cauchy sequences of squares of points? Will that space really be complete? Maybe there are other possibilites to form a complete metric space as derived from , but this one is one that easily pops into mind after one gets comfortable with the concept of the cauchy sequence and the sequences converging to . Whether metric spaces can be completed in other ways is something you and I should think about.