Real Analysis/Dedekind's construction

From Wikibooks, open books for an open world
(Redirected from Real analysis/Dedekind's construction)
Jump to navigation Jump to search
Real Analysis
Dedekind's Construction

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 .

Definition[edit | edit source]

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

The Dedekind Cut
  1. The set is nonempty. That is, there exists some a rational number such that .
  2. 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.
  3. 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.
  4. 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 Construction[edit | edit source]

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

Order[edit | edit source]

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 Axioms[edit | edit source]

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 Property[edit | edit source]

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.

Reference[edit | edit source]

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