Namespaces
Variants
Actions

Difference between revisions of "Continuum hypothesis"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(Tex done)
Line 1: Line 1:
The hypothesis, due to G. Cantor (1878), stating that every infinite subset of the continuum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c0257901.png" /> is either equivalent to the set of natural numbers or to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c0257902.png" /> itself. An equivalent formulation (in the presence of the [[Axiom of choice|axiom of choice]]) is:
+
The hypothesis, due to G. Cantor (1878), stating that every infinite subset of the continuum $\mathbf{R}$ is either equivalent to the set of natural numbers or to $\mathbf{R}$ itself. An equivalent formulation (in the presence of the [[axiom of choice]]) is:
 
+
$$
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c0257903.png" /></td> </tr></table>
+
2^{\aleph_0} = \aleph_1
 
+
$$
(see [[Aleph|Aleph]]). The generalization of this equality to arbitrary cardinal numbers is called the generalized continuum hypothesis (GCH): For every ordinal number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c0257904.png" />,
+
(see [[Aleph]]). The generalization of this equality to arbitrary cardinal numbers is called the generalized continuum hypothesis (GCH): For every ordinal number $\alpha$,
 
+
$$\begin{equation} \label{eq:1}
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c0257905.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
+
2^{\aleph_\alpha} = \aleph_{\alpha+1} \ .
 +
\end{equation}
 +
$$
  
 
In the absence of the axiom of choice, the generalized continuum hypothesis is stated in the form
 
In the absence of the axiom of choice, the generalized continuum hypothesis is stated in the form
 
+
$$\begin{equation} \label{eq:2}
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c0257906.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>
+
\forall \mathfrak{k} \,\,\neg \exists \mathfrak{m}\ (\,\mathfrak{k} < \mathfrak{m} < 2^{\mathfrak{k}}\,)
 
+
\end{equation}
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c0257907.png" /> stand for infinite cardinal numbers. The axiom of choice and (1) follow from (2), while (1) and the axiom of choice together imply (2).
+
$$
 +
where $\mathfrak{k}$,$\mathfrak{m}$ stand for infinite cardinal numbers. The axiom of choice and (1) follow from (2), while (1) and the axiom of choice together imply (2).
  
 
D. Hilbert posed, in his celebrated list of problems, as Problem 1 that of proving Cantor's continuum hypothesis (the problem of the continuum). This problem did not yield a solution within the framework of traditional set-theoretical methods of solution. Among mathematicians the conviction grew that the problem of the continuum was in principle unsolvable. It was only after a way had been found of reducing mathematical concepts to set-theoretical ones, axioms had been stated in set-theoretical language which could be placed at the foundations of mathematical proofs actually encountered in real life and logical derivation methods had been formalized, that it became possible to give a precise statement, and then to solve the question, of the formal unsolvability of the continuum hypothesis. Formal unsolvability is understood in the sense that there does not exist a formal derivation in the Zermelo–Fraenkel system ZF either for the continuum hypothesis or for its negation.
 
D. Hilbert posed, in his celebrated list of problems, as Problem 1 that of proving Cantor's continuum hypothesis (the problem of the continuum). This problem did not yield a solution within the framework of traditional set-theoretical methods of solution. Among mathematicians the conviction grew that the problem of the continuum was in principle unsolvable. It was only after a way had been found of reducing mathematical concepts to set-theoretical ones, axioms had been stated in set-theoretical language which could be placed at the foundations of mathematical proofs actually encountered in real life and logical derivation methods had been formalized, that it became possible to give a precise statement, and then to solve the question, of the formal unsolvability of the continuum hypothesis. Formal unsolvability is understood in the sense that there does not exist a formal derivation in the Zermelo–Fraenkel system ZF either for the continuum hypothesis or for its negation.
  
In 1939 K. Gödel established the unprovability of the negation of the generalized continuum hypothesis (and hence the unprovability of the negation of the continuum hypothesis) in the system ZF with the axiom of choice (the system ZFC) under the hypothesis that ZF is consistent (see [[Gödel constructive set|Gödel constructive set]]). In 1963 P. Cohen showed that the continuum hypothesis (and therefore also the generalized continuum hypothesis) cannot be deduced from the axioms of ZFC assuming the consistency of ZF (see [[Forcing method|Forcing method]]).
+
In 1939 K. Gödel established the unprovability of the negation of the generalized continuum hypothesis (and hence the unprovability of the negation of the continuum hypothesis) in the system ZF with the axiom of choice (the system ZFC) under the hypothesis that ZF is consistent (see [[Gödel constructive set]]). In 1963 P. Cohen showed that the continuum hypothesis (and therefore also the generalized continuum hypothesis) cannot be deduced from the axioms of ZFC assuming the consistency of ZF (see [[Forcing method]]).
  
 
Are these results concerning the problem of the continuum final? The answer to this question depends on one's relation to the premise concerning the consistency of ZF and, what is more significant, to the experimental fact that every meaningful mathematical proof (of traditional classical mathematics) can, after it has been found, be adequately stated in the system ZFC. This fact cannot be proved nor can it even be precisely stated, since each revision raises a similar question concerning the adequacy of the revision for the revised theorem.
 
Are these results concerning the problem of the continuum final? The answer to this question depends on one's relation to the premise concerning the consistency of ZF and, what is more significant, to the experimental fact that every meaningful mathematical proof (of traditional classical mathematics) can, after it has been found, be adequately stated in the system ZFC. This fact cannot be proved nor can it even be precisely stated, since each revision raises a similar question concerning the adequacy of the revision for the revised theorem.
  
 
In model-theoretic language, Gödel and Cohen constructed models for ZFC in which
 
In model-theoretic language, Gödel and Cohen constructed models for ZFC in which
 +
$$
 +
2^{\mathfrak{k}} = \begin{cases} \mathfrak{m} & \text{if}\ \mathfrak{k} < \mathfrak{m}\,; \\ \mathfrak{k}^{+} & \text{if}\ \mathfrak{k} \ge \mathfrak{m} \ . \end{cases}
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c0257908.png" /></td> </tr></table>
+
where $\mathfrak{m}$ is an arbitrary uncountable [[regular cardinal]] number given in advance, and $\mathfrak{k}^{+}$ is the first cardinal number greater than $\mathfrak{k}$. What is the possible behaviour of the function $2^{\mathfrak{k}}$ in various models of ZFC?
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c0257909.png" /> is an arbitrary uncountable regular cardinal number given in advance, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c02579010.png" /> is the first cardinal number greater than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c02579011.png" />. What is the possible behaviour of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c02579012.png" /> in various models of ZFC?
+
It is known that for regular cardinal numbers $\mathfrak{k}$, this function can take them to arbitrary cardinal numbers subject only to the conditions
 
+
$$
It is known that for regular cardinal numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c02579013.png" />, this function can take them to arbitrary cardinal numbers subject only to the conditions
+
\mathfrak{k} < \mathfrak{k}' \Rightarrow 2^{\mathfrak{k}} < 2^{\mathfrak{k}'} \,,\ \ \ \mathfrak{k} < \text{cf}(\mathfrak{k})
 
+
$$
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c02579014.png" /></td> </tr></table>
+
where $\text{cf}(\mathfrak{a})$ is the smallest cardinal number cofinal with $\mathfrak{a}$ (see [[Cardinal number]]). For singular (that is, non-regular) $\mathfrak{k}$, the value of the function $2^{\mathfrak{k}}$ may depend on its behaviour at smaller cardinal numbers. E.g., if (1) holds for all $\alpha < \omega_1$, then it also holds for $\alpha = \omega_1$.
 
 
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c02579015.png" /> is the smallest cardinal number cofinal with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c02579016.png" /> (see [[Cardinal number|Cardinal number]]). For singular (that is, non-regular) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c02579017.png" />, the value of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c02579018.png" /> may depend on its behaviour at smaller cardinal numbers. E.g., if (1) holds for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c02579019.png" />, then it also holds for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025790/c02579020.png" />.
 
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.J. Cohen,  "Set theory and the continuum hypothesis" , Benjamin  (1966)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  J.E. Baumgartner,  K. Prikry,  "Singular cardinals and the generalized continuum hypothesis"  ''Amer. Math. Monthly'' , '''84''' :  2  (1977)  pp. 108–113</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[1]</TD> <TD valign="top">  P.J. Cohen,  "Set theory and the continuum hypothesis" , Benjamin  (1966)</TD></TR>
 +
<TR><TD valign="top">[2]</TD> <TD valign="top">  J.E. Baumgartner,  K. Prikry,  "Singular cardinals and the generalized continuum hypothesis"  ''Amer. Math. Monthly'' , '''84''' :  2  (1977)  pp. 108–113</TD></TR>
 +
</table>
  
  
Line 40: Line 47:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  T.J. Jech,  "Set theory" , Acad. Press  (1978)  pp. Chapt. 7  (Translated from German)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  K. Kunen,  "Set theory, an introduction to independence proofs" , North-Holland  (1980)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top">  T.J. Jech,  "Set theory" , Acad. Press  (1978)  pp. Chapt. 7  (Translated from German)</TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top">  K. Kunen,  "Set theory, an introduction to independence proofs" , North-Holland  (1980)</TD></TR>
 +
</table>
 +
 
 +
{{TEX|done}}

Revision as of 22:35, 29 November 2016

The hypothesis, due to G. Cantor (1878), stating that every infinite subset of the continuum $\mathbf{R}$ is either equivalent to the set of natural numbers or to $\mathbf{R}$ itself. An equivalent formulation (in the presence of the axiom of choice) is: $$ 2^{\aleph_0} = \aleph_1 $$ (see Aleph). The generalization of this equality to arbitrary cardinal numbers is called the generalized continuum hypothesis (GCH): For every ordinal number $\alpha$, $$\begin{equation} \label{eq:1} 2^{\aleph_\alpha} = \aleph_{\alpha+1} \ . \end{equation} $$

In the absence of the axiom of choice, the generalized continuum hypothesis is stated in the form $$\begin{equation} \label{eq:2} \forall \mathfrak{k} \,\,\neg \exists \mathfrak{m}\ (\,\mathfrak{k} < \mathfrak{m} < 2^{\mathfrak{k}}\,) \end{equation} $$ where $\mathfrak{k}$,$\mathfrak{m}$ stand for infinite cardinal numbers. The axiom of choice and (1) follow from (2), while (1) and the axiom of choice together imply (2).

D. Hilbert posed, in his celebrated list of problems, as Problem 1 that of proving Cantor's continuum hypothesis (the problem of the continuum). This problem did not yield a solution within the framework of traditional set-theoretical methods of solution. Among mathematicians the conviction grew that the problem of the continuum was in principle unsolvable. It was only after a way had been found of reducing mathematical concepts to set-theoretical ones, axioms had been stated in set-theoretical language which could be placed at the foundations of mathematical proofs actually encountered in real life and logical derivation methods had been formalized, that it became possible to give a precise statement, and then to solve the question, of the formal unsolvability of the continuum hypothesis. Formal unsolvability is understood in the sense that there does not exist a formal derivation in the Zermelo–Fraenkel system ZF either for the continuum hypothesis or for its negation.

In 1939 K. Gödel established the unprovability of the negation of the generalized continuum hypothesis (and hence the unprovability of the negation of the continuum hypothesis) in the system ZF with the axiom of choice (the system ZFC) under the hypothesis that ZF is consistent (see Gödel constructive set). In 1963 P. Cohen showed that the continuum hypothesis (and therefore also the generalized continuum hypothesis) cannot be deduced from the axioms of ZFC assuming the consistency of ZF (see Forcing method).

Are these results concerning the problem of the continuum final? The answer to this question depends on one's relation to the premise concerning the consistency of ZF and, what is more significant, to the experimental fact that every meaningful mathematical proof (of traditional classical mathematics) can, after it has been found, be adequately stated in the system ZFC. This fact cannot be proved nor can it even be precisely stated, since each revision raises a similar question concerning the adequacy of the revision for the revised theorem.

In model-theoretic language, Gödel and Cohen constructed models for ZFC in which $$ 2^{\mathfrak{k}} = \begin{cases} \mathfrak{m} & \text{if}\ \mathfrak{k} < \mathfrak{m}\,; \\ \mathfrak{k}^{+} & \text{if}\ \mathfrak{k} \ge \mathfrak{m} \ . \end{cases} $$

where $\mathfrak{m}$ is an arbitrary uncountable regular cardinal number given in advance, and $\mathfrak{k}^{+}$ is the first cardinal number greater than $\mathfrak{k}$. What is the possible behaviour of the function $2^{\mathfrak{k}}$ in various models of ZFC?

It is known that for regular cardinal numbers $\mathfrak{k}$, this function can take them to arbitrary cardinal numbers subject only to the conditions $$ \mathfrak{k} < \mathfrak{k}' \Rightarrow 2^{\mathfrak{k}} < 2^{\mathfrak{k}'} \,,\ \ \ \mathfrak{k} < \text{cf}(\mathfrak{k}) $$ where $\text{cf}(\mathfrak{a})$ is the smallest cardinal number cofinal with $\mathfrak{a}$ (see Cardinal number). For singular (that is, non-regular) $\mathfrak{k}$, the value of the function $2^{\mathfrak{k}}$ may depend on its behaviour at smaller cardinal numbers. E.g., if (1) holds for all $\alpha < \omega_1$, then it also holds for $\alpha = \omega_1$.

References

[1] P.J. Cohen, "Set theory and the continuum hypothesis" , Benjamin (1966)
[2] J.E. Baumgartner, K. Prikry, "Singular cardinals and the generalized continuum hypothesis" Amer. Math. Monthly , 84 : 2 (1977) pp. 108–113


Comments

References

[a1] T.J. Jech, "Set theory" , Acad. Press (1978) pp. Chapt. 7 (Translated from German)
[a2] K. Kunen, "Set theory, an introduction to independence proofs" , North-Holland (1980)
How to Cite This Entry:
Continuum hypothesis. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Continuum_hypothesis&oldid=39845
This article was adapted from an original article by V.N. Grishin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article