Construction of the system of real numbers by Cauchy sequences

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 {f} from the set of positive integers into {\mathbb{Q}.} For a positive integer {n} the image {f(n)} is generally denoted by {f_n,} and the sequence itself by {(f_n)_{n=1}^\infty;} more informally, we sometimes write the sequence as {f_1, f_2,\ldots;} so there is a first term, a second term and so on. Let’s take an example. Consider the sequence {(f_n)_{n=1}^\infty} of rational numbers, where f_n=(1+1/n)^n. A few terms of this sequence are (these are approximate values)

\displaystyle f_1=2.0000,~f_{10}=2.5937,~f_{10^2}=2.7048,~f_{10^3}=2.7169,~f_{10^4}=2.7181.

It seems like the terms of the sequence are getting closer and closer to something (this something is of course the irrational number {e;} 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 {(f_n)_{n=1}^\infty} of rational numbers is called a Cauchy sequence if for every rational number {\varepsilon>0,} there exists a positive integer {N} such that {|f_n-f_m|<\varepsilon} for all integers {n, m\ge N.}

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 {(f_n)_{n=1}^\infty,~(g_n)_{n=1}^\infty} are called equivalent if for every rational number {\varepsilon>0,} there exists a positive integer {N} such that {|f_n-g_n|<\varepsilon} for all integers {n\ge N.}

To a Cauchy sequence {(f_n)_{n=1}^\infty} we associate an object {\mbox{LIM}_{n\rightarrow\infty}f_n,} called the formal limit of the sequence. For two Cauchy sequences {(f_n)_{n=1}^\infty,~(g_n)_{n=1}^\infty} we declare {\mbox{LIM}_{n\rightarrow\infty}f_n=\mbox{LIM}_{n\rightarrow\infty}g_n} iff the sequences are equivalent. The set of all such distinct formal limits is denoted by {\mathbb{R}_C.}

Now we extend the operations {+, \cdot} from {\mathbb{Q}} to {\mathbb{R}_C.} But before that we need the relation {\mathbb{Q}\subset\mathbb{R}_C;} like before we need an identification. We identify {p\in\mathbb{Q}} with the formal limit of the constant sequence {p, p,\ldots} (observe that this is a Cauchy sequence). With this identification we have {\mathbb{Q}\subset\mathbb{R}_C.} For real numbers {r=\mbox{LIM}_{n\rightarrow\infty}r_n,~s=\mbox{LIM}_{n\rightarrow\infty}s_n,} where {(r_n)_{n=1}^\infty,~(s_n)_{n=1}^\infty} are Cauchy sequences, we define r+_Cs :=\mbox{LIM}_{n\rightarrow\infty}(r_n+s_n),~r\cdot_Cs :=\mbox{LIM}_{n\rightarrow\infty}(r_ns_n) (i.e., {r+_Cs, r\cdot_Cs} are the formal limits of the sequences {(r_n+s_n)_{n=1}^\infty,~(r_ns_n)_{n=1}^\infty}). We define negation by -r :=(-1)\cdot_Cr. Next, we need to define the reciprocal {1/r} if {r\ne0.} For this, however, we need the following result.

Let {r} be a non-zero real number. Then {r=\mbox{LIM}_{n\rightarrow\infty}t_n} for some Cauchy sequence {(t_n)_{n=1}^\infty} that satisfies the following property. There exists a rational number {c>0} such that {|t_n|\ge c} for all {n\ge1.}

We then define 1/r :=\mbox{LIM}_{n\rightarrow\infty}1/t_n.

We now need an order relation {\le_C} that will extend the relation {\le} on {\mathbb{Q}.} A Cauchy sequence {(f_n)_{n=1}^\infty} of rational numbers is said to be positively bounded away from {0} if there exists a rational number {c>0,} such that {f_n\ge c} for all {n\ge1;} it’s said to be negatively bounded away from {0} if {f_n\le-c} for all {n\ge1.} A real number {r} is said to be positive (respectively, negative) if {r=\mbox{LIM}_{n\rightarrow\infty}r_n,} where {(r_n)_{n=1}^\infty} is a Cauchy sequence that is positively (respectively, negatively) bounded away from {0.} With these definitions it can be proved that every non-zero element of {\mathbb{R}_C} is either positive or negative (but not both). For {r, s\in\mathbb{R}_C} we can then define {r\le_Cs} iff {s-r} is positive or {0.}

With all this {(\mathbb{R}_C, +_C, \cdot_C, \le_C)} 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 {\mathbb{R}_C} and develops a theory of limits of convergent sequences, the following can be proved. A sequence in {\mathbb{R}_C} is convergent iff it’s Cauchy. Also, for a Cauchy sequence {(r_n)_{n=1}^\infty} of rational numbers, {\displaystyle\lim_{n\rightarrow\infty}r_n=\mbox{LIM}_{n\rightarrow\infty}r_n,} i.e., formal limits are actual limits. This system {(\mathbb{R}_C, +_C, \cdot_C, \le_C)} also has {(\mathbb{Q}, +, \cdot, \le)} as a subsystem.

We have apparently obtained two distinct complete ordered fields: {(\mathbb{R}_D, +_D, \cdot_D, \le_D)} and {(\mathbb{R}_C, +_C, \cdot_C, \le_C),} each containing the system {(\mathbb{Q}, +, \cdot, \le)} 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.