前几天又翻到巴拿赫-塔斯基悖论，越琢磨越觉得人的直觉不靠谱。结论特别反常识：只要承认选择公理，一个普普通通的三维实心球，能拆成有限块——具体是5块——再原模原样拼回去，居然得到两颗和原来一样大的球。

嗯刚看到谁都会犯嘀咕：质量凭空多了一倍？问题恰恰卡在"体积"二字上。那几块被构造出来的形状属于"不可测集合"，根本没法赋予一个有意义的体积。既然每块都没体积，"两份加起来是原来两倍"这句话在数学上压根不成立，自然也就谈不上违背守恒律。

从某种角度看，这更像是对选择公理的一记提醒：一个看着人畜无害的公理，扔进无限集合里，能捞出完全反直觉的结构。当然它只活在抽象中。现实物质是离散的，原子就那么些，无限细的切割做不出来，物理上永远拼不出第二颗。

数学就是这么任性。有没有人也纠结过那5块到底长啥样 (¬_¬)

你最后那句"选择公理的一记提醒"，mi piace，我读了挺舒服的。我头回撞见这悖论是二十出头，当时卡在"质量翻倍"上跟自己较劲了半宿，第二天才反应过来——症结不在倍增，在"体积"那词儿对那些块压根失效了。

我年轻的时候也总想把这5块画出来。后来一个教数学的朋友跟我说，别费劲，它们不可测不是因为形状刁钻，是因为根本不"连"——像把球上每一点按某个法则拆散，再重新归拢成两堆。你拿几何的眼睛去逮，它反而散了。

别急（掐了烟）说到底这东西妙就妙在只活在数学里。现实原子就那些，切不到无穷细，第二颗永远拼不出。抽象许可的事，现实一概不认账，这反差倒比悖论本身更有意思。

那5块长啥样？答案可能比你想的扫兴：它们根本没有能画出来的形状。

那5块里没有一块是实心切块。严格说其中一块就是单独一个点，剩下四堆才是真正"有内容"的部分。简单说它们都是不可测集合，按旋转群作用下的轨道，把球里的点一股脑儿撒成几堆"点尘"。每一堆单独看都是稀稀拉拉、到处扎针似的点集，连不成一小块连续体。你说的"原模原样拼回去"，拼的动作只是把这几堆点尘靠旋转和平移挪个位置，谁也没拉伸、谁也没复制，纯粹重新排列。既然每堆本身没体积，"两份加起来翻倍"从根上就不成立，和你说的一致。

补一个常被略过的点：这事儿只在三维及以上才玩得转。二维的盘子拼不出两颗一样的，因为平面里的等距变换群太"乖"，塞不进一个自由群；而三维旋转群里能找出两个旋转，它们生成的子群是自由群，悖论全靠这个结构撑着。所以不是"球"特殊，是"三维空间里的旋转"特殊。

现实里这块我跟你看法一样：切割有下界，原子就那些，点尘这种集合物理上造不出来，守恒律稳稳的。
其实
不过我倒觉得这悖论最迷人的不在反常识，而在它逼你承认：选择公理这把钥匙，开了门之后屋里的内容你根本控制不住。

关于那5块到底“长啥样”，我第一次琢磨这个也卡了挺久。其实它们根本没有可描述的几何形状——构造是取球面上点的轨道，按自由群F2的群作用来划分，再用 Auswahlaxiom（选择公理）从每条轨道里挑一个代表元。最后得到的那几块是高度病态的点集，画不出边界，也没法说它“长什么样”。

想补一个小地方：你说“每块都没体积”…，更严谨的说法是它们不可测——不是体积为零，而是压根没法赋予一个体积值。“没体积”容易被读成体积=0，那意思就偏了。

我到现在也没在现实里见过谁第一眼就真正想通这事的，包括好些年前的我自己。

那5块到底长啥样，我当年也在这卡了好久。后来翻了点资料才搞明白，最赖的就是其中一块——它是靠选择公理，从一大堆"轨道"里每个随便挑一个点硬凑出来的，长得完全没法形容，谁也画不出轮廓。剩下几块好歹还跟球面旋转、分拆沾点边，唯独这一块纯靠"选"出来，是个没法具体化的幽灵。

你那句"只活在抽象中"真是点到了要害，恰恰就是这块说不清的东西撑起了整个反常识。现实里切不出也拼不出，反倒让人踏实。你后来顺着往自由群那块看过没？

你末尾问那5块到底长啥样，这问题恰好点中要害。它们没法描述形状——构造靠的是选择公理作非构造性存在证明，数学只担保"有"，不给出显式切割方案。正因其不可测、不可显式刻画，反直觉感才这么强。

补个精确细节："5块"严格说含5个子集，其一为球心单点集，余下4块经旋转平移拼成两球。故真正非平凡的实乃4块。其余关于体积与守恒的辨析，讲得通透。

我年轻的时候也跟人争过这种事，总觉得想不通就是错的。后来才懂，有些东西本来就不是给人眼看的。那5块长啥样，怕是想破脑袋也想不出个形状。

我一直卡在另一件事上：那5块到底算不算真"能拼"的料。
不是
严格说，这几块里大多数根本不是什么拿得出手的形状。构造思路是绕两条夹角取无理数的轴做旋转，在球面上生成出一个自由群，再把每个点按它在群里的"轨道"归类分成几堆。结果每一堆都是密密麻麻撒满整个球壳的点云，边界碎到没法描述，跟咱们直觉里切一刀那种实体块完全两码事。所谓"拼回去"，不是把一块实体挪个位置，而是把整团点云整体旋转一下就严丝合缝了——这操作能成立，全靠旋转群SO(3)里硬塞得进一个二元自由群，数学上叫"非顺从性"。

想补一句：楼主说选择公理"人畜无害"我觉得稍微轻了点。Banach当年就证明二维圆盘没事（平面旋转群是顺从的），偏偏到三维一下子炸了。所以这事儿不是选择公理单方面的锅，是它跟三维旋转群的非顺从性撞一块儿才出事。真要禁掉选择公理，索洛韦模型里所有实数子集都可测，悖论直接消失，代价是你得放弃另一些看着很自然的性质。到底怪谁，挺难分的。

那5块长啥样我是真没在脑子里构出来过，每次以为懂了转头又糊了(￣▽￣)你当时是怎么撑过那几页证明的~

那个5块里其实藏着个小细节，当年我也在这绊了一下：5块之中有一块就单独一个球心那么点，真正"非平凡"的形状是4块。把球心剔掉之后，剩下的能拼成两个各自缺了中心的球，再把那个点补回去就齐了。
简单说
"不可测"这点比"切不到那么细"还要根本——这些集合不是细到物理极限拼不出，是压根没法赋予任何合理的体积定义。哪怕有个能无限操作的超自然存在，它面对的也不是"切得太碎"的东西，而是数学上就不存在体积的那类集合。

那5块具体长啥样，可以看成由自由群两个生成元作用切出来的轨道碎片，脑子能转、笔底下画不出 (；´Д`)

盯着"那5块到底长啥样"这一问，我愣了挺久。其实最让人心里发空的地方，恰恰就是——它们根本长不出一张脸来给你看。
仔细想想
表面上是把球切了五块，可那五块不是西瓜瓣那样的实体。构造时借选择公理从每个轨道里挑一个代表点，再靠这些点攒出集合。它证明的是"有这样五块存在"，却从头到尾没给过一张图样。我们能数得清：一、二、三、四、五；可你永远没法把其中任意一块捧到灯下说"喏，就是这副模样"。这五块是逻辑里生出来的幽灵，有名字，没身形。

所以楼主说的"只活在抽象中"，我倒想补一层：它不只活在不被物理实现的抽象里，更活在"不能被看见"的抽象里。数学从康托尔往后，早就习惯了"证明确实存在、却谁也没真造出来"这种事。Banach-Tarski 的刺人之处，是让这份习惯突然翻了脸——你明知道结论站得住，眼睛却怎么也跟不上。

前阵子跟 prof 闲聊，他提过一句：这机括其实不在球上。旋转群里藏着个两生成元的自由群，而自由群天生就能"自相矛盾地"分解自己。Hausdorff 早先在球面上就玩过一遭，用的块数还更少。换句话说，"球"差不多是个外壳，里面跑的是群论的机关。那"5"也不是什么天定的数，只是实心球情形下的一个极小值罢了。
其实
想通这点，反而比悖论本身更叫我出神。我们总以为数学在替世界画像，可有些定理画的，是连数学自己都照不出的影子。

你那句"长啥样"问得真好。我猜答案大概是：它们不打算被谁看见。

那5块究竟长什么样，我也总忍不住跟着想。它们大约只栖在想象的月光里，现实里原子离散，连一道无限薄的缝都切不出来。