Filling the Gaps

Real Analysis · Axiom Academy

The rationals are full of holes — the completeness axiom is what fills them, turning a sieve of fractions into the unbroken real line. A square with area 2 has a diagonal of length 2 — a number you can corner with fractions as tightly as you like, yet no fraction ever equals it . That missing point is exactly what completeness supplies. Here are three ways to feel the gap. Squeeze a number out of nothing Watch a single point get cornered. Each step keeps the half of the interval where x² − 2 changes sign, so 2 is always trapped inside — and the trap shrinks by half every time. The width races to zero; the point it closes on is real. Collect every fraction whose square is below 2 into a set S . It clearly can't run past 2 — but slide an upper bound down to the tightest one that still fences S in. The least upper bound you're hunting is 2 itself: real, but not a fraction . That's the hole completeness fills. Nothing below 2 can be the bound Here's the test that nails 2 as the supremum: pick any gap > 0 below it, and an element of S is already sitting inside ( 2 − , 2] . Shrink as far as you like — a fraction in S always crowds up against the edge, so nothing smaller can fence S in. One axiom, three faces: a nested trap always closes on a point, a bounded set always has a least upper bound , and no can slip beneath it . That single guarantee — the completeness axiom — is the only thing has that ℚ lacks, and it's what lets limits, roots, and integrals exist at all.

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