共尾性

无穷的概念并非铁板一块；它包含了一个由不同大小和结构组成的广阔而多样的图景。为了探索这片图景，数学家需要工具来区分不同的无穷。共尾性就是这样一种工具，它精确地衡量了一个无限极限的“可接近性”。它解决了一个根本性问题：给定一个无限遥远的目标，要任意接近它，最短的可能路径是什么？答案揭示了超限数世界中的一道深刻分界线，将它们分成了具有截然不同性质的几类。

本文将探讨共尾性的概念及其深远影响。文章首先通过攀登无限阶梯的类比来建立对该主题的直观理解，并以此定义共尾性、正则基数和奇异基数。您将了解支配这些分类的原则，并看到像 $\aleph_0$ 和 $\aleph_1$ 这样熟悉的无穷是如何融入这个框架的。接着，本文将通过探讨共尾性的应用来展示其威力，说明这一个概念如何塑造基数算术的法则、定义可能存在的数学宇宙的边界，甚至在看似遥远的拓扑学领域产生具体的影响。

想象你面对着一个无限高的梯子。这并非普通的梯子，它的梯级由序数——那些超越了所有我们熟悉的整数、持续延伸的完美有序的“数”概念——来编号。你的目标是攀登至一个特定的梯级，一个被称为​​极限序数​​的特殊梯级。极限序数就像一个汇集点，是无限广延中的一个位置，它不是任何其他梯级的直接“下一步”。我们所熟悉的自然数的无穷，我们称之为 $\omega$，是第一个也是最著名的例子。在它之前并没有一个直接的数。那么，你如何“到达”那里呢？你不能只通过迈出最后一步。相反，你必须攀登一个梯级序列，让你越来越接近。

我们所问的问题是，你能使用的最短的攀登绳索是什么？也就是说，为了任意接近你的目的地，你需要抓住的最短的梯级序列是什么？这个简单而直观的问题正是​​共尾性​​的核心。

让我们把这个类比变得更精确一些。我们有一个极限序数，称之为 $\alpha$。一根“攀登绳索”在数学上被称为​​共尾子集​​。它是从 $\alpha$ 的梯子上选出的一组梯级 $C$，其性质是无论你在梯子上爬多高（到达任何梯级 $\xi < \alpha$），总有一个来自你所选集合 $C$ 的梯级在你之上或与你平齐（即存在 $c \in C$ 使得 $\xi \leq c$）。你的绳索一直延伸到顶部。

$\alpha$ 的​​共尾性​​，记作 $\mathrm{cf}(\alpha)$，就是最短可能绳索的长度。用数学术语来说，它是 $\alpha$ 的任何共尾子集的最小序型。

理解共尾性是梯级排序的属性，而不仅仅是梯级的数量，这一点至关重要。如果你把对应于无穷 $\aleph_1$ 的所有梯级以不同的方式排列，你可能会得到不同的共尾性。这就是为什么在集合论中，我们约定一个标准排列：基数与其​​初始序数​​等同，后者是该基数的最“有效”的良序排列。有了这个约定，我们就可以谈论一个基数本身的共尾性。

对于任何极限序数，你的攀登绳索必须是无限长的。一个有限的梯级集合总有一个最高的梯级，但极限序数在其下方没有最高点，所以你总可以再往上爬一步，超越你整个有限的绳索。这意味着对于任何极限序数 $\alpha$，其共尾性 $\mathrm{cf}(\alpha)$ 至少为 $\omega$，即第一个无限序数。

让我们尝试几次攀登。

• ​​攀登至 $\omega$：​​ 这是我们的第一个极限序数。要任意接近 $\omega$，你需要一个无限的步数序列。序列 $0, 1, 2, 3, \dots$ 是共尾的，其长度是 $\omega$。既然我们知道绳索不可能是有限的，这必定是可能的最短无限绳索。因此，$\mathrm{cf}(\omega) = \omega$。
• ​​攀登至 $\omega^2 = \omega \cdot \omega$：​​ 这个序数就像一个由 $\omega$ 行组成的网格，每行有 $\omega$ 个点。你可以通过简单地从一行的末尾跳到下一行的末尾来任意升高：$\omega \cdot 1, \omega \cdot 2, \omega \cdot 3, \dots$。这个序列的长度是 $\omega$。所以，尽管 $\omega^2$ 比 $\omega$“更大”，但从某种意义上说，攀登同样容易：$\mathrm{cf}(\omega^2) = \omega$。同样的逻辑也表明 $\mathrm{cf}(\omega^\omega) = \omega$。
• ​​攀登至 $\omega_1 + \omega$：​​ 这里，$\omega_1$ 是第一个不可数序数。我们有这个巨大的梯子，然后我们在最顶端加上一个小小的 $\omega$ 步梯子。要爬到新的顶峰，我们只需攀登末端的小梯子：$\omega_1, \omega_1+1, \omega_1+2, \dots$。这是一个长度为 $\omega$ 的序列。所以，$\mathrm{cf}(\omega_1+\omega) = \omega$。看来，攀登的最后一段才是关键。

到目前为止的例子可能会让你觉得答案总是 $\omega$。但故事在这里发生了有趣的转折。我们一直在处理那些在某种意义上“可数可接近”的无穷。当我们试图攀登一个从根本上、本质上是不可数的无穷时，会发生什么呢？

让我们试着攀登 $\omega_1$，第一个不可数序数。假设我们试图使用我们可靠的可数绳索——一个梯级序列 $\alpha_0, \alpha_1, \alpha_2, \dots$。每个梯级 $\alpha_n$ 都是小于 $\omega_1$ 的序数，根据定义，这意味着每个 $\alpha_n$ 都是一个可数序数。现在，我们用这根绳索能达到的最高点是什么？它将是我们序列中所有序数的上确界（或并集）：$\sup \{ \alpha_n \mid n \omega \}$。

在这里，我们撞上了一堵高墙。集合论的一个核心事实是，可数个可数集的并集本身是可数的。所以，我们用可数绳索能达到的最高点只是另一个可数序数。而根据定义，每个可数序数都小于 $\omega_1$。无论我们采取哪一个可数的步数序列，我们总是会被困在某个可数的高度，离 $\omega_1$ 的不可数顶峰无限遥远。

要攀登 $\omega_1$，可数的绳索是无用的。你需要不可数步。事实上，你能用来攀登 $\omega_1$ 的最短绳索的长度就是 $\omega_1$ 本身。因此，$\mathrm{cf}(\omega_1) = \omega_1$。

这个发现揭示了无穷世界中的一个根本二分法。

• ​​正则基数​​是一个无限基数 $\kappa$，它无法用任何更短的绳索“攀登”。它的共尾性就是它自身：$\mathrm{cf}(\kappa) = \kappa$。例子有 $\aleph_0$（即 $\omega$）和 $\aleph_1$（即 $\omega_1$）。它们就像是陡峭的悬崖峭壁。
• ​​奇异基数​​是一个无限基数 $\kappa$，它可以通过更短的绳索“接近”。它的共尾性严格小于它自身：$\mathrm{cf}(\kappa) \kappa$。这些是可以征服的山峰。

最著名的奇异基数例子是 $\aleph_\omega$。它被定义为基数序列 $\aleph_0, \aleph_1, \aleph_2, \dots$ 的上确界。这个定义本身就给了我们一个长度为 $\omega$ 的共尾序列。由于 $\omega$ 远小于 $\aleph_\omega$，我们立刻可以看出 $\mathrm{cf}(\aleph_\omega) = \omega$。因此，$\aleph_\omega$ 是一个奇异基数。这是一个极其巨大的无穷，但我们却可以用一个简单的、可数的巨大飞跃序列来规划通往其顶峰的路径。

一旦我们有了这种划分，一个优美的结构便开始浮现。某些类型的基数总是落入其中一类或另一类。

​​模式1：后继基数总是正则的。​​ 后继基数是指紧随另一个无穷之后的“下一个”无穷，如 $\aleph_1 = (\aleph_0)^+$，$\aleph_2 = (\aleph_1)^+$，等等。事实证明，它们中的每一个都是正则的。其推理过程与我们为 $\aleph_1$ 所做的论证有着优美的呼应。如果一个后继基数 $\kappa^+ = (\aleph_\alpha)^+$ 可以通过一个长度为 $\lambda \kappa^+$ 的更短序列到达，那么它的大小将是 $\lambda$ 个集合的并集，每个集合的大小至多为 $\kappa_\alpha$。总大小将不超过 $\lambda \cdot \kappa_\alpha = \kappa_\alpha$。这将意味着 $\kappa^+ \le \kappa_\alpha$，这是一个直接的矛盾。

但这里有一个微妙的秘密：这个论证依赖于一个看似明显的事实，即一组集合的并集的大小是它们大小的总和，并且这个和可以被转换成一个简单的乘积。事实证明，这一步是由​​选择公理​​支持的。没有这个公理，证明就会崩溃。事实上，存在着一些数学的替代宇宙（没有选择公理的集合论模型），其中某些后继基数是奇异的！ 这告诉我们，后继基数的正则性是我们标准数学世界的一个深刻而非平凡的特征。

​​模式2：只有极限基数才可能是奇异的。​​ 由于所有后继基数都是正则的，寻找奇异基数的唯一地方就在于​​极限基数​​——那些像 $\aleph_\omega$ 一样不是任何基数的直接后继的基数。我们已经知道 $\aleph_\omega$ 是奇异的。但它们都是奇异的吗？答案是一个令人惊讶的“不”。我们第一个无限基数 $\aleph_0$，严格来说是一个极限基数（它不是一个后继基数），而我们已经看到它是正则的。

这就提出了一个引人入胜的问题：是否存在其他正则的极限基数？我们能否找到一个不可数基数 $\kappa$，它既是极限基数又是正则的？这样的数将是真正巨大的——无法通过任何更小数目的步骤达到，并且也不是任何其他基数的直接后继。这些假想的实体被称为​​弱不可达基数​​，它们的存在性在标准的 ZFC 公理体系内是无法证明的。它们标志着通往​​大基数​​领域的大门，这些无穷是如此巨大，以至于它们对整个数学宇宙的结构具有深远的影响。

共尾性，这个始于一个关于爬梯子的简单问题，已经将我们引向了数学可知范围的边缘，将无限划分为可接近与不可接近，并揭示了支配着高耸的基数等级制度的深刻、隐藏的结构。

我们已经穿越了超限数的抽象图景，并掌握了一种新的工具，一种新的视角：共尾性的概念。我们将其定义为衡量“接近”一个极限的速度的尺度，区分了“自足”的正则基数和“复合”的奇异基数。乍一看，这似乎只是一个学术上的区分，一个为无穷爱好者准备的技术细节。但事实远非如此。

共尾性不仅仅是一个描述性标签；它是一个动态而强大的原则，是支配无限集行为的建筑规则。它的影响力从集合论的核心辐射开来，塑造着基数算术的法则，决定着我们数学宇宙可能存在的结构，甚至将长长的影子投射到更“具体”的拓扑学世界。要理解这一点，我们不需要学习更多的定义，只需问：“这个概念有什么用？”

让我们从集合论的心脏地带——基数算术——开始。我们可以问的最基本的问题之一是关于函数集合的大小。如果我们有一个大小为 $\kappa$ 的集合，并考虑从各种较小定义域到它的函数，那么这样的函数总数是多少？这由基数 $\kappa^{\lambda}$ 捕捉，它被定义为所有幂 $\kappa^\mu$（其中 $\mu \lambda$）的上确界。

在这里，共尾性立刻登上舞台并主导了整个表演。极限基数 $\lambda$ 的性质——无论是正则还是奇异——都极大地改变了结果。

想象你正在尝试爬一个梯子到达高度 $\lambda$。如果 $\lambda$ 是正则的，比如第一个无限基数 $\omega$，梯子没有捷径。梯级是有限数 $0, 1, 2, \dots$，要理解“整个”攀登过程 $\omega^{\omega}$，你必须考虑每一个梯级。但由于对于任何有限的 $n 0$，$\omega^n = \omega$，其上确界也只是 $\omega$。你从未真正离开底层。

但是，如果目标高度是一个奇异基数，比如 $\aleph_\omega$，即第一个作为更小无限基数（$\aleph_0, \aleph_1, \aleph_2, \dots$）极限的基数呢？$\aleph_\omega$ 的共尾性是 $\omega$。这告诉我们存在一条捷径！我们不需要检查 $\aleph_\omega$ 下方的每一个基数。我们只需要在一个长度为 $\omega$ 的“共尾阶梯”上检查其值，例如序列 $\aleph_0, \aleph_1, \aleph_2, \dots$。$\kappa^{\aleph_\omega}$ 的计算被简化为所有有限 $n$ 的 $\kappa^{\aleph_n}$ 的上确界。共尾性揭示了接近一个奇异巨人的令人眼花缭乱的复杂性可以被简化为一个更短、更易于管理的攀登过程。

这种区分不仅仅是计算上的便利；它反映了超限世界的一条深刻法则。一个著名的结果，作为哥尼希定理的一个推论，告诉我们对于任何奇异基数 $\kappa$，$\kappa^{\mathrm{cf}(\kappa)} \kappa$ 是一个数学上的必然。这意味着一个奇异基数从下方看是根本上“开放”的；它永远无法包含从一个大小为其自身共尾性的集合出发的函数数量。对于奇异基数 $\aleph_\omega$，我们可以在 ZFC 中证明 $\aleph_\omega^{\omega} \aleph_\omega$。与之形成鲜明对比的是，对于像 $\omega$ 这样的正则基数，我们看到 $\omega^{\omega} = \omega$。共尾性划出了一条明亮的界线：奇异基数被证明无法达到某种对某些正则基数来说是可能的闭包性。

共尾性的影响远不止于算术。它充当了整个集合宇宙的主要建筑师之一。对此最惊人的例证是伊斯顿定理，它解决了著名且未解的连续统假设问题——$2^{\aleph_0}$ 的值是什么？以及 $2^{\aleph_1}$, $2^{\aleph_2}$ 等等又是什么？

ZFC 公理仅为函数 $F(\kappa) = 2^\kappa$ 在正则基数 $\kappa$ 上规定了两条必须遵守的铁律。第一，它必须是非递减的：如果 $\kappa \lambda$，那么 $2^\kappa \le 2^\lambda$。这是常识。第二条法则更微妙也更深刻：$2^\kappa$ 的共尾性必须严格大于 $\kappa$，即 $\mathrm{cf}(2^\kappa) \kappa$。这是一个强大的限制，例如，它阻止了 $2^{\aleph_0}$ 成为像 $\aleph_\omega$ 这样的奇异基数，因为 $\mathrm{cf}(\aleph_\omega) = \omega = \aleph_0$，这并不严格大于 $\aleph_0$。

令人震惊的部分在此。伊斯顿定理表明，对于正则基数，这仅仅是唯二的普遍约束。任何为正则基数 $\kappa$ 上的 $2^\kappa$ 赋值，只要遵守这两个规则——单调性和共尾性约束——都可以在某个相容的集合论模型中实现。你想要一个 $2^{\aleph_0} = \aleph_{17}$ 且 $2^{\aleph_1} = \aleph_{42}$ 的宇宙吗？只要你的愿望不违反共尾性规则（在这里它们没有违反，因为 $\aleph_{17}$ 和 $\aleph_{42}$ 是正则的），就存在一个数学宇宙，一个 ZFC 模型，在其中你的愿望是真实的。因此，共尾性不仅描述了宇宙；它还定义了可能性的边界，描绘了可以存在的广阔数学世界的图景。

我们甚至可以亲自动手，使用一种称为​​力迫法​​的技术来构建这些新宇宙。通过向一个现有的 ZFC 模型中添加新的集合，我们可以温和或剧烈地改变其结构。一些性质是稳健的；例如，向可构造全集 $L$ 中添加一个“科恩实数”是一个温和的操作，它保留了基数和共尾性，使得像 $\aleph_\omega^L$ 这样的基数的共尾性保持不变。然而，其他力迫技术，如难波力迫法，被专门设计成共尾性的大锤。它们可以用来构建一个宇宙，其中一个曾经高贵的正则基数如 $\omega_2$ 变得奇异，其共尾性一直被坍缩到 $\omega$。因此，共尾性既是一个基石特征，又是一个可调参数，证明了集合论世界令人难以置信的灵活性和丰富性。

在 ZFC 中，我们发现了各种各样的奇异基数。对于任何极限序数 $\lambda$，基数 $\aleph_\lambda$ 是通过取更小阿列夫数的上确界来构建的，其共尾性就是其下标的共尾性，即 $\mathrm{cf}(\aleph_\lambda) = \mathrm{cf}(\lambda)$。这个简单的规则使我们能够轻易地识别许多奇异基数。例如，$\aleph_{\omega \cdot 2}$ 是奇异的，因为它的下标 $\omega \cdot 2$ 的共尾性是 $\omega$。更微妙地，基数 $\aleph_{\omega_1}$ 也是奇异的。它的下标 $\omega_1$ 是正则的。然而，因为 $\omega_1 = \aleph_1$ 严格小于 $\aleph_{\omega_1}$，我们发现 $\mathrm{cf}(\aleph_{\omega_1}) = \mathrm{cf}(\omega_1) = \omega_1 \aleph_{\omega_1}$，从而证明了它的奇异性。

但是在 ZFC 的视野之外又是什么呢？数学家们假设了所谓的​​大基数​​的存在，这些无穷是如此巨大，以至于它们的存在性在 ZFC 中无法被证明。它们是超限世界的泰坦，而共尾性是它们存在的中心。其中最温和的是强不可达基数，它们被要求是正则的。但在它们之上遥远的地方，是​​可测基数​​。

可测基数 $\kappa$ 的一个关键特征是它必须是正则的。但这种正则性具有一种极其稳健的特性。如果一个可测基数 $\kappa$ 存在，它就像一个地标，对其下方的宇宙施加结构。例如，小于第一个可测基数 $\kappa$ 的不可达基数的集合不仅仅是某个稀疏的群岛；它是一个在 $\kappa$ 中共尾的集合，意味着它的“海岸线”一直延伸到 $\kappa$。

这种深刻正则性的最引人注目的证明来自超幂构造。与一个可测基数 $\kappa$ 相关联的是一种构建新数学宇宙 $M$ 的标准方法，以及一个将我们的旧宇宙嵌入新宇宙的嵌入 $j: V \to M$。这个嵌入将 $\kappa$ 移动到 $M$ 中一个大得多的基数 $j(\kappa)$。人们可以接着问：这个巨大的新基数 $j(\kappa)$ 在 $M$ 内部计算的共尾性是什么？答案是对 $\kappa$ 力量的美丽证明。人们可以从第一性原理证明，任何长度为 $\kappa$ 的序列都无法“到达” $j(\kappa)$。这确立了 $\mathrm{cf}^M(j(\kappa)) \kappa$。事实上，结果表明 $j(\kappa)$ 在 $M$ 中仍然是正则的，意味着 $\mathrm{cf}^M(j(\kappa)) = j(\kappa)$。正则性这个属性在可测基数中根深蒂固，以至于它能经受住这种强大的、改变宇宙的变换。

人们很容易认为这些高深的概念仅限于集合论的抽象领域。但是共尾性的歌声在其他领域也有回响，尤其是在研究形状和空间的拓扑学中。

考虑拓扑空间 $[0, \omega_1)$，即所有可数序数的集合。这是一个简单的线性序空间。现在，让我们取一个共尾的“尾部”集合族，比如对于不同的 $\alpha \omega_1$ 的 $[\alpha, \omega_1)$。这些都是闭集。它们的交集是什么？直观的图像可能会暗示，当我们取的尾部起点越来越远时，它们的交集可能是某个“无穷远点”。但是在空间 $[0, \omega_1)$ 内部没有无穷远点。共尾集的定义就意味着，对于你选的任何点 $\gamma$，你的集合中总有一个 $\alpha$ 在它之后，所以 $\gamma$ 不在集合 $[\alpha, \omega_1)$ 中。因此，没有一个点可以在所有这些集合中。交集是空的。这是 $\omega_1$ 共尾性的一个直接的拓扑可视化。

一个更引人注目的例子是著名的​​长直线​​。这个空间是通过取 $\aleph_1$ 个区间 $[0, 1)$ 并将它们首尾相连而构造的。在局部上，它看起来和实数线完全一样。你可以沿着它走，在任何一点，都感觉是完美的一维。然而，它不是一个流形。为什么？任何流形（如球面或环面）的一个基本性质是它必须是“第二可数的”——你可以用可数个小片来覆盖它。长直线在这个测试上惨败。人们可以构造一个由嵌套的、越伸越远的区间组成的长直线的开覆盖。要覆盖整个长直线，你选择的任何子覆盖，其指标必须构成 $\omega_1$ 的一个共尾子集。但 $\omega_1$ 的共尾性是 $\omega_1$ 本身，这是不可数的。没有可数个这样的集合足以完成这项工作。长直线在一种精确的集合论意义上“太长”了。一个关于空间几何性质的问题，其答案不在几何学中，而在第一个不可数序数的共尾性中。

从算术的规则到可能世界的架构，从最高无穷的山峰到拓扑空间的奇特病理，共尾性这个简单的思想揭示了自己是一条深刻、统一的线索。它提醒我们，在数学中，最抽象、看似最深奥的问题，可能产生最令人惊讶的具体和深远的影响，将不同的研究领域编织成一个单一、美丽而连贯的整体。