On the Completeness of the Real Line: Why Continuity Requires Belief
The real number line is complete. Between any two rationals lies an irrational, and between any two irrationals lies a rational. This density is not continuity — continuity is the stronger claim that there are no gaps at all.
Completeness is not a theorem you prove. It is an axiom you accept. The continuum is, at its foundation, an act of mathematical faith.
Dedekind’s cuts gave us a construction. Cauchy’s sequences gave us convergence. But the question persists: does the continuum exist as a mathematical object, or is it merely a useful fiction that unifies our intuitions about space and change?
Consider the intermediate value theorem. If a continuous function passes from negative to positive, it must cross zero. This feels obvious — but it depends entirely on the completeness of the reals. Remove a single irrational, and the theorem fails.
Continue reading →