灏天文库

橡皮几何馆

面向普通人的拓扑与形状科普连载:形状有两本账——一本记「怎么揉都不会变」的(拓扑不变量),一本记「怎样最省」的(极值形状)。橡皮几何馆分三个展厅:橡皮厅管不变量(咖啡杯=甜甜圈的同胚、莫比乌斯单面环、欧拉公式 V−E+F、七桥一笔画判据、四色定理、毛球定理、克莱因瓶、纽结图鉴),极值厅管最省(莱洛三角等宽曲线、蜂巢猜想、施泰纳最短路网与肥皂膜、开普勒堆垛猜想),边界厅管粗糙与宇宙(分形海岸线、庞加莱猜想),收官期把全季家当合成十步验形清单——你来当形状鉴定师。每页一个可亲手玩的交互实验:变形判定台、纸环切割预测台、多面体审计台、桥网审计台、染色与挤界台、梳球台、曲面三兄弟判定台、纽结图鉴台、掉洞判定台、铺满效率台、三城最短台、堆垛密度台、海岸线测量台、收缩圈检验台,以及收官的签收决断台+十步验形顺序闯关+15 枚徽章墙。看完这一季你会记得:第 1 期立论「你看见的是轮廓,拓扑学家看见的是洞——轮廓会骗人,洞数不会」;第 15 期拿到任何形状,先数洞。

作者: 灏天

知识页

数学家分不清咖啡杯和甜甜圈,他们没开玩笑

钩子:拓扑学家分不清咖啡杯和甜甜圈——不是玩笑,是他们把「形状」的定义换成了连续变形。附变形判定台(cup 1/1 同胚档;ball 0/0 不同胚档;glasses 2/2 多出一个把手;washer 1/1 同胚档;bowl 0/0 不同胚档)+ 杯→圈揉捏 canvas + 三题(只数洞/洞数不变量/碗≠杯)。第 1 期立论:你看见的是轮廓,拓扑学家看见的是洞。全集级划界:「算法与数学基础」ep5 讲拓扑数据分析(数据应用),本集讲形状本身的经典定理。

一只蚂蚁不用翻面,爬遍了纸带的「两面」

钩子:1858 年莫比乌斯拧半圈粘出单面曲面;1957 年 BFGoodrich 把传送带装成莫比乌斯形式,两面轮换磨损(教学口径)。附纸环切割预测台(n1+mid 默认→1 环 2 扭 ×2 接长档;n0+mid→2 分离环分家档;n0+tri→2 环相扣档;n1+tri→1+2 扭遗产档;n2+mid→2 环各 2 扭分家档;n2+tri→2+4 扭相扣档)+ 三题。教学标准结果(Afghan bands)。

随便画个多面体都是 V−E+F=2?画个相框就翻车

钩子:1750 年欧拉的铁律 V−E+F=2,随便画都=2——直到画一个中间挖洞的相框:16−32+16=0 翻车。附多面体审计台(tet 4/6/4/2;cube 8/12/6/2;oct 6/12/8/2;dod 20/30/12/2;ico 12/30/20/2 全过账;frame 16/32/16/0 翻车档)+ 三题(相框翻车/χ 数洞/足球 60−90+32=2)。相框取 4×4 环面网格教学口径。

七座桥散步路线不存在:数学家顺手开创一门学问

钩子:18 世纪柯尼斯堡七桥,市民想不重复走遍——1736 年欧拉说不存在,只数了每个岸区的桥数。附桥网审计台(7 桥 5/3/3/3 奇点 4 不存在档;拆 1 桥 4/2/3/3 奇点 2 开放路线档;拆 2 桥 4/2/2/2 奇点 0 环游档)+ 三题(奇点判据)。划界:「算法与数学基础」ep3 讲最短路径算法,本期只回答「能不能不重复走完」。

四种颜色够给任何地图染色,人类证明了一百二十年

钩子:1852 年 Guthrie 发现四色够用,到 1976 年 Appel-Haken 用 1200 小时机时宣布证明——机器算的算证明吗,吵到今天。附染色与挤界台(固定种子 8 区 4 色染色成功档;K5 试装:5 国互邻要 10 条边 > 平面上界 3n−6=9 装不下档)+ 三题(机器证明争议/K5 画不出/角接触同色)。划界:「纸上大地」讲地图怎么画,本期讲染色。

你梳不顺一个椰子:毛球定理说风眼必然存在

钩子:椰子梳不顺、台风永远有风眼、你头顶有发旋——毛球定理:球面切向量场必有零点。附梳球台(swirl 旋涡场 2 零点双极档;flat 全顺尝试 1 风眼档;χ=2 恒定收账)+ 三题(梳不顺被定理禁止/风场零点必然/发旋是日常版)。Poincaré-Hopf 教学口径。

玻璃店卖的克莱因瓶全是「赝品」

钩子:纪念品店的玻璃克莱因瓶全是「赝品」——真瓶瓶颈要穿过瓶壁不破洞,三维装不下,四维才行;它连里外都没有。附曲面三兄弟判定台(sphere 是/0/不需要/能装 封闭档;torus 是/1/不需要/能装 把手档;klein 否/2/需要/装不了 穿越档)+ 三题(无内外/玻璃款必开洞/不可定向)。两条莫比乌斯环缝合成它的伏笔回收。

三维里永远解不开的结,四维里一抖就开

钩子:绳圈打结接死就永远是结——三维解不开,四维一抖就开。Tait 花一百年编户口:交叉数 ≤7 只有 7 种真结。附纽结图鉴台(unknot 0 交叉不是结档;trefoil 3 交叉镜像不同款(手性);fig8 4 交叉镜像同款;cinq 5 交叉镜像不同款)+ 参数方程线稿 canvas + 三题(0_1 占一页/三叶解不开/Tait 表)。DNA 超螺旋仅一句交叉引用「生命源代码」。

下水道井盖的圆,不是唯一答案:莱洛三角也能不掉

钩子:井盖为什么是圆的?圆不是唯一答案——莱洛三角同样掉不下去,还能钻方孔(Watts 1914)。附掉洞判定台(sq 方盖翻 45° 投影 35.4×50 掉洞档;rr 圆盖宽向恒 50=洞宽卡死档;rtl 莱洛等宽 50 卡死档;面积账 2500.0/1963.5/1761.9,莱洛=同宽圆 89.7%)+ 三题(等宽一族/89.7%/Watts 钻)。绕边翻转教学模型。

蜜蜂没学过数学,却把六边形排了两亿年

钩子:蜂巢为什么六边形?蜜蜂没学过数学,「六边形最省」人类 1999 年才由 Hales 证明(蜂巢猜想)。附铺满效率台(A=100:tri 15.20/45.59 最费蜡档;sq 10.00/40.00 中间档;hex 6.20/37.22 最省档;cir 5.64/35.45 对照档——圆更省但铺不满)+ 三题(演化筛选/圆缝隙浪费/只有 3、4、6 边形能铺满)。

数学家算半天的最短路线,肥皂膜 0.1 秒解完

钩子:三城修最短路网,「三条直连」是错的——施泰纳 Y 形(三路 120°)省 42.3%,肥皂膜 0.1 秒解出同一答案(Plateau 实验)。附三城最短台(s 滑块 50-200 默认 100:直连 300.0/Y 173.21 省 42.3% 直观档/施泰纳档;s=150→450.0/259.81;s=50→150.0/86.60;sq4 四城 300.0/273.21 省 8.9% 四城档)+ 三题。划界:「涌现观测站」ep2 黏菌讲生物正反馈,本期讲物理极小面积。

杂货店堆橙子,让数学家较劲了四百年

钩子:水果店堆橙子的姿势,开普勒 1611 写进圣诞小册子并断言最密——数学界查了 396 年账,Hales 1998 证明 300 页+3GB 数据、2005 发表、2017 Flyspeck 形式化盖棺。附堆垛密度台(sq 52.36%/523.6 对齐档;fcc 74.05%/740.5 开普勒档;rand 64.0%/640 乱堆档)+ 三题(每升多装约 217 个/乱堆封顶 64/计算机证明)。π/√18≈74.05%。

同一条国界,两个官方数字差两百多公里

钩子:同一条西葡国界,官方两个数字 987 与 1214 公里(差 227 km)——都对,毛糙线的长度是尺子的函数。Richardson 1961→Mandelbrot 1967。附海岸线测量台(ε 滑块 12.5-200 默认 100:L=1000×(100/ε)^0.25,D=1.25;200→840.9 粗尺档;100→1000.0 基准档;50→1189.2 细尺档;25→1414.2 更细档;12.5→1681.8 发丝档)+ 三题。划界:「涌现观测站」ep15 CA 谱系、「纸上大地」ep4 比例尺综合。

悬赏百万美元一百年,解题的人把钱拒了

钩子:悬赏百万美元一百年的宇宙形状问题——2002 年佩雷尔曼把证明贴到网上,2006 拒菲尔兹奖、2010 拒一百万美元,回圣彼得堡陪母亲。附收缩圈检验台(sph 任意圈可收缩 合格档;tor 纬线圈卡在洞上 卡住档)+ 时间线(1904 提出→2000 千禧奖→2002-03 三篇预印本→2006 确认)+ 三题(千禧奖/环面纬线圈/拒奖)。里奇流一句教学口径。

你来当形状鉴定师:十步验形收官

收官:一件神秘展品上门,你来当形状鉴定师——十步验形(数洞/问定向/对欧拉账/数奇点/染色试/找零点/试滚动/量周长/换尺重测/收缩圈)就是全季家当。附签收决断台(5 开关:全开 GO 签收档;关 1 待补档;关 ≥2 NO-GO 退回档;点回实时重算)+ 十步验形顺序闯关(乱序排布 3,7,1,9,5,10,2,8,4,6;点错即归零、重开即点亮;依序 10/10 通关档)+ 徽章墙 15 枚三幕收官,预告第二季(曲面分类目录/不动点/皮亚诺曲线/四维窥视/纽结与聚合物)。教学推演。

返回知识广场 在知识工坊里打开