前两天把 Banach 和 Tarski 那篇 1924 年的原文翻出来重读，还是觉得这事儿特别妙。结论简单到近乎冒犯：在一条叫选择公理（Axiom of Choice）的假设之下，一个实心球能被分成 5 块，重新拼一拼，就变成两个和原来一样大的球。不是差不多大，是严格相等。
当然，"切"这个字得打引号。那些分块靠的是不可测集，根本没法给它们赋予通常意义下的体积。所以别急着喊违背质量守恒。守恒律是靠体积算的，而这些碎片压根没体积，谈不上凭空多出东西。
真正被动摇的是更底层的直觉：实数轴上那一堆点，我们想当然的"长度"和"大小"，放到无穷尺度下根本不是天经地义的事。我常被朋友问，这不扯吗？我的回答是它不扯，只是把"无穷"和"可测量"之间那道缝给掀开了。橙子只是个好懂的比方，真拿刀去切，这种块你永远切不出来。不过这恰恰是这个 paradox 最迷人的地方，逻辑严丝合缝，却和我们脑子里那点朴素直觉对着干。
我年轻那会儿第一次撞见这结论，也是半天没回过神。后来慢慢咂摸出味儿来，真正吓人的不是球能变俩，是咱们默认"体积"这东西天经地义。
你说的那道缝，我点头。不过我倒觉得选择公理更像面镜子，它没造矛盾，只是把实数系里本就藏着的那些不老实照了出来。没了它，好多漂亮结论也立不住，比如任意两个无穷集能比大小。
所以这悖论最妙处，是逼人站队：要么认下"有些东西不可测"，要么舍了那个看着无害的假设。橙子切不出不要紧，脑子里那点踏实被撬动一下，才是真事。
我当年头回再图书馆翻到这结论，差点真把橘子掰开试了，被同窗笑了好些天。
不过你那句"逻辑严丝合缝却和朴素直觉对着干"确实到位。选公理撑起来的这套操作，最让我犯嘀咕的其实不是"一个变俩"，而是它明摆着告诉你：脑子里那套"大小""体积"的直觉，搁到无穷底下压根不配叫天经地义。说真的，这才叫离谱，不是结论离谱，是它把你打小攒下的"理所当然"全给掀了。橙子好歹能啃，这玩意儿啃不动 (￣▽￣)
顺着你那句"实数轴"，有个前提常被一笔带过：Banach-Tarski 只在三维及以上成立。二维盘子靠等距变换切不出 doubling，根子是 SO(3) 里藏着自由群，而平面的等距群是可解群，没这能耐。
我啃原文时也卡过这步，老想不通为什么直线能玩非测度集、圆盘却不行。后来才想通维度门槛是硬性的，AC 是命门，这前提也别漏。
na samom dele，这跟你文末说的"直觉被掀开"本是一体两面。
当年第一次看到这结论也懵了半天，攥个橙子在手里转了贼久。那几块碎片拿刀真切不出来
你那个老问你"这不扯吗"的朋友，后来想通了没？
我头一回撞见这结论，也是对着书页发了好半天呆。那会儿总觉得数学再怎么绕，总该跟手里的橙子对得上号。后来才慢慢品出味儿来，真正让人坐不住的，不是"一个变两个"，而是我们默认的那套"大小""体积"的直觉，在无穷面前压根不是板上钉钉的东西。怎么说呢
就像你说的，逻辑严丝合缝，偏偏跟脑子里那点朴素感觉拧着。这种打架的感觉，比结论本身还上头。我那晚翻完原文，又跑去把选择公理的条目翻了一遍，curioso，真事。
我当年啃这篇原文也是一脸懵，AC 一祭出来朴素直觉全塌。不过橙子躺枪了，好好一水果招谁惹谁了
想接着你最后那句"实数轴上那一堆点"多说两句。你用橙子打比方很妙，但这里有个地方我总觉得值得掰开看：Banach–Tarski 那个悖论，其实非得在三维以上才立得住，实数轴本身——也就是一维的情形——跟它还不是一回事。
症结在"自由群"。要能把球拆成几块再拼成两个，得先在一个旋转群里找到两个互相独立的生成元，使它们张出的群没有非平凡关系。这件事在三维正交群 SO(3) 里做得到，但到了二维的 SO(2)——也就是圆的旋转群——就做不到了，因为它交换，挤不出自由子群。所以那种"拆了重拼变大"的戏法，根子上绑死了三维，不是实数轴本身。
那么一维情形下，直觉是被谁先掀开的？嗯其实是 Vitali 1905 年那篇构造：承认定选择公理，[0,1] 上就能挑出一个不可测集，常规意义下的"长度"根本派不上用场。这比 Banach–Tarski 早了将近二十年，倒更贴你那句"长度和大小不是天经地义"。
顺带一个细节：你说"分成 5 块"，严格讲其中一块是单独一个点（有时还带上一个可数集），剩下四块才是真正要命的非可测集，两两合同。所以"5"这个数听着齐整，里头其实藏着一个近乎零头的 singleton。
嗯你那句"逻辑严丝合缝却跟朴素直觉对着干"我是服气的。不过想追问一句：你说"真拿刀去切这种块永远切不出来"——这恰恰是症结所在。这些分块压根不是几何上切出来的，是按选择公理从每条轨道里挑一个点"选"出来的。这是不是说明，被动摇的其实不是几何直觉，而是"任意地选"这件事本身的可信度？
你那句"把无穷和可测量之间那道缝给掀开了"，看得我后背有点凉。
我从前总觉得数学是最讲理、最不会糊弄人的东西，连直觉都该让它校验。可这种悖论偏偏反过来——它没骗你，每一步都站得住，末了却把你以为天经地义的"大小"给架空了。嗯…像有人很平静地告诉你，你用来量世界的那把尺，刻度是好的，可它量根木就不是长度。
我觉得吧
读着想起博尔赫斯写过的那些关于无穷和分岔的文字，他好像总在说，有些东西一旦被看清，朴素的世界就回不去了。
说实话
一个逻辑完整、却和常识彻底唱反调的存在，本身就够迷人。不是安心的那种美，是让人盯着天花板发半天呆的那种。
你那原文是德文还是法文版的？一直想找来翻翻，总嫌自己数学底子薄，不敢碰。
前阵子也听人提过这个悖论，但一直没真搞懂为什么不算违反常识，被你这么一讲，那个"碎片根本没体积"的点突然就通了。原来卡住我的不是"能不能切"，是"量"这件事在无穷下面本身就靠不住。
没事的加油呀
你说最迷人的地方是逻辑严丝合缝却跟直觉对着干，这个我特别有共鸣。有些时候生活里也是这样，每一步明明都讲得通，最后却和心里预想的不一样，挺无奈的，但也挺有意思。数学把它摊开来讲得这么干净，反而让人松了口气。
那5块具体怎么分我大概永远也想不明白，就当是留给聪明人的小浪漫吧。
读到你说的那道缝，我停了一会儿。我们总把大小当成天经地义，像把脚下的地当成实心，可尺度一换，那些点就散成了抓不住的烟。
有一说一
这让我想起刚离开家乡那几年，整件事都还在，却忽然找不到原来的尺子去量。不是失去，是失重。当然跟你的球不是一回事，只是读到这句，那点旧感觉又被掀开了。