Construction of the real numbers
In mathematics, there are several equivalent ways of defining the real numbers. One of them is that they form a complete ordered field that does not contain any smaller complete ordered field. Such a definition does not prove that such a complete ordered field exists, and the existence proof consists to construct a mathematical structure that satisfies the definition.
The article presents several such constructions. They are equivalent in the sense that, given the result of any two such constructions, there is a unique isomorphism of ordered field between them. This results from the above definition and is independent from particular constructions. These isomorphisms allow identifying the results of the constructions, and, in practice, to forget which construction has been chosen.
An axiomatic definition of the real numbers is to define them as the elements of a complete ordered field. Precisely, this means the following. A model for the real number system consists of a set R, two distinct elements 0 and 1 of R, two binary operations + and × on R (called addition and multiplication, respectively), and a binary relation ≤ on R, satisfying the following properties.
The axiom is crucial in the characterization of the reals. For example, the totally ordered field of the rational numbers Q satisfy the first three axioms, but not the fourth. In other words, models of the rational numbers are also models of the first three axioms.
Note that the axiom is not firstorderizable, as it expresses a statement about collections of reals and not just individual such numbers. As such, the reals are not given by a first-order logic theory.
Several models for axioms 1-4 are given down below. Any two models for axioms 1-4 are isomorphic, and so up to isomorphism, there is only one complete ordered Archimedean field.
When we say that any two models of the above axioms are isomorphic, we mean that for any two models (R, 0R, 1R, +R, ×R, ≤R) and (S, 0S, 1S, +S, ×S, ≤S), there is a bijection f : R → S preserving both the field operations and the order. Explicitly,
An alternative synthetic axiomatization of the real numbers and their arithmetic was given by Alfred Tarski, consisting of only the 8 axioms shown below and a mere four primitive notions: a set called the real numbers, denoted R, a binary relation over R called order, denoted by infix <, a binary operation over R called addition, denoted by infix +, and the constant 1.
Axiom 1. If x < y, then not y < x. That is, "<" is an asymmetric relation.
Axiom 2. If x < z, there exists a y such that x < y and y < z. In other words, "<" is dense in R.
Axiom 3. "<" is Dedekind-complete. More formally, for all X, Y ⊆ R, if for all x ∈ X and y ∈ Y, x < y, then there exists a z such that for all x ∈ X and y ∈ Y, if z ≠ x and z ≠ y, then x < z and z < y.
To clarify the above statement somewhat, let X ⊆ R and Y ⊆ R. We now define two common English verbs in a particular way that suits our purpose:
We shall not prove that any models of the axioms are isomorphic. Such a proof can be found in any number of modern analysis or set theory textbooks. We will sketch the basic definitions and properties of a number of constructions, however, because each of these is important for both mathematical and historical reasons. The first three, due to Georg Cantor/Charles Méray, Richard Dedekind/Joseph Bertrand and Karl Weierstrass all occurred within a few years of each other. Each has advantages and disadvantages. A major motivation in all three cases was the instruction of mathematics students.
R is defined as the completion of Q with respect to the metric |x-y|, as will be detailed below (for completions of Q with respect to other metrics, see p-adic numbers.)
Let R be the set of Cauchy sequences of rational numbers. That is, sequences
of rational numbers such that for every rational ε > 0, there exists an integer N such that for all natural numbers m,n > N, |xm − xn| < ε. Here the vertical bars denote the absolute value.
Cauchy sequences (xn) and (yn) can be added and multiplied as follows:
Two Cauchy sequences are called equivalent if and only if the difference between them tends to zero. This defines an equivalence relation that is compatible with the operations defined above, and the set R of all equivalence classes can be shown to satisfy all axioms of the real numbers. We can embed Q into R by identifying the rational number r with the equivalence class of the sequence (r,r,r, …).
Comparison between real numbers is obtained by defining the following comparison between Cauchy sequences: (xn) ≥ (yn) if and only if x is equivalent to y or there exists an integer N such that xn ≥ yn for all n > N.
By construction, every real number x is represented by a Cauchy sequence of rational numbers. This representation is far from unique; every rational sequence that converges to x is a representation of x. This reflects the observation that one can often use different sequences to approximate the same real number.
The only real number axiom that does not follow easily from the definitions is the completeness of ≤, i.e. the least upper bound property. It can be proved as follows: Let S be a non-empty subset of R and U be an upper bound for S. Substituting a larger value if necessary, we may assume U is rational. Since S is non-empty, we can choose a rational number L such that L < s for some s in S. Now define sequences of rationals (un) and (ln) as follows:
This defines two Cauchy sequences of rationals, and so we have real numbers l = (ln) and u = (un). It is easy to prove, by induction on n that:
Thus u is an upper bound for S. To see that it is a least upper bound, notice that the limit of (un − ln) is 0, and so l = u. Now suppose b < u = l is a smaller upper bound for S. Since (ln) is monotonic increasing it is easy to see that b < ln for some n. But ln is not an upper bound for S and so neither is b. Hence u is a least upper bound for S and ≤ is complete.
The usual decimal notation can be translated to Cauchy sequences in a natural way. For example, the notation π = 3.1415... means that π is the equivalence class of the Cauchy sequence (3, 3.1, 3.14, 3.141, 3.1415, ...). The equation 0.999... = 1 states that the sequences (0, 0.9, 0.99, 0.999,...) and (1, 1, 1, 1,...) are equivalent, i.e., their difference converges to 0.
An advantage of constructing R as the completion of Q is that this construction is not specific to one example; it is used for other metric spaces as well.
A Dedekind cut in an ordered field is a partition of it, (A, B), such that A is nonempty and closed downwards, B is nonempty and closed upwards, and A contains no greatest element. Real numbers can be constructed as Dedekind cuts of rational numbers.
As in the hyperreal numbers, one constructs the hyperrationals *Q from the rational numbers by means of an ultrafilter. Here a hyperrational is by definition a ratio of two hyperintegers. Consider the ring B of all limited (i.e. finite) elements in *Q. Then B has a unique maximal ideal I, the infinitesimal numbers. The quotient ring B/I gives the field R of real numbers. Note that B is not an internal set in *Q. Note that this construction uses a non-principal ultrafilter over the set of natural numbers, the existence of which is guaranteed by the axiom of choice.
It turns out that the maximal ideal respects the order on *Q. Hence the resulting field is an ordered field. Completeness can be proved in a similar way to the construction from the Cauchy sequences.
Every ordered field can be embedded in the surreal numbers. The real numbers form a maximal subfield that is Archimedean (meaning that no real number is infinitely large). This embedding is not unique, though it can be chosen in a canonical way.
Faltin et al. (1975) write: "Few mathematical structures have undergone as many revisions or have been presented in as many guises as the real numbers. Every generation reexamines the reals in the light of its values and mathematical objectives."
As a reviewer of one noted: "The details are all included, but as usual they are tedious and not too instructive."
de Bruijn, N.G. (1976). . Indagationes Mathematicae (Proceedings) (2): 100–108. doi:. also at
de Bruijn, N.G. (1977). "Construction of the system of real numbers". Nederl. Akad. Wetensch. Verslag Afd. Natuurk. 86 (9): 121–125.
Knopfmacher, Arnold; Knopfmacher, John (1987). "A new construction of the real numbers (via infinite products)". Nieuw Arch. Wisk. 4 (5): 19–31.
Knopfmacher, Arnold; Knopfmacher, John (1988). "Two concrete new constructions of the real numbers". Rocky Mountain J. Math. 18 (4): 813–824.
Rieger, Georg Johann (1982). (PDF). Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft. 33: 205–217.
Weiss, Ittay (2015). "The real numbers - a survey of constructions". arXiv:.