9
$\begingroup$

Can you prove the Archimedean property of the rational numbers without constructing the reals and using the least upper bound property? It seems odd to have to take this roundabout approach, but I don't know any proof that avoids it.

  • 0
    I came across this question at p.19 in "Principles of Mathematical Analysis Third Edition" by Walter Rudin.2018-12-02

3 Answers 3

12

Every positive rational number is of the form $m/n$ where $m$, $n$ are positive integers. If you add up more than $n$ copies of this, the sum is more than 1, so there you have the Archimedean property.

5

Let $x \in \mathbb{Q}$

If $x < 0$ there's nothing to do.

If $x \geqslant 0$ then we can write $x$ as $\dfrac{n}{m}$ (with no common factor other than 1), such that $n \in \mathbb{N}$ and $m \in N_{\ne 0}$

Since $m \geqslant 1$ then we have $n = mx \geqslant x$ which means $n + 1 > x$

3

I came across this question in Mr. Apostol's Calculus.

My answer is a bit weird but it seems to work.

Assume the set of natural numbers is up bounded by a certain rational number a. It's certain that a >= 1 because 1 is the first member of natural numbers. Then a can be represented by two natural numbers p and q in the form of p/q.

(1) if q = 1, then a = p. Hence p + 1, which has to be natural number, is above the upper bound.

(2) if q >1, then a < p. hence p, a natural number from the assumption is above the upper bound.

On the other hand, it's easy to find a set of rational numbers bounded above and does not have a least upper bound.

Thus Archimedean property does not imply the completeness axiom, a.k.a, the least-upper-bound axiom

QED.