连续统假设

作为希尔伯特第一问题

1900年，大卫·希尔伯特以“连续统假设是否成立”作为“希尔伯特第一问题”。Kurt Godel和Paul Cohen确定了连续统假设在ZFC系统下，加上了选择公理，也不能证明或证否。 连续统假设简记CH。选择公理简记AC。

集合的大小

要正式地列出这个猜想，我们需要一些定义：假如两个集合 S 与 T 之间存在着一个双射，我们会说这两个集合拥有相同的基数。直观的意思是在“ T 的每个元素只能配上仅仅一个 S 的元素，反之亦然”这个前提下，把 S 与 T 的元素拿出来配对是可能的。因此，集合{蕉，苹果，橙}与集合{黄，红，绿}拥有相同基数。

当情况去到如整数集或有理数集等无穷集的情况时，事件就变得复杂得多。当考虑所有有理数的集合时，有些初学者可能会直觉地认为有理数理所当然地多于整数，而有理数又显然少于实数，因此把连续统假设证否。但透过简单集合论的方法，我们能证明有理数集能与整数集形成一双射，因此有理集跟整数集有着一样的大小，而它们都被称为可列集。对角论证法则证明了整数集跟连续统（实数集）的基数并不一样。

连续统假设亦指出，实数集中每一个子集，要么和整数集有相同的基数，要么和实数集有相同的基数。

如果一一映射的两个集合的基数不一定相等，那么怎么办？ 这时，ZF需要增加FAC（AC的升级版本）。FAC主要用于解释AC。定义 若一一映射的若干集合的基数一定相等，则这些集合叫做标集；否则，这些集合叫做泛集。标集有基数，泛集无基数。定义 对于若干泛集，若强制按其中一个，来解释这些泛集的基数，则这些泛集叫做标泛集。标泛集有基数。定义 标集之间的一一映射叫做标射。泛集之间的一一映射叫做泛射。标泛集之间的一一映射叫做标泛射。性质 标射假设等价于有限元AC，标泛射假设等价于AC，泛射假设等价于FAC。

证明或证否的不可能性（在ZFC系统下）

康托尔相信连续统假设是对的，花了很多年尝试证明它，结果徒劳无功。它成为了希尔伯特那重要难题名单中的第一条，并在1900年巴黎的国际数学家大会上宣布此事。在那个时候，还没有公理化集合论的概念。

库尔特·哥德尔在1940年指出连续统假设不能在ZFC系统下证否，即使接受了选择公理为前提。保罗·寇恩在1963年证明了连续统假设同样不能在ZFC下被证明。因此，连续统假设“逻辑地独立于”ZFC。这些结果都是以ZFC的公设系统本身并不存在自相矛盾（相容性）为假设大前提，而这个大前提是被广泛接受为对的。

连续统假设并非被证明跟ZFC互相独立的第一个命题。哥德尔不完备定理一个立即的结论在1931年被发表，那是“‘存在着一个正式命题表达ZFC的相容性’乃独立于ZFC”。有别于纯粹数学的，这个一致的命题乃是有着在数学之上的特性。连续统假设和选择公理乃是最先被证明跟ZF集合论独立的命题。在Paul Cohen在1960年代发展出力迫法以前，这些独立性的证明并没有完成。

连续统假设与数学分析、点集拓扑学和测度论中很多的命题有紧密关系。由于其独立性，很多这些范畴中的猜想也就被证明了其独立性。

支持和反对连续统假设的辩论

哥德尔相信连续统假设是错的，而他对于连续统假设相容性的证明，只表示了ZF系统的公理有缺陷。哥德尔是一个柏拉图主义者，因此独立于一个命题的可证性而宣称其正确或错误，对他来说并无问题。寇恩也倾向于反对连续统假设。

历史上，喜欢一个“丰富”而且“大”的全集的数学家倾向反对连续统假设；而喜欢一个“整齐”而且“可控制”的全集的数学家则倾向支持连续统假设。对于能推导出连续统假设的可建造公理，一直以来也有一些支持与反对的争论。最近，Matthew Foreman更指出本体论的多元主义对支持连续统假设有利（Maddy 1988, p. 500）。这是因为在各种模型里面，支持连续统假设的模型往往会存在更多集合。

另一个观点是对于集合的幼稚概念并不足够明确地使我们能分辨究竟连续统假设是对是错。这个观点被“连续统假设对于ZFC系统的独立性”所支持，由于这些公理足够建立集合与基数的基本特性。要反对这一观点，要是能展示一条既能被直观所支持、又能从证明或证否面解决连续统假设的新公理，那就很足够了。尽管可建造公理能解决连续统假设，但它比较起连续统假设的反题并不显得更直观地正确。

至少有另外两个可推导出连续统假设的公理被提出，即使它们目前还没有被数学社群所广泛接受。在1986年，Chris Freiling展示了一个反连续统假设的论点，透过显示连续统的反题跟Freiling对称公理──一个跟概率有关的命题──等价。Freiling相信这条公理“直观正确”，但其它人反对。一个由W. Hugh Woodin发展的困难论点同样反连续统假设，并自2000年开始获得了值得考虑的注意。Foreman (2003)并没有完全反对Woodin的论点但敦促小心谨慎。

可以证明，直观正确的Freiling对称公理是个假命题。也可证明，貌似正确的AC也是一个假命题。AC的创立者策梅罗，用一双鞋与一双袜，比喻选择公理。然而，他凭什么让选择公理是一双鞋呢？只为确定与方便。类似，康托尔他凭什么让“一一映射的两个集合的基数相等”？只为确定与方便。确定性固不可少，方便性未必就好。

广义连续统假设

广义连续统假设 （ Generalized continuum hypothesis ，简称 GCH ）是指：

CH 与 GCH 都独立于ZFC，不过Sierpiński证明了ZF+GCH可以推导出选择公理，换句话说，不存在ZF+GCH但AC不成立的公设系统。

任何的无限集合A和B，假如存在一个由A到B的单射，那就存在一个由A的子集到B的子集的单射。因此对于任何有限的序数A和B，

假如A和B是有限集合，那我们可以得到更强的不等式：

GCH意味着这个严格的不等式对无限序数和有限序数都成立。

最新的FAC表明，GCH拥有多个实例。不妨GCH的两个实例是GCH1与GCH2。GCH1的第n个基数可不等于GCH2的第n个基数。GCH有一个特殊的实例，这个实例是唯一的，叫做终极连续统假设（Final continuum hypothesis，简记FCH）。

参考条目

阿列夫数

希尔伯特的23个问题

Beth数

序数

ZFC系统无法确定的命题列表

首个不可数序数

参考资料

Arens, Tilo; Frank Hettlich, Christian Karpfinger, Ulrich Kochelkorn, Klaus Lichtenegger, Hellmuth Stachel. Mathematik, Aufl. 3. Springer Spektrum. 2015. ISBN 978-3-6424-4918-5.

Cohen, P. J. Set Theory and the Continuum Hypothesis. W. A. Benjamin. 1966.

Cohen, Paul J.The Independence of the Continuum Hypothesis. Proceedings of the National Academy of Sciences of the United States of America. Dec 15, 1963, 50 (6): 1143–1148.

Cohen, Paul J.The Independence of the Continuum Hypothesis, II. Proceedings of the National Academy of Sciences of the United States of America. Jan 15, 1964, 51 (1): 105–110.

Dales, H. G.; W. H. Woodin. An Introduction to Independence for Analysts. Cambridge. 1987.

Foreman, Matt.Has the Continuum Hypothesis been Settled? (PDF) . 2003 [ February 25, 2006] .

Freiling, Chris. Axioms of Symmetry: Throwing Darts at the Real Number Line. Journal of Symbolic Logic. 1986, 51 (1): 190–200.

Gödel, K. The Consistency of the Continuum-Hypothesis. Princeton University Press. 1940.

Gödel, K.: What is Cantor"s Continuum Problem? , reprinted in Benacerraf and Putnam"s collection Philosophy of Mathematics , 2nd ed., Cambridge University Press, 1983. An outline of Gödel"s arguments against CH.

Kemmerling, Andreas. Informationsimmune Unbestimmtheit. Bemerkungen und Abschweifungen zu einer klaffenden Wunde der theoretischen Philosophie. Forum Marsilius Kolleg. 2012, 01 : 1–43. doi:10.11588/fmk.2012.0.9407 .

Maddy, Penelope. Believing the Axioms, I. Journal of Symbolic Logic. June 1988, 53 (2): 481–511.

Martin, D. (1976). "Hilbert"s first problem: the continuum hypothesis," in Mathematical Developments Arising from Hilbert"s Problems, Proceedings of Symposia in Pure Mathematics XXVIII, F. Browder, editor. American Mathematical Society, 1976, pp. 81–92. ISBN 978-0-8218-1428-4

McGough, Nancy.The Continuum Hypothesis.

Woodin, W. Hugh.The Continuum Hypothesis, Part I (PDF) . Notices of the AMS. 2001a, 48 (6): 567–576.

Woodin, W. Hugh.The Continuum Hypothesis, Part II (PDF) . Notices of the AMS. 2001b, 48 (7): 681–690.

左孝凌, 李为鉴, 刘永才. 离散数学. 上海科学技术文献出版社. 1982. ISBN 978-7-8051-3069-9.

外部链接

Континуум-гипотезаБСЭ （俄文）

本条目含有来自PlanetMath《Generalized continuum hypothesis》的材料，版权遵守乃遵守知识共享协议：署名-相同方式共享协议 。

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。