A journey through mathematical continua
Scroll to begin
The set of real numbers forms a continuum: complete, ordered, and dense. Between any two distinct reals exists another -- infinitely many, in fact. No gaps, no jumps. The foundation upon which all of analysis is built.
Every bounded, non-empty subset of the reals has a least upper bound. This is the completeness axiom -- the property that distinguishes the reals from the rationals. Without it, limits would not converge, and calculus would crumble.
The rationals are dense in the reals: between any two reals lies a rational number. Yet the rationals are countable, while the reals are not. A countable set, dense everywhere, missing almost everything. The continuum holds mysteries even in its simplest form.
In topology, a continuum is a compact, connected metrizable space. The closed interval [0,1] is the simplest example. But continua can be far more exotic: the Cantor fan, the pseudo-arc, the solenoid -- objects that defy geometric intuition yet satisfy the formal definition.
A space is connected if it cannot be partitioned into two non-empty open sets. The real line is connected. Remove a single point and it becomes disconnected. Continuity preserves connectedness -- the image of a connected set under a continuous map remains connected.
A stronger condition: for any two points in the space, there exists a continuous path joining them. Every path-connected space is connected, but not every connected space is path-connected. The topologist's sine curve is connected but not path-connected -- a hairline fracture in the intuition.
Cantor proved the reals are uncountable -- there is no bijection between the naturals and the reals. The continuum has a strictly larger cardinality than the integers. He denoted this cardinality c = 2ℵ0, the power of the continuum.
Cantor conjectured that no set has cardinality strictly between that of the integers and the reals. Gödel showed it is consistent with ZFC; Cohen proved its negation is also consistent. The continuum hypothesis is independent -- it can be neither proved nor disproved from standard axioms.
Cohen's method of forcing constructs models of set theory where the continuum hypothesis fails. In some models, 2ℵ0 = ℵ2. In others, it equals ℵ37. The size of the continuum is, in a precise sense, unknowable from the axioms alone.
The continuum is not a single concept but a family of ideas: density, completeness, connectedness, cardinality. Each captures a different facet of the infinite seamlessness we call continuity. From the real line to exotic topological spaces, from countable ordinals to the power set of the naturals -- the thread that runs through all is the idea that the whole is more than the sum of its parts.
To be continued...
The continuum extends beyond every boundary.