Understand the rigorous construction of real numbers and their fundamental properties
The rational numbers are full of holes. Play with the demos below to see how the real numbers fill them, and why that one property, completeness, makes calculus work.
Pick a cut and zoom in: the rationals crowd up to the gap from both sides, but neither side ever reaches it. Raise the max denominator to pack them closer.
Key Insight
For √2, the set A has no maximum element—rationals get arbitrarily close to √2 from below but never reach it.
A Dedekind cut partitions the rationals Q into two sets (A, B) where:
Each cut defines a unique real number—the "gap" between A and B. This construction proves that R is complete: every non-empty set that is bounded above has a least upper bound.
One way to rigorously construct the real numbers is through Dedekind cuts: partitions of the rationals that define the "gaps" where irrational numbers live.
Key insight: Every real number corresponds to a unique cut of the rationals. Irrational numbers are precisely the cuts where the lower set has no greatest element and the upper set has no least element.
Choose a bounded set and add elements to watch them crowd toward the least upper bound. Turn on the other upper bounds to see that the supremum is the smallest of them.
Least Upper Bound Property: Every non-empty subset of R that is bounded above has a least upper bound (supremum) in R.
This property fails for Q! The set {q ∈ Q : q² < 2} is bounded above in Q but has no least upper bound in Q—the supremum would be √2, which is irrational.
The defining property of real numbers: every non-empty set bounded above has a least upper bound (supremum). This property fails for the rationals!
Key insight: Completeness is what makes calculus work. Without it, limits, derivatives, and integrals would not behave as expected -- sequences could "converge" to gaps that don't exist.
Slide x as high as you like and watch a natural number N always land past it.
For x = 3.7000, the smallest natural number N > x is:
N = 4
Best approximation with denominator ≤ 100:
37/10 = 3.700000
Error: 0.000e+0
Statement: For every real number x, there exists a natural number N such that N > x.
Equivalently: the natural numbers are unbounded above. There is no real number larger than all natural numbers.
Consequence: For any ε > 0, there exists N such that 1/N < ε. This is why sequences like 1/n converge to 0.
For every real number x, there exists a natural number N greater than x. This seemingly obvious fact is a consequence of completeness and rules out infinitesimal elements.
Key insight: The Archimedean property guarantees that for any positive epsilon, there exists N with 1/N < epsilon -- the foundation of all epsilon-N arguments.
Set the bounds a and b, or press Random Interval, then zoom in. However close the bounds are, a rational and an irrational turn up between them.
Rational found:
29/20 = 1.45000000
Irrational found:
1.4000 + √2×10⁻2 ≈ 1.41414214
Density of Rationals: Between any two distinct real numbers a < b, there exists a rational number r with a < r < b.
Density of Irrationals: Between any two distinct real numbers a < b, there exists an irrational number s with a < s < b.
No matter how small the interval, it always contains both rationals and irrationals! Try making the interval very small—you'll always find both types of numbers inside.
Between any two distinct real numbers, there exists both a rational and an irrational number. Both sets are dense in R, yet they have profoundly different cardinalities.
Key insight: Density means neither Q nor its complement contains any interval, yet together they fill R completely. The rationals are countable while the irrationals are uncountable.
Choose bisection to √2 or a centered sequence and press Animate. Watch the intervals shrink until a single point is left.
The intersection of all nested closed intervals is exactly one point:
⋂ Iₙ = {√2}
Theorem: If I₁ ⊇ I₂ ⊇ I₃ ⊇ ... is a nested sequence of non-empty closed bounded intervals with lengths → 0, then the intersection contains exactly one point.
This property is equivalent to completeness and is used to prove many fundamental results in analysis, including the existence of limits and the Bolzano-Weierstrass theorem.
Bisection: If m² < 2, take [m, b]; else take [a, m]. Limit = √2
A sequence of nested closed intervals with lengths approaching zero contains exactly one point. This property is equivalent to completeness and powers the bisection arguments used throughout analysis.
Key insight: Nested intervals provide an alternative characterization of completeness, directly powering proofs of the Bolzano-Weierstrass theorem and the Intermediate Value Theorem.
Spot a mistake or have an idea?