Real Analysis/Constructing the real numbers

Real Analysis
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.

Sequences edit

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   .

Special Sequences edit

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 Sequences edit

Now define addition of two sequences   and   to be the sequence   , where   .

Also define the multiplication of   and   as the sequence   , where   .

Negation edit

Let   be a rational sequence. Then the negation of   , denoted   , is defined as the rational sequence   , i.e., the sequence   where   .

Subtraction edit

Let   and   be two sequences of rational numbers. Then we define the difference of   and   , denoted   , as the sequence   .

Cauchy Sequences edit

A sequence of rational numbers   is Cauchy if for each rational   , there exists an   such that for every   we have   .

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 Sequences edit

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 Field edit

Now if   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.

Completeness edit

Remarks edit

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   from the rationals to the reals defined by   where   . Under this embedding the rational 1 can be identified with the real   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 Richard 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).