下载客户端

超越欧米伽ω！——James Propp教授专栏

2026-10-22 08:00

来源：澎湃新闻·澎湃号·湃客

听全文

★置顶zzllrr小乐公众号，追踪《小乐数学科普》系列报道，参与数学 vs AI投票！

坚持不炒作的数学与AI报道，投稿信箱zzllrr@gmail.com

《超越ω！》On Beyond Omega!

作者：詹姆斯·普罗普（James Propp）

马萨诸塞州洛厄尔大学数学教授

日期：2026‑10‑18

“大多数人学到字母Z就止步不前！

但我偏不！”

——Dr. Seuss苏斯博士《超越斑马》On Beyond Zebra!

一位神秘绅士提出可以送给你一袋美元钱币，任意面额，想要多少枚都可以。要一百万个25美分硬币？小意思。十亿枚面值20美元的双鹰金币？不成问题；这个魔法袋子会自行扩容，装得下它们。

“那能不能给我无穷多枚？”你满怀期待地问道。

“哦，这个我办不到。”绅士摇着头回答，“我永远只能往袋子里放入有限枚硬币。但再大的有限数字，我都可以满足你。”

“这里面有什么圈套？”你问道。

圈套

“哎，其实只是一件小事而已，”绅士说道，“不过我送钱，是为了看人们花钱。所以我有一个硬性要求：你每天必须从袋子里取出一枚硬币，可以花掉，也可以拿去投资，随你处置。而且不许你自己往袋子里加钱；只有我能往里面放钱币。”

“那我早晚总会把钱花光的。”你说。

“不必担心，”他答道，“每当你取出一枚比一美分面值更大的硬币，我就可以再给你任意多枚面值更低的硬币。普通银行拿一枚10美分硬币兑换，最多只能给你两枚5美分，或者十枚1美分。而我的规则要慷慨得多：你把这枚10美分硬币花掉，只要你愿意，我可以往袋子里放入一百万枚5美分硬币外加一百万枚1美分硬币。”

“那如果我死了怎么办？”

“我不会让这种事发生；那样就扫了我的兴致！只要你还在玩这个小游戏，我就会让你一直活下去。”

“那如果我不想继续玩了呢？”

“你到底为什么会不想玩？”

“比如说，我把钱全部用光，会发生什么？”

魔鬼叹了口气（这位绅士当然就是魔鬼本人），说到：“我就怕你问出这个烦人的问题。如果你把袋子里所有硬币全部耗尽，扫了我的兴致，那我就要收走你的灵魂，让你承受永恒的折磨。这是我的另一重乐趣。但你真的会为此担心吗？想想这笔交易的条件！硬币一开始全部由我交给你；每当你拿走一枚面值大于1美分的硬币，我可以往袋子里补充任意多枚面值更小的钱币。你真的觉得自己会把钱用光吗？能出什么岔子呢？”

这则寓言是本文的引子，但它并不完美。举个例子，你可能会去设想遥远的宇宙未来：质子全部发生衰变，只剩下你一个人，世上再也没有东西可以用来消费。但这是一道数学谜题，不是物理谜题，因此我们用更加数学化的语言重新描述。为明确起见，我们假设一共有十种美国硬币面额¹。

于是，袋子在任意时刻的状态，可以用十个非负整数组成的列表来记录，从20美元、10美元，一路往下，到25美分、10美分、5美分、1美分，每一个数字代表对应面额硬币的枚数。

例如序列：0 0 … 0 2 0 0（记为状态A），代表袋子里面只有两枚10美分硬币。序列：0 0 … 0 1 10 10（记为状态B），代表袋子里面有1枚10美分、10枚5美分、10枚1美分硬币。

你的合法操作：把其中一个大于0的数字减1；如果被减少的不是列表最后一项（也就是你取出的不是1美分硬币），就可以把它后面任意多项数字增大到任意数值。举例：从状态A变为状态B，就对应取出一枚10美分硬币，魔鬼往袋子中放入10枚5美分硬币、10枚1美分硬币。

在一个永不终结的纯粹数学宇宙之中：我们能否选取初始的十个数字，使得可以永远执行这套合法操作？还是说数字终究会全部归零，寓言中的你最终只能交出灵魂？

这个魔鬼交易的寓言，演示了这类影子映射的原理。为简化起见，我们先假设袋子里只有 1 美分、5 美分和 10 美分硬币。在这场魔鬼游戏中，一枚 5 美分硬币的价值远高于一枚 1 美分，甚至高于一百万枚 1 美分硬币 —— 因为一枚 5 美分硬币可以兑换出任意多枚 1 美分硬币；同理，一枚 10 美分硬币的价值高于任意数量的 5 美分硬币。

因此，我们可以将装有 a 枚 10 美分、b 枚 5 美分、c 枚 1 美分硬币的袋子，对应到序数 ω²・a+ω・b + c。从袋子里取出一枚 10 美分硬币，魔鬼作为补偿给你若干枚 5 美分与 1 美分硬币，得到的新袋子对应的序数为 ω²・(a−1)+ω・b'+c'，其中 b'、c' 为非负整数。

无论 b'、c' 的数值多大，这个序数一定小于 ω²・a+ω・b + c。原因是：对于这种形式的序数，比较两个序数大小的规则是，找到两个表达式第一个不相同的系数；而在本例中，这一最高阶系数已经变小。当你取出一枚 5 美分或者 1 美分硬币时，情况同样成立：发生变动的第一个（最高阶）系数会减小。

该游戏答案我在后文揭晓。这里先强调：问题不是这个游戏你可以撑多久。初始袋子里面放古戈尔（googol = 10¹⁰⁰）枚1美分硬币，你就可以玩古戈尔天；换成古戈尔普勒克斯（googolplex = 10^(10¹⁰⁰)）枚，就可以玩古戈尔普勒克斯天。但只要你选定一个有限的初始1美分硬币总数，就注定在若干天之后迎来永恒的地狱。你可以把游戏的时长设定成任意预先给定的有限长度，但不等于可以永远玩下去。你可以选择什么时候下地狱，但无法选择自己会不会下地狱。

还有一点需要着重说明：魔鬼不允许回退。一旦袋子变空，你不能说“等等，刚才玩法不对，我们重新来过”。不行！灵魂就要被收走。如果允许反悔，那就是另一个游戏，你就可以靠“重来一次”的手段永远逃避惩罚。但规则要求你一旦选定初始钱币，一旦耗尽，就注定受罚。

这则寓言，通往19世纪数学一场革命性成果：格奥尔格·康托尔的超限序数理论，一套可以越过无穷继续计数的奇妙体系。不过康托尔最初研究这套新计数方式，并不是想要颠覆数学；他只是希望能够有条理地处理一大堆数的集合。

唯一性：寂静背后的难题

格奥尔格·康托尔（Georg Cantor）1845年生于圣彼得堡，11岁举家迁往德国。他年少就展露数学天赋，尤其擅长三角学。1867年在柏林取得数论方向博士学位之后，赴哈雷大学任职。他的资深同事爱德华·海涅，敦促他去研究三角级数唯一性问题。

三角级数拥有下面形式：

f(t)=a₁cos t+b₁sin t+a₂cos2t+b₂sin2t+a₃cos3t+b₃sin3t+…

（一般还会带上常数项，本文暂且省略）。你可以把它想象成一段声音，由基音和一系列泛音叠加而成。三角级数系数 a₁,b₁,a₂,b₂… 决定泛音如何配比；这份声音配方，很大程度决定我们听到的是小提琴、双簧管、小号还是别的乐器²。

唯一性问题提出疑问：会不会存在两套完全不同的声音配方，却产生完全一样的声音？换一个更加震撼的表述：是否存在一种得到寂静的声音配方，它不是全部系数等于0的平凡配方³？

由于正弦、余弦都以 2π 为周期（这里使用弧度制，不用角度），我们只需考虑 t ∈ [−π, π]。

为体会这道题的难度，我们来看看数学家所说的“鼓包函数”（bump function，也称隆起函数或冲击函数）。鼓包函数可以用性质非常良好的三角级数表示，它在区间 [−π, π] 的一半区域取值等于0。不同泛音互相抵消，只在部分位置保留信号。可以构造别的鼓包函数，使得定义域百分之九十九的位置函数取值都是0。但是，一旦要求函数在每一处都等于0，也就是时时刻刻完全寂静，唯一性猜想断言：只能取全部系数 a₁=0,b₁=0,…。

康托尔同时也是一位优秀小提琴手。少年时代就痴迷三角函数，又热爱音乐，想必对这个题目颇有好感。无论如何，康托尔在1870年解决了这个问题。用我们音乐的比喻来讲：在纯粹理论层面，他证明，除了所有泛音全部沉寂之外，不存在别的方式得到完全的寂静。

康托尔本可以转向别的问题。但已经品尝到解决唯一性问题的果实，他忍不住摇晃知识之树，看看还会掉落什么别的成果。

你究竟可以把条件削弱到哪一步？

1871年，康托尔证明：我们可以把唯一性定理的条件稍微放宽，结论（a₁=0,b₁=0,…）依旧成立。假设三角级数 f(t) 在区间 [−π, π] 上，除了某一个点之外全部等于0，那么全部三角系数依然必须等于0（顺带推出，那个被排除的点上函数也必然为0）。

更进一步，哪怕排除两个点、三个点、任意有限个点，结论不变：只要除了这有限个点之外 f(t)=0，所有系数一定全为0。

用现代术语：每一个有限集合，都是唯一性集合（U‑set）。集合 S 被称作U‑集合，当且仅当：只要三角级数在集合 S 之外全部等于0，那么该级数全部系数为0。

康托尔发问：“还存在更大的U‑集合吗？”答案是当然存在！他找到了一整套复杂度逐级上升、却依旧属于U‑集合的集合，井然有序划分出不同的“秩”（rank，也称等级、序）。

秩0：空集

秩1：全部非空有限集合

秩2：某些无穷集合

秩3：更加复杂的无穷集合，以此类推⁴。

而康托尔的探索远未止步。他找到了不属于任何有限秩、但依旧属于U‑集合的集合。最简单的那一批，标记为符号 ∞ ⁵；复杂度再高一点的U‑集合标记 ∞+1；继续往后 ∞+2,∞+3…。越过这一串，来到 ∞+∞，记作 ∞·2（康托尔本人写作 2∞）；再往后 ∞·2+1,∞·2+2…；再继续是 ∞·3。

越过 ∞,∞·2,∞·3…，得到 ∞·∞，也就是 ∞²。越过 ∞²,∞²·2,∞²·3…，得到 ∞²·∞=∞³。越过 ∞,∞²,∞³…，你猜得到——来到 ∞^∞。

在 ∞^∞ 之外，还有无比广袤的世界。但本文我们就走到这里。不要被符号迷惑；关键点在于康托尔反复使用同一个思想：“还能不能继续往前？”

后来康托尔不再使用符号 ∞，改用希腊字母 ω（欧米伽，希腊字母表最后一个字母，长久以来象征终极，就像《启示录》里“我是阿尔法，我是欧米伽”）。但在康托尔这套如今被称作超限序数的理论中，ω 并不是终点。

那么，一个无穷量还不是终点，这究竟意味着什么？

直观理解序数

想要建立对序数（尤其康托尔推广唯一性问题时用到的那一类序数）的直观，可以借助图像⁶，图像取自实数轴上的子集。对自然数 n，序数 n 的图像，就是恰好包含 n 个实数点的集合。无穷序数则要有趣得多。

最小的无穷序数 ω，直观例子是自然数集合 {0,1,2,3,…}。但是为了方便构造更大序数，更好的表示是集合 {0/1, 1/2, 2/3, 3/4,…}。这些分数顺序和自然数一一对应，但是全部挤在实数轴一段有限区间。表示 ω 的集合并不唯一，{1/2,2/3,3/4,…}、{0/1,2/3,4/5,…} 同样都可以作为 ω 的图示。

我们以 {0/1, 1/2, 2/3, 3/4,…} 作为 ω。想要得到 ω+1，只需要在集合中加入实数1：{0/1, 1/2, 2/3,…; 1}。分号用来提醒读者：数字1，在前面无穷多个分数之中没有直接前继元。

集合 {0/1, 1/2, 2/3,…; 1} 拥有最后一个元素；而去掉1之后的集合没有末元。这是定性上巨大的差别：两个集合同为无穷集合，但作为有序集合并不等价。恰恰是康托尔对序关系的重视，才造就这件看上去奇怪的事实：往无穷集合添加一个元素，可以得到一个“更大”的集合。

ω+2 的图示：{0/1, 1/2, 2/3,…; 1, 2}；ω+3：{0/1, 1/2, 2/3,…; 1, 2, 3}。如果继续这样画，想要得到 ω+ω 就会没有空间。于是我们效仿前面的技巧，把新增点不断挤压靠拢。于是得到 ω+ω（即 ω·2）图示：{0/1, 1/2, 2/3,…; 1/1, 3/2, 5/3, 7/4,…}。圆圈空心标记数字2，代表2不属于这个集合。

借助这套图像，可以直观理解序数加法。已知 α,β 的图示，α+β 的图示：把 α 的图像放在左边，把 β 的图像接在它的右边，也就是“先 α，再接 β”。例子：把 ω 的图示 {0/1,1/2,2/3,…}，右边接上序数2的图示 {1,2}，就得到 ω+2。

序数乘法：α·β，取 β 的图示，把 β 里面每一个点，替换成一份完整的 α 图示，互不重叠。也就是“按照 β 的排布，复制多份 α”。例子：ω·2，取序数2集合 {0,1}；把0替换一份 ω，1替换另一份 ω，左右排布，得到 {0/1,1/2,2/3,…; 1/1,3/2,5/3,…}。

序数加法不满足交换律。ω+1 和 ω 不一样；但是 1+ω 就等于 ω！图像可以解释：集合 {0/1}（序数1），右边接上集合 {1/2,2/3,3/4,…}（序数 ω），整体等价于 ω。也就是 1+ω=ω。

交换律失效，并不是空想出来的规则；这是康托尔拓展数的概念之后，不可避免带来的结果。

乘法同样不交换：ω·2 ≠ 2·ω。2·ω=ω。我们可以把 ω 的图示 {0/1,1/2,2/3,3/4,…}，理解为不断重复 {0/1,1/2}、{2/3,3/4}、{4/5,5/6}…。也就是取 ω 的点序列，每一个点替换成序数2的两个点，得到的整体依旧等价于 ω。

当然，如果我们把这套运算用在有限序数，就退化为普通自然数算术。也就是说康托尔的理论，是自然数体系的保守扩充。康托尔把这些对象称为“数”，但当时很多同行并不愿意接受这一点。

一旦越过Z继续向外探寻，

你会见识到无数新奇的真相！

远在Ω之外

我们还可以继续向上，构造 ω^(ω^ω)、ω^(ω^(ω^ω))，层层指数塔。康托尔理论告诉我们：只要有一列递增序数，就一定存在比序列全部元素都更大的第一个序数。所有有限层指数塔全部越过之后，得到第一个这样的序数（其中对角线方向的省略号表示 “以此类推，永无止境”），记作 ε₀（ε‑零）。

我们还可以继续向上，ε₁, ε_ω…。但这里我们停下来做一番复盘。我们见过的所有序数，只通过两种操作得到：①已有序数加一；②取一串递增序数，找一个比它们全部更大的序数。这两种手段可以生成康托尔所说“第一类序数”（有限序数），以及“第二类序数”（和唯一性问题相关的那一类无穷序数）。但还存在更大序数，无法依靠这两种操作生成。第一个例子是 ω₁，第一个不可数序数；继续还有 ω₂，ω_ω，以此类推。

无论序数有多大，它们都拥有惊人的两面性：向上可以无限攀升；但只要从任意一个序数开始，不断往更小的序数跳，向下的序列一定终究会终止。

拿最简单的无穷序数 ω 举例：比它小的全部都是有限序数。你从 ω 向下跳一步，必然落到某个有限数 n；从 n 继续往下跳，只能有限次之后就到底。

举个实例：从 ω 跳到一百万；继续不断选更小数字，终究会耗尽。换成十亿，也只是推迟结局，改变不了结局。这和开篇魔鬼硬币寓言一模一样：袋子里面只剩1美分，不管初始数目多大，只要是有限，终究会用光。

从 ω+1 向下跳也是同样道理：你可以第一步跳到 ω，但下一步必须落到有限数，之后向下序列必然终止。对所有更大序数，这件事都成立。

换句话说，康托尔搭建的超限阶梯：向上攀登永无尽头；但是向下跳跃，终归会落到底！

康托尔同时代很多数学家很难理解这套古怪数学。利奥波德·克罗内克（Leopold Kronecker）视无穷理论为一种病态，言辞激烈，称康托尔是“毒害青年的人”。大数学家庞加莱态度相对缓和，但在1908年抱怨：“不存在实无穷；康托尔学派已经遗忘了这一点。”

康托尔本人坚定相信实无穷；而当代很多数学家对此持不可知论。现代普遍观点：康托尔理论的价值，独立于催生它的形而上学。康托尔1883年写下一段至今被大多数纯粹数学家认同的话：

数学在发展上是完全自由的；唯一的约束是自明的一点：它的概念既要彼此相容，又要和此前已经建立、已经就位的概念保持由定义确立的确切关系。尤其在引入新数的时候，只需要给出定义，赋予它确定性，并且在合适情况下，确立它和其他数的关系，使得它在每一个场合都可以被明确区分。只要满足全部这些条件，这个数在数学之中就可以、也必须被视作存在且实在。

务实者或许会反问：“好，你可以构造一套自洽的无穷数学理论，但我们为什么要这么做？它究竟有什么用处？”确实，总体上同情康托尔的数学家米塔‑列夫勒（Gösta Mittag-Leffler），1885年劝他撤回投给《数学学报》Acta Mathematica（米塔‑列夫勒创建的数学顶刊）的一篇论文；告诉他，这类思想登上学术舞台，为时足足早了一百年。

魔鬼的交易：序数的现实用处

事实证明，米塔‑列夫勒过于悲观。1949年，著名的图灵停机问题提出者，数学家、计算机科学家艾伦·图灵（Alan Turing），提出可以用康托尔的超限序数，证明某些特定算法一定能够终止。1967年，罗伯特·弗洛伊德（Robert Floyd）独立重新发现并且推广这套方法，如今被称为图灵‑弗洛伊德方法。

看上去很矛盾：无穷序数，居然用来证明算法会在有限时间结束。关键点在于康托尔序数的向下良基性：任选一个序数，不断向下取更小序数，过程必然终止。图灵、弗洛伊德意识到：计算机科学中很多深度递归过程，可以映射成序数的向下跳转；于是递归过程必然终止。

现在我们就能明白，序数如何帮我们解答本文开头那道谜题的原始版本。我们用一个以ω为基的多项式序数来表示袋子的状态，多项式的各个系数依次对应不同面额，记录每种硬币的数量。

设a₁为袋中20美元硬币的数量，a₂为10美元硬币的数量……a₉为5美分硬币的数量，a₁₀为1美分硬币的数量，袋子的状态就用序数 ω⁹⋅a₁ + ω⁸⋅a₂ + ⋯ + ω⋅a₉ + a₁₀ 表示。每一次合法操作都会让这个序数变小，哪怕新增的小面额硬币数量大得惊人。袋子里钱币的总面值或许会增加，但用来映射袋子内容的影子序数永远严格递减。（这让我想起《超越斑马》里那两个萨德纳的奇妙故事：“你看，个头更大的那个，影子反而更小。”）

序数不存在无穷递减序列，所以你不可能有无穷多轮操作。魔鬼最终会夺走你的灵魂⁷。

这套技巧还可以用到一类初始数值疯狂暴涨的序列，也就是弱古德斯坦序列，由英国数学家鲁本·古德斯坦（Reuben Goodstein）提出。

生成弱古德斯坦序列：取正整数 n，写成二进制；把这套数字字符串解读成三进制数字，然后减一，得到新数；再把新数写成三进制，解读为四进制，再减一，循环往复。只要数字归零，游戏结束。

问题：这个游戏是否终究会结束？

举例子，取 n=8。8的二进制：1000；解读为三进制得到27，减一得到26。26的三进制是222；解读成四进制得到42，减一得到41。继续演算得到60，83……序列开头：

8, 26, 41, 60, 83, 109, 139, 173, 211, 253,…

看上去似乎会永远持续上涨。就算恒星燃尽、黑洞蒸发，你继续演算，好像永远碰不到零。于是你很容易打赌，序列会永远增长。

但是，如果你拿灵魂下注赌它永远增长，你会输得一败涂地。这个序列只是要经过无比漫长的时间，才会停止上涨，转而暴跌归零。事实上，从8出发的弱古德斯坦序列，恰好经过 3·2⁴⁰²⁶⁵³²¹¹ − 3 步归零。

如果你还没被这个数字的庞大震撼到，那我告诉你它有121210695个十进制数位，或许你就能体会它有多惊人了。从物理尺度看，这是一个大到离谱的数字。

无论初始 n 多大，对应的弱古德斯坦序列终究抵达0。利用序数就可以证明这件事：每一步，把数字按照当前进制展开，用相同系数、指数构造对应的序数。例如三进制222，对应序数 ω²·2+ω·2+2。

8对应的弱古德斯坦序列前五项，映射到的序数序列是：

ω³ >ω²·2+ω·2+2 >ω²·2+ω·2+1 >ω²·2+ω·2 >ω²·2+ω+5 >…

虽然普通数值在不断增大，但是映射的序数却持续下降。序数不允许无穷递减，因此弱古德斯坦过程终究一定会抵达零。

本文没有介绍康托尔的无穷基数（ℵ₀, ℵ₁, ℶ₀, ℶ₁ 等等），也没有写他职业生涯后期遭遇挫折、精神健康问题。很多别的文章讲过这些，但是关于序数的这段故事，却讲得远远不够多。

看吧！

你可以获知无穷多新知，

只要敢于越过Z继续向前探寻！

本文是作者正在撰写书稿《数字可以是什么？：比加法乘法更为奇异的冒险》第13章草稿，章节标题《康托尔的无穷数》。如果你感兴趣，希望帮助完善本书，可以访问：http://jamespropp.org/readers.pdf。欢迎在Mathematical Enchantments博客留下评论。

原文脚注

¹：关于到底有多少种面额可以争论，比如4美元斯特拉硬币从未流通。本文排除纪念币、贵金属币，还有19世纪就已经停止发行的币种。

²：这里忽略相位信息，人耳对相位并不敏感；余弦波只是正弦波时间平移。这也就是为什么声学、电气工程经常只讨论正弦波，很少讨论余弦波。

³：等价关系说明：如果同一个声音可以两套不同级数表达，两式相减，就得到一套系数不全为零、却表示零函数的三角级数。

⁴：康托尔给集合定秩，反复执行修剪：不断移除集合的孤立点。以集合 S={1/2,2/3,3/4,…;1} 举例：1不是孤立点，其余全部点是孤立点。第一轮移除孤立点，剩下单元素集合 S'={1}；第二轮再移除这个孤立点，得到空集。一共两轮修剪得到空集，于是集合秩等于2。

⁵：面向数学与数学史读者的技术备注：本文讲的秩，并不是康托尔最初的出发点。他把这套“移除孤立点”修剪操作推广到超限。对闭实数集，S⁽¹⁾代表S移除孤立点，S⁽²⁾代表对S⁽¹⁾再移除孤立点，以此类推有限上标。S^(∞)代表所有 S⁽ᵏ⁾ 的交集；继续得到 S^(∞+1)，等等。集合的秩就是使得 S^(α) 为空的最小序数。很多U‑集合不存在这样的 α。本文重点放在序数，没有深入描述描述集合论中的康托尔‑本迪森（Cantor-Bendixson）导数。

⁶：技术表述：每一个可数序数 α，可以构造实数轴的良序子集，序型等于 α。

⁷：你可能会想：每次取出一枚10美分，叫魔鬼增加两枚5美分；再把两枚5美分换回一枚10美分放回袋子，是不是就可以永远循环？重读魔鬼的规则：不允许你自己往袋子里面添加钱币。

求点赞