连续统假设(英语:Continuum hypothesis,简称CH)是数学中一个猜想,也是希尔伯特的23个问题的第一题,由康托尔提出,关于无穷集的可能大小。其为:
康托尔引入了基数的概念以比较无穷集间的大小,也证明了整数集的基数绝对小于实集的基数。康托尔也就给出了连续统假设,就是说,在无限集中,比自然数集基数大的集合中,基数最小的集合是实数集。而连续统就是实数集的一个旧称。
更加形式地说,自然数集的基数为(读作“阿列夫零”)。而连续统假设的观点认为实数集的基数为(读作“阿列夫壹”)。于是,康托尔定义了绝对无限。
等价地,整数集的基数是而实数的基数是,连续统假设指出不存在一个集合使得
假设选择公理是对的,那就会有一个最小的基数大于,而连续统假设也就等价于以下的等式:
连续统假设有个更广义的形式,叫作广义连续统假设(GCH),其命题为:
对于所有的序数,
库尔特·哥德尔在1940年用内模型法证明了连续统假设与ZFC的相对协调性(无法以ZFC证明为误),保罗·柯恩在1963年用力迫法证明了连续统假设不能由ZFC推导。也就是说连续统假设独立于ZFC。
作为希尔伯特第一问题
1900年,大卫·希尔伯特以“连续统假设是否成立”作为“希尔伯特第一问题”。Kurt Godel和Paul Cohen确定了连续统假设在ZFC系统下,加上了选择公理,也不能证明或证否。 连续统假设简记CH。选择公理简记AC。
集合的大小
要正式地列出这个猜想,我们需要一些定义:假如两个集合S与T之间存在着一个双射,我们会说这两个集合拥有相同的基数。直观的意思是在“T的每个元素只能配上仅仅一个S的元素,反之亦然”这个前提下,把S与T的元素拿出来配对是可能的。因此,集合{蕉,苹果,橙}与集合{黄,红,绿}拥有相同基数。
当情况去到如整数集或有理数集等无穷集的情况时,事件就变得复杂得多。当考虑所有有理数的集合时,有些初学者可能会直觉地认为有理数理所当然地多于整数,而有理数又显然少于实数,因此把连续统假设证否。但透过简单集合论的方法,我们能证明有理数集能与整数集形成一双射,因此有理集跟整数集有着一样的大小,而它们都被称为可列集。对角论证法则证明了整数集跟连续统(实数集)的基数并不一样。
证明或证否的不可能性(在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的论点但敦促小心谨慎。[来源请求]
广义连续统假设
广义连续统假设(Generalized continuum hypothesis,简称GCH)是指:
- 若一个无限集的基数在另一个无限集与其幂集之间,则的基数必定与或其幂集相同。
CH与GCH都独立于ZFC,不过瓦茨瓦夫·谢尔宾斯基证明了ZF+GCH可以推导出选择公理,换句话说,不存在ZF+GCH但AC不成立的公设系统。
任何的无限集合A和B,假如存在一个由A到B的单射,那就存在一个由A的子集到B的子集的单射。因此对于任何有限的序数A和B,
- .
假如A和B是有限集合,那我们可以得到更强的不等式:
GCH意味着这个严格的不等式对无限序数和有限序数都成立。
参考条目
参考资料
- Cohen, Paul Joseph. Set theory and the continuum hypothesis. Mineola, New York: Dover Publications. 2008 [1966]. ISBN 978-0-486-46921-8.
- Cohen, Paul J. The Independence of the Continuum Hypothesis. Proceedings of the National Academy of Sciences of the United States of America. December 15, 1963, 50 (6): 1143–1148. Bibcode:1963PNAS...50.1143C. JSTOR 71858. PMC 221287 . PMID 16578557. doi:10.1073/pnas.50.6.1143.
- Cohen, Paul J. The Independence of the Continuum Hypothesis, II. Proceedings of the National Academy of Sciences of the United States of America. January 15, 1964, 51 (1): 105–110. Bibcode:1964PNAS...51..105C. JSTOR 72252. PMC 300611 . PMID 16591132. doi:10.1073/pnas.51.1.105.
- Dales, H. G.; Woodin, W. H. An Introduction to Independence for Analysts. Cambridge. 1987.
- Dauben, Joseph Warren. Georg Cantor: His Mathematics and Philosophy of the Infinite. Princeton University Press. 1990: 134–137. ISBN 9780691024479.
- Enderton, Herbert. Elements of Set Theory. Academic Press. 1977.
- Feferman, Solomon. Does mathematics need new axioms?. American Mathematical Monthly. February 1999, 106 (2): 99–111. CiteSeerX 10.1.1.37.295 . doi:10.2307/2589047.
- Feferman, Solomon. Is the Continuum Hypothesis a definite mathematical problem? (PDF). Exploring the Frontiers of Independence (Harvard lecture series). 2011 [2021-01-31]. (原始内容存档 (PDF)于2021-05-07).
- Foreman, Matt. Has the Continuum Hypothesis been Settled? (PDF). 2003 [February 25, 2006]. (原始内容存档 (PDF)于2021-04-13).
- Freiling, Chris. Axioms of Symmetry: Throwing Darts at the Real Number Line. Journal of Symbolic Logic (Association for Symbolic Logic). 1986, 51 (1): 190–200. JSTOR 2273955. doi:10.2307/2273955.
- Gödel, K. The Consistency of the Continuum-Hypothesis. Princeton University Press. 1940.
- Gillman, Leonard. Two Classical Surprises Concerning the Axiom of Choice and the Continuum Hypothesis (PDF). American Mathematical Monthly. 2002, 109 [2021-01-31]. doi:10.2307/2695444. (原始内容存档 (PDF)于2021-04-14).
- 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.
- Goldrei, Derek. Classic Set Theory. Chapman & Hall. 1996.
- Goodman, Nicolas D. Mathematics as an objective science. The American Mathematical Monthly. 1979, 86 (7): 540–551. MR 0542765. doi:10.2307/2320581.
This view is often called formalism. Positions more or less like this may be found in Haskell Curry [5], Abraham Robinson [17], and Paul Cohen [4].
- Hamkins, Joel David. The set-theoretic multiverse. Rev. Symb. Log. 2012, 5 (3): 416–449.
- Hayden, Seymour; Kennison, John F. Zermelo-Fraenkel Set Theory. Columbus, Ohio: Charles E. Merrill Publishing Company. 1968: 147, exercise 76.
- Jourdain, Philip E. B. On transfinite cardinal numbers of the exponential form. Philosophical Magazine. Series 6. 1905, 9: 42–56 [2021-01-31]. doi:10.1080/14786440509463254. (原始内容存档于2021-04-13).
- Koellner, Peter. The Continuum Hypothesis (PDF). Exploring the Frontiers of Independence (Harvard lecture series). 2011a [2021-01-31]. (原始内容存档 (PDF)于2021-04-27).
- Koellner, Peter. Feferman On the Indefiniteness of CH (PDF). 2011b [2021-01-31]. (原始内容存档 (PDF)于2021-05-06).
- Kunen, Kenneth. Set Theory: An Introduction to Independence Proofs. Amsterdam: North-Holland. 1980. ISBN 978-0-444-85401-8.
- Maddy, Penelope. Believing the Axioms, I. Journal of Symbolic Logic (Association for Symbolic Logic). June 1988, 53 (2): 481–511. JSTOR 2274520. doi:10.2307/2274520.
- 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 0-8218-1428-1
- McGough, Nancy. The Continuum Hypothesis. [2007-09-20]. (原始内容存档于2021-04-18).
- Merimovich, Carmi. A power function with a fixed finite gap everywhere. Journal of Symbolic Logic. 2007, 72 (2): 361–417. MR 2320282. arXiv:math/0005179 . doi:10.2178/jsl/1185803615.
- Moore, Gregory H. Early history of the generalized continuum hypothesis: 1878–1938. Bulletin of Symbolic Logic. 2011, 17 (4): 489–532. MR 2896574. doi:10.2178/bsl/1318855631.
- Shelah, Saharon. Logical dreams. Bull. Amer. Math. Soc. (N.S.). 2003, 40 (2): 203–228. arXiv:math/0211398 . doi:10.1090/s0273-0979-03-00981-9.
- Woodin, W. Hugh. The Continuum Hypothesis, Part I (PDF). Notices of the AMS. 2001a, 48 (6): 567–576 [2007-09-20]. (原始内容存档 (PDF)于2012-04-04).
- Woodin, W. Hugh. The Continuum Hypothesis, Part II (PDF). Notices of the AMS. 2001b, 48 (7): 681–690 [2007-09-20]. (原始内容存档 (PDF)于2021-05-06).
- Cantor, Georg. Ein Beitrag zur Mannigfaltigkeitslehre. Journal für die Reine und Angewandte Mathematik. 1878, 84 (84): 242–258 [2021-01-31]. doi:10.1515/crll.1878.84.242. (原始内容存档于2021-02-05).
- Patai, L. Untersuchungen über die א-reihe. Mathematische und naturwissenschaftliche Berichte aus Ungarn. 1930, 37: 127–142.
- 左孝凌, 李为鉴, 刘永才. 离散数学. 上海科学技术文献出版社. 1982. ISBN 978-7-8051-3069-9.
外部链接
- Континуум-гипотеза (页面存档备份,存于互联网档案馆) БСЭ (俄文)
本条目含有来自PlanetMath《Generalized continuum hypothesis》的内容,版权遵守知识共享协议:署名-相同方式共享协议。
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.