The Completeness Axiom

Real Analysis · Axiom Academy

The single property that fills every gap in the number line — and tells the real numbers apart from the rationals. 1. Bounded Above & Upper Bounds Take the set S=[0,3) — every real number from 0 up to (but not reaching) 3 . A number M is an upper bound for S if it sits at or above every element of S . The animation slides a candidate M along the line; whenever it clears the whole set, it joins the green ray of upper bounds . 2. The Supremum — the Least Upper Bound Among all those upper bounds, push down to the very lowest one. For S=[0,3) that floor is exactly 3 : it caps the set, and nothing smaller can — any leaves some element of S above it. That lowest ceiling is the supremum , written . Least: if then L is not an upper bound — some has . Condition 2 has a sharper, working form — the -characterization : no matter how tiny a margin you allow, some element of S already lives inside the sliver just below the supremum. 3. The Axiom — and the Hole in Now the headline. The completeness axiom promises that the "lowest ceiling" of Step 2 always exists in — for every set that has any ceiling at all. The rationals fail this. Watch the set climb — — pressing toward a target. Its only possible least upper bound is , and : there is literally no rational sitting at that spot. has upper bounds but no least one in . You've seen the completeness axiom from the ground up — bounded sets, the least upper bound, and the missing point that makes complete where is not.

This is the written version of the interactive lesson above. See the full Real Analysis course.