The Real Number System: Completeness and Archimedean Property

The real number system $\mathbb{R}$ is the unique (up to isomorphism) complete ordered field. Completeness states every nonempty set bounded above has a least upper bound (supremum); the Archimedean property states no real number is infinitely large — for any reals $x,y>0$ there is a natural number $n$ with $nx>y$. Together they distinguish $\mathbb{R}$ from $\mathbb{Q}$ and underpin all of real analysis. Formalized in the 1870s by Dedekind, Cantor, and Weierstrass.

The real numbers form an ordered field that, unlike the rationals, has no gaps: every bounded collection of reals possesses a sharply defined boundary point. This completeness is the single axiom that makes calculus rigorous — it guarantees limits exist, sequences converge, and continuous functions attain extrema. The Archimedean property, a consequence of completeness, ensures the reals contain no infinitesimal or infinite elements, so the naturals are unbounded inside $\mathbb{R}$. A surprising fact: completeness can be stated in at least a dozen logically equivalent ways (suprema, Cauchy sequences, nested intervals, monotone convergence, connectedness), and choosing different ones gives different "flavors" of the same theory. Even more striking, dropping completeness allows consistent number systems with genuine infinitesimals, the foundation of Non-Standard Analysis.

The Core Insight

Formal Statement

Ordered Field

A field $(F,+,\cdot )$ is a set with two operations satisfying the usual axioms (associativity, commutativity, distributivity, identities $0\ne 1$, additive inverses, multiplicative inverses for nonzero elements). An ordered field also carries a total order $\le$ compatible with the operations:

Here $a,b,c\in F$. Both $\mathbb{Q}$ and $\mathbb{R}$ are ordered fields.

Upper Bound, Supremum

Let $S\subseteq \mathbb{R}$ be nonempty. A number $M$ is an upper bound of $S$ if $s\le M$ for all $s\in S$. The supremum (least upper bound) $\sup S$ is an upper bound $L$ such that every upper bound $M$ satisfies $L\le M$. Symbolically:

Dually, $\inf S$ is the infimum (greatest lower bound). Here $\epsilon \in \mathbb{R}$, $\epsilon >0$.

Completeness Axiom (Least Upper Bound Property)

Every nonempty subset $S\subseteq \mathbb{R}$ that is bounded above has a supremum $\sup S\in \mathbb{R}$.

Archimedean Property

For every real $x$ there exists a natural number $n$ with $n>x$. Equivalently, for all reals $a>0$ and $b>0$ there is $n\in \mathbb{N}$ with $na>b$.

Uniqueness of $\mathbb{R}$

Any two complete ordered fields are isomorphic as ordered fields. Hence $\mathbb{R}$ is the complete ordered field, justifying the definite article.

Why It Holds / Derivation

Completeness implies the Archimedean Property

We show $\mathbb{N}$ is unbounded in $\mathbb{R}$, which is the Archimedean property.

1. Suppose for contradiction $\mathbb{N}$ is bounded above in $\mathbb{R}$. Since $\mathbb{N}\ne \varnothing$, the Completeness Axiom [3] gives $L=\sup \mathbb{N}\in \mathbb{R}$.

1. By the supremum characterization [2] with $\epsilon =1$: there exists $n\in \mathbb{N}$ with

1. Then $n+1\in \mathbb{N}$ and

1. But $n+1\in \mathbb{N}$ and $n+1>L=\sup \mathbb{N}$ contradicts $L$ being an upper bound of $\mathbb{N}$.

1. Therefore $\mathbb{N}$ is unbounded: for any $x\in \mathbb{R}$ some $n\in \mathbb{N}$ has $n>x$. $■$

$\mathbb{Q}$ has a hole — completeness fails in the rationals

Let $S=\{q\in \mathbb{Q}:q>0,q^2<2\}$.

1. $S$ is nonempty ($1\in S$) and bounded above in $\mathbb{Q}$ (e.g. by $2$, since $q\ge 2\Rightarrow q^2\ge 4>2$).

1. Suppose $L=\sup S$ existed in $\mathbb{Q}$. Trichotomy gives $L^2<2$, $L^2=2$, or $L^2>2$.

1. $L^2=2$ is impossible: $\sqrt{2}$ is irrational (if $L=p/q$ in lowest terms, $p^2=2q^2$ forces both $p,q$ even, contradiction).

1. If $L^2<2$, choosing $h=\frac{2-L^2}{2L+1}$ (with $0<h<1$) gives $(L+h{)}^2<L^2+h(2L+1)=2$, so $L+h\in S$ and $L+h>L$ — $L$ is not an upper bound.

1. If $L^2>2$, a symmetric choice produces a smaller rational upper bound, so $L$ is not least.

1. All cases fail, so no rational supremum exists. $\mathbb{Q}$ violates [3]. $■$

Picture the number line. Completeness says: wherever you slice the line into a "left part" and "right part," the cut falls exactly on a number — there is never a microscopic gap where the knife passes through emptiness. In $\mathbb{Q}$, the slice at $\sqrt{2}$ falls into a void. The Archimedean property says the number line has no "edge of infinity": start at $0$ and march by steps of length $a$; you will eventually pass any target $b$, no matter how small $a$ or how large $b$. A non-Archimedean line would have points so far out that no finite number of unit steps reaches them, and points so close to $0$ that they are positive yet smaller than $1/n$ for every $n$ — true infinitesimals.

The supremum of $S=\{q:q^2<2\}$ fills the gap that $\mathbb{Q}$ leaves at $\sqrt{2}$

Richard Dedekind | 1831–1916

Dedekind gave the first rigorous construction of $\mathbb{R}$ in Stetigkeit und irrationale Zahlen (1872) using Dedekind cuts: a real number is identified with a partition of $\mathbb{Q}$ into two nonempty sets $(A,B)$ where every element of $A$ is below every element of $B$ and $A$ has no greatest element. The cut is the number — $\sqrt{2}$ is precisely the cut whose lower set is $\{q:q<0\text{ or }{q}^2<2\}$. Completeness becomes a theorem: the supremum of a bounded family of cuts is just the union of their lower sets, which is again a cut. Dedekind's insight reduced the mysterious "continuity of the line" to pure set theory over $\mathbb{Q}$, divorcing analysis from geometric intuition once and for all.

Worked Examples

Computing a supremum from the definition

1. Guess: terms increase toward $1$ but never reach it, so candidate $L=1$.
2. Upper bound: $1-\frac{1}{n}<1$ for all $n$, so $1$ bounds $S$. ✓
3. Least: take any $\epsilon >0$. By the Archimedean property [4] choose $n$ with $\frac{1}{n}<\epsilon$. Then

1. Note $1\notin S$: the supremum need not be attained.

Using the Archimedean property numerically

1. The Archimedean property [4] guarantees existence: for $\epsilon =10^{-6}>0$ some $n$ works.
2. Solve $\frac{1}{n}<10^{-6}⟺n>10^6$.
3. The smallest integer strictly greater than $10^6=1,000,000$ is

Common Misconceptions

Completeness fails without the least-upper-bound axiom

The field $\mathbb{R}(t)$ of rational functions in $t$, ordered so that $t$ is larger than every real number (i.e. $t>n$ for all $n\in \mathbb{N}$), is an ordered field that is not Archimedean: $\mathbb{N}$ is bounded above by $t$. Consequently it is not complete. This shows the Archimedean property is not automatic for ordered fields — it is special to $\mathbb{R}$ and a genuine consequence of completeness, as proved above. Here $1/t$ is a positive infinitesimal: $0<1/t<1/n$ for every $n$.

Completeness is the hinge on which all of analysis turns. It is logically equivalent to: the Monotone Convergence Theorem (bounded monotone sequences converge), the Bolzano–Weierstrass Theorem (bounded sequences have convergent subsequences), the Nested Interval Property, Cauchy Sequences|Cauchy completeness plus the Archimedean property, and the Heine–Borel Theorem. Each can serve as the starting axiom; the others become theorems. Completeness also makes $\mathbb{R}$ connected as a topological space and guarantees the Intermediate Value Theorem and Extreme Value Theorem. The Archimedean property links $\mathbb{R}$ to the density of Rational Numbers|$\mathbb{Q}$ in $\mathbb{R}$.

Real-World Applications

1. Numerical analysis & floating point. Convergence of iterative methods (Newton's method, bisection) relies on completeness to guarantee a limit exists; the Archimedean property justifies that decreasing error bounds eventually beat any tolerance.
2. Computer-verified proofs. Formal libraries (Coq's Coquelicot, Lean's mathlib, Isabelle/HOL) build $\mathbb{R}$ as a complete ordered field; the least-upper-bound axiom is a core definitional pillar.
3. Measure theory & probability. Defining the Lebesgue integral and constructing probability measures uses suprema/infima of sets of measures — impossible without completeness.
4. Optimization & economics. Existence of optimal solutions (e.g. utility maximization, Weierstrass extreme value theorem in continuous programs) depends on $\mathbb{R}$'s completeness.
5. Signal processing / control theory. Stability criteria and the existence of limiting frequency responses use completeness of $\mathbb{R}$ (and $\mathbb{C}$).
6. Non-standard analysis (Robinson). Deliberately dropping the Archimedean property yields the hyperreals ${}^{\ast }\mathbb{R}$ with rigorous infinitesimals, used in modern proofs and in some teaching of calculus.
7. Numerical relativity & physics simulation. Continuum models presuppose the real continuum; discretizations approximate completeness-guaranteed limits.

Historical Development

• c. 450 BCE — The Pythagoreans discover incommensurability ($\sqrt{2}$ irrational), the first crack revealing that ratios of integers do not fill the line.
• c. 350 BCE — Eudoxus' theory of proportion (Euclid, Elements Book V) handles incommensurable magnitudes; his definition of equal ratios anticipates Dedekind cuts by two millennia.
• 287–212 BCE — Archimedes states the axiom now bearing his name (attributing it to Eudoxus) and uses it in his method of exhaustion.
• 1817 — Bolzano gives an early (largely unread) proof of the intermediate value theorem, implicitly invoking completeness.
• 1821 — Cauchy's Cours d'analyse introduces rigorous limits and "Cauchy sequences," but without a construction of $\mathbb{R}$ the completeness gap remains.
• 1872 — Dedekind (cuts) and Cantor & Heine (Cauchy sequences of rationals) independently construct $\mathbb{R}$ from $\mathbb{Q}$, giving completeness a firm foundation.
• 1872 — Weierstrass and his school formalize the $\epsilon$–$\delta$ method, relying on the least-upper-bound property.
• 1899 — Hilbert axiomatizes $\mathbb{R}$ as a complete Archimedean ordered field (his "axiom of completeness").
• 1960 — Abraham Robinson founds non-standard analysis, constructing the non-Archimedean hyperreals and legitimizing infinitesimals.

Subtleties & Limits

Completeness and Archimedean-ness are first-order-elusive: the least-upper-bound property is a second-order statement (it quantifies over all subsets), and by the Löwenheim–Skolem theorem no first-order theory pins $\mathbb{R}$ down uniquely — there exist non-isomorphic models of the first-order theory of real-closed fields, some non-Archimedean. This is the root of non-standard analysis. Open and ongoing themes include: (i) the precise logical strength of completeness in reverse mathematics, where many analysis theorems sit at the level ${\mathsf{ACA}}_0$ or ${\mathsf{WKL}}_0$; (ii) constructive real analysis, where the classical least-upper-bound principle fails and must be replaced by weaker located-supremum notions (Bishop's school); and (iii) whether physical spacetime is genuinely a real continuum or only approximated by one — an empirically open question at the Planck scale.

See Also