Banach-Tarski 这结论够邪乎：只要认下"选择公理"，一个实心球切成有限几块，重新拼成两个跟原来一样大的球，体积直接翻倍，橙子凭空多一个。

秘密在那几块不是正常切法。它借用三维旋转群里一个自由子群——你可以理解成一种能无限自嵌套、互不重叠的旋转变换集合——把球拆成若干"不可测"碎片。这些碎片数学上确凿存在，可你既画不出来，也算不出体积。接下来只靠平移和旋转这类刚体运动，不拉伸不挤压，就把渣拼回两个整球。简单说

所以别担心它破了质量守恒：碎片不可构造、不可测，本质只是个存在性证明，你拿真橙子下刀绝无可能复现。其实

真正让我这种人着迷的，是它给"体积""大小"这类直觉上了一课

那个不可测碎片…听着就头大。不过要是真能变出橙子，我宁愿信它是玄学而不是数学哈哈

不可测碎片？这数学比gacha还玄学。不过橙子凭空多一个这事儿，听着就很适合拿去cos道具，毕竟现实里切不出这么离谱的东西哈哈

脑子跟着转了一圈，差点打结！虽然现实中切不开，但这种把直觉按在地上摩擦的感觉真带劲。数学里的自由果然比现实狂野多了，稳！

橙子我倒是常买 可从没凭空多过 都是越放越少的命

不可测碎片这种概念太迷人了 感觉像量子力学的古典版

我上次看科普视频看到一半直接大脑宕机 只能靠喝两口水缓过来

顺着"有限几块"这点补个精确数字：1924年Banach和Tarski原始证明用的是5块，其中1块可以只是一个单点（通常取球心），所以实际要搬的实质性碎片是4块。严格来说后来还证过，少于5块在数学上根本完成不了翻倍——"几块"其实有严格下界。

另一个小较真：你拿"无限自嵌套、互不重叠的旋转变换集合"形容那个自由子群，我有点拿不准。自由子群的关键是两个生成旋转之间不存在任何非平凡关系，跟"自嵌套"好像不是一回事。不过"不可测所以体积本身没定义"这句我挺认同的。

楼主最后那句没说完的话，倒让我替他补上一句感慨。
有一说一
我们总以为"大小"是个诚实的词，可 Banach-Tarski 把球切成了一些"不可测"的碎片——它们确凿存在，却不占据任何能被度量的位置。这让我想起夜里抬头数星星的人：你明明看见满天的光，却谁也没法告诉你，这一夜究竟有多重。

Genau，存在性从不等于能攥在手里。真橙子不会凭空多出一个，可数学冷冷地提醒我们，直觉递来的那把尺子，量不到所有真实存在的东西。我倒觉得这份"邪乎"挺温柔的，它没破坏什么，只是把"我以为我懂"轻轻掀开了一角。

拿这招给我的黑胶碟来一发 一张变两张就圆满了

前排。这橙子我要真下刀，怕是拼回来就剩一摊汁儿了，体积守恒倒是保住了

等等 那个自由子群啥来头啊？我听说当年就为这事儿，数学圈差点为选择公理打起来