前两天翻旧资料又撞见这个老梗，巴拿赫和塔斯基（Banach–Tarski）那1924年的结论如今读着还是反直觉。大意是：只要承认选择公理，一个三维实心球就能被切成有限块，只靠平移和旋转（不拉伸、不压缩）重新拼成两个跟原来一样大的球。体积凭空翻了一倍。
玄机全在那几块碎片。它们是用选择公理从球面上"挑"出来的点集，本质上是不可测的，你压根没法给它们定义一个正常的体积。所以"体积守恒"在这儿从一开始就没有立足点。嗯重组之所以能凑出两份，是因为三维旋转群里藏着自由群结构，某些旋转的组合能把碎块像拼图一样挪回自身，从而把整体"复制"出来。
嗯
当然这纯粹是数学里的推演。现实里你切不出那种无穷细、不可测的碎块，所以它跟物理守恒律并不打架。但它实在清楚地点出一件事：当"无穷"和"选择"同时进场，我们那套关于体积和整体的日常直觉，是真的会翻车的。
刚体运动本来是保体积的嘛，可那几块碎片自个儿没体积，"保"字一下就悬空了。BT这悖论邪门就邪门在全是rigid motion，群结构一搅和球就变俩了
当年第一次翻到这个的时候，最让我意外的是偏偏三维才行，二维圆盘做不到。根子就在你提的那个自由群：SO(3)能塞进两个生成元的自由群，平面旋转群是交换的，塞不进去，所以平面上任何保持面积的分割都没法把圆盘变俩。"能复制"其实是跟维数绑死的。
后来还看到一个更狠的后续：干脆放弃选择公理、改信决定性公理，所有实数子集都可测，这悖论直接就消失了。
我年轻时候头回碰见这结论，对着纸发呆了半天。坦白讲后来才咂摸出味儿来：它真正让人发毛的不是体积翻倍，是“选”一下就能弄出没法量体积的东西。
当年第一次刷到这结论我也是一脸懵，一个好好球凭啥能变俩，跟常识完全拧着。笑死后头慢慢看明白，问题就出在"体积"这词上。那几块是用选择公理硬挑出来的不可测点集，根本不配谈体积，所以"凭空翻倍"听着玄乎，其实是前提就被抽掉了。
楼主把自由群那段点出来很到位，三维旋转群藏着能把碎块挪回自身的结构，这才是复制能成立的命门。这波讲得稳。现实里切不出那种无穷碎块，跟物理守恒不冲突，纯数学推演确实漂亮。
碰到这种反直觉的东西，才真让人觉得"无穷"这玩意儿深不可测。
楼主说的"不可测碎片"让我愣了好一会儿。那些用选择公理从球面上挑出来的点，没法赋予体积，却偏偏构成了球本身——我们以为稳固的"整体"，底下竟是一些连度量都无从谈起的碎片。
这让我想起庄子那句"一尺之棰，日取其半，万世不竭"。古人用减法逼近无穷，今人却用选择公理在无穷里凭空多出一份来。当"无穷"与"选择"同时落进视野，我们赖以为凭的常识就像水面上的倒影，风一吹便碎了。话说回来
一个球的体积，究竟是在哪里消失、又在哪里重生的呢。
我年轻的时候第一次看 gauss_58 在这版聊这个，也是对着屏幕发了半天呆。现在想想，它最让我服气的倒不是体积凭空翻倍，而是把"有些东西你根本量不出来"这件事摊开来讲明白了，咱平时默认啥都能称斤论两，那才是错觉。
顺着楼主说的“三维旋转群里藏着自由群”这句往下说，有个容易被带过的细节：这个悖论挑维度。SO(3) 里能塞进秩 2 的自由群 F2，可 SO(2) 是阿贝尔群，压根没有自由子群，所以圆盘在等距变换下复制不出来。Banach 早就证过，R^n 里有界集能悖论分解 iff n ≥ 3。从二维跨到三维，不是平滑过渡，而是自由群结构冒出来的那道坎。
“有限块”具体几块也值得点明：原版结论是 5 块，其中一块可以小到只含一个中心点，真正干活的 non-measurable 碎片是 4 块。所以“切有限下就能变俩”听着抽象，落到数字上就是 5 下，比很多人直觉里“无穷多碎片”的想象要少得多。
关于 AC 我想多说半句。楼主把锅归给“无穷 + 选择一起进场”，大方向没问题，但严格说是 AC 在扛。Solovay 1970 弄出过 ZF+DC 的模型，里头所有实数子集都 Lebesgue 可测，Banach–Tarski 在那个世界里直接消失。所以怪的不是无穷本身，而是你选了哪套公理来定义“集合”和“测度”。从某种角度看，它更像一面镜子，照出我们给体积下定义时那些没说出口的假设。
现实里切不出不可测碎片，这点楼主已经讲透了。就是维度那条和 AC 的必要性，觉得不一起看有点可惜。
读着读着就想起自己头回听说这结论的时候，也是整个人愣住。你最后那段我特别有共鸣，不是数学本身吓人，是它轻轻提醒我们，好多以为天经地义的常识其实都站在某个前提上。体积守恒、整体不可分割，平时好使得不得了，可一旦 infinity 和选择公理一起进场，脚下的地就悄悄松了。
后来跟一个朋友聊起，他半开玩笑说那是不是能凭空多搓一个球出来存钱。其实回过头看，承认自己看不懂、承认直觉会翻车，比硬撑着这不可能要轻松得多。数学给的这份谦逊，比结论本身还让我受用。没事的
对了，二维圆盘好像就不成立？得三维往上才有那种自由群结构。你当时是从哪个角度摸进来的呀
当年第一次撞见这结论我直接傻了，体积说翻倍就翻倍，跟谁讲理呢哈哈
这事儿最容易被略过的一点是维度门槛：B-T只在三维和以上成立。二维圆盘你想靠平移旋转复制出两份，做不到——平面旋转群是交换群，塞不进那个自由群结构，"碎块挪回自身"的机关在2D根本搭不起来。
所以它不是"无穷一来就翻车"的普适定理，而是很挑维度的。也正因为挑维度，物理上别说三维切不出那种碎片，二维这关它连门都摸不着。
我头回知道2D版本压根不成立的时候，反而松了口气，觉得这悖论没想象中那么无所不在。