最近翻到巴拿赫-塔斯基这个老结论，越想越邪门。讲的是一个实心球，你拿刀切成有限块——不是无穷多，就那么几块——然后光靠旋转和平移，不拉伸也不压缩，居然能重新拼出两个和原来一样大的球。体积凭空翻倍，听着简直像永动机。

可诡异处在于，这套拆法根基在选择公理。切出来的每一块都是测度为零的集合，说白了没有"体积"这回事，像无数没有厚度的点攒成的云。日常里咱们把"体积""质量"当成铁打的属性，可一旦跌进无穷的语境，这些直觉就全塌了。数学没在骗你，它只是把常识的边界清清楚楚划了出来。

选择公理这货简直是数学里的老流氓，凭它你就能凭空多拼出一个球，代价只是那几块碎片你这辈子都摸不着。说真的，这结论最妙的不是"体积翻倍"，而是它把你逼到墙角，让你承认自己那套"体积""大小"的直觉换个语境就彻底不灵了。
无语
不过拿这玩意儿去吹永动机，人家一句"你切给我看看"就能把话噎回去，那几块凑不出测度的东西，物理世界里连刀都下不去。数学上成立归成立，离现实还隔着一整个选择公理的距离。

我头一回读到巴拿赫-塔斯基的时候，也是瞪着书发了半天呆，心想这世上还有这种不讲理的事。不过有一处得跟你较较真——你说切出来的每块都是"测度为零的集合"，这话其实不大准。怎么说呢那些块不是体积为零，是干脆就没法谈体积，标准勒贝格测度压根不给它赋值。测度为零跟不可测是两码事，前者好歹还能说个"零"，后者连零都不配谈。

这区别看着像咬文嚼字，可恰恰是这 paradox 的命门。咱们平时买米称斤两，秤砣一放分量就定了，从没想过"这堆米到底能不能称"。数学冷不丁告诉你：有些东西，连"有多重"这个问法本身都立不住。不是答案难算，是问题在它身上压根不成立。

我年轻时候总想把这事给人讲透，后来才明白，它真正在讲的是选择公理有多能折腾，想通这一层，反而踏实了。

其实切出来的块不是测度为零，而是根本不可测。零测度集也有体积，只是体积为零罢了。

有个地方想补一刀：楼主说"切出来的每一块都是测度为零的集合"，这其实差了一点。如果每个块都是测度为零，那有限块拼起来的总体积还得是零，可原球体积明明是正的，这就自相矛盾了。banach-tarski 那几块真正的身份是 non-measurable set（不可测集）——不是体积为零，而是根本没法给它定义一个体积。这两者的差别很大：一条曲线、一个点，体积是清清楚楚的 0；而 paradox 里的块，你对它问"你的体积是多少"本身就没有答案。所以"体积凭空翻倍"这句直觉也该改一改：不是体积被凭空造出来，而是拆出的中间产物压根不在 Lebesgue 测度的定义域里，守恒律在这里是无从谈起的。

再补一个常被略过的点：这事儿只在三维及以上才成立。平面上拿圆盘做同样的梦做不成，因为平面旋转群里塞不进双生成元的自由群 F₂。banach-tarski 的根其实是 SO(3) 里藏了一个自由群，靠它才能把球"自相似"地分裂。换句话说，奇妙的不全是无穷，更是群的结构。

我觉得楼主最后说"数学只是把常识的边界划了出来"这句很到位。不过倒过来想，选择公理在这儿更像放大器——它在完全符合直觉的有限步切割里，逼出了一个直觉吞不下的结论。更有意思的是，如果你干脆拒绝选择公理、改用决定性公理 AD，banach-tarski 反而整个消失，所有子集都可测。数学没骗你，它只是把选择题摆在你面前：你更舍不得哪个公理。

选公理这根基也太野了 先信一个根本没法动手构造的东西才能玩出翻倍 可你还真挑不出刺

有个地方得较较真：你说切出来的每块都是"测度为零的集合"，其实不准确。那些块是不可测的，压根没法给它们指派一个体积，而不是体积恰好等于零。测度为零的东西（比如一条线、几个点）反而是可测的，只是 Lebesgue 测度算出来正好是0。不可测和测度为零，差得远了。

巴拿赫-塔斯基真正让人头皮发麻的点就在这：原球体积1，拆开之后每块都没法谈体积，可重新拼两下，两组各自又能谈体积了，还都是1。所以"体积凭空翻倍"严格说也不太对——翻倍的不是体积，是那些原本没体积的东西被重新归拢成了有体积的形状。

你拿永动机打比方，我倒觉得得反过来想：真实物理里这事儿干不成。物质到小尺度是离散的原子，有限个原子切不出那种"没厚度却攒得满当当"的云。它是连续统数学的理想化产物，落到有原子的现实，前提就塌了。

quant_bee 前阵子还拿这题考新人来着，说白了就是连续统里玩自由群的悖论分解，跟现实能不能造出来两码事。

帖子里有个小地方想跟楼主掰扯下。你说切出来的每块都是"测度为零的集合"，这个表述其实不够准。

测度为零的集合（比如一条线、一个可数点集）本身是有明确测度的，只是值等于0。巴拿赫-塔斯基那几块正相反——它们根本不可测，勒贝格测度压根定义不上，连"0"这个数都谈不上。把"没有体积"和"测度为零"画等号，这两件事差得远。严格来说

悖论的命门恰恰在"无法分配体积"上，不是因为体积小。真要切成测度为零的块，重组完体积还是零，戏法反而穿帮了。选择公理那部分你说得在理，整副拆法确实立在 AC 之上。

顺带一提，要是换成决定性公理 AD，所有实数子集都可测，这悖论自然就塌了，代价是得放弃一些别的定理。你更站哪一边？

顺手补一个细节：帖子里写切出来的块是"测度为零的集合"，这个标签其实贴错了。测度为零的集合（像二维平面上的一条曲线）依然是可测的，只是测度等于0，而且旋转平移都保测度——几个零测度的块无论怎么拼，都不可能变出正体积的球。

巴拿赫-塔斯基真正靠的是这些块"不可测"（non-measurable），即根本无法被赋予一致的体积。也正因为不可测，测度的可加性彻底失效，"体积翻倍"才不会和任何守恒律打架。不可测性正来自选择公理下的构造，所以你说的根基在选择公理，方向没错。
嗯
"没有体积这回事"这句倒是说到点子上了，只是把"测度为零"改成"不可测"就更站得住脚。

把"有限块"和"凭空翻倍"并排放在一起，总让我想起小时候拼一幅图，死活觉得少一块就永远合不上的那种执拗。

真正让我出神的，其实是你说"体积不是东西自带的，是我们往上面贴的一层膜"。我想顺着补一句：这层膜之所以能贴住，也只因我们恰好住在一个三维往上的世界里。Banach 和 Tarski 的戏法真正偷藏的机关，是三维空间里的旋转群含了一个秩为二的自由群——于是球面上的点，可以被编进一棵"无限分叉的指令树"，每个点都对应一串左转、右转的暗号。可二维平面上，等距变换群是 amenable 的，长不出这样的自由群，于是纸片、圆盘都老老实实，切开来只能是原来的模样。我们的宇宙偏偏是三维，正好卡在"可以作弊"的那道门槛上，想到这里有点发毛。

所以你划的那条"常识的边界"，我觉得比我们以为的要细得多。不是一脚踩进"无穷"常识就碎，而是常识在某一维、某一则公理之下安静地活着，换一道门就整个失灵。那些测度为零的碎块，你说像没有厚度的云——可云说到底也是水汽，你没法断言它"没有体积"，只能说我们还没有一把尺子，量得动它。

有时我觉得数学最温柔也最冷酷的地方正在此处：它不骗你，也不哄你。它只是把"我以为"和"其实"之间的那道缝，一寸寸拉开，然后转身去忙别的了。我们贴在万事万物上的"体积"“质量”“意义”，多半也是这样的尺子吧

楼主这帖子让我想起刚听说这事那会儿，满脑子都是"那我切个西瓜是不是能开自助餐了"，结果被告知那几块碎渣连称都称不出重量，纯属数学家在纸上变戏法。