Cuts and Sequences are Equivalent

Sorry to not get this posted until so late, but the end of the semester has been a bit hectic.

We’ve used Dedekind cuts to “complete” the order on the rational numbers — to make sure that every nonempty set of numbers with an upper bound has a least upper bound. We’ve also used Cauchy sequences to “complete” the uniform structure on the rational numbers — to make sure that every Cauchy sequence converges. But do we actually get the same thing in each case?

If we take a real number represented by a Cauchy sequence it’s easy to come up with a cut. Given a rational number we use the constant sequence and compare it to . If is eventually nonnegative then is less than x$, and should go into the left set . On the other hand, if it’s eventually nonpositive then is greater than and should go into the right set . It’s straightforward to show that this function from to the set of cuts preserves the order.

Now let’s start with the cut and write down a Cauchy sequence. Pick some and , and construct the sequence as follows. First write down and . Now set . This value will either be in or it won’t. If it is, replace by , and otherwise replace by . Then define as the midpoint between our two left and right points, and again replace either the left or the right point. Keep going, and we see that all future numbers in the sequence are closer to each other than the current and are to each other. And these two always keep moving closer and closer to each other, halving their distance at each step. So the sequence has to be Cauchy. If we picked a different and to start with, we’d get an equivalent sequence. I’ll leave this to you to show.

Notice here that the points in the sequence that lie in are moving steadily upwards towards the cut, and those in are moving steadily downwards towards it. Eventually, the sequence will rise above any point in and fall below any point in , and so if we take this sequence and build a cut from it we will get back the exact same cut we started with. Also, if we build a cut from a Cauchy sequence, and then a sequence from it, we get back an equivalent sequence. Thus we have set up a bijection between the set of cuts and the set of equivalence classes of Cauchy sequences, and we’ve already seen that it preserves the order structure.

Now let’s look at the map from sequences to cuts and verify that it preserves addition and multiplication of positive numbers. This will make the map into an isomorphism of ordered fields, and so both constructions are describing essentially the same thing. So if we have Cauchy sequences and , which give right sets and of rational numbers, then what’s the right set of the sequence ? It’s the set of rational numbers so that is eventually nonnegative. But any such can be broken up as , where and are both eventually nonnegative. That is, is the set of sums of elements of and , and so addition is preserved. The proof for multiplication is essentially the same.

So both methods of extending the real numbers give us essentially the same ordered field, which is thus both complete as a uniform space and Dedekind complete.

About these ads