巴拿赫 - 塔斯基"悖论"：一个球可以分解和重新组合成两个大小和原来一样的球。
**巴拿赫-塔斯基定理**（Banach–Tarski paradox，或称**豪斯多夫-巴拿赫-塔斯基定理**，又名"**分球怪论**"），是一条数学定理。1924年，斯特凡·巴拿赫和阿尔弗雷德·塔斯基首次提出这一定理，指出在选择公理成立的情况下，可以将一个三维实心球分成有限（不可测的）部分，然后仅仅通过旋转和平移到其他地方重新组合，就可以组成两个半径和原来相同的完整的球。

巴拿赫和塔斯基提出这一定理原意是想拒绝选择公理，但该证明很自然，因此数学家认为这仅意味着选择公理可以导致少数令人惊讶和反直觉的结果。有些叙述中这条定理被看成是悖论，但是定理本身没有逻辑上不一致的地方，实际上不符合悖论的定义。

正式叙述
----

设*A*和*B*是欧几里得空间的两个子集。如果它们可以分为有限个不相交子集的并集，形如A=\cup \_{{i=1}}^{n}A\_{i}和B=\cup \_{{i=1}}^{n}B\_{i}，且对任意i，子集A\_{i}全等于B\_{i}，那么这两个子集称为**等度分解**的（equidecomposable）。于是，这个悖论可以如下叙述：



|  |
| --- |
| 一个球和它自身的两个拷贝是等度分解的。 |

对球来说，五块就足够做到这点了，但少于五块却不行。这个悖论甚至有个更强的版本：



|  |
| --- |
| 任意两个三维欧几里得空间具有非空内部的子集是等度分解的。 |

换句话说，一块大理石可以分成有限块然后重新组合成一个行星，或者一部电话机可以变形之后藏进水百合花里面。在现实生活中这种变形之所以不可行是因为原子的体积不是无限小，数量不是无限大，但其几何形状确实可以这样变形的。如果知道总是可以存在从一个几何体的内部点一一映射到另一个的方法，也许这个悖论看上去就不那么怪异了。例如两个球可以双射到其自身同样级别的无限子集（例如一个球）。同样我们还可以使一个球映射到一个大点或者小点的球，只要根据半径放大系数即可将一个点映射到另一个。然而，这些变换一般来说不能保积，或者需要将几何体分割成不可数无限块。巴拿赫 - 塔斯基悖论出人意料的地方是仅用有限块进行旋转和平移就能完成变换。

使这个悖论成为可能的是无限的卷绕。技术上，这是不可测的，因此它们不具有"合理的"范围或者平常说的"体积"。用小刀等物理方法是无法完成这种分割的，因为它们只能分割出可测集合。这个纯粹存在性的数学定理指出在多数人熟悉的可测集合之外，还有更多更多的不可测集合。

对于三维以上的情形这个悖论依然成立。但对于欧几里得平面它不成立。（以上叙述不适用于三维空间的二维子集，因为这个子集可能具有空的内部。）同时，也有一些悖论性的分解组合在平面上成立：一个圆盘可以分割成有限块并重新拼成一个面积相同的实心正方形。参见塔斯基分割圓問題。

这个悖论表明如果等度分解的子集被认为具有相同体积的话，就无法对欧几里得空间的有界子集定义什么叫做"体积"。

证明是基于费利克斯·豪斯多夫早些时候的工作。他10年前发现一个类似的悖论，事实上，巴拿赫 - 塔斯基悖论正是豪斯多夫所用技术的一个推广应用。

逻辑学家常常对逻辑上不一致的命题使用"悖论"一词，例如说谎者悖论或者罗素悖论。巴拿赫 - 塔斯基悖论并非这种意义上的悖论，它是一个已证明的定理，只因为违反直觉才被称为悖论。由于其证明明确地用到选择公理，这种反常的结论被用作反对使用该公理的理据。

馮紐曼研究這個悖論時，創出了可均群的概念。他發現三維以上情形之所以產生悖論，和這些空間的旋轉群的非可均性有關。

证明概要
----

基本上，寻找这个分球的奇怪方法可以分为4个步骤：

1. 找到把一个具有两个生成元的自由群进行分割的特殊方法
2. 找到一个3维空间中同构于这两个生成元的旋转群
3. 利用这个群的特殊分割方法和选择公理对单位球面进行分解
4. 把这个单位球面的分解推广到实心球

每个步骤的详情如下：

**第一步**，具有两个生成元*a*和*b*的自由群由所有含有*a*、*b*、*a*-1和*b*-1这些符号的有限字符串组成，其中没有*a*紧挨着*a*-1或者*b*紧挨着*b*-1这种现象。两个这样的字符串可以连接在一起，只要将紧挨着的*a*和*a*-1抵销掉（对b一样）。例如*abab*-1*a*-1连接到*abab*-1*a*得到*abab*-1*a*-1*abab*-1*a*，并可化简为*abaab*-1*a*。我们可以验证这些字符串在这个操作下构成一个群，其单位元是空串e。我们称这个群为F\_{2}。

凱萊圖中*F*2的子集*S*(*a*-1)和*aS*(*a*-1)
群F\_{2}可被进行如下特殊分割：令*S*(*a*)为所有以*a*开头的字符串，同理定义*S*(*a*-1)、*S*(*b*)和*S*(*b*-1)。很明显

F\_{2}={e}\cup S(a)\cup S(a^{{-1}})\cup S(b)\cup S(b^{{-1}})
并且

F\_{2}=aS(a^{{-1}})\cup S(a)，同时
F\_{2}=bS(b^{{-1}})\cup S(b)。
（*a**S*(*a*-1)表示从*S*(*a*-1)取出所有字符串，并在左边连接上一个*a*，之后所得的所有字符串）证明的关键就在这里了。简而言之，现在我们已经将F\_{2}这个群分成了四块（e忽略也没有问题），然后通过乘上一个*a*或者*b*来"旋轉"它们，其中两个"重新组合"成F\_{2}，另外两个重新组合成另一个F\_{2}。这样的事情，放在球体上就是我们想要证明的东西了。

**第二步**，为了寻找三维空间旋转群类似于F\_{2}那样的行为，我们取两条坐标轴并设*A*是繞第一条轴旋转arccos(1/3)弧度而*B*是繞另一条轴旋转arccos(1/3)弧度。（这一步骤可在二维上完成。）有些琐碎但不太难的是证明这两种旋转的行为正如F\_{2}中*a*和*b*两个元素的行为一样，这里就略去。由*A*和*B*所生成的这个旋转群命名为**H**。当然，我们可以按照第一步所述方法对**H**进行分割。

**第三步**，单位球面*S*2可被群**H**中的操作分成一些轨道：两个点属于同一个轨道当且仅当**H**中某个旋转将第一个点移到第二个。我们可以利用选择公理在每个轨道中选出来一个点。将这些点合起来组成集合*M*。现在*S*2中(几乎)所有点都可以通过**H**中合适的元素相应的转动移到*M*中。因此，**H**的分割也就可以应用到*S*2上面去。

**第四步**，最后，将每个*S*2的点连到原点，对*S*2的分割便可以应用到实心单位球上去。（球心处会有些特殊，但这个简要证明中忽略它。）

**总结**，这个简要证明到此结束。**H**中有些旋转会刚好对应于刚好一些特殊的轴线，这时需要加以特殊处理。但一方面，这些情况的总数是可数的因此没有影响，另一方面，即使相关的这些点也是可以加以修正以符合定理的。对球心点这个特殊点以上同样适用。

延伸阅读
----

* "Sur la décomposition des ensembles de points en parties respectivement congruentes", 数学基础, **6**, (1924), 244-277, 巴拿赫和塔斯基的原始论文（法文）。
* 莱曼的巴拿赫 - 塔斯基悖论指南 （页面存档备份，存于） (来自 Kuro5hin)
* Francis E. Su, "巴拿赫 - 塔斯基悖论" （页面存档备份，存于）
* S. Wagon, *巴拿赫·塔斯基悖论*, 剑桥大学出版社, 1986.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
数理逻辑 |
| --- |
|  |
| 基本概念 | 
* 公理
	+ 列表
* 势
* 一阶逻辑
* 形式证法（英语：）
* 邏輯語義學
* 数学基础
* 信息论
* 蕴涵
* 结构
* 集合
* 定理
* 形式理论
* 类型论

 |
|  |
| 定理（列表（英语：）及悖论（英语：）） | 
* 哥德尔完备性定理及哥德尔不完备定理
* 塔斯基不可定義定理
* 巴拿赫-塔斯基定理
* 康托尔 定理、悖论和對角論證法
* 紧致性定理
* 停机问题
* 林德斯特伦定理（英语：）
* 勒文海姆–斯科伦定理
* 罗素悖论

 |
|  |
| 逻辑 | 

|  |  |
| --- | --- |
| 传统逻辑 | 
* 邏輯真理
* 恆真式
* 命题
* 推理
* 逻辑等价
* 一致性
	+ 相同一致性（英语：）
* 逻辑论证
* 可靠性定理
* 有效性
* 直言三段论
* 对立四边形
* 文氏图

 |
|  |
| 命题逻辑 | 
* 逻辑代数
* 布尔函数
* 逻辑运算符
* 命题逻辑
* 命题公式
* 真值表
* 多值逻辑
	+ 三值
	+ 有限值（英语：）
	+ 无限值（英语：）

 |
|  |
| 经典逻辑 | 
* 经典逻辑
* 一阶逻辑
* 二階邏輯
	+ 一元（英语：）
* 高阶逻辑
* 自由逻辑
* 量化
* 谓词（英语：）
* 一元谓词演算

 |

 |
|  |
| 集合论 | 

|  |
| --- |
| 
* 集合
	+ 遗传集（英语：）
* 类
* （基本）元素
* 有序对
* 序数
* 子集
* 相等
* 外延性
* 力迫
* 关系
	+ 等价关系
	+ 集合划分
* 集合运算
	+ 交集
	+ 并集
	+ 补集
	+ 笛卡儿积
	+ 冪集
	+ 同一性（英语：）

 |
|  |
| 集合种类 | 
* 可數集
* 不可數集
* 空集
* 居集（英语：）
* 单元素集合
* 有限集合
* 无限集合
* 传递集合
* 超滤子（英语：）
* 递归集合
* 模糊集
* 全集
	+ 可构造全集（英语：）
	+ 格伦迪克全集（英语：）
	+ 冯·诺伊曼全集

 |
|  |
| 映射与势 | 
* 函数、映射
	+ 定义域
	+ 到达域
	+ 像
* 单射、满射、双射
* 康托尔-伯恩斯坦-施罗德定理
* 同构
* 哥德尔数
* 列举法
* 大基数
	+ 不可達基數
* 阿列夫數
* 运算
	+ 二元运算

 |
|  |
| 集合理论 | 
* 策梅洛-弗兰克尔 (ZFC)
	+ 选择公理
	+ 连续统假设
* 广义集合论 (GST)（英语：）
* 克里普克-普拉克 (KP)（英语：）
* 莫尔斯-凯利集合论 (MK)（英语：）
* 朴素集合论
* 新基础集合论
* 塔斯基-格罗滕迪克 (TG)（英语：）
* 冯·诺伊曼-博内斯-哥德尔 (NBG)
* 建构式集合论（英语：）

 |

 |
|  |
| 句法（英语：）及语言 | 

|  |
| --- |
| 
* 字母表
* 元数
* 自動機理論
* 公理模式
* 表達式
	+ 基础表达式（英语：）
* 扩展（英语：）
* 关系
* 形式
	+ 文法
	+ 语言
	+ 证明
	+ 系统
	+ 理论
* 形成规则（英语：）
* 合式公式
	+ 原子公式
	+ 封闭式
	+ 基本式（英语：）
	+ 开放式
* 自由变量和约束变量
* 元語言
* 逻辑运算符
	+ ¬
	+ ∨
	+ ∧
	+ →
	+ ↔
	+ 逻辑相等（英语：）
* 谓词（英语：）
	+ 泛函谓词
	+ 谓词变量
	+ 命题变量
* 量化
	+ ∃
	+ !
	+ ∀
	+ 级别（英语：）
* 句子
	+ 原子句子
* 逻辑签名（英语：）
* 字符串
* 替换法（英语：）
* 逻辑符号
	+ 函数符号
	+ 逻辑常量（英语：）
	+ 非逻辑符号（英语：）
	+ 變數
* 逻辑术语（英语：）

 |
|  |
| 公理系统示例（列表（英语：）） | 
* 实算术（英语：）
	+ 皮亚诺公理
	+ 二阶（英语：）
	+ 初等函数（英语：）
	+ 原始递归（英语：）
	+ 罗宾逊算术（英语：）
	+ 斯科勒姆算术（英语：）
* 實數的構造
	+ 塔尔斯基公理化（英语：）
* 布尔代数
	+ 正则定义（英语：）
	+ 最小公理（英语：）
* 几何（英语：）
	+ 欧几里得几何
	+ 《原本》
	+ 希尔伯特公理
	+ 非欧几里得几何
	+ 塔尔斯基公理（英语：）
* 《数学原理》

 |

 |
|  |
| 证明论 | 
* 形式证明
* 自然演绎
* 蕴涵
* 推理规则
* 相继式演算
* 定理
* 系统
	+ 形式
	+ 公理
	+ 演绎
	+ 希尔伯特演绎系统
		- 列表（英语：）
* 完备理论（英语：）
* ZFC系统的独立性（英语：）
	+ 列表
* 不可能证明（英语：）
* 序数分析（英语：）
* 逆数学
* 自恰理论（英语：）

 |
|  |
| 模型论 | 
* 解释
* 结构
	+ 初等等价
	+ 有限模型（英语：）
	+ 飽和模型
	+ 子结构
* 非标准模型
	+ 算术（英语：）
* 结构图（英语：）
	+ 基本图（英语：）
* 分类理论（英语：）
* 完备模型论（英语：）
* 可满足性（英语：）
* 邏輯語義學
* 强度（英语：）
* 真理
	+ 语义理论
	+ 塔尔斯基
	+ 克里普克
* T-模式
* 转移原则（英语：）
* 真理谓词（英语：）
* 真值
* 型
* 超積
* 有效性

 |
|  |
| 可计算性理论 | 
* 邱奇数
* 邱奇-图灵论题
* 递归可枚举集合
* 可计算函数
* 递归集合
* 決定性問題
	+ 可决定性（英语：）
	+ 不可决定性
	+ P
	+ NP
	+ P/NP问题
* 柯氏复杂性
* Λ演算
* 原始递归函数
* 递归
* 递归集合
* 图灵机
* 类型论

 |
|  |
| 其他相关 | 
* 抽象逻辑（英语：）
* 范畴论
* 具象范畴、抽象范畴
* 集合范畴
* 逻辑史
* 数理逻辑
	+ 历史年表（英语：）
* 邏輯主義
* 数学对象
* 数学哲学
* 超任务（英语：）

 |
|  |
|  **数学主题** |

 |

|  |  |  |
| --- | --- | --- |
| 

|  |  |
| --- | --- |
| 规范控制 編輯維基數據鏈接 | 
* BNF: cb12285988c (data)
* FAST: 826394
* GND: 4143975-2
* J9U: 987007282589105171
* LCCN: sh85011446
* SUDOC: 031692982

 |

 |