Wikibooksβ

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.

Contents

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 Q{\displaystyle \mathbb {Q} } not real numbers R{\displaystyle \mathbb {R} } .

They are repeated here for convenience but for greater detail please refer to the appropriate section.

A sequence of rational numbers is any function x:N→Q{\displaystyle x:\mathbb {N} \to \mathbb {Q} } and is denoted by (xn){\displaystyle (x_{n})} .

A sequence of rationals (xn){\displaystyle (x_{n})} is a null sequence if for each rational ε>0{\displaystyle \varepsilon >0} , there is some N{\displaystyle N} such that for evey n>N{\displaystyle n>N} we have |xn|<ε{\displaystyle |x_{n}|<\varepsilon } .

A rational sequence (xn){\displaystyle (x_{n})} is a constant sequence if there is some rational x{\displaystyle x} such that xn=x{\displaystyle x_{n}=x} for every n∈N{\displaystyle n\in \mathbb {N} } .

Now define addition of two sequences (fn){\displaystyle (f_{n})} and (gn){\displaystyle (g_{n})} to be the sequence ((f+g)n){\displaystyle {\bigl (}(f+g)_{n}{\bigr )}} , where (f+g)n=fn+gn{\displaystyle (f+g)_{n}=f_{n}+g_{n}} .

A sequence of rational numbers (xn){\displaystyle (x_{n})} is Cauchy if for each rational ε>0{\displaystyle \varepsilon >0} , there exists an N{\displaystyle N} such that for every m,n>N{\displaystyle m,n>N} we have |xn−xm|<ε{\displaystyle |x_{n}-x_{m}|<\varepsilon } .

Let C{\displaystyle {\mathcal {C}}} 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 (fn){\displaystyle (f_{n})} and (gn){\displaystyle (g_{n})} are Cauchy, then both ((f+g)n){\displaystyle {\bigl (}(f+g)_{n}{\bigr )}} and ((f⋅g)n){\displaystyle {\bigl (}(f\cdot g)_{n}{\bigr )}} are also in C{\displaystyle {\mathcal {C}}} . It is a simple step to further show that ((f−g)n){\displaystyle {\bigl (}(f-g)_{n}{\bigr )}} is in C{\displaystyle {\mathcal {C}}} .

We will let R{\displaystyle \mathbb {R} } denote the set of all equivalence classes of ∼{\displaystyle \sim } . Further we let f¯{\displaystyle {\bar {f}}} denote the equivalence class of f{\displaystyle f} . 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.

Now if f¯,g¯{\displaystyle {\bar {f}},{\bar {g}}} are members of R{\displaystyle \mathbb {R} } then it can be easily checked that +{\displaystyle +} and ⋅{\displaystyle \cdot } defined by f¯+g¯=f+g¯{\displaystyle {\bar {f}}+{\bar {g}}={\overline {f+g}}} and f¯⋅g¯=f⋅g¯{\displaystyle {\bar {f}}\cdot {\bar {g}}={\overline {f\cdot g}}} are well-defined binary operations on Cauchy sequences.

Also the order ≤{\displaystyle \leq } can be defined by letting f¯≤g¯{\displaystyle {\bar {f}}\leq {\bar {g}}} if and only if there is some rational n0{\displaystyle n_{0}} such that for all n{\displaystyle n} , if n≥n0{\displaystyle n\geq n_{0}} then fn≤gn{\displaystyle f_{n}\leq g_{n}} . 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 embeddingF{\displaystyle F} from the rationals to the reals defined by F(r)=fr¯{\displaystyle F(r)={\overline {f_{r}}}} where fr(n)=r,∀n∈N{\displaystyle f_{r}(n)=r,\forall n\in \mathbb {N} } . Under this embedding the rational 1 can be identified with the real F(1){\displaystyle 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 Q{\displaystyle \mathbb {Q} } .

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).