# Real Analysis/Dedekind's construction

←Inverse Function Theorem | Real Analysis Dedekind's Construction |
Landau notation→ |

Historically Dedekind gave the first construction of the real numbers. Like Cantor's construction, Dedekind's method constructs the real numbers from the set rational numbers. Dedekind's construction gives a more geometric picture of the real numbers.

The idea of the construction is that every real number should cut the number line into two subsets, the numbers less than and the numbers greater than or equal to . These two sets are different for every real number, and given these sets we could determine . In fact, because each real number divides the number line, it also divides the rational numbers into two. And if we knew these two sets of rational numbers, then we could also determine . Hence when looking for a way to define the real numbers, we could define them as the collection of ways to partition the rational numbers into two sets. Today when discussing Dedekind cuts one usually only keeps track of one of these two sets. Our definition of a cut could informally be thought of as the numbers less than .

## DefinitionEdit

We say that is a *cut* if and only if the following statements are true:

- The set is nonempty. That is, there exists some a rational number such that .
- If and is a rational number so that , then . So for any element of the cut, every rational number smaller than it is also an element of the cut.
- There exists a rational number such that for all . So there's a rational number that's larger than any element in a particular cut.
- For every , there exists an such that . So every element of the cut has yet another element larger than it. If that seems impossible, imagine a series of rational numbers that approximate the real number we're trying to define. For example, the cut contains a series of countably infinitely many rational numbers like 1, 1.2, 1.4, 1.41, 1.414, 1.4142, etc. each of which is larger than every previous one and a bit closer to .

## The ConstructionEdit

We now outline how to make the set of Dedekind cuts form an ordered field that satisfies the least upper bound axiom.

#### OrderEdit

First we discuss how to compare the relative size of two cuts.

**Definition** Given two cuts , we say if they are the same subset of the rational numbers. That is if and .

**Exercise** Show equality defined as in the previous definition is an equivalence relation.

**Definition** Given two cuts , we say if .

**Exercise** Show the above order satisfies the order axioms and that is totally ordered.

We now also assume the usual definitions to , we leave this to the reader to supply the correct definitions.

**Exercise** Given two cuts , show that if then there is a rational number so that .

**Exercise** (Trichotomy) Show that with this order, every cut satisfies exactly one of the following three inequalities: .

#### Field AxiomsEdit

Let be two cuts

Define addition as .

Define negation as

Let **0** be the cut defined by .

**Exercise**For two cuts α, β verify that α+β, −α, and**0**are cuts. Furthermore show that the set of cuts forms an abelian group with this definition of addition. What is the identity element?

Defining multiplication requires a bit more care. We define

We comment that in the definition of multiplication we needed to be careful to choose elements that had a particular sign. This is possible by the exercises involving the order on Dedekind cuts.

We shall define the cut **1** by **1**={r|r<1}.

For a cut α ≠ 0 we define

**Exercise** For two cuts α, β verify that α·β, α^{-1} (assuming α ≠ 0), and **1** are cuts.
Show that with these definitions the set of Dedekind cuts forms an ordered field.

#### Least Upper Bound PropertyEdit

We will now show the set of Dedekind cuts satisfies the least upper bound axiom.

Let *A* be a non-empty collection of cuts, and suppose that there is a cut β such that α<β for all α. In other words, *A* is a non-empty collection of cuts that has an upper bound given by β.

Now we define a subset of the rational numbers, δ, by taking the unions of all of the subsets given by the cuts in *A*. That is

Now we wish to show that δ is a cut. Suppose *p*∈δ, if follows that *p*∈α_{0} for some α_{0} in *A*. Then if *q*<*p* then *q*∈α_{0} and hence *q*∈δ. This shows the first property. Also, there is some *r*∈α_{0} with *r*>*p*, but then *r*∈δ. Hence the third property holds. To see that the second property holds, notice that δ⊆β because each α⊆β. By the cut properties for β there is a rational number *b* so that *b*>*p* for all *p*∈β. Therefore, *b*>*p* for all *p*∈δ. Hence δ is a cut.

Now, by definition of the order, δ is an upper bound of *A*. If η any cut with η<δ, then there is a rational number *p*∈δ and *p*∉η. But p∈α_{0} for some α_{0} in *A*. Hence η is not greater then α_{0}, and therefore η is not an upperbound for *A*. Therefore *δ* is the least upper bound. This shows that the set of Dedekind cuts satisfies the least upper bound axiom.

## ReferenceEdit

- W. Rudin,
*Principles of Mathematical Analysis*, McGraw-Hill International