- #1

jgens

Gold Member

- 1,593

- 50

## Homework Statement

Prove that every non-decreasing, bounded sequence of rational numbers converges to some real number using Dedekind cuts.

## Homework Equations

A real number is a set [itex]\alpha[/itex], of rational numbers, with the following four properties:

- If [itex]x \in \alpha[/itex] and [itex]y[/itex] is a rational number with [itex]y < x[/itex], then [itex]y \in \alpha[/itex].

- [itex]\alpha \neq \emptyset[/itex]

- [itex]\alpha \neq \mathbb{Q}[/itex]

- There is no greatest element in [itex]\alpha[/itex]; in other words, if [itex]x \in \alpha[/itex], then there is some [itex]y \in \alpha[/itex] with [itex]y > x[/itex]

## The Attempt at a Solution

This seems to be a straight forward proof, but I can't seem to complete it satisfactorily; any advice and/or suggestions are appreciated. Well, here goes nothing . . .

Let [itex]\{a_n\}[/itex] be a non-decreasing, bounded sequence of rational numbers and define the set [itex]\alpha \subset \mathbb{Q}[/itex] such that [itex]\alpha = \{x \in \mathbb{Q}: x < a_n \;\mathrm{where}\; n \in \mathbb{N}\}[/itex]. Now, to prove that [itex]\alpha[/itex] is a real number, we need only verify that our four conditions hold:

- Suppose [itex]x\in\alpha[/itex]. Then [itex]x < a_n[/itex] for some [itex]n \in \mathbb{N}[/itex]. Now, let [itex]y < x[/itex], then [itex]y < a_n[/itex] and consequently [itex]y\in\alpha[/itex]

- Clearly [itex]\alpha \neq \emptyset[/itex]

- Since [itex]\{a_n\}[/itex] is bounded above, this means that there must be some rational number [itex]x > a_n[/itex] for all [itex]n\in\mathbb{N}[/itex]. Thus [itex]x \notin \alpha[/itex] and consequently [itex]\alpha \neq \mathbb{Q}[/itex]

- Suppose [itex]x\in\alpha[/itex]. Then, for some [itex]n\in\mathbb{N}[/itex] we have that [itex]x < a_n[/itex]. Since [itex]x,a_n\in\mathbb{Q}[/itex] we know that [itex]\varepsilon = \frac{a_n - x}{2} \in \mathbb{Q}[/itex]. Consequently, [itex]x < x + \varepsilon < a_n[/itex]. Therefore, [itex]\alpha[/itex] contains no greatest element.

Last edited: