Continuum hypothesis

Key concepts

Two basic notions underlie the question: what it means for a set to be infinite and how cardinality compares different infinities. Cantor proved the reals are uncountable (for example by his diagonal argument) so the reals are strictly larger than the naturals. The continuum hypothesis can be stated formally as there being no cardinal number κ satisfying aleph‑null < κ < 2^{\aleph_0}, or equivalently as 2^{\aleph_0} = \aleph_1 when ordinals are used to index infinite cardinals. The question interacts with other concepts such as the structure of the power set of the naturals and possible well‑orderings of the reals.

Historical development

Georg Cantor raised the problem in the late 19th century. It became widely known after David Hilbert placed it first on his 1900 list of problems to guide 20th‑century mathematics. Work on the hypothesis spurred deep advances in axiomatic set theory. Kurt Gödel showed that if the standard axioms of set theory are consistent, then those axioms cannot be used to refute the continuum hypothesis: he constructed a model (the constructible universe) in which the hypothesis holds. Later Paul Cohen developed the method of forcing and demonstrated that the same axioms cannot be used to prove the continuum hypothesis either; the two independence results together show the hypothesis is undecidable from those axioms. For his work Cohen was awarded the Fields Medal.

Formal variants and related statements

• The usual formal expression of the hypothesis in the context of standard set theory is 2^{\aleph_0} = \aleph_1, asserting the continuum equals the first uncountable cardinal.
• The generalized continuum hypothesis (GCH) extends the statement to all infinite cardinals, positing 2^{\aleph_\alpha} = \aleph_{\alpha+1} for every ordinal \alpha.
• Other equivalent or related combinatorial and topological formulations exist; many natural propositions about subsets of the reals turn out to have different truth values in models where CH holds and in models where CH fails.

Importance and consequences

The independence of the continuum hypothesis from the usual Zermelo–Fraenkel axioms with the axiom of choice (ZFC) has fundamental philosophical and mathematical consequences. It demonstrates that basic questions about the infinite can be sensitive to the choice of axioms and motivates the search for additional principles (such as forcing axioms or large cardinal assumptions) that settle some independent statements. Practical consequences appear in set theory, topology, measure theory and real analysis because certain natural statements about sets of real numbers, cardinal characteristics of the continuum, or the existence of special orderings can depend on whether CH is assumed.

Further remarks and resources

The continuum hypothesis remains a central example of an undecidable proposition in modern mathematics and a driving force behind developments in model theory and independence proofs. For historical background and technical introductions see surveys of Cantor's work and the later contributions of Gödel and Cohen. For concise milestones consult resources on Hilbert's problems and on basic notions of set theory; discussions aimed at non‑specialists also explain why questions about the reals lead to subtle interactions between axioms, models and combinatorial principles.