A Foundation for the Core Mathematician

本文提出了一种基于实数的核心数学的新公理基础和一个确定模型，旨在通过为每一个核心数学断言赋予唯一的真值，来解决传统集合理论的不确定性。

要点

想象数学是一座巨大而高耸的摩天大楼。几十年来，大多数数学家都认同，这座建筑的基石是一套特定的规则，称为ZFC（带有选择公理的策梅洛 - 弗兰克尔集合论）。他们相信，这一基石足够坚固，能够支撑起每一层楼，从简单数字的地下室到复杂理论的顶层公寓。

然而，本文的作者大卫·芒福德（David Mumford）和赛 - 大卫·弗里德曼（Sy-David Friedman）认为，虽然 ZFC 适用于“顶层公寓”，但对于“底层”——即处理实数、时间、空间和物理世界的数学部分——它实际上有些不稳，且充满了怪异且无法解释的怪癖。他们提出了一种新的、更坚固的基石，专门设计用于服务那些与真实世界打交道的“核心数学家”。

以下是他们论证的分解，使用了简单的类比：

1. 问题所在：“魔术戏法”般的基石

当前的基石（ZFC）严重依赖一条称为选择公理的规则。可以将这条公理想象成一种魔法能力：即使你看不见盒子内部，也无法描述你是如何挑选的，你依然能从无限多个盒子中各选出一件物品。

• 问题所在： 虽然这种“魔术戏法”有助于数学家证明关于抽象无限结构的事物，但它也制造了“幽灵”。它允许那些怪异且混乱、与现实毫无关联的集合存在（例如巴拿赫 - 塔斯基悖论，你可以将一个球体切割成若干部分，然后重新组装成两个大小相同的球体）。
• 结果： 由于这些“幽灵”的存在，数学家无法百分之百确定他们提出的每一个问题都有一个单一的、明确的“真”或“假”的答案。这座基石感觉不再像坚实的地面，而更像是一片雾蒙蒙的景观，不同地方适用着不同的规则。

2. 提议：基于现实的基石

作者建议，我们不应再试图为“一切”（包括那些幽灵）建立基石，而应专门为数学的核心建立基石：即实数（$\mathbb{R}$）、整数以及由它们构建的结构。

他们为这一新基石提出了三大支柱：

• 支柱 A：现实世界是真实的。 他们将实数集（就像尺子上的数字）视为一个既定的事实，就像我们接受可以数苹果一样。他们不试图从零开始构建实数；他们只是说：“它们就在这里，它们存在。”
• 支柱 B：摒弃魔法，保留随机性。 他们拒绝“选择公理”，因为它制造了那些怪异的幽灵。相反，他们采纳了弗莱林公理（Freiling's Axiom）。
  • 类比： 想象两个人在太空中向靶子投掷飞镖。如果他们在不同星球上同时投掷（因此没有任何信号能快得足以在两者之间传递以进行作弊），并且他们完全随机地选择落点，那么就不可能根据一个人的落点来“预测”另一个人的落点。
  • 这种直觉引出了一条规则：“如果你随机选取两个数字，它们不应被锁定在某种怪异的、预先确定的模式中。”这条规则自然地消除了“选择公理”及其产生的怪异集合。
• 支柱 C：停止无限阶梯。 在标准数学中，你可以永远地构建越来越大的无穷大。作者说：“停下。”他们提出构建一个模型，其中我们只上升到处理实数及其子集所需的程度，但在达到那些没有物理意义的“非尘世”无穷大之前停止。

3. 两个模型：“标准”模型与“极简”模型

该论文描述了可视化这一新基石的两种方式：

• 模型 1：“现实世界”模型。 这是一个实数完全符合我们认知的数学版本。在这个世界里，每一个实数集都表现良好（它们都是“可测的”，意味着你可以计算它们的大小/面积而不会产生悖论）。这是一个干净、逻辑的世界，每一个数学问题都有一个明确的答案。
• 模型 2：“极简”模型。 这是一个利用物理学和逻辑学概念的巧妙技巧。想象一个微小的、可数的宇宙，它认为自己非常巨大。在这个微小宇宙内部，“实数”看起来像是一片无限且不可数的海洋。但从外部看，我们知道它实际上只是一个小的、有限的列表。
  • 为什么要这样做？ 这个模型是“完备的”。在标准数学（ZFC）中，哥德尔证明了总有一些问题是你无法回答的。而在这一极简模型中，由于宇宙受到如此严格的控制，每一个问题都有一个明确的答案。这就像是一个拼图，每一块都完美契合，没有任何缺失的碎片。

4. 为何这很重要

作者并非试图改变物理学家或工程师的工作方式。他们是为研究数字和形状本质的数学家提供一个“更干净”的操作系统。

• 旧方式： 使用一个强大但杂乱的引擎（ZFC），它有时会产生“幽灵”，并留下一些未回答的问题。
• 新方式： 使用一个建立在随机性和现实基础上的专用引擎。它消除了幽灵，确保每一组数字都有清晰的大小，并保证每一个数学问题都有真或假的答案。

总结

将当前的数学基石想象成一座巨大而混乱的图书馆，其中有些书是用隐形墨水写的，有些书架悬浮在半空中。芒福德和弗里德曼说：“让我们专门为那些我们真正阅读的书（实数）建造一座新图书馆。我们将扔掉隐形墨水（选择公理）和悬浮的书架（怪异的无穷大）。在我们的新图书馆里，每一本书都清晰可见，每一个书架都坚实稳固，每一个故事都有一个清晰的结局。”

他们证明，只要我们对无穷大的本质接受几个合理的假设，这座新图书馆就是可以建造的，并且它为数学的“核心”提供了一个更令人满意的家园。

技术摘要

技术摘要：核心数学家的基础

问题陈述
作者大卫·芒福德（David Mumford）和 S-D·弗里德曼（Sy-David Friedman）认为，标准的带有选择公理的策梅洛 - 弗兰克尔集合论（ZFC）作为数学研究“核心”的基础是不充分的。尽管 ZFC 被广泛接受，但作者辩称，它未能提供一个“稳固且固定”的基础，因为它承认模型的 proliferation（即“多重宇宙”观点），并且在选择公理（AC）的使用上依赖于生成非构造性、“非现实”集合的方式（例如，通过巴拿赫 - 塔斯基悖论或不可测集）。此外，关于集合宇宙唯一性的柏拉图主义信念，因连续统假设的独立性以及大基数公理的存在而受到削弱。

该文提出，数学经验的“核心”涉及自然数（$\mathbb{N}$）、实数（$\mathbb{R}$）以及由此衍生的结构。作者寻求一种基础，能够：

1. 将 $\mathbb{R}$ 视为给定的、“现实世界”的对象（一种针对 $\mathbb{R}$ 而非任意集合的柏拉图主义观点）。
2. 确保该核心中的所有猜想都具有确定的真值（即存在唯一模型）。
3. 避免由不可数选择引入的病理现象，同时保留足以支撑标准分析的力量。

方法论与公理框架
该文提出了一种特定的公理系统 $T$ 以及两个不同的模型来实现它。

1. 公理（$T$）：
所提出的系统 $T$ 定义为 $(ZF^-) + \mathbb{R} + A^{\text{null}}_N + DC$。

• $ZF^-$：不带幂集公理且不带不可数选择公理的策梅洛 - 弗兰克尔集合论。它包含外延性、正则性、配对、并集、无穷、概括、收集以及替换公理。
• 给定 $\mathbb{R}$：实数集被视为一个原初的、给定的实体，用于模拟物理连续统。
• 弗莱林公理（$A^{\text{null}}_N$）：这是核心创新。基于涉及独立随机变量和相对论（以排除信息泄露）的“掷飞镖”思想实验，它断言：对于任何函数 $f: [0,1]^{\mathbb{N}} \to \mathcal{N}$（将序列映射到零测集），存在一个独立随机实数序列 $\{x_i\}$，使得对于所有 $i$，都有 $x_i \notin f(\sigma(i))$。
  • 推论：该公理与不可数选择公理相矛盾。它意味着 $\mathbb{R}$ 不能被良序化，且连续统假设为假。
• 依赖选择公理（DC）：该系统保留了伯奈斯（Bernays）引入的依赖选择公理，这足以支撑大多数标准分析（例如，贝尔纲定理、极限的存在性），但弱于完全的选择公理。

2. 提议的模型（$M$）：
作者构造了一个模型 $M = L_{\alpha^*}(\mathbb{R})$，其中集合是通过超限归纳法从 $\mathbb{N}$ 和 $\mathbb{R}$ 构造到某个特定序数 $\alpha^*$ 而得到的。

• 构造：从 $L_0(\mathbb{R}) = \mathbb{R}$ 开始，模型迭代定义可定义的集合。
• 极限 $\alpha^*$：归纳在第一个“完全 $\mathbb{R}$-可容许序数”（$\alpha_{ZF^-}$）处停止，该点定义为不再生成 $\mathbb{R}$ 的新子集的点（即 $L_{\alpha^*}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R}) = L_{\alpha^*+1}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R})$）。
• 性质：在该模型中，每个陈述都具有“根本真理”。该模型满足 $ZF^-$、DC 和弗莱林公理。此类模型的存在性被证明是跟随于 ZFC 加上不可达基数存在的相容性。

3. 极简主义替代方案（索洛维模型）：
该文还讨论了一种基于罗伯特·索洛维（Robert Solovay）模型的“极简主义”基础，该模型假设 ZF 加上不可达基数的相容性。

• 构造：构造一个可数传递模型，其中 $\mathbb{R}$ 的所有子集都是勒贝格可测的并具有贝尔性质。
• 完备性：作者定义了一个理论 $T^*$（$T$ 的扩展），其中包含一个“最小性性质”和一个泛型集 $G$。他们声称，$T^*$ 的任何两个良基模型都满足相同的一阶语句。这为那些拒绝庞大且非良基集合的核心数学家提供了一种形式的“完备性”，作为对哥德尔不完备性的解药。

主要贡献与成果

• 拒绝不可数选择：该文正式用弗莱林的概率公理 $A^{\text{null}}_N$ 取代了不可数选择公理，论证前者对“现实世界”更直观，并避免了非可测集的构造。
• 二阶算术的细化：虽然承认二阶算术（$Z_2$）足以支撑大部分分析，但作者认为它不足以直接定义所有博雷尔集或拓扑空间的集合。他们提出的模型通过明确包含 $\mathbb{R}$ 并允许构造到 $\alpha^*$ 来扩展 $Z_2$。
• 基数困境：该文突出了其模型的一个独特特征：虽然存在从 $\mathbb{R}$ 到 $\omega_1$（第一个不可数序数）的满射，但由于弗莱林公理，不存在双射。因此，$\omega_1$ 存在，但与 $\mathbb{R}$ 缺乏清晰的基数关系，处于一种不同于标准 ZFC 的“困境”之中。
• 相容性证明：作者证明了他们的公理相对于不可达基数的存在是相容的。他们利用索洛维的力迫技术表明，如果 ZFC 加上不可达基数是相容的，那么他们的系统 $T$（以及更强的 $T^*$）也是相容的。

意义与主张
该文声称为“核心数学家”——即那些处理实数、整数及衍生结构（例如分析、偏微分方程、巴拿赫空间）的人——提供了一个“更好的基础”。

• 确定性：所声称的主要意义在于恢复了一个“稳固且固定”的基础，其中所有猜想都有唯一答案，以此对抗集合论的“多重宇宙”。
• 实在性通过将基础植根于随机变量的物理直觉（弗莱林公理）和 $\mathbb{R}$ 的给定性质，作者论证他们的基础比完全 ZFC 的抽象、非构造性本质更符合数学实践。
• 不完备性的解药：“极简主义”基础（$T^*$）被呈现为一种解决方案，供那些希望避免大基数独立性现象但仍需维持稳健实数理论的数学家使用。

作者保持谦逊，指出他们的方法依赖于不可达基数的相容性，并且概率方法最终可能会在某种大基数背景下证伪投影集的可测性。然而，他们断言，他们的框架为绝大多数数学研究提供了一个连贯且无争议的基础。