Between any two real numbers exists another. The rationals are dense in the reals. The irrationals are dense in the reals. Every interval, no matter how small, contains infinitely many of each. This is the first glimpse of the continuum's inexhaustible nature.
DENSITY INDEX
∞
++
++SECTOR A-02 · ENUMERATION · [87.1, 44.9]
Cardinality
The continuum contains uncountably many points. Cantor's diagonal argument proves that no enumeration can capture them all. The real line is strictly larger than the natural numbers. We denote its cardinality as the power of the continuum: 2ℵ0.
CARDINALITY CLASS
ℵ1
++
SECTOR B
++SECTOR B-01 · TOPOLOGY · [123.4, 67.8]
Completeness
The real line is order-complete: every bounded set has a least upper bound. This completeness distinguishes the reals from the rationals. It enables calculus, integration, and the entire edifice of analysis. Gaps in the rationals are filled, the continuum has no holes.
COMPLETENESS
1.000
++
++SECTOR B-02 · MANIFOLDS · [156.2, 89.1]
Dimension
The continuum extends to any dimension. The real plane, real 3-space, and higher-dimensional real spaces share the same cardinality as the real line. Dimension is a topological property, not a set-theoretic one. A line and a plane contain equally many points.
DIMENSIONAL DEPTH
n → ∞
++
DEEP SCAN
++SECTOR C-01 · DEEP SCAN · [201.7, 112.4]
The Hypothesis
Is there a cardinality between countable and continuum? The Continuum Hypothesis states there is not. Gödel (1940) showed it cannot be disproved. Cohen (1963) showed it cannot be proved. It remains independent of standard set theory -- the frontier of mathematical knowledge.
RESOLUTION STATUS
UNDECIDABLE
++
++SECTOR C-02 · DEEP SCAN · [234.9, 145.6]
Forcing
Paul Cohen's method of forcing constructs models of set theory where the Continuum Hypothesis fails. By carefully adding new sets to existing models, one can inflate the continuum to any regular cardinal. The real numbers can be made arbitrarily large -- or kept as small as possible.