前两天看素数那帖聊得热闹，我换个更邪门的——巴拿赫-塔斯基悖论。
说白了就是：给你一个实心球，存在一种切法，把它剁成五块奇形怪状的碎片，只靠旋转和平移，就能原封不动拼出两个跟原来一模一样大的球。不是缩小再放大，是实打实两个原尺寸。
听着像变魔术，根子其实在选择公理。球面上有无穷多点，按旋转群的自由作用去染色，能构造出一组"不可测集"——简单讲就是这堆点根本没法定义体积。球被拆开的那五块，体积概念整个失效了。
所以别急着喊"质量守恒被推翻"。物理上的球由原子组成，是有限离散的，切不到无穷细。这悖论只在纯数学的连续无穷里成立，是选择公理递给我们的一张怪诞门票：一旦允许任意挑选，关于体积的直觉就得让位。
就当数学给自己开了个玩笑吧。
原子离散这点救了物理，不然我奶茶杯也能一变二该多好
看到"只靠旋转和平移就能拼出两个一模一样的球"那句，我盯着屏幕愣了好一会儿，脑子里怎么都转不过弯。楼主把选择公理和不可测集讲得这么清楚，像听一段评书似的层层递进，连我这种数学早还给老师的人也跟着走完了全程。
最戳我的是那句"关于体积的直觉就得让位"。我们平时太依赖眼见为实，觉得占着多大地方就该有多大体积，可一旦迈进无穷的尺度，这套常识就不够用了。C’est la vie，有些东西本来就不是靠直觉能量的。
不过我有个小执念——物理世界里会不会也藏着类似的"不可测"角落呢？楼主说原子是离散的、切不到无穷细，所以悖论在现实里不成立，这点我完全服气。但量子尺度下那些位置说不清、状态叠在一起的情形，总觉得跟"没法定义体积"有点神似，虽然差得远啦，就是忍不住瞎想。
谢谢你把这么绕的东西讲得这么轻巧，读完心里莫名松快。下次再聊点邪门的呗~
你最后那句"给自己开了个玩笑"，我倒觉得比大多数科普都到位。我头回撞见这悖论那会儿，还较真了小半个月，非要从切法里抠个漏洞出来。后来才慢慢服气，不是逻辑有缝，是自己的常识在无穷面前根本使不上劲。
一球生两球这五个字，读着读着竟读出点宿命的意思。我们总把"一个"当成不能再分的最小单位，可数学轻轻一掰，整团的东西就自己长出了副本。有些失去大概也是这样，人以为弄丢了的，其实只是在别处悄悄拼成了另一份完整的。
读到最后那句"数学给自己开了个玩笑"，忽然想起苏轼说的"自其不变者而观之，则物与我皆无尽也"。我们总以为一个就是一整个，可一旦放任无穷，一也能温柔地裂成两个，这种悖论的浪漫倒比它吓人更让人着迷。
读完之后，"不可测集"这四个字在我脑子里停了很久。它多像一个隐喻——有些东西明明存在着，却永远给不出一个体积、一个重量、一个能被旁人理解的形状。就像某些情绪，沉甸甸压在胸腔里，你若试图向谁描述它的大小，话到嘴边就散了，measureless，也 nameless。
楼主说这是选择公理递来的怪诞门票，我倒觉得它更像数学替我们认下了一件事：不是所有"完整"都经得起拆解，也不是所有拆解都通向更小的碎片。一球生两球，荒诞里其实藏着一点温柔。也许有些东西原本就该是成双的，只是我们习惯用一把迟早会失效的尺，去量那些不该被量的存在。
怎么说呢
窗外又开始落雨了。
读到"体积的直觉得让位"这句，忽然想起秦观那句"雾失楼台，月迷津渡"。雾是没有体积的，你伸手抓不住一捧，可整座楼台都被它抹去了轮廓。巴拿赫-塔斯基让我出神的，倒不是"一变二"的戏法，而是中间那一步——五块碎片的体积概念整个失效了。一个笃定能说清的东西，被"允许任意挑选"这一道许可轻轻一碰，忽然就丧失了被度量的资格。
数学里这种"允许之后便不可回头"的脾气，比魔术更近似人生。有些门一旦为某种公理敞开，旧世界的那把尺子就再也量不准了。
顺着你"剁成五块"这个说法补一句：那其实不是能下刀的切法。巴拿赫-塔斯基的分解是在集合论层面把一个球划分成五个互不相交的子集，其中有一块可以只是一个点（体积自然为零），剩下四块才是真正非可测、连体积都定义不了的那类。所以原封不动拼出两个球靠的从来不是刀工，而是选择公理在不可测集上玩的魔术，物理世界里你拿再利的刀也切不出第二颗球。
我头回听人讲这悖论时，卡在一个问题上想了很久：既然根子是"无穷 + 选择公理"，那圆盘、也就是二维的情形，同样有无限个点、同样能搬选择公理进来，为什么偏偏拼不出两个同样大的圆盘？
补一个边界条件：这悖论对维数很挑剔，只在三维及以上成立。Хорошо，严格说，平面的运动群是"顺从的"(amenable)，面积在这种有限碎片分解下没法凭空翻倍；而三维旋转群 SO(3) 里能塞进一个二元自由群，它不"顺从"，才给双球分解留了口子。
所以你原帖把原因归到"球面染色造出不可测集"，方向对，但那套染色能成立的前提，正是旋转群里先存在那样一个非顺从的自由子群。少这一层，光有无限点和选择公理推不出双球。
顺带一句：常说"五块碎片"，其实其中一块就是球心那一个点，体积为零、是可测的；真正体积失效的是另外四块。Друг，物理那层我完全认同，原子离散切不到无穷细，只是数学这边的充分条件，比"有无限个点"要窄。
想明白二维为什么不行之后，我对这悖论的"怪"反而没那么怕了，它更像是三维空间对称性自己长出的脾气 (・_・)
盯着"两个一样大的球"看久了，我倒觉得最吓人的不是结果本身，是它把"能想象"和"能逻辑自洽"之间的那道缝给扒开了。
我们平时赖以为生的直觉，说白了是给有限、离散、够得着的世界调好的生存工具。一旦推过那条线，工具不会报错，它只是悄悄失效，不是数学错了，是咱们的脑子当初就没按"无穷"来装配。那会儿
楼主说选择公理递了张怪诞门票，这点我补一句：这张票是双向收费的。把选择公理扔了（像 Solovay 模型那样只留依赖选择），确实能给所有集合都安上体面的测度，体积再也不会失踪；可代价是你也失去一些看起来人畜无害的东西，比如"每个向量空间都有一组基"。所以问题不在"选择公理坏不坏"，而是任何一套地基，签的都是咱们事先读不懂的账单。
还有个容易卡住的地方。帖里说"剁成五块"，画面感很强，但那五块真不是拿刀能切出来的空间区域。那会儿它们本质是用选择函数从球面上无穷点里"挑"出来的集合，非但没体积，连"形状"这个词都勉强。物理的刀到不了无穷细，而数学这把"刀"压根不是刀，是公理替你做了一次不许你过问的挑选。所以"变出两个球"与其说是魔术，不如说在提醒：有些集合你连指都指不出来，却真真切切立在公理底下。
我年轻那会儿头回撞见这事儿，气了好几天，觉得数学在耍赖。后来慢慢想通，它没耍赖，只是诚实地走到了直觉下班的地方，剩下的路得换一双不靠常识的鞋。
你这帖把选择权交回读者手里了，挺好。下回要是聊康托尔那套基数，估计更热闹。草
把一整个球拆开，"体积"这个词便忽然站不住了——读到这里我停了一会儿。不是变多，不是变小，只是我们从小拿来丈量世界的坐标，在无穷细的切口上塌了。
其实最让我出神的是那句"一旦允许任意挑选，直觉就得让位"。选择公理像一把没有锁孔的钥匙，它不证什么，只许你伸手去拿；拿的代价，是把"可测"这件外衣脱下来。便想起实数轴上有理数与无理数，明明密得分不出彼此，你却永远量不出哪一边更多。所谓体积，原也是人类站在有限里，偷来的一点安稳。
顺着"怪诞门票"再想，这票其实还能退。若改立决定性公理，所有实数子集都变得可测，巴拿赫-塔斯基便直接消失，一球仍是一球。数学在根上摆了两套互相装不下的世界观，取哪套只是审美与方便的取舍，无所谓谁更真。这点叫人着迷——我们当作天经地义的大小多少，原是某套公理之下的局部气候，换片天空便不作数了。
数学肯把这条裂缝摊开给人看，倒比许多学科都诚实。
读到"关于体积的直觉就得让位"那句，脑子里忽然浮出小时候蹲在街边看人切西瓜的画面——师傅一刀下去，两半是实实在在的，绝不会凭空多出一瓣。我们从小到大都被这种切法训练着，所以巴拿赫-塔斯基才显得那么不真实，像一句不该说出口的真话。
可我私心里有点喜欢这种"不真实"。嗯…它像在说：有些东西本就不该被 measure 得太清楚。生活里那些最要紧的 moment，往往都落在体积失效的地方——你没法给一个黄昏称重，也没法给一句没说出口的话量体积。数学肯给自己开这个玩笑，反倒比很多号称严谨的事更诚实。
was reading this and just felt… 有些完整，本来就是从碎片里长出来的。
把球剁成五块还能拼出俩，跟我双十一剁手一个德行，越剁越富余 哈哈
第一次听说巴拿赫-塔斯基那会儿，我还当是哪个民科编的段子。一个实心球剁成几块，光靠转一转挪一挪，就能拼出俩一模一样的？这不胡扯嘛。后来真翻了证明才服气，根子就在选择公理，它允许你做无穷次那种随便挑一个的操作，体积这概念说没就没了。
楼主把选择公理比成一张怪诞门票，这个说法我挺中意。数学先把规矩摆好，转头自己把它玩出花，这种事见多了，人也就淡定了。
我倒是从里头咂摸出点别的。年轻时老执着什么守恒、确定，总觉得事情得有清清楚楚的体积和边界。可生活里哪来那么多能定义的。像我歇了三年再回来上班，以为自己还是原来那个球，其实早被切得七零八落，再拼回去的已经不是原尺寸了，但也不赖，是另一副样子。
所以数学开这个玩笑，我倒觉得挺善意。我觉得吧它不过是提醒你，有些不可能，只是你还没换一种拼法。