跳转到内容
← 返回深度阅读
分析约 16 分钟阅读

无穷的故事

分析无穷康托尔集合论基数

关键词

无穷; 康托尔; 集合论; 基数; 可数无穷; 不可数无穷; 连续统假设; 对角线论证

第1页 · 无穷的困惑

标题：从芝诺悖论到集合论——无穷的哲学困扰

无穷自古以来就是哲学和数学的难题。芝诺（Zeno，约前490—前430）提出了著名的悖论：阿基里斯永远追不上乌龟——因为在他到达乌龟当前位置之前，乌龟又向前移动了。虽然芝诺的论证有逻辑错误，但它揭示了无穷过程的反直觉性质。亚里士多德区分了潜在无穷（可以不断进行下去的过程）和实际无穷（作为完成的整体存在的无穷）。他接受潜在无穷但拒绝实际无穷——这一立场影响了数学2000多年。

19世纪，数学家们开始认真面对实际无穷。戴德金用无穷集合定义了无理数，魏尔斯特拉斯用极限理论严格化了微积分——这些工作都隐含地使用了实际无穷。但真正将无穷带入数学核心的是格奥尔格·康托尔。

伽利略在 1638 年的《关于两门新科学的对话》里已经碰到了比较无穷的困难。完全平方数看起来比自然数稀，却又能与自然数一一配对。他的结论是：相等、大于、小于这些词，不宜直接用在无穷量上。

康托尔后来做的，不是无视这个悖论，而是把“一样多”改写成存在双射。平方数与自然数一样多，由此变成一条定理，而不再是一条禁令。

芝诺的“阿基里斯追龟”把无穷步骤说成无法完成。近代分析给出的回答是：无穷多项可以有有限和。追及时间是一个收敛级数，并不是一串永远完不成的手续。芝诺指出了无穷过程的反直觉，但并没有证明运动不可能。把芝诺悖论当成“无穷不合法”的证据，是把一个极限问题误写成了本体论禁令。

亚里士多德拒绝实际无穷，主要是为了避免把无穷当成一个已经完成的对象。潜在无穷只允许“还可以再取下一个”。微积分的极限语言在很长一段时间里，恰好可以在不承认实际无穷的前提下工作。戴德金与魏尔斯特拉斯的严格化改变了处境：实数本身被做成一个完成了的无穷集合。于是实际无穷不再只是哲学选项，而成了分析学的材料。

第2页 · 康托尔的革命

标题：无穷也有大小——康托尔的基数理论

康托尔（Georg Cantor，1845—1918）的革命性发现是：无穷也有大小之分。两个集合有"相同的大小"当且仅当它们之间存在一一对应（双射）。

可数无穷：自然数集 N={1,2,3,…}\mathbb{N} = \{1, 2, 3, \ldots\} 是最小的无穷——它的基数记为 ℵ0\aleph_0（阿列夫零）。令人惊讶的是，有理数集 Q\mathbb{Q} 也是可数的——虽然有理数在数轴上"稠密"，但它们与自然数一样多：用"蛇形遍历"可将有理数排成一列。康托尔在1874年的论文中更进一步证明了全体（实）代数数的集合也是可数的（有理数自然包含其中）——这是集合论的开篇之作。

不可数无穷：康托尔在1874年证明了实数集 R\mathbb{R} 是不可数的——不能与自然数建立一一对应。1891年，他用更优雅的对角线论证给出了证明：假设实数可以排成一列 r1,r2,r3,…r_1, r_2, r_3, \ldots，然后构造一个新实数，使其第 $n$ 位小数不同于 rnr_n 的第 $n$ 位——这个新实数不在列表中——矛盾。

因此：ℵ0<2ℵ0\aleph_0 < 2^{\aleph_0}。无穷有不同的大小——这是数学史上最深刻的发现之一。

把有理数排成一列，靠的不是大小顺序：按大小排，两个有理数之间永远还有有理数，队列会卡住。康托尔用的是按分子与分母的和来分层，再沿对角线蛇形走，并跳过未约分的重复。于是每个有理数都会在有限步被点到。稠密与可数并不矛盾：稠密说的是在数轴上的位置，可数说的是能否编号。

1874 年那篇论文其实做了两件事。它先证明全体代数数可数，再证明实数不可数。当时用的并不是 1891 年的对角线，而是区间套：任何把实数排成一列的企图，都会剩下一个被逐次挖掉端点后仍非空的区间。1891 年的对角线论证更干净，也更容易推广：它不依赖实数的区间结构，只依赖“序列的序列”这种组合。

因此 ℵ0<2ℵ0\aleph_0<2^{\aleph_0} 说的是：自然数的所有子集，比自然数更多。把实数与 {0,1}N\{0,1\}^{\mathbb{N}} 对应起来（并小心处理二进展开的双重表示），就得到 ∣R∣=2ℵ0|\mathbb{R}|=2^{\aleph_0}。康托尔定理 还给出更强的分层：任何集合的幂集都严格更大。无穷没有最大的一级。

在这里必须停住，不要把 2ℵ0=ℵ12^{\aleph_0}=\aleph_1 写成已经证明的算术。后一等式正是连续统假设，不是康托尔定理的推论。

希尔伯特后来用旅馆寓言把可数无穷的算术讲清楚。客满的旅馆仍能再住进一位，甚至住进可数多位，因为房间可以整体挪动。见 希尔伯特旅馆。实数那么多的客人则搬不进去。可数无穷的“还能再挤”到此为止。

第3页 · 连续统假设

标题：2ℵ0=ℵ12^{\aleph_0} = \aleph_1？——数学中最著名的独立命题

康托尔自然地提出了一个问题：在 ℵ0\aleph_0 和 2ℵ02^{\aleph_0} 之间是否存在其他基数？他猜想 2ℵ0=ℵ12^{\aleph_0} = \aleph_1——即实数的"个数"是紧接在可数无穷之后的下一个无穷基数。这就是连续统假设（Continuum Hypothesis，CH）。康托尔花费了大量精力试图证明CH，但没有成功。希尔伯特在1900年将CH列为他的23个数学问题中的第一个。

1938年，哥德尔证明了CH与ZFC公理系统一致——如果ZFC一致的话。1963年，科恩（Paul Cohen）用力迫法（forcing）证明了CH的否定也与ZFC一致。因此，CH在ZFC中是不可判定的——既不能证明也不能否证。

这一结果意味着：CH的真假取决于我们选择什么样的公理系统。这引发了深刻的哲学讨论——数学真理是绝对的还是相对于公理系统的？

连续统假设问的不是实数是否比自然数多。那件事 1874 年已经有答案。它问的是：在 ℵ0\aleph_0 与 2ℵ02^{\aleph_0} 之间，还有没有别的基数。

ℵ1\aleph_1 被定义为最小的不可数基数。CH 说 2ℵ02^{\aleph_0} 恰好等于这个最小者。希尔伯特 1900 年在巴黎把这个问题列为二十三个问题之首，并期望它能被证明或否证。

哥德尔 1938 年在《美国科学院院刊》上宣布：若 ZF 一致，则 ZF 加上选择公理与广义连续统假设也一致。他的工具是可构成宇宙 $L$，在其中广义连续统假设成立。因此在 ZFC 内部无法否证 CH。这只是独立性的一半：它说明 CH 不会把 ZFC 推入矛盾，并不说明 CH 为真。

科恩 1963 年用后来称为力迫法的技术补上另一半。若 ZF 一致，则 ZFC 加上 CH 的否定也一致。于是 CH 在 ZFC 中既不能证也不能否。

1966 年的《集合论与连续统假设》把这套方法写成专著。独立性结果把问题从“尚未找到证明”改写成“现有公理不够决定”。此后是否要加新公理来判定 CH，属于集合论的研究纲领，而不是已经完成的定理。

哥德尔本人倾向于柏拉图主义的读法。他认为集合论描述一个客观的宇宙，CH 应有真假，只是 ZFC 太弱。科恩的结果并不自动否定这种读法，它只否定“ZFC 已经说完了所有集合论事实”。

把独立性写成“数学真理是任意约定”，是把形式系统的限度夸大成了相对主义。更谨慎的说法是：就目前这套常用公理而言，CH 没有被决定。

第4页 · 康托尔的命运

标题：天才的悲剧——康托尔与克罗内克之争

康托尔的工作遭到了同时代许多数学家的强烈反对。他的主要对手是利奥波德·克罗内克（Leopold Kronecker）——柏林大学的权威数学家。克罗内克是数学直觉主义的先驱，他拒绝接受实际无穷，认为只有有限的构造才是合法的。他公开攻击康托尔的工作是"科学骗子"、"腐蚀青年"。克罗内克的反对对康托尔的职业生涯造成了严重影响。康托尔多次申请柏林大学的教授职位都被拒绝——部分原因是克罗内克的阻挠。康托尔在长期的抑郁中度过了晚年，最终在1918年死于哈雷的精神病院。

然而，历史证明了康托尔的正确性。集合论成为现代数学的基础——几乎所有数学对象都可以用集合来构造。希尔伯特说："没有人能把我们从康托尔为我们创造的乐园中驱逐出去。"罗素称康托尔的工作是"这个时代最值得骄傲的成就之一"。

克罗内克的反对有数学内容，不只是意气。他要求每个对象都能从整数经有限步骤构造出来。按这个标准，一般的超越数、不可数集合，以及“所有实数”这个总体，都不合法。康托尔则坚持，只要定义清楚、不导致矛盾，无穷集合就可以作为对象被研究。两人争执的是数学对象的准入规则，而不只是某个证明写得漂不漂亮。

戴德金始终支持把无穷集合当作完成的对象。1872 年的《连续性与无理数》已经用分割定义实数，那一步默认了实际无穷。希尔伯特 在 1925 年明斯特的演讲《论无穷》里，把集合论称作乐园，并说没有人能把我们从康托尔创造的乐园里驱逐出去。这句话后来收在 1926 年的《数学年刊》第 95 卷。它是在为实际无穷辩护，针对的是直觉主义的限制，而不是一句空泛的颂词。

第5页 · 无穷的哲学

标题：无穷是真实存在的吗？——柏拉图主义与形式主义之争

康托尔的工作引发了关于无穷本体论地位的深刻哲学争论。

柏拉图主义认为无穷集合是真实存在的数学对象——它们独立于人类心智。康托尔本人是柏拉图主义者——他相信超限基数和超限序数是上帝创造的实在。哥德尔也是柏拉图主义者——他认为集合论公理描述了一个客观的数学实在。

形式主义认为无穷集合只是形式系统中的符号——它们的"存在"只是说它们在系统中可以被定义和操作。希尔伯特虽然支持康托尔的数学，但他的形式主义立场使他将无穷视为一种有用的虚构。

直觉主义（布劳威尔）则完全拒绝实际无穷——对直觉主义者来说，自然数的无穷只是一个潜在的过程，而不是一个完成的整体。

当代数学家通常采取实用主义立场：不关心无穷是否"真的存在"，只关心使用无穷概念的数学推理是否正确。集合论的成功——以及它对其他数学分支的不可或缺性——为无穷概念的合法性提供了最有力的实践论证。

布劳威尔的直觉主义把自然数看成可以逐步生成的过程。排中律在无穷总体上不再无条件可用，于是“每个实数要么等于某代数数，要么不是”这类命题的意义也要重写。外尔 1918 年的《连续统》试图在更弱的连续统概念上重建分析。这些方案并没有让主流数学放弃集合论，但它们标明了一条边界：承认实际无穷，是一笔需要付清的概念账，而不是无成本的便利。

希尔伯特的形式主义与他维护康托尔乐园并不冲突。他把无穷对象当成理想元素，以便有限性的证明论去保护经典分析。哥德尔 1931 年的不完备定理，以及随后关于一致性证明的限度，使这条保护路线变得更窄，见 哥德尔不完备定理。无穷集合作为工作语言被留下来，是因为它在数学内部一再被证明有用，而不是因为哲学争论已经结束。

事实卡

  1. 卡1

    康托尔在1874年证明了实数不可数——这是集合论的奠基性结果。

  2. 卡2

    对角线论证（1891）是数学中最优雅的证明方法之一——它影响了图灵和哥德尔。

  3. 卡3

    连续统假设（CH）在ZFC中不可判定——哥德尔（1938）和科恩（1963）的独立性结果。

  4. 卡4

    希尔伯特说"没有人能把我们从康托尔的乐园中驱逐出去"——这是对集合论最有力的辩护。

引用

"数学的本质在于它的自由。"
格奥尔格·康托尔（《一般集合论基础》，1883）
"没有人能把我们从康托尔为我们创造的乐园中驱逐出去。"
大卫·希尔伯特（《论无穷》演讲，1925）

跨域连接

  • 集合论：把"一样多"重新定义为存在一一对应，无穷才有了大小可比。推论是：这条定义在有限集上与数数完全一致，因此它不是新约定，而是旧概念唯一自然的延拓——争议从来不在定义，而在是否承认"已完成的无穷整体"。
  • 建构主义：只承认被构造出来的对象，就得放弃在无穷集合上使用排中律。推论是：这不只是"少证几条定理"，而是改变了证明的含义——存在性必须给出构造，因此靠反证得到的存在性在该框架里根本不算数。可检验的分野落在具体定理上：哪些经典结论放弃排中律后仍能重证，哪些直接失效。
  • 图灵：把对角线论证搬到"所有程序可以逐一编号"上，立刻得出不存在通用的停机判定程序。推论是：这条不可能性只依赖可枚举与自指两件事，与硬件多快、内存多大毫无关系——换更强的机器不会让它松动一分。
  • 布尔迪厄：学术承认由占据位置的人分配，因而技术上正确的工作也可能长期被挡在职位与刊物之外。推论是：读一段学术争议要区分"论证被驳倒"与"作者被封锁"——前者会留下反证文献，后者只留下沉默，痕迹不同。
  • 多重宇宙：若空间无限且物理定律处处相同，任意有限的构型就会重复出现无穷多次——这是由"实无穷"直接推出的结论，但两个前提本身都未经证实，属于推测。推论是：它难以检验，正因为可观测宇宙有限，验证落在因果视界之外。

理解无穷的关键，是始终说明正在比较的是过程、集合大小，还是极限对象；三者不能互换。

参考文献

  1. Cantor, Georg. "Über eine Eigenschaft des Inbegriffs aller reellen algebraischen Zahlen." 1874.
  2. Cantor, Georg. "Über eine elementare Frage der Mannigfaltigkeitslehre." 1891.
  3. Cohen, Paul. Set Theory and the Continuum Hypothesis. Benjamin, 1966.
  4. Rucker, Rudolf. Infinity and the Mind. Princeton University Press, 1982.
  5. 张锦文. 《公理集合论导引》. 科学出版社, 1991.
  6. 李文林. 《数学史概论》. 高等教育出版社, 2011.
  7. Gödel, Kurt. "The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis." Proceedings of the National Academy of Sciences 24 (1938): 556–557.
  8. Cohen, Paul J. "The Independence of the Continuum Hypothesis." Proceedings of the National Academy of Sciences 50 (1963): 1143–1148.
  9. Hilbert, David. "Über das Unendliche." Mathematische Annalen 95 (1926): 161–190.
  10. Galilei, Galileo. Discorsi e dimostrazioni matematiche intorno a due nuove scienze. Leiden, 1638.
  11. Dedekind, Richard. Stetigkeit und irrationale Zahlen. 1872.
  12. Weyl, Hermann. Das Kontinuum. Leipzig, 1918.