29 Jun Construction of the system of real numbers by Cauchy sequences
In a previous article, we explained the construction of real numbers using Dedekind Cuts; in this article we will explain the construction using Cauchy sequences. A sequence of rational numbers is a function from the set of positive integers into For a positive integer the image is generally denoted by and the sequence itself by more informally, we sometimes write the sequence as so there is a first term, a second term and so on. Let’s take an example. Consider the sequence of rational numbers, where . A few terms of this sequence are (these are approximate values)
It seems like the terms of the sequence are getting closer and closer to something (this something is of course the irrational number but we don’t know about it yet). Another important observation is that as we go further down the sequence, the terms are getting closer and closer to each other. This leads to the following idea.
A sequence of rational numbers is called a Cauchy sequence if for every rational number there exists a positive integer such that for all integers
We henceforth shall drop “of rational numbers” and simply say “Cauchy sequence”. Unlike the Dedekind cuts, distinct Cauchy sequences need not get closer and closer to distinct “objects”. So we need a way of identifying those Cauchy sequences that get close to the same object. Hence we have the following.
Two Cauchy sequences are called equivalent if for every rational number there exists a positive integer such that for all integers
To a Cauchy sequence we associate an object called the formal limit of the sequence. For two Cauchy sequences we declare iff the sequences are equivalent. The set of all such distinct formal limits is denoted by
Now we extend the operations from to But before that we need the relation like before we need an identification. We identify with the formal limit of the constant sequence (observe that this is a Cauchy sequence). With this identification we have For real numbers where are Cauchy sequences, we define (i.e., are the formal limits of the sequences ). We define negation by Next, we need to define the reciprocal if For this, however, we need the following result.
Let be a non-zero real number. Then for some Cauchy sequence that satisfies the following property. There exists a rational number such that for all
We then define
We now need an order relation that will extend the relation on A Cauchy sequence of rational numbers is said to be positively bounded away from if there exists a rational number such that for all it’s said to be negatively bounded away from if for all A real number is said to be positive (respectively, negative) if where is a Cauchy sequence that is positively (respectively, negatively) bounded away from With these definitions it can be proved that every non-zero element of is either positive or negative (but not both). For we can then define iff is positive or
With all this can be proved to be an ordered field. That it’s a complete ordered field takes some effort to prove; it’s not as straightforward as the case of Dedekind cuts construction. But one advantage of this construction is that definitions of algebraic operations are straightforward. There is another advantage. Once one defines Cauchy sequences of elements in and develops a theory of limits of convergent sequences, the following can be proved. A sequence in is convergent iff it’s Cauchy. Also, for a Cauchy sequence of rational numbers, i.e., formal limits are actual limits. This system also has as a subsystem.
We have apparently obtained two distinct complete ordered fields: and each containing the system of rational numbers. However, it can be proved that any two complete ordered fields are isomorphic. So essentially, the system of real numbers is unique in this sense. Apart from these there are many other approaches. Real numbers can be developed via slopes or almost homomorphisms, or via continued fractions, or via alternating series, or from hyperrational numbers, or from surreal numbers etc. It’s like looking at an object in visible light, or ultraviolet, or infrared, or in some other electromagnetic wave of a different frequency; each frequency showing a different aspect of the object. The object however remains the same – the system of real numbers.