Foundations: What Analysis Is

the continuum

Picture an idealised ruler with no gaps at all: between any two marks there are infinitely more, and crucially, there is no missing notch where a quantity ‘ought to be’ but isn't. That gapless ruler is the continuum — the real number line as a complete, unbroken model of magnitude.

The continuum is the set of real numbers R, equipped with its order and completeness: every nonempty set bounded above has a least upper bound. This completeness is exactly what fills the holes that the rationals leave — sqrt 2, pi and e are all genuine points of the continuum, even though each is a gap in Q. The continuum is the home in which limits, when they should exist, actually do.

Two facts give the continuum its character. It is densely ordered (between any two reals lies another real) yet it is also complete (no gaps), and the two together are what the rationals lack — Q is dense but riddled with holes. And the continuum is uncountable: by Cantor's diagonal argument there are strictly more reals than rationals, so the line is far ‘thicker’ than the points with names like fractions could ever fill.

‘Dense’ alone is not ‘gapless’. The rationals are dense yet leave a hole at sqrt 2; only completeness closes every hole, and that is the defining feature of the continuum.

Also called
the real line实数连续统實數連續統