The Completeness Axiom states that every non-empty subset of real numbers bounded above must have a least upper bound (supremum). This single axiom distinguishes the reals from the rationals and is indispensable for proving convergence of sequences, the Intermediate Value Theorem, and the Extreme Value Theorem.
Start with concrete examples: find the supremum of {1, 1/2, 2/3, 3/4, ...} and verify it's 1. Then explore why the rationals lack this property (e.g., {x ∈ ℚ : x² < 2} has no rational supremum). Use supremum to motivate the next topics.
You already know the ordered field axioms: the rational numbers ℚ satisfy every one of them. Addition, multiplication, ordering — ℚ behaves exactly like a number system "should." And yet there is a profound gap in ℚ. Consider the set S = {x ∈ ℚ : x² < 2}. Every element of S is a rational number, and S is clearly bounded above — for instance, 2 is an upper bound. So there should be a least upper bound, right? But there isn't one in ℚ. Every rational candidate for the least upper bound can be beaten: you can always find a larger rational that is still an upper bound. The true least upper bound would be √2, but √2 is irrational. The rationals have a hole exactly where √2 should be.
The Completeness Axiom — also called the Least Upper Bound Property — plugs this hole by decree. It asserts: every non-empty subset of ℝ that is bounded above has a supremum (least upper bound) in ℝ. This axiom does not hold in ℚ; it is precisely what distinguishes the real numbers from the rationals. The real numbers are, by this axiom, complete — they have no holes. Every place where a sequence seems like it should converge, it actually does. The completeness axiom is what makes calculus work.
The distinction between supremum and maximum is subtle but essential. The maximum of a set is the largest element that belongs to the set. The supremum is the smallest upper bound — it need not be in the set. For the open interval (0, 1), the supremum is 1: every upper bound is ≥ 1, and 1 is itself an upper bound. But 1 is not in (0, 1), so the set has no maximum. The supremum exists in ℝ by the Completeness Axiom, even though no element of the set achieves it. The formal definition of sup(S) = M requires two things: (1) M is an upper bound of S (no element of S exceeds M), and (2) no smaller number is an upper bound (for every ε > 0, there exists s ∈ S with s > M − ε).
The Completeness Axiom is not just a technicality — it is the engine behind virtually every major theorem in real analysis. The Monotone Convergence Theorem (a bounded monotone sequence converges) depends directly on it: the supremum of the sequence's range is the limit. The Intermediate Value Theorem depends on it: if a continuous function changes sign, you need the completeness of ℝ to guarantee the zero actually exists. The Extreme Value Theorem, the Bolzano–Weierstrass Theorem, and the definition of the Riemann integral all rely on it. When you prove any of these theorems later, watch for the moment where the supremum or infimum is invoked — that is the point where completeness does the work.