The Continuum Hypothesis — Mathematics Knowledge System

Overview

The Continuum Hypothesis (CH), first proposed by Georg Cantor in 1878, asserts that there is no set whose cardinality is strictly between that of the natural numbers ℕ and the real numbers ℝ (the 'continuum'). Cantor had already shown |ℝ| = 2^{ℵ₀} is strictly greater than |ℕ| = ℵ₀; CH says that 2^{ℵ₀} is the very NEXT infinite cardinal after ℵ₀, i.e. 2^{ℵ₀} = ℵ₁. What makes CH famous beyond its content is its fate: it was David Hilbert's first problem on his celebrated 1900 list, yet it turned out to be neither provable nor disprovable from the standard axioms of set theory (ZFC). Kurt Gödel showed in 1940 that CH cannot be disproved from ZFC (it is consistent to assume it), and Paul Cohen showed in 1963 that CH also cannot be proved from ZFC (it is consistent to assume its negation) — together establishing that CH is independent of ZFC, one of the most striking limitative results in the foundations of mathematics.

Intuition

Cantor's diagonal argument shows |ℝ| is a strictly bigger infinity than |ℕ|, but it says nothing about whether there's some intermediate size of infinity squeezed in between — a set too big to be countable but still too small to match the reals. CH is the bold guess that there is NO such intermediate size: infinity jumps directly from ℵ₀ (countable) to 2^{ℵ₀} (the continuum) with nothing in between. What makes this a genuinely strange situation, unlike an ordinary open conjecture such as the Riemann Hypothesis (which is simply unproven so far but has a definite truth value we haven't found), is that CH has been PROVEN to be unanswerable using the normal rules of set theory: Gödel and Cohen together showed the ZFC axioms are simply too weak to pin down the size of the continuum. You can consistently add CH as a new axiom, or consistently add its negation, and either choice yields an equally valid, self-consistent universe of sets.

Formal Definition

Definition

The Continuum Hypothesis states that the cardinality of the continuum equals the first uncountable cardinal ℵ₁. The Generalized Continuum Hypothesis (GCH) extends this to every infinite cardinal, asserting there is no cardinal strictly between any infinite set's cardinality and its power set's cardinality.

\text{CH}: \quad 2^{\aleph_0} = \aleph_1

The Continuum Hypothesis

\nexists\, S : \aleph_0 < |S| < 2^{\aleph_0}

Equivalent phrasing: no cardinality strictly between ℕ and ℝ

\text{GCH}: \quad \forall \alpha,\; 2^{\aleph_\alpha} = \aleph_{\alpha+1}

The Generalized Continuum Hypothesis

\text{ZFC} \nvdash \text{CH} \quad \text{and} \quad \text{ZFC} \nvdash \lnot\text{CH}

Independence of CH from ZFC (Gödel 1940 + Cohen 1963)

Properties

Consistency (Gödel, 1940)

\text{Con}(\text{ZFC}) \implies \text{Con}(\text{ZFC} + \text{CH})

Condition: Proved via the constructible universe L, in which CH holds

Independence (Cohen, 1963)

\text{Con}(\text{ZFC}) \implies \text{Con}(\text{ZFC} + \lnot\text{CH})

Condition: Proved via the method of forcing

CH implies the continuum has the least uncountable cardinality

\text{CH} \iff 2^{\aleph_0} = \aleph_1

GCH implies the Axiom of Choice

\text{GCH} \implies \text{AC}

Condition: A theorem of Sierpiński: GCH is strictly stronger than CH in this sense

Applications

Descriptive set theory and definability results in logic and computability draw on CH-related independence phenomena to explain why some seemingly well-posed classification questions have no ZFC-provable answer.

Worked Examples

In words: there is no set with cardinality strictly between that of the natural numbers and that of the real numbers.
$\nexists\, S:\; \aleph_0 < |S| < |\mathbb{R}|$
Since |ℝ| = 2^{ℵ₀} and the next cardinal after ℵ₀ is denoted ℵ₁, this is equivalent to the equation 2^{ℵ₀} = ℵ₁.
$2^{\aleph_0} = \aleph_1$

Answer: CH: 2^{ℵ₀} = ℵ₁ — the continuum has the smallest possible uncountable cardinality.

Practice Problems

Difficulty 6/10

In one sentence, state what the Continuum Hypothesis claims about cardinalities between ℕ and ℝ.

Difficulty 7/10

Which pair of results together establishes that CH is independent of ZFC?

Cantor's diagonal argument and Cantor's theoremGödel's consistency proof (1940) and Cohen's independence proof via forcing (1963)Zorn's Lemma and the Well-Ordering TheoremThe Cantor–Schröder–Bernstein theorem and Cantor's theorem

Difficulty 8/10

The Generalized Continuum Hypothesis (GCH) states 2^{ℵ_α} = ℵ_{α+1} for every ordinal α, not just α=0. Explain why GCH is a strictly stronger statement than CH, and why GCH being independent of ZFC does not follow automatically from CH's independence alone (though in fact GCH is also independent).

Common Mistakes

Common Mistake

Thinking CH is simply an unsolved conjecture, like the Riemann Hypothesis, awaiting a clever proof.

CH has been PROVEN independent of ZFC — it's not that nobody has found a proof yet, it's that no proof or disproof from ZFC's axioms can exist (assuming ZFC is consistent). This is a fundamentally different situation from an open conjecture.

Common Mistake

Assuming CH and GCH are the same statement.

CH concerns only ℵ₀ and 2^{ℵ₀}; GCH extends the 'no cardinal in between' claim to every infinite cardinal ℵ_α and its power set 2^{ℵ_α}. CH is the α=0 special case of GCH.

Quiz

Historical Background

Cantor conjectured the Continuum Hypothesis in 1878 after developing his theory of transfinite cardinal numbers, and he spent much of his later career trying unsuccessfully to prove it. When David Hilbert compiled his famous list of 23 open problems for the 1900 International Congress of Mathematicians, CH was problem number one. Progress stalled until Kurt Gödel, in 1940, constructed the 'constructible universe' L and showed that CH holds in L, proving CH is CONSISTENT with the ZFC axioms (assuming ZFC itself is consistent) — so CH can never be disproved from ZFC. The other half of the puzzle waited until 1963, when Paul Cohen invented the technique of forcing to build a model of ZFC in which CH is false, proving CH is also INDEPENDENT the other way — it cannot be proved from ZFC either. Cohen won the Fields Medal in 1966 for this work, and the independence of CH remains a landmark demonstration that not every meaningful mathematical statement is settled by the standard axioms.

1878
Cantor formulates the Continuum Hypothesis
Georg Cantor
1900
Hilbert lists CH as the first of his 23 problems at the ICM in Paris
David Hilbert
1940
Gödel proves CH is consistent with ZFC via the constructible universe L
Kurt Gödel
1963
Cohen proves the negation of CH is also consistent with ZFC, using forcing
Paul Cohen
1966
Cohen receives the Fields Medal, partly for this independence result
Paul Cohen

Summary

CH (Cantor, 1878) asserts 2^{ℵ₀}=ℵ₁: no set has cardinality strictly between ℕ and ℝ.
CH was Hilbert's first problem (1900) and remained open for decades.
Gödel (1940) showed ZFC+CH is consistent; Cohen (1963), via forcing, showed ZFC+¬CH is also consistent.
Together these prove CH is independent of ZFC — neither provable nor disprovable from the standard axioms.
GCH generalizes CH to every infinite cardinal and is likewise independent of ZFC.

References

WebsiteWikipedia — Continuum hypothesis
BookCohen, P. Set Theory and the Continuum Hypothesis, 1966.