Construction of Real Numbers Using Dedekind Cuts


Download this post as PDF (will not include images and mathematical symbols).


We all know about rational numbers. Informally, these are ratios of integers, i.e., numbers of the form {a/b} where {a} and {b} are integers (with {b\ne0} of course). Any two rational numbers {p, q} have a sum {p+q,} a product {p\cdot q,} and there is an order relation {\le} such that {p\le q} or {q\le p.} These operations {+, \cdot} and the relation {\le} obey certain properties, which makes the set {\mathbb{Q}} of rational numbers an ordered field.

Using this system we can solve most of the elementary problems in mathematics and related disciplines. But there are issues this system can’t address. One such problem is the classical one which the Greeks encountered. Measure the length of the hypotenuse of a right-angled triangle whose other two sides are of unit length. Taking {x} as the required length, the Pythagorean theorem gives us {x^2=2.} Now a simple and well-known argument shows that {x\not\in\mathbb{Q}.} Let us place the hypotenuse on the {x}-axis in such a way that one end coincides with the origin {O} and the other end {A} lies on the positive {x}-axis. Then {A} does not correspond to a rational number; it corresponds to something else.

So we see that the rational numbers are not sufficient for the purpose of measuring lengths of straight line segments; we need new numbers for this. As you have probably already guessed, these new numbers are the irrational numbers. Together with the rational numbers they form the set {\mathbb{R}} of real numbers. The operations {+, \cdot} and the relation {\le} on {\mathbb{Q}} can be extended to {\mathbb{R},} and the resulting system is said to be the system of real numbers. We shall construct this system in two different ways: by Dedekind cuts, and by Cauchy sequences (to be disussed in a subsequent post).

We shall now construct the set of real numbers using what are called Dedekind Cuts. This construction is named after the German mathematician Richard Dedekind. We see that the point {A} does not correspond to a rational number. This means each rational number either lies on the left of {A} or on the right of {A.~A} “cuts” the set {\mathbb{Q}} of rational numbers into two halves: {C,} the set of those rational numbers that lie on the left of {A,} and {D,} the set of those rational numbers that lie on the right of {A}. The partition {(C, D)} of {\mathbb{Q}} is said to be a Dedekind cut.

The set {C} satisfies the following properties.

  1. (1) {C} is a nonempty proper subset of {\mathbb{Q}.}
  2. (2) If {p\in C} and {q\in\mathbb{Q}} such that {q<p,} then {q\in C.}
  3. (3) For every {p\in C} there exists {r\in C,} such that {p<r.}

The second property says that every rational number less than some element of {C} is also an element of {C.} The third property says that {C} has no largest element. We let {\mathbb{R}_D} denote the set of those subsets of {\mathbb{Q}} that satisfy properties (1), (2) and (3). Observe that each element {C\in\mathbb{R}_D} corresponds to the Dedekind cut {(C, \{p\in\mathbb{Q}: q<p~\mbox{for~every~}q\in C\})} and conversely. Since we can intuitively see that each Dedekind cut corresponds to a unique point on a straight line and conversely, the elements in {\mathbb{R}_D} corresponds to the points on a straight line. Observe that every element {d\in D} satisfies {c\le d} for all {c\in C;} in other words, every element of {D} is an upper bound of {C.} But there is no least upper bound because {D} has no smallest element.

We shall extend the operations {+, \cdot} and the relation {\le} from {\mathbb{Q}} to {\mathbb{R}_D} to create a system of real numbers. Note that these extensions will really be extensions only if {\mathbb{Q}\subset\mathbb{R}_D.} Strictly speaking, we don’t have {\mathbb{Q}\subset\mathbb{R}_D;} because the element in {\mathbb{R}_D} are subsets of {\mathbb{Q},} whereas the elements of {\mathbb{Q}} are not. To get around this we identify {p\in\mathbb{Q}} with the set {\{r\in\mathbb{Q}:r<p\}.} With this identification we have {\mathbb{Q}\subset\mathbb{R}_D.} Now first we extend the order relation {\le} from {\mathbb{Q}} to {\mathbb{R}_D.} For {r, s\in\mathbb{R}_D} we define {r\le_Ds} iff {r\subseteq s} (recall that {r, s} are the subsets of {\mathbb{Q}}). Using the properties (1), (2) and (3) one can prove that the relation {\le_D} is reflexive, anti-symmetric and transitive, and that {r\le_Ds} or {s\le_Dr.} Thus {\le_D} is a legitimate order relation on {\mathbb{R}_D.} But why is it an extension of the relation {\le} on {\mathbb{Q}?} If {r, s\in\mathbb{Q},} then (because of our identification) {r=\{p\in\mathbb{Q}:p<r\},~s=\{p\in\mathbb{Q}:p<s\}.} A moment of reflection convinces one that {r\subseteq s} iff {r\le s.} Hence {\le_D} is an extension of {\le.} There is one property that {\le_D} has which {\le} does not have: The least upper bound property. It says that every non-empty subset of {\mathbb{R}_D} that has some upper bound has a smallest upper bound. This removes the difficulty we had with {C} and {D} in the previous paragraph. It can be easily proved. Consider a non-empty subset {S\subseteq\mathbb{R}_D.} Let {S} have an upper bound {t\in\mathbb{R}_D.} This means {s\subseteq t} for every {s\in S,} and hence {s\subseteq\displaystyle\bigcup_{s\in S}s\subseteq t} for every {s\in S.} To complete the proof, i.e., to show that {\displaystyle\bigcup_{s\in S}s} is the least upper bound of {S,} one has to prove that {\displaystyle\bigcup_{s\in S}s\in\mathbb{R}_D.} That is easy. This relatively easy proof is an advantage of this construction over the other construction involving Cauchy sequences.

Extension of the operations {+, \cdot} from {\mathbb{Q}} to {\mathbb{R}_D} are less trivial and are done as follows. For {r, s\in\mathbb{R}_D} we define

  • r+_Ds :=\{p+q:p\in r, q\in s\}.
  • -r :=\{p-q:p<0, q\in\mathbb{Q}\setminus r\}.
  • If r, s\geq 0 then r\cdot_Ds :=\{pq:p\geq 0, p\in r,  q\geq 0, q\in s\}\cup\{p\in\mathbb{Q}:p<0\}; andr\cdot_D s= -[(-r))\cdot_D s], if r<0, s\geq 0, or r\cdot_D s = -[r\cdot_D (-s)], if r\geq 0, s< 0, or r\cdot_D s= -(-r)\cdot_D (-s), if r<0, s< 0.
  • If r>0, then 1/r := \{1/p:p\in\mathbb{Q}\setminus r\}; if r<0, then 1/r :=-(1/(-r)).

It can be proved that {(\mathbb{R}_D, +_D, \cdot_D, \le_D)} is an ordered field; because of the least upper bound property {(\mathbb{R}_D, +_D, \cdot_D, \le_D)} is a complete ordered field. Further, it has {(\mathbb{Q}, +, \cdot, \le)} as a subsystem.

1Comment

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.