前两天看版面里有人聊真空、聊穿墙，我换个个更邪门的角度。你们有没有想过，一颗实心的球，不添料不动刀做假，切成有限几块，再拼回两个跟原来一模一样大的球？

这不是魔术，是1924年巴拿赫和塔斯基（Banach–Tarski）正经证出来的定理。切法挺刁钻，整颗球只分5块，其中一块就是中心点，剩下几块靠旋转和平移重新摆弄，就能凑出两个体积完全相等的球。每一步在标准集合论里都合法，听着却像在骗人。

关键它悄悄用了选择公理，造出一类"不可测集合"的碎片。这些碎片根本没有通常意义下的体积，所以你不能拿"质量守恒"去驳它——因为压根没法给它们称质量。现实里我们做不到，物质是离散的原子堆出来的，切到原子层面就卡死了。但在纯数学里，只要肯承认"无限可分"，这套操作就站得住。
严格来说
我每次重读这个证明都感慨，人对"无限"的那点直觉有多不可靠。一个东西明明没多没少，却被"复制"成两份，全靠那些没有体积的怪形状撑着。数学有时候比物理还敢冒犯常识。

切5块就变两个球，我头回撞见这结论时差点把咖啡喷屏幕上。楼主把选择公理那块讲得准，不过真正让我头皮发麻的是另一处：邪门的不在"无限"，而在"维度"——这事儿只在三维以上能成。
太！
你想，它全靠球面上那一堆旋转。三维旋转群里能掏出一个自由群F2，两个生成元互相拧、怎么组合都不撞车，靠这个才能把点集拆成"能被拼两遍"的怪形状。可到了二维，平面旋转群太乖了（abelian的），同样的把戏直接失灵，圆盘你想用刚体运动复制一份门都没有。所以BT不是"无限欺负常识"那么简单，是三维空间刚好给数学留了个洞。nerd42看到这段估计又要来掰扯群论了哈哈。离谱

还有个容易被略过的点：这玩意儿和AC是绑死的。当年就有人拿它当论据说"AC太邪乎了该扔"，结果Solovay证明你真不要AC、假设所有集合都可测，分析学一大半家当得重造。所以现在大家捏着鼻子认了：宁可留着这个反直觉定理，也不愿丢掉整套选择公理下的数学。

物理上实现不了倒不全怪原子离散。那些碎片本身不可构造——切法依赖AC去"选出"每个轨道上的代表点，根本没有算法告诉你刀落哪儿。别说原子尺度，给你无限精密的刀你也切不出。纯数学有时候就这么不讲理地正确，比任何魔术都带劲

我头一回在别处看到这个定理的时候，也是盯着那"5块"看了好久，总觉得哪儿不对劲，眼睛看着每一步都没毛病，心里就是不肯认。楼主说的那种对"无限"的直觉不可靠，真是戳到点上了。

最让我头皮发麻的其实不是"一个变两个"，而是那些碎片根本没有体积这件事。我们平时斤斤计较的"多少"“轻重”，在数学的另一套规矩里可以完全不算数。所以你说的"数学比物理还敢冒犯常识"，我特别赞同，物理好歹还守着原子这层地板，数学连地板都给掀了。

不过它只在纯数学里成立，这点反而让我挺安心的。现实里该守恒的守恒，该是一块的就是一块。抱抱你平时还逛这类反直觉的东西吗，有没有比这个更离谱的？

我头回读巴拿赫-塔斯基的时候也是头皮发麻，心想这帮人是不是在耍赖。说真的，最离谱的不是"切五块变俩球"，是那几块碎片压根没体积——你连它"有多大"都说不清，质量守恒自然就打不中它。

不过楼主你"严格来说"后面那口气我等了半天，结果下一句直接感慨去了。要我说，这定理邪门就邪门在它没违反任何规矩，纯粹把"无限"玩到了常识够不着的地方。现实中原子一卡死就歇菜，数学里却畅通无阻，这反差才够味。

补充一点：帖子说"5块里有一块是中心点"容易让人误会重心在那块上。其实真正干活的是其余4块，每一块都是非可测的稠密集，体积压根没定义，中心点纯属补丁。整件事离开选择公理就塌了。

楼主把中心点和那4块分开说的那句，我想补一处容易被带偏的地方。严格讲，这5块里最不奇怪的就是那个单点——中心点反而是"老实"的那一块。真正反直觉的是另外4块：每一块单独算外测度（outer measure）都跟整颗球一样大，明明只是原球的一个真子集，却"占满"了全部体积。严格来说所谓"复制"靠的从来不是那一个点，而是这几个既无体积、结构又极其破碎、而且根本无法显式写出来的怪形状——它们是否存在全靠 AC 撑着，你拿不出任何一条公式把它们描述出来。

还有个前提帖子没点明：这出戏只在三维及以上能演。二维圆盘拼不出同样的把戏，根子在于自由群 F2 在球面上能自由作用，到了圆周就绕不开不动点。所以"只要承认无限可分"其实还差一步，得是够高维的无限可分才行。

补个细节：关键不在"无限可分"，而在3维旋转群藏着二元自由群，2维圆盘用刚体运动就复制不了。光承认无限可分其实不够。

看这篇挺过瘾。补一点干货：巴拿赫-塔斯基对维数很挑。二维圆盘用刚体运动（旋转加平移）切成有限块、再重拼成两个等大圆盘，是做不到的——同样招数得升到三维才灵。根子在三维旋转群 SO(3) 里能塞进一个两生成元的自由群，轨迹互不相交，二维的旋转群自由度不够，撑不起这种复制。所以光"无限可分"不是充分条件，得是三维空间里的无限可分才成。

你最后说人对无限的直觉靠不住，我倒觉得更扎心的是：那些碎片谁也写不出、画不出，只能靠选择公理担保"存在"。这定理考验的是逻辑，不是物理。

重读这个证明我也常犯迷糊，不过想接着你说的“无限可分”多扯两句。

其实BT能站住，真正的引擎并不是空间“无限可分”。连续统哪怕可分，也不必然出这档子事。关键是Axiom of Choice那次全局的、同时性的选择：它让你从每个轨道里各挑一个点，硬造出一批不可测集合。换句话说，把“无限可分”换成“接受AC”，结论才真正落地。Строго говоря，在Solovay模型里（ZF加依赖选择、但所有实数集都可测的那种设定），BT就彻底塌了。所以我觉得，与其说它冒犯的是“无限”的直觉，不如说是冒犯了“选择”本身。

另一个小补充：那5块不是随便切的，本质依赖SO(3)里能掏出一个自由群F2。没有这个代数结构，光靠几何切法走不到“复制”那一步。嗯你提到的中心点，严格讲是被单独拎出来的例外集，不是什么对称的切法。

补充一点：二维圆盘没法这么复制。平面旋转群里凑不出两个独立生成元，三维才成立。

我年轻那会儿也觉得一加一就得是二，分得越细越实在。后来才明白，越往"无限"里钻越没法拿常理套。你帖里那些没体积的碎片，听着荒唐，倒像提醒人：有些事别太信直觉。