Chapter 08 Additional Topics

8.6 A Construction of From

Theorem 8.6.1 (Existence of the Real Numbers).

There exists an ordered field in which every nonempty set that is bounded above has a least upper bound. In addition, this field contains as a subfield.

Axiom of Completeness.

Every nonempty set of real numbers that is bounded above has a least upper bound.

Dedekind Cuts

Definition 8.6.2.

A subset of the rational numbers is called a cut if it possesses the following three properties:

(c1) and .

(c2) if , then also contains every rational .

(c3) does not have a maximum; that is, if , then there exists with .

Exercise 8.6.1.

(a) Fix . Show that the set is a cut.

Proof:

(c1) so it's not emptyset. , so it's not .

(c2) If , and , so , so .

(c3) If , then , we can find , also .

The temptation to think of all cuts as being of this form should be avoided. Which of the following subsets of are cuts?

(b)

Solution: No. has a maximum, i.e. .

(c)

Solution: Yes.

(d)

Solution: Yes.

Exercise 8.6.2.

Let be a cut. Show that if and , then .

Proof: If , then . If , then . So .

Definition 8.6.3.

Define the real numbers to be the set of all cuts in .

Field and Order Properties

Given a set and two elements , an operation on is a function that takes the ordered pair to a third element . Writing or to represent different operations reminds us of the two operations that we are trying to emulate.

Definition 8.6.4.

A set is a field if there exist two operations—addition and multiplication —that satisfy the following list of conditions:

(f1) (commutativity) and for all .

(f2) (associativity) and for all .

(f3) (identities exist) There exist two special elements and with such that and for all .

(f4) (inverses exist) Given , there exists an element such that . If , there exists an element such that .

(f5) (distributive property) for all .

Exercise 8.6.3.

Using the usual definitions of addition and multiplication, determine which of these properties are possessed by , , and , respectively.

Solution:

: f1, f2, f5

: f1, f2, f3, f5

: f1, f2, f3, f4, f5

Definition 8.6.5.

An ordering on a set is a relation, represented by , with the following three properties:

(o1) For arbitrary , at least one of the statements or is true.

(o2) If and , then .

(o3) If and , then .

A field is called an ordered field if is endowed with an ordering that satisfies

(o4) If , then .

(o5) If and , then .

Define to mean .

Exercise 8.6.4.

Show that this defines an ordering on by verifying properties (o1), (o2), and (o3) from Definition 8.6.5.

Proof:

Let , if for every rational number we have , then , i.e. .

Now assume but . From exercise 8.6.2, since is not empty, then for every rational number , we know . That means . So we have , i.e. . We proved (o1).

means , means , So . We proved (o2).

means , means , i.e. . We proved (o3).

Algebra in

Given and in , define

We first need to prove is a cut.

(c2) Let be arbitrary and let satisfy .

Then, , which implies that because is a cut. But then

Exercise 8.6.5.

(a) Show that (c1) and (c3) also hold for . Conclude that is a cut.

Proof:

(c1) Since are cuts, then and , and

So cannot be empty.

Let , . We want to prove .

Assume otherwise, i.e. , that means we can find , such that . Then either or .

If , then , we have a contradiction. If , then , we have a contradiction.

So .

(c3) Let , then for and . Then we can find and , such that

Then and .

(b) Check that addition in is commutative (f1) and associative (f2).

(f1) commutative

We want to prove . We will first prove . Assume , then . So , i.e. . For the same reason, . Then with (o2), .

(f2) associative

We want to prove . We use the same strategy as (f1).

For any , then we know

Then

So . For the same reason . So .

(c) Show that property (o4) holds.

Proof:

(o4) states: if , then .

Assume , since , then .

so , then .

(d) Show that the cut

successfully plays the role of the additive identity (f3). (Showing amounts to proving that these two sets are the same. The standard way to prove such a thing is to show two inclusions: and .)

Proof:

Assume , since , , so , then .

Assume , we can , let , so . And . So . Then .

Then .

Given , define

Exercise 8.6.6.

(a) Prove that defines a cut.

Proof:

(c1) We need to show and .

Since , so we can find . since , so . is not an empty set.

Consider is a negative number, then is a positive number. If , then there exists , and . But since , we must have based on (c2), so we have a contradiction. then . So .

(c2) We need to show if , then also contains every rational .

If , and , then . so .

(c3) We need to show does not have a maximum; that is, if , then there exists with .

Proof: Since , then and . Let , so . Then and .

(b) What goes wrong if we set ?

Solution: Take as an example, then . Then is the maximum of , then cannot be a cut.

(c) If and , show . This shows . Now, finish the proof of property (f4) for addition in Definition 8.6.4.

Proof:

If , then . From exercise 8.6.2, . Then

So , i.e. , i.e. .

If , then for , then , so . Then , so . Then .

If , then . let . So . Consider

We can find , such that , but . So . Then . So

If , then . Consider and

We can find , such that , but . Now consider , we have

So . Also we have

So .

In all 3 cases, we have .

In conclusion: .

Given and in , define the product

Exercise 8.6.7.

(a) Show that is a cut and that property (o5) holds.

Proof:

(c1) so is not empty.

Assume , then . Assume , then . So

then we can find . Since . We must have .

So .

(c2) If or , then is empty, so which does not have a maximum.

If , and . If , we can find and , then .

If , then . Since are all cuts, we can find . Then .

(c3) If , and . If , then by definition.

If , then , where . Let , so . And .

(b) Propose a good candidate for the multiplicative identity (1) on and show that this works for all cuts .

Proof:

Let . We want to prove for .

For , since is a cut, then we can find , let , so . then , so . We have .

For , we can find such that . Since , then , then , That is .

(c) Show the distributive property (f5) holds for non-negative cuts.

Proof: We want to show for .

First of all, if , then . Also , so .

Secondly, , so , and .

If , assume . If and . Let , since then .

Similarly, we can prove if .

Now assume . . If , then . , so .

, so .

Then we have .

The other direction, assume .

If , then . If , , . Same thing for .

Then , i.e. .

So .

Products involving at least one negative factor can be defined in terms of the product of two positive cuts by observing that whenever . (Given , property (o4) implies , which yields )

Least Upper Bounds

Definition 8.6.6.

A set is bounded above if there exists a such that for all . The number is called an upper bound for .

A real number is the least upper bound for a set if it meets the following two criteria

(i) is an upper bound for and

(ii) if is any upper bound for , then .

Exercise 8.6.8.

Let be nonempty and bounded above, and let be the union of all .

(a) First, prove that by showing that it is a cut.

Proof:

(c1) is not empty and . is not empty, and . So is not empty.

is bounded above, so we can find such that for all .

is a cut so we can find . If for some , then . We have a contradiction. So for all . Then , so .

(c2) if and . Then we can find such that . Since , then . So .

(c3) Similarly, assume , then for some . then we can find , such that . Since , then does not have a maximum.

(b) Now, show that is the least upper bound for .

Proof: Given , , i.e. . So is an upper bound of .

Let be an upper bound. Given , we can find such that . Then , so .

So is the least upper bound for .

Exercise 8.6.9.

Consider the collection of so-called “rational” cuts of the form

where .

(a) Show that for all . Verify for the case when .

Proof: Given , we have . Then . So .

Given , then . Let and .

Then . So .

In summary, we have .

If , . , then . We just need to prove .

Note .

Same thing for .

Next we only need to prove .

Given .

On the other hand, give . Let . Let .

So .

We have

(b) Show that if and only if in .

Proof:

If , , so . .

if and . Consider , then , but . We got a contradiction.

So .

Cantor’s Approach

Cantor’s idea was essentially to define a real number to be the entire Cauchy sequence. The first problem one encounters with this approach is the realization that two different Cauchy sequences can converge to the same real number. For this reason, the elements in R are more appropriately defined as equivalence classes of Cauchy sequences where two sequences and are in the same equivalence class if and only if .