连续统假设 · aiwiki.page

连续统假设（CH）是集合论中的一个命题，断言不存在这样的集合：其基数严格大于自然数集的基数，同时严格小于实数集的基数。其标准符号表述为 $2^{\aleph_0}=\aleph_1$ 。库尔特·哥德尔与保罗·科恩的研究成果共同确立了 CH 独立于包含选择公理的策梅洛—弗兰克尔集合论（ZFC）：如果 ZFC 是相容的，那么其公理既不能证明 CH，也不能否证 CH。(arxiv.org)

数学表述

如果存在一个双射函数，将两个集合的元素一一对应起来，那么这两个集合具有相同的基数。自然数集的基数记作 $\aleph_0$ 。无限可数集具有这一基数；实数集则是不可数集。实数轴的基数称为连续统基数，记作 $\mathfrak c$ ，满足

\mathfrak c=|\mathbb R|=2^{\aleph_0}.

这里的 $2^{\aleph_0}$ 表示自然数集的幂集的基数，也等于所有无限二进制序列组成的集合的基数。(arxiv.org)

符号 $\aleph_1$ 表示最小的不可数基数，即所有可数序数组成的集合的基数。因此，CH 断言

\boxed{\mathfrak c=\aleph_1}.

在 ZFC 中，这等价于说， $\mathbb R$ 的每个无限子集要么是可数无限集，要么与 $\mathbb R$ 具有相同的基数。这一等价关系用到了选择公理所保证的集合良序化；在不采用选择公理的情况下，涉及中间大小的表述需要格外谨慎。(virtualmath1.stanford.edu)

历史发展

格奥尔格·康托尔于 1878 年提出这一假设，最初的表述是：连续统的每个无限子集要么可数，要么与连续统等势。他后来对良序的研究促成了另一种表述，即连续统的基数等于可数序数集的基数。在无限集合理论的发展过程中，这一假设成为了一个核心问题。(virtualmath1.stanford.edu)

1900 年，大卫·希尔伯特将连续统问题列为其影响深远的数学问题清单中的首个问题。这个问题最终得到的解决，并不是从公认的公理中证明 CH 或其否定，而是确立了这些公理无法决定其答案。(arxiv.org)

库尔特·哥德尔于 1938 年公布了他的相对相容性结果，并在 1940 年出版的一部专著中加以展开。科恩于 1963 年获得了与之互补的结果，并分别于 1963 年 12 月和 1964 年 1 月发表论文。这些成果引入的方法，后来成为研究公理化集合论适用范围与局限的基本工具。(pmc.ncbi.nlm.nih.gov)

哥德尔的可构造宇宙

哥德尔的论证使用了可构造宇宙，记作 $L$ 。它的构造按序数阶段进行：在后继阶段，收集所有在前一阶段上可定义的子集；在极限阶段，则取此前各阶段的并集。由此得到一个内宇宙，其中 ZFC 的公理和广义连续统假设均成立。(pmc.ncbi.nlm.nih.gov)

其逻辑结论是一个相对相容性命题：

\operatorname{Con}(\mathrm{ZFC}) \;\Longrightarrow\; \operatorname{Con}(\mathrm{ZFC}+\mathrm{CH}).

因此，如果 ZFC 不包含矛盾，那么加入 CH 也不会引入矛盾。这说明 ZFC 无法证明 CH 的否定。但它并未确立所有集合都属于 $L$ ，也未确立 CH 可以由 ZFC 推出。额外的公理 $V=L$ 断言每个集合都是可构造的，它确实蕴涵 CH。(pmc.ncbi.nlm.nih.gov)

科恩的力迫法

科恩通过引入力迫法（力迫），证明了相反答案的相容性。力迫通过添加一个适当的泛型对象，构造集合论模型的扩张。由条件组成的偏序集规定了关于该对象的部分信息；泛型性则保证扩张满足维持公理成立所需的要求。(pubmed.ncbi.nlm.nih.gov)

为了使 CH 不成立，力迫可以在保持相关基数不变的同时，添加足够多的、彼此不同的自然数子集。由于这些子集可以编码实数，扩张中的实数数量便会超过 $\aleph_1$ 。保持基数不变至关重要：如果构造同时改变了哪个基数是最小的不可数基数，那么仅仅添加对象并不足以达到目的。(pmc.ncbi.nlm.nih.gov)

科恩的结果给出

\operatorname{Con}(\mathrm{ZFC}) \;\Longrightarrow\; \operatorname{Con}(\mathrm{ZFC}+\neg\mathrm{CH}).

这一结果与哥德尔的定理共同确立了 CH 独立于 ZFC。此后，力迫成为构造具有不同集合论性质的模型的一般方法，而不再只是解决连续统问题的专门技巧。(pubmed.ncbi.nlm.nih.gov)

独立性的含义

独立性涉及一个指定的形式系统内部的可证明性。假定 ZFC 是相容的，就既不存在 CH 的 ZFC 形式证明，也不存在其否定的 ZFC 证明。用模型论的语言来说，满足 ZFC 的模型可以对连续统问题给出不同的答案。(arxiv.org)

这并不意味着 CH 及其否定会在同一个模型中同时成立，也不妨碍更强的公理确定答案。它揭示的是 ZFC 的局限，而不是禁止进一步开展数学研究。因此，在独立性结果之外，数学上需要探讨的问题是：应当采用哪些额外的原则，以及如何在不依赖于对 CH 的预期答案的情况下为这些原则提供依据。(arxiv.org)

推广与数学基础上的诠释

广义连续统假设（GCH）将 CH 推广到每个无限基数：

2^\kappa=\kappa^+,

其中 $\kappa^+$ 是大于 $\kappa$ 的最小基数。CH 就是它在 $\kappa=\aleph_0$ 时的特例。哥德尔的可构造宇宙满足 GCH，而科恩构造的 CH 不成立的模型也确立了：在相容的 ZFC 中，GCH 无法被证明。(pmc.ncbi.nlm.nih.gov)

独立性定理为不同的数学基础诠释留下了空间。宇宙观点认为，集合论描述的是一个预期的宇宙，并寻求能够确定其结构的额外原则。多宇宙观点则强调集合论宇宙的多样性，研究 CH 在不同宇宙中的表现。乔尔·大卫·哈姆金斯支持后一种诠释，认为力迫所揭示的多样性对于理解连续统问题至关重要。这些诠释在哲学立场上有所不同，但并不对独立性定理本身提出异议。(arxiv.org)

参考来源

Independence of the Continuum Hypothesis: an Intuitive Introductionarxiv.org
The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesispmc.ncbi.nlm.nih.gov
The Consistency of the Axiom of Choice and of the Generalized Continuum-hypothesis with the Axioms of Set Theorybooks.google.com
THE INDEPENDENCE OF THE CONTINUUM HYPOTHESISpubmed.ncbi.nlm.nih.gov
THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS, IIpmc.ncbi.nlm.nih.gov
CH is Indefinitevirtualmath1.stanford.edu
The set-theoretic multiversearxiv.org