Building the Real Line

Real Analysis · Axiom Academy

The rationals leave gaps you can squeeze right up against but never land on. The one property that fills every gap is what makes the reals real. A number you can corner but never catch You can label every rational point on a line — every fraction, packed so tightly that between any two of them sits another. It looks finished. Yet there are specific places, like where a length squares to exactly 2 , that no fraction ever lands on. Watch one of those gaps refuse to close. Collect the rationals whose square is still below 2 : the set . Watch them creep rightward toward . Every one stays inside ( ), the squares climb toward 2 — but no rational ever sits exactly at the wall. S has rational ceilings — — but no least rational ceiling. In , this set has no top. The least upper bound — the supremum Forget the wall for a moment; just take a set sitting on a line. Drag the bar M . Whenever M sits at or above every point, it's an upper bound . Push M left as far as it can go while still holding back the whole set: the tightest one is the supremum , . For the supremum is 1 — yet no element of S equals 1 . A set can have a sup it never reaches: . No gap is too small for a fraction Pick any two reals and squeeze them together. Zoom in as hard as you like. There is always a rational strictly between them — and an irrational too. This is what dense means: has no breathing room, and neither do the irrationals.

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