Constructing the real numbers
- This construction will use some advanced concepts in mathematics and so it is recommended that this chapter be studied only after you are familiar with equivalence classes and embeddings. It can be safely skipped till you study these concepts.
Until now we have been following the axiomatic approach in our study of real numbers. That is, we have assumed that there exists a set of real numbers with certain axioms. However in mathematics one tries to make such assumptions as little as possible. At the bare foundations we actually make (without possibly knowing it) some assumptions regarding sets, and it would be nice if we needn't add any more. In fact using only the assumptions concerning sets it is possible to prove that a set of rationals exist. So our job is to actually construct the reals using the available rationals, in order to prove that the axioms of the real numbers are consistent and exist under ZFC.
We'll begin our construction with a plethora of definitions.
These definitions are more thoroughly explored in the sequences section of the book. The main difference is that the elements of the sequences we describe here are rational numbers not real numbers. They are repeated here for convenience but for greater detail please refer to the appropriate section. A sequence of rational numbers is any function and is denoted by .
A sequence of rationals is a null sequence if for each rational , there is some such that for evey we have .
A rational sequence is a constant sequence if there is some rational such that for every
Addition and Multiplication of SequencesEdit
Now define addition of two sequences and to be the sequence , where . Also define the multiplication of and as the sequence , where .
Let be a rational sequence. Then the negation of , denoted , is defined as the rational sequence , i.e., the sequence where .
Let and be two sequences of rational numbers. Then we define the difference of and , denoted , as the sequence .
A sequence of rational numbers is Cauchy if for each rational , there exists an such that for every , . Let denote the set of such rational Cauchy sequences. It is left as an exercise to show that null and constant sequences defined above are Cauchy. It is an exercise to show that if and are Cauchy, then both and are also in . It is a simple step to further show that is in .
Equivalence of SequencesEdit
Define a relation on , the set of Cauchy sequences, by if and only if is a null sequence. Now it is a simple exercise to show that is an equivalence relation.
The Real Numbers Edit
We will let denote the set of all equivalence classes of . Further we let denote the equivalence class of . Our goal is to show that this set satisfies all the properties we attributed to the real numbers. Since our goal is to construct the real numbers it seems reasonable to assign our proposed set the same symbol. We must now go through all of the basic axioms of the real numbers and show that they are inherent properties of this set.
Totally Ordered FieldEdit
Now if and are members of then it can be easily checked that and defined by and are well-defined binary operations on Cauchy sequences. Also the order can be defined by letting if and only if there is some rational such that for all , if then . In this way we have a set whose elements we can call as reals.
A real number is thus the equivalence class of a special kind of sequence of rationals. Clearly the rational number 1 is not the real number 1. This seemingly counter intuitive issue is resolved by considering an embedding F from the rationals to the reals defined by F(r) = where . Under this embedding the rational 1 can be identified with the real F(1) and so the rationals can be considered as a subset of the reals.
This seems rather a strange way to define reals numbers, but in fact this is mathematically quite sound. A set constructed in this fashion behaves precisely as real numbers should do intuitively and the construction of this set involves absolutely no assumptions on our part beyond those needed for .
There is another way of constructing the reals using an approach given by Dedekind. The above way was given by Georg Cantor in 1872. Dedekind also published his technique in the same year. (For those interested, Dedekind's construction has been provided in the appendix).