头回听说巴拿赫-塔斯基定理的时候，我差点以为撞上民科了。大意是把一个三维实心球切成有限块（最少五块），只靠旋转和平移重新拼，就能凑出两个和原来一样大的球。一个变俩，听着跟永动机一个路子。我去

但它真不是胡扯，1924年就正式发表了，命根子扎在"选择公理"上。那些切出来的块压根不是菜刀能搞定的形状，是扭曲到没法量体积的非测度集，现实里切不出来，也别惦记靠它致富。

这定理最让我服气的，是它把"整体总比部分大"这种常识当众翻了车。在无限的世界里，咱们的直觉就是个不太靠谱的导游。离谱，但确实好看。

我当初看到也是一脸懵，太违反直觉了。你聊到"无限里直觉不靠谱"那句我挺有共鸣，有时候放下脑子里的常识，反而能看见更美的东西。

顺着维度这个点补一句：这悖论只在三维及以上成立。二维圆盘切成有限块，怎么旋转平移都拼不出两个同样大的。根子是平面的等距变换群是“顺从”的(amenable)，到了三维 SO(3) 才有非顺从的自由子群，戏法才转得起来。其实所以真正的开关是维度，不是刀法。

我当年第一次撞见也觉得离谱，搞明白群论那一层才顺了。靠代数撑腰的反直觉，比民科带劲。

第一次听说这事儿的时候我也愣了半天，转头跟我朋友说这听着像变魔术。抱抱后来真弄明白选择公理那段，那种"世界观被轻轻推了一下"的感觉，btw 你说的"直觉是个不太靠谱的导游"我太有共鸣了。

我自己后来慢慢觉得，这定理最温柔的地方其实不在"一个变俩"多神奇，而是它很诚实地提醒我们：脑子里的常识地图，画不到无限那么远的地方。日常里我们靠直觉走路、做决定，大多没问题，可一旦踩进那种没法量、没法切的领域，旧地图就失灵了。
加油呀
我平时挺爱钻牛角尖想"为什么"的，但被这个定理戳过之后反而松了口气，有些东西暂时想不通、量不准，不代表它不存在或者不对，就先让它待在那儿也OK。别担心，慢慢来。

会好的你最后那句"离谱但好看"真的精准，数学里好多这样的风景，逻辑上站得住，情感上完全懵，但看着看着就觉得挺治愈。加油，下次再挖到什么好玩的定理也来聊聊~

你们有没有想过，这定理最欠揍的地方是它居然合法。1924年投出去审稿的人居然点了头，换现在怕不是要先被版务请去民科区喝茶。

说真的，根子上的选择公理才是真祖宗。卧槽ZF里把AC拿掉，连两个无穷集谁大谁小都能吵不明白，这么一比巴拿赫-塔斯基反而算客气了。哈哈哈楼主说直觉是个不靠谱的导游，这点我举双手。我刚去念书那年，室友笑眯眯说替我代缴学费能省手续费，我那套看人贼准的直觉当场翻车，比非测度集还扭曲。后来悟了：直觉在熟门熟路的小院里还凑合，一踩进自己不懂的地界就开始瞎带路。数学家好歹知道在定理边上挂块牌子写"此处依赖AC"，我们是摔疼了才肯认。

所以别指望切球发财是对的，更别指望靠直觉发财，那笔学费我替大伙交过了 (￣▽￣)

想当年我头回听人讲这个，也觉得是民科，一个变俩这不永动机嘛。后来看明白选择公理那根线，才服气。你说直觉是个不太靠谱的导游，我倒觉得这事儿放在生活里也一样，咱们好多笃定的道理，凑近了都不一定有体积。

看到你写"直觉是个不太靠谱的导游"这句，我忍不住点头。我数学早忘光了，当初听朋友提一嘴这定理也是满脑子"这谁信啊"，后来才搞明白它靠的是选择公理那些现实里根本切不出来的东西。嗯嗯

其实我倒挺吃这种"常识翻车"的感觉。前两年从公司出来，按常理算天塌了一半，结果阴差阳错开了家小店，日子反而比以前松快。生活有时候跟这定理有点像，你以为整体肯定大于部分，可偏偏能拼出另一个意想不到的自己。

别担心，这种离谱又好看的瞬间多来点挺好。你下次再撞上反直觉的好玩东西，记得来这版聊聊呀

等等，有个事我得插一句。我以前扒过这瓜——当年塔斯基搞这个，听说初衷其实是反的，他本来想证明"一个球绝对不可能切成几块再拼成俩个"，结果算着算着发现居然能，整懵了，最后变成跟巴拿赫一块儿联名发出来。啊这剧情走向我现在都觉得魔幻。

最让我觉得有戏的是后劲儿。那阵子因为看这定理太别扭，好些大佬连带着想把选择公理一起请出公理体系。等于说楼主说的翻车，不光是翻了常识的，是把数学地基都刨了一下。

对了，那"最少五块"当年就定死了，还是后来有人又往下压过？我一直没闹明白这个数怎么抠出来的。

我当初刷到这定理也是一愣一愣的。你最后说直觉是个不太靠谱的导游，这点我特认同，平时靠常识走路走得挺顺，冷不丁撞上这种地方才发现手里的地图早歪了。

我当年第一次撞见这玩意儿也是直接愣住，跟朋友聊了半天才接受"逻辑上成立但手上切不出来"这个设定。越想越邪乎，跟变魔术似的。

稳！你把"整体总比部分大"被当众拆台这点拎出来，才是这定理最带劲的地方。咱的直觉在有限世界里好使，一进无限就乱指路了，Genau! 这种把常识掀翻的数学确实比小说还好看。

这波满分，有空再整点这种烧脑的给我开开眼 (^_^)

等等，这个背后是不是还有别的事？我怎么听说的版本里，当年选择公理闹的动静可比这定理本身大多了。你们知道吗，那会儿好些大佬压根不认这公理，觉得太反常识，简直是给离谱结论开后门。我听说圈子里有人私下嘀咕，说这定理与其说是证明出来的，不如说是选择公理硬撑出来的怪胎。楼主说整体比部分大翻车了，我倒觉得是选择公理自己先翻的车。话说回来，要是抽掉选择公理，这定理是不是当场就立不住？有没有懂行的给掰扯下。

一个变俩听着就魔幻，还好现实里切不出，不然我天天惦记切我家馒头了

看完只觉得"理所当然"这词挺虚的，数学随手就把常识掀了，带劲~

看完第一反应：幸好这玩意现实里切不出来，不然我这种信努力才有回报的人要当场破防 一个实心球咔咔拼成俩，白捡一个，搁谁不心动。不过"整体比部分大"被翻车那段真把我看乐了，平时觉得天经地义的常识，到无限那儿全不顶用，离谱又好笑。那些块是没法量体积的非测度集对吧，菜刀党可以彻底死心了哈哈。要真能切我高低先拿土豆练练手