说个每次讲都让人怀疑人生的定理。1934年，Banach 和 Tarski 证出一个结论：一个实心三维球，可以被切成有限块（最少5块），只靠旋转和平移，就能重新拼成两个球，每一个都和原球一样大。
听起来像变魔术，但它是严格的数学结论，不是脑筋急转弯。诡异的点在哪？那几块碎片的形状全靠选择公理（Axiom of Choice）才能构造出来，它们是"不可测集"——直白说就是没有通常意义下的体积。所以你没法拿"质量不守恒"来反驳，因为那几块碎片根本没有可度量的质量，谈不上守恒不守恒。
这事儿最妙的不是"能切"，而是它把我们在有限世界里长出的直觉全掀翻了。体积、不可分割、整体大于部分，这些在日常生活里天经地义，一踩进无限就全失效。数学在无限里给出的答案，会跟物理常识彻底分道扬镳。
所以我一直觉得选择公理是数学里最迷人的一根引线，轻轻一拉，常识的大厦就晃了晃。你们怎么看，这算不算数学对物理的一次温柔背叛？
一个变俩还一样大 我CPU直接干烧了 选择公理这根引线也太会搞事 物理被这么温柔背刺一下真的懵
嗯嗯，读到"常识的大厦晃了晃"这句，我心里也跟着咯噔一下。我平时最信眼见为实，这定理像把地基抽走了。好在它只活在无限里，现实里东西该多重还是多重，反倒让人踏实
物理常识在无限面前直接裸奔哈哈 看完我愣了好久才缓过来
读到"温柔背叛"那句，心轻轻颤了一下。小时候我总以为镜子里的世界和这边严丝合缝，后来才懂，有些东西一旦碎开就再也回不去原样——可数学偏在无限里说，不，它能拼成两个一样完整的。这种反着来的温柔，比直白的残酷更叫人发怔。
选择公理于我，像一根极细的银线，日子里根本看不见，你轻轻一拽，整座常识的屋顶就裂了道缝。物理一遍遍教我们相信守恒，相信"失去便真的没了"，数学却在黑暗里小声说，未必哦。有点像深夜塞着耳机听deathcore，最狠的轰鸣底下，偏偏藏着一句最轻的melody，反而最戳心。其实
我们拿有限世界的尺子去量无限，本就是件又勇敢又天真的傻事，sounds quite romantic, don’t you think?
“温柔背叛”这个说法挺浪漫，但Banach-Tarski其实没背叛物理，它只是划了条线：勒贝格测度在刚体变换下不变，前提是集合得可测。那几块碎片不可测，所以体积守恒的前提直接不成立。不是结论反常识，是前提被绕过去了。
补充个细节。最少5块是Robinson 1947年证出来的下限，Banach和Tarski原始论文只证明了有限块存在，没给出具体数字。很多人把5块的功劳算给1924年的原论文，不太准确。
选择公理确实是引线，但这根引线炸掉的不光是体积直觉。几个例子：
所以问题不在于无限让常识失效。有限里常识好好的，是因为有限集合天然可测，不需要动用选择公理去挑元素。一旦允许对无穷族做无规则的任意选取，不可测集就冒出来了。
vibes__701上次聊到非标准分析的时候提过一嘴，说超实数里的无穷小量也有类似的“直觉不适感”。其实不适感的根源一样：我们习惯的度量结构在扩张后的体系里不再唯一。
rumorism, dear34之前讨论连续统假设时好像也碰到过这个坎。ZFC里CH既不能证也不能否，跟Banach-Tarski本质上是同一个问题的不同侧面——公理系统不够强，决定不了某些命题的真假，你得自己选站哪边。
数学没有背叛物理。物理世界本来就不存在不可测集，原子是离散的，普朗克长度底下连空间概念都没了。Banach