跳转到内容
← 返回悖论
测度论约 15 分钟阅读

巴拿赫-塔斯基悖论

Banach-Tarski Paradox

相关人物

banachtarskihausdorff
选择公理测度分解等距变换

悖论描述

巴拿赫-塔斯基定理（1924）：一个三维实心球可以被分解为有限个互不相交的子集，然后仅通过旋转和平移（不拉伸、不压缩），就能重新组合成两个与原来一模一样的球。

换句话说：你可以把一个球切成有限块，重新拼成两个同样大小的球。这似乎违反了体积守恒的直觉——一变二？如果这种分解能应用于物理对象，你可以把一个苹果切成几块，然后拼成两个同样大小的苹果。

历史背景

斯蒂芬·巴拿赫（Stefan Banach, 1892-1945）和阿尔弗雷德·塔斯基（Alfred Tarski, 1901-1983）在1924年证明了这个定理。该定理的前身是豪斯多夫（Hausdorff）在1914年的一个结果：球面上的点可以被分解后重新排列——他用这个结果来说明球面上不存在旋转不变的有限可加测度。这个定理依赖于选择公理（Axiom of Choice）——它断言：对于任意一族非空集合，可以从每个集合中恰好选取一个元素。选择公理是ZFC集合论的一条公理，但它允许构造"不可测集"——这些集合无法被赋予合理的体积。

拉茨科维奇（Miklós Laczkovich）在 1990 年进一步解决了塔斯基 1925 年提出的"化圆为方"问题：圆盘可以被分解为有限个子集（数量约 105010^{50} 块），仅通过平移（不需要旋转）就能重新组合成面积相同的正方形。这些块同样是不可测集，构造依赖选择公理。（2017 年 Grabowski–Máthé–Pikhurko 等人甚至证明可以只用勒贝格可测的块来完成——但这是另一个故事了。）

解析

悖论的关键在于：分解产生的子集是不可测集——它们没有定义良好的体积。整个过程并不违反体积守恒，因为"体积"这个概念在分解后就不再适用了。

这里要点破一个最常见的误解："一个球变两个球"听起来像是凭空变出了体积或创造了物质——其实并没有。原球的体积是一个确定的数（43πr3\frac{4}{3}\pi r^3），但你把它拆成的那五块根本没有体积可言（不可测），所以"原体积 = 各块体积之和"这个等式从一开始就无从写起——既然各块没有体积，也就谈不上"把它们拼起来体积翻了倍"。体积守恒律只对可测集才有意义；悖论恰恰是钻了"不可测集没有体积"这个空子。换个比方：这不是无中生有，而是因为你用了一把"无限锋利、能切出没有体积的碎片"的刀——而这种刀只存在于数学里。

具体来说，球面上的点可以按旋转群的代数性质分组。考虑球面上由两个旋转生成的自由群 F2F_2。F2F_2 有一个特殊性质：它可以被分解为自身和两个"移位副本"的不交并（这是自由群的非顺从性的表现）。利用这个性质和选择公理，可以构造出悖论分解。这些子集在三维空间中是如此"病态"——它们在任何区域内都是稠密的——以至于无法赋予它们体积。整个分解只涉及五块——其中一块是单点集（中心点），另外四块是通过自由群构造的不可测集。

如果放弃选择公理，巴拿赫-塔斯基定理可能不成立。索洛维（Solovay）在1970年证明：如果存在不可达基数，那么存在一个ZF的模型，其中每个实数子集都是勒贝格可测的——在这个模型中，选择公理不成立，巴拿赫-塔斯基定理也不成立。值得注意的是，该定理只适用于三维及更高维空间。在二维平面上（如圆盘），不存在类似的分解——这是因为二维旋转群 SO(2)\text{SO}(2) 是阿贝尔群，是顺从的，不包含自由子群。

数学意义

  1. 选择公理的地位：该定理是选择公理最违反直觉的推论之一
  2. 测度论：勒贝格测度无法对所有子集定义
  3. 等距变换群：与旋转群的非顺从性密切相关——SO(3)\text{SO}(3) 包含自由子群
  4. 数学哲学：迫使我们区分"物理的体积"和"数学的测度"
  5. 顺从性理论：推动了顺从群理论的发展——阿贝尔群是顺从的，包含自由子群的群不是

核心概念辨析

  • 可测集 vs 不可测集：可测集有定义良好的体积，不可测集没有。巴拿赫-塔斯基分解产生的子集是不可测的。
  • 有限可加测度 vs 可数可加测度：勒贝格测度是可数可加的，巴拿赫-塔斯基定理表明球面上不存在旋转不变的有限可加测度。
  • 选择公理 vs 决定性公理：决定性公理（AD）与选择公理不一致——在AD下，所有实数集都是可测的。

当代应用

在量子场论中，"重整化"技术涉及将无穷大减去无穷大得到有限值——这与巴拿赫-塔斯基悖论有精神上的相似性：两者都涉及对"体积"或"大小"的非常规操作。在计算机图形学中，三维模型的分解和重组是常见操作。巴拿赫-塔斯基定理提醒我们：并非所有数学上合法的分解在物理上都是可实现的。

在哲学中，该定理被用来讨论物理主义（physicalism）的限制：如果数学允许一个球变成两个球，但物理不允许，那么物理定律是否对数学结构施加了限制？

为什么这很重要

巴拿赫-塔斯基悖论是选择公理最违反直觉的推论之一——它迫使我们重新审视"体积"这个概念的本质。

它的深层意义在于：选择公理这个看似无害的工具，是要付出代价的。正是它允许构造出"不可测集"，而巴拿赫-塔斯基分解正是这种不可测集的极端表现。索洛维1970年的模型则从反面印证了这一点——一旦放弃选择公理，定理就不再成立。这暗示：选择公理未必是"真理"，它只是我们选择接受的一个假设。

关键洞察

巴拿赫-塔斯基悖论最深刻的教训是：数学中的"体积"概念比物理中的更微妙。 在物理世界中，体积守恒是不可违反的定律。在数学世界中，"体积"（勒贝格测度）只能对"足够好"的集合定义——不可测集没有体积。巴拿赫-塔斯基分解产生的子集正是不可测集——它们在任何区域内都是稠密的，无法赋予体积。这个悖论提醒我们：数学允许的分解不一定在物理上可实现。

跨域连接

  • 原子论：把物质当成可以无限细分的连续统，是数学的理想化；真实物质有最小单元，"任意细分"根本无法执行。推论：定理与物理世界并不冲突，它约束的是我们对"体积"这个概念的用法；把它读成"可以复制物质"，是把数学对象误当成了物理对象。
  • 风险与不确定性：概率本身就是一个测度，若允许不可测集，"这个事件的概率是多少"就没有答案。推论：任何要求"每个子集都能赋概率或定价"的框架，必须在可数可加与选择公理之间放弃一个——二者不能兼得；实际做法是只对足够好的集合定义概率，其余留空。
  • 柯尔莫哥洛夫复杂度：分解所用的子集只能被"选出"而无法被写出，任何有限长度的描述都给不出它。推论：不可构造的对象无法被算法生成，因此这条定理在计算世界里同样不可实现——理由与物理世界不同，结论却一致。
  • 知识：公理不是被发现的真理，而是被选定的推理起点；换一套前提（例如要求所有实数集可测），得到的就是另一门数学。推论：追问"选择公理对不对"是问错了问题，该问的是接受它换来什么、放弃什么。
  • 测度论：勒贝格测度只对可测集有定义，可数可加与旋转不变一起排除了"给所有子集赋体积"的可能。推论："原体积等于各块之和"这个等式在这里根本写不出来，所以没有任何守恒律被违反。

常见误区

  • "这在物理上可行"：巴拿赫-塔斯基分解产生的子集是不可测集——它们在任何区域内都是稠密的，无法用物理手段切割。这个定理只适用于数学抽象对象，不适用于物理实体。
  • "选择公理是错的"：选择公理是ZFC集合论的一条公理——它不是"对"或"错"的，而是我们选择接受的假设。选择公理在数学中有广泛应用（如每个向量空间都有基），但它的推论可能超出直觉的边界。
  • "这只在三维空间中成立"：该定理适用于三维及更高维空间。在二维平面上不存在类似的分解——因为二维旋转群 $SO(2)$ 是阿贝尔群，不包含自由子群。

开放问题

巴拿赫-塔斯基定理引发的核心开放问题包括：在ZF（不含选择公理）中，巴拿赫-塔斯基定理是否成立？索洛维证明了如果存在不可达基数，那么存在ZF的模型其中所有实数集都是可测的——但没有不可达基数的假设下情况如何？至于"巴拿赫-塔斯基定理的最小分解数"，则已不是开放问题：罗宾逊（R. M. Robinson, 1947）证明了分解一个实心球至少需要五块，五块即为最小值。

分解的构造细节

巴拿赫-塔斯基分解的构造依赖于球面旋转群 SO(3)\text{SO}(3) 中自由群的存在。具体地，选取两个旋转 ρ1,ρ2\rho_1, \rho_2，使得它们生成的群同构于两个生成元上的自由群 F2F_2。利用 F2F_2 的非顺从性（non-amenability），可以将其分解为四个互不相交的子集 A+,A−,B+,B−A_+, A_-, B_+, B_-，使得 ρ1(A+)=A−\rho_1(A_+) = A_- 且 ρ2(B+)=B−\rho_2(B_+) = B_-。将这些子集沿射线投影到球体内部，就得到了五块分解：四块来自自由群构造，加上中心点。

这个构造的关键步骤是利用选择公理从每个轨道中选取代表元。由于轨道的不可数性，这些子集在任何合理的测度下都是不可测的——它们在球体的每个开子集中都稠密。

物理学的回应

物理学家对巴拿赫-塔斯基悖论的回应是：物理世界不允许这种分解。原因有三：第一，物质由原子组成，不是连续的——你无法将一个原子"切"成不可测的部分。第二，量子力学的不确定性原理限制了位置测量的精度——你无法精确定位不可测集的边界。第三，广义相对论中的能量条件禁止了从"无"中创造质量——一变二违反了能量守恒。

这些物理限制暗示：选择公理可能不适用于物理世界。数学中的公理系统是人为选择的——我们可以选择接受或拒绝选择公理，取决于我们想要什么样的数学。巴拿赫-塔斯基定理的存在提醒我们：数学的"真理"取决于我们选择的公理。

与其他悖论的关系

  • → 豪斯多夫悖论：巴拿赫-塔斯基定理的前身。豪斯多夫在1914年证明球面上的点可以被分解后重新排列——这已经暗示了不可测集的存在。
  • → 维塔利集：维塔利在1905年构造了第一个不可测集——通过从每个有理数等价类中选取一个代表元。巴拿赫-塔斯基分解是维塔利构造在高维的推广。
  • → 连续统假设：连续统假设（CH）与选择公理在ZFC中独立——CH断言不存在基数严格介于可数无穷和连续统之间的集合。巴拿赫-塔斯基定理不依赖于CH，但它与CH共同揭示了无穷集合的奇异性质。

顺从群与非顺从群

巴拿赫-塔斯基分解的代数基础是 SO(3)\text{SO}(3) 包含自由子群——这使它成为非顺从群（non-amenable group）。顺从群的定义：存在一个在群作用下几乎不变的有限可加概率测度。阿贝尔群（如 SO(2)\text{SO}(2)）都是顺从的，因此二维版本的巴拿赫-塔斯基定理不成立。非顺从群在数学的许多领域中出现：自由群、SO(n)\text{SO}(n)（n≥3n \geq 3）、SL(n,Z)\text{SL}(n, \mathbb{Z})（n≥3n \geq 3）等。它们与算子代数、遍历论和几何群论有深刻联系。顺从性是20世纪群论的核心概念之一——它起源于巴拿赫-塔斯基悖论，但其影响远远超出了集合论。

决定性公理与选择公理的冲突

决定性公理（Axiom of Determinacy, AD）与选择公理不一致——AD 断言每一个无穷博弈都是确定的（一方有必胜策略）。在 AD 下，所有实数集都是勒贝格可测的——这意味着巴拿赫-塔斯基定理在 AD 下不成立。

AD 虽然与选择公理冲突，但它在 ZF 中一致（假设存在足够大的大基数）。在描述集合论中，AD 的推论比选择公理更"好"——它消除了许多病态集合的存在。这引发了数学哲学中的一个根本问题：我们应该选择哪个公理系统？选择公理更强大，但允许病态对象；决定性公理更"干净"，但限制了数学的某些构造。

参考文献

  1. Stefan Banach & Alfred Tarski, "Sur la décomposition des ensembles de points" (1924).
  2. Robert Solovay, "A Model of Set-Theory in Which Every Set of Reals is Lebesgue Measurable" (1970).
  3. Grzegorz Tomkowicz & Stan Wagon, The Banach–Tarski Paradox (2nd ed., Cambridge University Press, 2016).
  4. A.K. Dewdney, "A matter fabricator provides matter for thought", Scientific American 260, 116–119 (1989).

巴拿赫-塔斯基定理最深刻的教训之一：数学中的"体积"概念比物理中的更微妙。分解产生的不可测集在任何区域内都是稠密的——它们根本没有体积可言。定理存在，但那些集合在物理世界里无法被切割出来。