Continuum hypothesis

In mathematics, specifically set theory, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets. It states:

"There is no set whose cardinality is strictly between that of the integers and the real numbers."

Or equivalently:

"Any subset of the real numbers is either finite, or countably infinite, or has the cardinality of the real numbers."

In Zermelo–Fraenkel set theory with the axiom of choice (ZFC), this is equivalent to the following equation in aleph numbers: ${\displaystyle 2^{\aleph _{0}}=\aleph _{1}}$, or even shorter with beth numbers: ${\displaystyle \beth _{1}=\aleph _{1}}$.

The continuum hypothesis was advanced by

The name of the hypothesis comes from the term the continuum for the real numbers.

Cantor believed the continuum hypothesis to be true and for many years tried in vain to prove it.

Two sets are said to have the same cardinality or cardinal number if there exists a bijection (a one-to-one correspondence) between them. Intuitively, for two sets S and T to have the same cardinality means that it is possible to "pair off" elements of S with elements of T in such a fashion that every element of S is paired off with exactly one element of T and vice versa. Hence, the set {banana, apple, pear} has the same cardinality as {yellow, red, green}.

With infinite sets such as the set of integers or rational numbers, the existence of a bijection between two sets becomes more difficult to demonstrate. The rational numbers seemingly form a counterexample to the continuum hypothesis: the integers form a proper subset of the rationals, which themselves form a proper subset of the reals, so intuitively, there are more rational numbers than integers and more real numbers than rational numbers. However, this intuitive analysis is flawed; it does not take proper account of the fact that all three sets are infinite. It turns out the rational numbers can actually be placed in one-to-one correspondence with the integers, and therefore the set of rational numbers is the same size (cardinality) as the set of integers: they are both countable sets.

Cantor gave two proofs that the cardinality of the set of

). His proofs, however, give no indication of the extent to which the cardinality of the integers is less than that of the real numbers. Cantor proposed the continuum hypothesis as a possible solution to this question.

The continuum hypothesis states that the set of real numbers has minimal possible cardinality which is greater than the cardinality of the set of integers. That is, every set, S, of real numbers can either be mapped one-to-one into the integers or the real numbers can be mapped one-to-one into S. As the real numbers are

powerset

of the integers, i.e. ${\displaystyle |\mathbb {R} |=2^{\aleph _{0}}}$, the continuum hypothesis can be restated as follows:

Continuum hypothesis —  ${\displaystyle \nexists S\colon \aleph _{0}<|S|<2^{\aleph _{0}}}$.

Assuming the axiom of choice, there is a unique smallest cardinal number ${\displaystyle \aleph _{1}}$ greater than ${\displaystyle \aleph _{0}}$, and the continuum hypothesis is in turn equivalent to the equality ${\displaystyle 2^{\aleph _{0}}=\aleph _{1}}$.^[5]

The independence of the continuum hypothesis (CH) from

Gödel

Cohen[4]^[7] showed that CH cannot be proven from the ZFC axioms, completing the overall independence proof. To prove his result, Cohen developed the method of forcing, which has become a standard tool in set theory. Essentially, this method begins with a model of ZF in which CH holds, and constructs another model which contains more sets than the original, in a way that CH does not hold in the new model. Cohen was awarded the Fields Medal in 1966 for his proof.

The independence proof just described shows that CH is independent of ZFC. Further research has shown that CH is independent of all known

. A result of Solovay, proved shortly after Cohen's result on the independence of the continuum hypothesis, shows that in any model of ZFC, if ${\displaystyle \kappa }$ is a cardinal of uncountable

${\displaystyle 2^{\aleph _{0}}=\kappa }$

${\displaystyle 2^{\aleph _{0}}}$

${\displaystyle \aleph _{\omega }}$

${\displaystyle \aleph _{\omega _{1}+\omega }}$

${\displaystyle \omega }$

The continuum hypothesis is closely related to many statements in

The independence from ZFC means that proving or disproving the CH within ZFC is impossible. However, Gödel and Cohen's negative results are not universally accepted as disposing of all interest in the continuum hypothesis. The continuum hypothesis remains an active topic of research; see Woodin^[9][10] and Peter Koellner^[11] for an overview of the current research status.

The continuum hypothesis and the

Historically, mathematicians who favored a "rich" and "large" universe of sets were against CH, while those favoring a "neat" and "controllable" universe favored CH. Parallel arguments were made for and against the axiom of constructibility, which implies CH. More recently, Matthew Foreman has pointed out that ontological maximalism can actually be used to argue in favor of CH, because among models that have the same reals, models with "more" sets of reals have a better chance of satisfying CH.^[13]

Another viewpoint is that the conception of set is not specific enough to determine whether CH is true or false. This viewpoint was advanced as early as 1923 by

At least two other axioms have been proposed that have implications for the continuum hypothesis, although these axioms have not currently found wide acceptance in the mathematical community. In 1986, Chris Freiling[15] presented an argument against CH by showing that the negation of CH is equivalent to Freiling's axiom of symmetry, a statement derived by arguing from particular intuitions about probabilities. Freiling believes this axiom is "intuitively clear"^[15] but others have disagreed.^[16][17]

A difficult argument against CH developed by W. Hugh Woodin has attracted considerable attention since the year 2000.^[9][10] Foreman does not reject Woodin's argument outright but urges caution.^[18] Woodin proposed a new hypothesis that he labeled the "(*)-axiom", or "Star axiom". The Star axiom would imply that ${\displaystyle 2^{\aleph _{0}}}$ is ${\displaystyle \aleph _{2}}$, thus falsifying CH. The Star axiom was bolstered by an independent May 2021 proof showing the Star axiom can be derived from a variation of Martin's maximum. However, Woodin stated in the 2010s that he now instead believes CH to be true, based on his belief in his new "ultimate L" conjecture.^[19][20]

Solomon Feferman argued that CH is not a definite mathematical problem.^[21] He proposed a theory of "definiteness" using a semi-intuitionistic subsystem of ZF that accepts classical logic for bounded quantifiers but uses intuitionistic logic for unbounded ones, and suggested that a proposition ${\displaystyle \phi }$ is mathematically "definite" if the semi-intuitionistic theory can prove ${\displaystyle (\phi \lor \neg \phi )}$. He conjectured that CH is not definite according to this notion, and proposed that CH should, therefore, be considered not to have a truth value. Peter Koellner wrote a critical commentary on Feferman's article.^[22]

Joel David Hamkins proposes a multiverse approach to set theory and argues that "the continuum hypothesis is settled on the multiverse view by our extensive knowledge about how it behaves in the multiverse, and, as a result, it can no longer be settled in the manner formerly hoped for".^[23] In a related vein, Saharon Shelah wrote that he does "not agree with the pure Platonic view that the interesting problems in set theory can be decided, that we just have to discover the additional axiom. My mental picture is that we have many possible set theories, all conforming to ZFC".^[24]

The generalized continuum hypothesis (GCH) states that if an infinite set's cardinality lies between that of an infinite set S and that of the power set ${\displaystyle {\mathcal {P}}(S)}$ of S, then it has the same cardinality as either S or ${\displaystyle {\mathcal {P}}(S)}$. That is, for any infinite cardinal ${\displaystyle \lambda }$ there is no cardinal ${\displaystyle \kappa }$ such that ${\displaystyle \lambda <\kappa <2^{\lambda }}$. GCH is equivalent to:

${\displaystyle \aleph _{\alpha +1}=2^{\aleph _{\alpha }}}$ for every ordinal ${\displaystyle \alpha }$^[5] (occasionally called Cantor's aleph hypothesis).

The beth numbers provide an alternative notation for this condition: ${\displaystyle \aleph _{\alpha }=\beth _{\alpha }}$ for every ordinal ${\displaystyle \alpha }$. The continuum hypothesis is the special case for the ordinal ${\displaystyle \alpha =1}$. GCH was first suggested by Philip Jourdain.^[25] For the early history of GCH, see Moore.^[26]

Like CH, GCH is also independent of ZFC, but Sierpiński proved that ZF + GCH implies the axiom of choice (AC) (and therefore the negation of the axiom of determinacy, AD), so choice and GCH are not independent in ZF; there are no models of ZF in which GCH holds and AC fails. To prove this, Sierpiński showed GCH implies that every cardinality n is smaller than some aleph number, and thus can be ordered. This is done by showing that n is smaller than ${\displaystyle 2^{\aleph _{0}+n}}$ which is smaller than its own Hartogs number—this uses the equality ${\displaystyle 2^{\aleph _{0}+n}\,=\,2\cdot \,2^{\aleph _{0}+n}}$; for the full proof, see Gillman.^[27]

Kurt Gödel showed that GCH is a consequence of ZF + V=L (the axiom that every set is constructible relative to the ordinals), and is therefore consistent with ZFC. As GCH implies CH, Cohen's model in which CH fails is a model in which GCH fails, and thus GCH is not provable from ZFC. W. B. Easton used the method of forcing developed by Cohen to prove Easton's theorem, which shows it is consistent with ZFC for arbitrarily large cardinals ${\displaystyle \aleph _{\alpha }}$ to fail to satisfy ${\displaystyle 2^{\aleph _{\alpha }}=\aleph _{\alpha +1}}$. Much later, Foreman and Woodin proved that (assuming the consistency of very large cardinals) it is consistent that ${\displaystyle 2^{\kappa }>\kappa ^{+}}$ holds for every infinite cardinal ${\displaystyle \kappa }$. Later Woodin extended this by showing the consistency of ${\displaystyle 2^{\kappa }=\kappa ^{++}}$ for every ${\displaystyle \kappa }$. Carmi Merimovich^[28] showed that, for each n ≥ 1, it is consistent with ZFC that for each infinite cardinal κ, 2^κ is the nth successor of κ (assuming the consistency of some large cardinal axioms). On the other hand, László Patai^[29] proved that if γ is an ordinal and for each infinite cardinal κ, 2^κ is the γth successor of κ, then γ is finite.

For any infinite sets A and B, if there is an injection from A to B then there is an injection from subsets of A to subsets of B. Thus for any infinite cardinals A and B, ${\displaystyle A<B\to 2^{A}\leq 2^{B}}$ . If A and B are finite, the stronger inequality ${\displaystyle A<B\to 2^{A}<2^{B}}$ holds. GCH implies that this strict, stronger inequality holds for infinite cardinals as well as finite cardinals.

Although the generalized continuum hypothesis refers directly only to cardinal exponentiation with 2 as the base, one can deduce from it the values of cardinal exponentiation ${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}}$ in all cases. GCH implies that for ordinals α and β:^[30]

${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}=\aleph _{\beta +1}}$ when α ≤ β+1;

${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}=\aleph _{\alpha }}$ when β+1 < α and ${\displaystyle \aleph _{\beta }<\operatorname {cf} (\aleph _{\alpha })}$, where cf is the cofinality operation; and

${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}=\aleph _{\alpha +1}}$ when β+1 < α and ${\displaystyle \aleph _{\beta }\geq \operatorname {cf} (\aleph _{\alpha })}$.

The first equality (when α ≤ β+1) follows from:

${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}\leq \aleph _{\beta +1}^{\aleph _{\beta }}=(2^{\aleph _{\beta }})^{\aleph _{\beta }}=2^{\aleph _{\beta }\cdot \aleph _{\beta }}=2^{\aleph _{\beta }}=\aleph _{\beta +1}}$ , while:

${\displaystyle \aleph _{\beta +1}=2^{\aleph _{\beta }}\leq \aleph _{\alpha }^{\aleph _{\beta }}}$ ;

The third equality (when β+1 < α and ${\displaystyle \aleph _{\beta }\geq \operatorname {cf} (\aleph _{\alpha })}$) follows from:

${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}\geq \aleph _{\alpha }^{\operatorname {cf} (\aleph _{\alpha })}>\aleph _{\alpha }}$, by König's theorem, while:

${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}\leq \aleph _{\alpha }^{\aleph _{\alpha }}\leq (2^{\aleph _{\alpha }})^{\aleph _{\alpha }}=2^{\aleph _{\alpha }\cdot \aleph _{\alpha }}=2^{\aleph _{\alpha }}=\aleph _{\alpha +1}}$

• Absolute infinite
• Beth number
• Cardinality
• Ω-logic
• Second continuum hypothesis
• Wetzel's problem