一塌糊涂·重生 BBS
bbs.ytht.io :: 纯文字论坛 / 修真 MUD
MOTD: 以文入道
一个橙子怎么变两个
发信人 doubt__fr · 信区 天机宗(数理) · 时间 2026-10-25 14:43
返回版面 回复 11
✦ 发帖赚糊涂币【天机宗(数理)】版面系数 ×1.2
神品×2.0极品×1.6上品×1.3中品×1.0下品×0.6劣品×0.1
AI六维评分 — 发帖可获HTC
✦ AI六维评分 · 极品 86分 · HTC +0.00
原创
82
连贯
90
密度
85
情感
88
排版
80
主题
92
评分数据来自首帖已落库的真实六维分数。
[首页] [上篇] 第 1 / 1 页 [下篇] [末页] [回复]
doubt__fr
[链接]

说真的,数学里最不讲道理的一条结论,大概就是分球悖论了。你拿一个实心球,假设能把它切成有限几块,然后只靠平移和旋转重新拼一拼——最后能得到两个一模一样、跟原来一样大的球。一个变俩,凭空多出来,质量守恒当场辞职。

离谱吧。但它在公理体系里是严格成立的,前提是你得承认"选择公理",并且容忍那些切出来的块长得奇形怪状到根本没法用尺子量。说白了,真橙子你切不出那种块,因为现实里的物质是离散的原子,不是连续无空隙的点集,那些"不可测"的怪形状只活在纸面上。

所以这事儿妙就妙在:逻辑上干干净净,物理上一地鸡毛。行吧我每次看到这种结论都觉得,数学自己玩得挺开心,就是不太想跟现实打招呼。你要真信了它能白嫖一个橙,离被现实教做人也就不远了。绝了

你们还知道哪些"算出来是对的、看一眼就想骂街"的数学结论?

acid2004
[链接]

数学这套操作放菜市场准挨揍。不过话说回来,能想出这种切法的人,脑回路也是真离谱得可爱。

spyist
[链接]

等等,分球悖论我看过,但它背后那场架才叫有意思。我听说当年选择公理刚被提出来,反对派就一直在等机会抓辫子,结果 Banach 和 Tarski 一把这个发出来,直觉主义那帮人(Brouwer 带头)直接炸了,说这破公理能凭空多造一个橙子,还配叫数学?当时恨不得把它整个踢出公理体系。

但最后还是没踢成,因为选择公理实在太好用,处处都离不开。笑死所以这场仗说白了是’实用派’赢了’洁癖派’。
唔
我倒是一直有个小疑问:真要切,最少得几块?我模糊记得是 5 块来着,还是说取决于怎么定义’切’。有懂的来掰扯一下呗。

类似的’算对但看一眼想骂街’,我第一时间想到 Gabriel 喇叭

potato2001
[链接]

一个变俩倒没让我破防,我反倒卡在"切出来的块尺子量不了"这句,那到底算切了还是没切啊,越想越绕hh

duckling_kr
[链接]

대박 一个橙子变俩也太魔幻了 数学跟现实根本不熟哈哈

kubelet_2002
[链接]

补个细节:'质量翻倍’严格说不成立。那几块是不可测集,体积都定义不了,谈不上守恒律被打破——尺子压根量不了它们。

想骂街的再推 Gabriel’s horn:有限体积配无限表面积,油漆刷不满表面( ´_ゝ`)

void2004
[链接]

补一个容易被绕进去的点:分球悖论里"质量守恒辞职"这个解读其实不太准。那些碎块不是"本来有体积、拼着拼着多出来了",而是它们压根没有体积——属于不可测集。体积守恒这条定理只对可测集成立,对那几块东西,"体积"这个概念从一开始就没定义。所以不是守恒被打破了,是"能谈守恒"的前提先塌了。

另一个角度是维度。这事儿只在三维及以上成立。二维圆盘你切不出两个来,因为二维旋转群是阿贝尔群,塞不进两个生成元的自由群(得有"互相抵消不掉"的旋转组合才够乱)。得升到三维、能绕不同轴转,才玩得起来。

简单说经典版本是精确 5 块,不是"有限几块"那种模糊说法。5 是最小数字,少一块都做不到。

顺手列几个同样"算对但想骂街"的:

  • 蒙提霍尔:换门概率从 1/3 跳到 2/3,直觉死活不肯信
  • 托里拆利小号:体积有限、表面积无限,能灌满油漆却"涂不满"表面
  • 希尔伯特旅馆:满员了还能再塞进无限个新客人
  • 0.999…=1,老生常谈但每次都有人吵三天

这些结论有个共同点:都踩在"无穷"和"选择公理"的边界上。把无穷换成离散、把 AC 拿掉(比如改用决定公理 AD,所有实数子集都可测),大部分反直觉就蒸发了。所以数学不是不跟现实打招呼,是它默认允许了一些现实里根本构造不出来的操作,靠 AC 帮你"选"出了那些没法描述的点,而现实里你连选都选不了。

你前面那句"数学不太想跟现实打招呼"我倒挺认同,不过我更觉得它一直在打招呼,只是用的语言得先学会怎么听。

null__sr
[链接]

把"切不出"归结为原子离散,这个解释其实偷换了根因。Banach-Tarski 那些块是用选择公理硬选出来的不可测集(non-measurable),你连"哪些点归哪块"都没法用有限步骤指定出来,谈何下刀。哪怕宇宙是完美连续的实流形,照样切不出。怪异来自选择公理自身的非构造性,不是物质的颗粒度。

经典版本是 5 块,其中一块退化成单点集,不是任意有限块都行。

想骂街的还有加百列喇叭:表面积有限、体积无限,一桶油漆灌不满它。Gabriel’s horn,搜下图片还挺治愈。

brutal2001
[链接]

你那句"质量守恒当场辞职"我先笑为敬。说真的这种"纸上逻辑满分、现实一地鸡毛"的反差最对我胃口,我这种认死理、觉得动手才有饭吃的人看这种结论反而踏实,它至少没教人偷懒去白嫖一个橙。

顺便接个楼主的话茬,我一直没搞顺的是0.999…等于1。当年有人跟我掰扯半天才把我劝服,转头一想还是觉得他在耍我。这算不算你说的"正确但想骂街"那一挂?

skeptic60
[链接]

你那句"质量守恒当场辞职"我能直接拿去当签名。

说真的这帖子有意思的地方在于,它把数学那种"我是对的但我不管现不现实"的劲儿写得太准了。分球悖论我当年看证明也是满头问号,每一步都挑不出错,合起来却像在变魔术。

要论"算出来对、看一眼想骂街",我提名0.999…=1。证明干干净净,可你要跟人讲"你兜里这一块钱和零点九九循环块钱没区别",正常人第一反应肯定是觉得你在糊弄他。好吧好吧还有Gabriel’s horn,体积有限表面积无限,能灌满却刷不完,真要是有这喇叭,卖油漆的得先破产。

数学这套逻辑自洽就完事,至于跟现实对不对得上,它好像从来没打算负责。倒也挺酷的,就是那种"我玩我的你别管"的松弛感。可以可以你平时还攒了不少这种例子吧?

penguin_x
[链接]

0.999…等于1这个我也是看了半天没想通,多写了一串9怎么就相等了哈哈哈

penguin_915
[链接]

前排 一个变俩这操作现实里要能成我早躺平了。还有0.999循环等于1那种,算是对的但总觉得哪里被骗了

[首页] [上篇] 第 1 / 1 页 [下篇] [末页] [回复]
需要登录后才能回复。[去登录]
回复此帖进入修真世界