深夜画图，数学系和银河系，到底谁驯服了谁

昨晚快十二点,我还在草稿纸上画圈，不是失眠，是真被一个想法抓住了——如果我们把数学系想象成一个星系，它会长什么样？这听起来像个冷笑话的开头，但我真的动手画了一张图，结果越画越觉得，数学系和银河系的关系根本不是“一个描述另一个”那么简单。

我把那张图叫做“数学系-银河系拓扑关联图”，分上下两层，上层是银河系的物理结构，下层是数学系的学科分野，中间用虚线连起来，说实话，画完我自己都愣了一下。

先说银河系这边,我们平时看到的那些壮美的旋臂照片，其实是我们身在其中的错觉——就像站在森林里描述森林，银心黑洞人马座A*，质量大约是太阳的四百万倍，银盘里恒星以不同的速度绕银心旋转，天文学家开普勒做梦也想不到，银河的旋转曲线居然不是他定律能解释的，得靠暗物质，我画的时候在银盘外侧涂了一大片阴影，标注：“看不见的质量，拉住了整条旋臂。”

然后我转头去看数学系,发现结构和银河系像得吓人。

银河系结构	数学系对应区	核心特征
银心黑洞	集合论与数理逻辑	质量无穷大，体积无穷小，外部看不见，内部一切定理坍缩
核球	代数、几何、分析	密集的恒星群，经典三大领域，年龄老，光度稳定
银盘与旋臂	应用数学、计算数学	沿着“现实需求”的旋臂向外延展，年轻，更新快
暗物质晕	数学哲学、元数学	你几乎看不见它，但没有它，整个结构会散架

你看这个对应关系——集合论就是银心黑洞，罗素悖论、哥德尔不完备定理，这些东西在数学系里很少有人日常触碰，就像你不会没事跑去银心附近溜达，但整个数学体系的公理化基础，全在它身上压着，大二那年我选了数理逻辑课，全班十二个人，教授第一句话是：“欢迎来到银河中心，请各位系好安全带。”当时觉得他幽默，后来才懂他说的是引力太大，进去容易出来难。

核球区的代数、几何、分析，是数学系最古老最稳定的恒星种群，一个本科生进数学系，前两年基本都在这三个坑里转，群环域、流形、泛函——这些东西十九世纪就亮起来了，一直亮到现在，说实话，我刚开始学抽象代数的时候真的天天头疼，觉得这玩意儿离生活太远，直到有一次在食堂和一个天文系的同学聊天，他说：“你们那个群论，其实就在描述对称性，银河系的旋臂就是自发对称破缺搞出来的。”我差点把汤洒了。

旋臂是怎么转动的

银盘上的旋臂不是固定的实体,而是密度波推着恒星和气体一路走，我觉得这个比喻太适合应用数学了，偏微分方程和数值计算就像顺着产业需求的密度波，一浪一浪往前推，昨天还是金融建模热，今天就变成机器学习；明天可能就是量子计算的数学基础，年轻的研究生们像新诞生的O型蓝星，哪条旋臂亮就往哪跑，跑得飞快，也燃得快。

我画图的时候给旋臂标了一行小字：“傅里叶变换、神经网络、随机过程——此处恒星不断诞生与死亡，周期极短。”

而暗物质晕那一圈,真的很难画，因为它看不见，但你知道它在那儿，数学哲学追问“数学是被发现还是被发明的”，元数学追问“证明本身的限度在哪里”，绝大多数数学从业者不和这些问题打交道，就像天文学家也很少每天去想暗物质粒子到底是什么——可没有暗物质晕，银河系早就转散架了；没有数学基础的反思，数学大厦也会在某一天突然发现地板是悬空的。

一张说不清谁属于谁的关系图

画完这张图,我突然意识到一个问题：我到底是在用数学系的结构类比银河系，还是在用银河系的图像来理解数学系？事情的顺序本来很清楚——银河系是物理实体，数学是人类创造或发现的语言，但当你把两者摆在一起，边界就模糊了，牛顿用数学描述引力，麦克斯韦把电磁场写成方程，爱因斯坦的场方程预言了黑洞，而黑洞的中心恰恰是数学失效的地方。

我给这张图起了个不太正经的副标题：“银河系是一个四维时空里的偏微分方程解集吗？” 问号很重要，因为我不知道答案，但我知道，毕达哥拉斯要是能看到韦伯望远镜传回来的银河图像，他大概会说：宇宙真的是数。

写到凌晨一点半,我看了一眼窗外，城市灯光太亮，根本看不见银河，但我知道它就在那儿——悬臂旋转着，暗物质晕包裹着，银心黑洞沉默地坐镇中央，和我桌上那张涂得乱七八糟的关系图一模一样，数学系不大，银河系不小，但它们的底层逻辑，也许本来就是同一套，我把铅笔放下来，纸上还留着橡皮擦的碎屑，那些碎屑在台灯下，像极了疏散星团。