前阵子翻集合论，又撞见 Banach-Tarski 悖论，每次看都觉得离谱里带点好笑。严格来说说白了就是：一个实心球，按某种切法分成有限块（最少五块），重新拼一拼，能变出两个跟原来一模一样大的球。听着像凭空多了一倍体积，其实问题不在刀，在"体积"这个词本身。
它成立靠的是选择公理。借这个公理能造出一些古怪的集合，那些碎片压根没有通常意义下的体积。咱们平时默认体积可加，“这两块拼起来占多少就是多少”，可那些碎片偏偏不在这套账里。不是球被偷偷放大了，是拿来量的尺子在那儿失效。
有人怕它动了质量守恒，其实不用慌。现实里的物质是离散的原子，切到分子原子层面就切不动了，数学里那种"没有体积"的碎片物理上根本切不出来。它更像是对"无限"和"测量"的一次诚实提醒：数学里允许的操作，物理世界并不认账。
我每次翻到这个也忍不住乐，尤其"最少五块"那句，听着特别像在讲什么厨房切菜窍门。你那句"尺子在那儿失效"我太认同了，这悖论最迷人的地方，就是它逼着人承认：我们以为天经地义的测量，换个前提就彻底不作数。
不过我有个小小的不同想法，其实真不用替质量守恒操心，你后面也说了，物理上根本切不出那种"没体积"的碎片。我倒觉得它更像在提醒，数学的"允许"和世界的"可行"之间本来就有道缝，承认这道缝反而让人安心。你最近是重读哪本集合论的书呀？
关于"那些碎片压根没有通常意义下的体积"这句，想稍微较下真。严格说它们是 non-measurable——不是体积为零，而是 Lebesgue 测度根本没法定义到这些集合上。换句话说，它们既不占"正"的体积，也不是零，而是连"能不能谈体积"这件事本身都失效了，这恰恰是选择公理够强的地方。
我印象里最反直觉的其实是重拼只用了旋转和平移，没有任何缩放。同样的料换个朝向就变两倍。其实你最后说物理上不用慌，这点我完全认同，原子层面切不出这种集合。
看这种帖子总觉得自己脑子也被切了五块，拼回去还少一块，哈哈
前两年我也被这个迷惑过，后来翻了翻才搞清楚一个细节：那“五块”里有一块其实就一个球心那么点，等于是四个碎块加一个单点。更微妙的是这些碎片本身不可构造，你没法指着说刀具体落在哪，因为它们是靠选择公理硬挑出来的“没有体积”的点集。楼主说尺子在那儿失效，我倒觉得是这把刀压根没法在现实里拿起来，你说呢？
分身术实锤了哈哈。我当年头回翻到这玩意儿也是一脸wtf，数学家的刀法不讲武德。
Banach-Tarski 最让我放不下的，其实不是球凭空翻倍这件事，而是它把选择公理从幕后拽到了台前。你那句"拿来量的尺子在那儿失效"说得很准——可我想顺着补一句：这把失效的尺子，不是普通的尺子，正是 AC 本身。我们默认"体积可加"的时候，背后悄悄站着的也是它。
换个公理体系，整件事就塌了。比如走决定性公理 AD 那条路，假设实数每个子集都可测，Banach-Tarski 根本不会发生。所以它既不是"球"的错，也不是"无限"的错，纯粹是 AC 带来的副产品，把"哪些集合能谈体积"的边界给模糊了。
还有个容易略过去的点：那五块"碎片"压根不是我们脑子里有边界的实心块，而是靠旋转和平移，把一堆散点重新归置出来的点集。"重新拼一拼"这五个字，干的活儿比看上去重得多。而且 AC 给的只是存在性，不是配方——那五块具体长什么样，你永远写不出来。
你后来翻到 Hausdorff 那个更早的版本没？他用圆周做的分解我觉得比球省脑子，拿去跟人解释"非可加"特别顺手，下次聊这个我大概率会先掏那个出来。
补充个细节：这戏法只在三维以上才成立。二维圆盘不管怎么用有限块拼都变不出两个，差别就在三维旋转群里能塞进一个自由群。
想起前阵子也翻到这个，补个小细节：常说的"最少五块"里有一块其实是单个点（measure zero），真正有形状的碎片是四块，所以更准确的说法是"四块加一个点"。物理上切不出来这点你讲得清楚，原子尺度下那套轨道构造现实里根本做不出。
你这帖把 B-T 讲得挺清楚，尤其"尺子失效"那个比方我挺认同。不过"物质是离散原子、切到分子就停"这个保底解释，我总觉得把问题挪了个位置。
真正让物理世界不认账的，不是刀不够细，而是那几块碎片在数学上压根是非可测集——靠选择公理才存在，连"哪些点归哪一块"都明确指不出来，属于构造不出来的东西。换句话说，即便物质连续、能无限切下去，你也切不出这种块，因为它本身就没法被描述，谈不上拿去拼。
你最后说这是"对无限和测量的一次诚实提醒"，我同意这个说法，只是这提醒落在数学构造本身，而非物质的粗细。
我前阵子也翻到过这个，顺着楼主的话补一点：同样的分法搁在二维平面上就不灵了。嗯一张实心圆盘，不论怎么切成有限块，都拼不出两个一模一样的来。根由在三维旋转群能容下一组彼此独立的转动，二维旋转群没这余地，所以球会"分身"，和它占着三维空间这件事脱不开干系。
头一回听见这定理，还是念书的时候，对着课本发了半天呆，只觉得数学家都在变戏法。后来隔几年翻一回，倒越来越喜欢它了，不是因为离谱，是因为它诚实。仔细想想
有一说一
你说拿来量的尺子在那儿失效，这句话我顶受用。我们太习惯用一套账去记世界，体积可加，一分一厘都算得清。可数学偏把灯举到墙角，照出一片尺子够不着的暗处。它不吓人，只是提醒你，无限比我们懂事，也比我们野。
想起有人讲过，不是世界不可知，是我们借来的光太短。这定理像是数学写给自己的一封坦白信。
至于守恒的那点担心，我倒舍不得它消失。人总得怕着点什么，才肯对着未知收一收傲慢。
顺着楼主那句"量体积的尺子失效"，补一个更准的说法：那些碎片在 Lebesgue 测度下是根本不可测，不是体积为零，所以严格讲谈不上"可加"还是"不可加"。还有个常被科普文漏掉的点——这戏法只在三维以上成立，二维圆盘分不了身，根因是三维旋转群里能藏一个两生成元的自由群，而平面旋转群没有。il paradosso resta affascinante, comunque.