当体积不再守恒：一个实心球竟能被拆解、重组为两个完全相同的球——这不是魔术，而是选择公理下的数学现实。
核心结论：在三维及以上欧几里得空间中，一个实心球可被划分为有限个互不相交的子集，经仅含旋转和平移的刚体运动重组后，能拼成两个与原球全等的球体。
它挑战了我们对“体积”“空间”“守恒”的直觉理解，是20世纪数学基础理论中最具颠覆性的成果之一。
想象你有一个苹果，用刀把它切成5块（实际证明需5块，但直观理解常简化为3–4块），然后仅通过旋转和平移（不拉伸、不压缩），就能拼出两个大小与原苹果完全相同的苹果。
这不是物理实验，而是纯数学构造——因为那些“碎片”并非我们日常理解的物理实体，而是高度非规则的点集，其边界无处不在、体积无法定义。
⚠️ 无法在现实世界中实现——因为物质由原子构成，无法无限分割；且不可测集在物理中无对应。
它并非逻辑矛盾，而是与日常经验冲突的反直觉定理。它暴露了“体积”概念在公理化集合论中的脆弱性——当放弃可测性假设，体积守恒便不再普适。
正如数学家Gerald Whitham所言：“这不是数学错了，而是我们的直觉太狭隘。”
设 $A$ 和 $B$ 是三维欧几里得空间中两个有非空内部的有界子集，则存在有限个互不相交的子集 $S_1, S_2, dots, S_n$，使得 $A = bigcup_{i=1}^n S_i$，且存在等距变换 $T_1, dots, T_n$（仅旋转和平移），使得 $B = bigcup_{i=1}^n T_i(S_i)$。
特别地，当 $B$ 是 $A$ 的两个不相交拷贝时，即得“加倍”结论。
从直观类比到数学构造：理解“无中生有”的逻辑链条
假设你有一团橡皮泥（理想球体），但它的质地极其特殊：
通过选择公理，将 $N$ 划分为不可测子集 $N_1, N_2$，再结合 $S^2$ 和 $D$ 的旋转操作，可构造出两个球体所需的所有“碎片”。虽然无法画出这些碎片，但其存在性已被严格证明。
固定球面上一个稠密可数子集 $D = {p_1, p_2, p_3, dots}$
定义旋转 $R_theta$ 绕通过球心的轴旋转角度 $theta$，其中 $theta$ 为有理数倍 $2pi$
构造四个旋转子群 $A, B, C, D$，它们在球面上生成稠密轨道
划分球面：$S^2 = {O} cup D cup (S^2 setminus D)$（$O$ 为极点）
最终子集：
S₁ = A ∪ {O}
S₂ = B
S₃ = C
S₄ = D ∪ {p₁}
S₅ = S² (S₁∪S₂∪S₃∪S₄)通过旋转 $R_{2pi/3}$ 和 $R_pi$，可将 $S_1 ∪ S_2$ 与 $S_3 ∪ S_4 ∪ S_5$ 分别拼成两个完整球面，再结合内部点集完成三维加倍。
勒贝格测度在 $mathbb{R}^3$ 上是完备的，但不可测集的存在性由选择公理保证（如Vitali集的三维推广）。
设 $G$ 为三维空间中所有旋转和平移构成的群，若 $G$ 包含一个自由子群 $F_2$（两个生成元的自由群），则可通过Baire范畴论证构造出不可测分解。
关键公式：
$$mu(A) = mu(S_1) + cdots + mu(S_n)$$
但若所有 $mu(S_i)$ 无定义，则 $mu(A)$ 无意义——因此体积守恒的前提（可测性）被破坏。
在平面 $mathbb{R}^2$ 中，旋转群 $SO(2)$ 是阿贝尔群（交换的），不包含自由子群 $F_2$。而 $F_2$ 是构造悖论的必要条件（Tarski证明）。因此二维下无法实现加倍，仅三维及以上可行。
从公理危机到定理确立：百年数学基础的演进之路
定理英文名“Banach-Tarski”中，B来自 Stefan Banach（波兰数学家，泛函分析奠基人），T来自 Alfred Tarski（波兰-美国逻辑学家，模型论巨匠）。中文常误译为“巴拿赫-塔斯基”，实应为“巴拿赫-塔斯基”——但“巴拿赫”已成约定俗成译法。
关于巴拿赫-塔斯基定理，你最关心的10个问题
绝对不能。原因有三：
该定理是纯数学构造，与物理世界无关，仅说明数学模型的内部一致性。
这是数学哲学的核心争议。选择公理独立于Zermelo-Fraenkel公理系统（ZF），即ZF+AC（ZFC）与ZF均自洽。
支持者认为：它是证明许多重要定理（如Hahn-Banach定理、Tychonoff定理）的必要工具。
反对者（如Brouwer）主张：应只承认构造性证明。
多数数学家接受ZFC，因此接受该定理；但也有学派（如构造主义）拒绝它。
最少需 5块。von Neumann证明：若子集数 ≤4，则悖论不可能发生。1990年，Selfridge改进为：5块是最小可能。
有趣的是，若允许使用“平移+旋转+反射”，则4块即可（但反射不被视为刚体运动）。
无直接关系。但两者都揭示了“直觉失效”的领域：
共同点：都推动我们反思“现实”的定义边界。
不违背。因为：
类比：将1元纸币撕成碎片再拼成两张1元纸币——若碎片是“不可测货币”，则数学允许，但现实中不可能。
是的！在 $n geq 3$ 维空间中均成立，且：
但核心机制不变：依赖自由子群 $F_2$ 的存在性。
表面无关，但深层相似：
两者都挑战“光滑”“可度量”的传统观念，体现现代数学对“病态对象”的接纳。
无法完全模拟（因涉及无限精度），但可近似：
推荐：Wolfram Demonstrations Project有交互演示。
深远影响包括：
因它属于高级集合论与泛函分析内容，通常在研究生阶段涉及。本科微积分/线性代数课程强调“体积守恒”，而该定理揭示了其前提条件的脆弱性，故常作为“数学之美”的拓展案例。
著名数学家Gowers称其为“数学的童话”——虽不实用，但彰显人类理性的深度。