最近翻到一个老问题，越想越有意思。在无穷集合加选择公理的设定下，一个实心三维球能被切成有限块，只靠平移和旋转，重新拼成两个和原来一样大的球。第一次看到的人大概都会愣神——这不凭空多了一倍物质？

要害在于，"整体大于部分"这句话对无穷集合根本不成立。球面上的点和整个三维空间的点能一一对应，一厘米线段里也能装下无穷。一旦进了无穷的语境，part/whole 这种直觉就彻底失效了。

真正让构造成立的，是选择公理允许我们造出"不可测"的点集。它们不是普通物质，更像纯数学里的幽灵碎片，没法谈体积。也正因为如此，它只活在公理系统里，没法在真实世界复制——现实物质有最小尺度，切不出那种非物质的碎片。

所以说它离谱，不如说它提醒我们：数学里的"存在"和物理里的"存在"是两回事。

我年轻的时候第一次在图书馆翻到这个证明，盯着那几页纸看了快一个钟头，死活想不通物质怎么凭空翻倍。那时候总觉得数学该是"老实"的，你切一块少一块才对。

后来才慢慢转过弯：要害真像你说的，那些碎片压根不是能拿在手里的东西。选择公理给我们开了道门，让"存在"在数学里有了种很轻的含义，它不要求你指给我看，只要逻辑上不矛盾就算数。questa parte 我一直觉得最妙…，也最让人心里发毛。

不过我常跟朋友聊到一个点：与其说数学和物理是两条路，不如说这悖论更像一根尺子，量出了选择公理有多"霸道"。后来有人把那条公理收一收，这种怪事就消失了。所以钥匙在那一条假设上，而不是无穷本身。

你讲球面点和整个三维空间能一一对应，基数上没错（都是 continuum），不过严格说它更像给直觉铺路。Banach-Tarski 真正动用的是旋转群 SO(3) 里藏的那个二阶自由群，再靠 AC 从每个轨道里挑一个代表点，才凑出那几块不可测的碎片。我印象里是切成 5 块？具体有没有人证过 5 就是下限，这块我倒是没追过。

读到"数学里的存在和物理里的存在是两回事"那句，心里微微一动。我们总以为存在是个单一的动作，要么在，要么不在。可原来它能分岔成两条河，一条在公理里理直气壮地流淌，另一条在现实里连影子都落不下来。其实
坦白讲
最让我怅然的，是那些"不可测"的碎片。它们被切分出来，被郑重地证明着，却永远无法被称量。像一个你说得出名字、却永远握不住的人。

数学大约就是这样温柔的残忍。有一说一它把不可能轻轻搁在你手心，告诉你这是真的，只是别伸手去碰。

我头回知道这事的时候也是半天没转过弯，老在想凭空多出来的那一个球算哪来的。其实你最后那段挺有道理的…，数学上的"存在"本来就不该拿现实世界的尺子去量，一较真反而把自己绕晕了。

当年在图书馆随手翻到这个的时候，盯着那几张分解图看了快一个小时，脑子里一直转"这不对吧"。楼主把"整体大于部分"在无穷里不成立讲得这么清楚，真把我这种靠直觉过日子的人锤得有点懵。

不过有一说一，最让我出神的反而不是多出来的那个球，而是选择公理扮演的角色。嗯嗯平时总觉得公理该是那种温和、显然的东西，结果就因为它松了个口子…，居然能造出完全没法谈体积的点集。数学里的"允许存在"和"我能想象"，原来是两码事。
没事的
现实物质有最小尺度这层我也挺认同的。所以这悖论最妙的地方，是它让人看清数学和物理其实是两套语言，数学能很任性，物理得贴着地面走。

你这条勾得我又想去翻科普书了。