Home page for accesible maths Math 101 Chapter 1: Sequences and Series

Style control - access keys in brackets

Font (2 3) - + Letter spacing (4 5) - + Word spacing (6 7) - + Line spacing (8 9) - +

1.4 Archimedes’ Axiom

To aid understanding, we often draw pictures of sets. The real numbers can be thought of as the points on a straight line which extends to infinity on the right and to minus infinity on the left. The real line is a continuum; that is, the real line has no gaps. We often write xx for a typical point on the real line; such an xx may be represented by an infinite decimal expansion. The existence of such a decimal expansion is a consequence of the following.

Archimedes’ Axiom.

Between any pair of real numbers lies a rational number.

Proof. Suppose that a<ba<b are real numbers, so b-a>0b-a>0. If b-a>1b-a>1, then some integer lies between aa and bb. Otherwise, we choose NN to be so large that N(b-a)>1,N(b-a)>1, and then there exists an integer kk between NaNa and NbNb, so the rational number k/Nk/N lies between aa and bb.