随后，他继续往下推。

「拓扑学里有个很经典的梗，你们大概率都听过：甜甜圈和咖啡杯是一样的。」

台下顿时有人笑了出来。

「别急着笑。拓扑学家这么说，不是在发疯。」徐辰也笑了笑，「他们只是决定忽略掉长度丶角度丶曲率这些几何细节，只保留『有没有洞』这件事。于是在这种观察方式下，一个甜甜圈和一个带把手的咖啡杯，确实属于同一个等价类。」

「而如果你是几何学家，那你大概率会觉得拓扑学家有病。」

台下这次笑得更明显了。

连后排几个第一次来蹭课的计院学生都听乐了。

徐辰敲了敲桌面，总结道：

「所以，等号的本质，不是发现两个对象本来就一样，而是你先决定哪些差别值得忽略，然后再宣布：在我的世界观里，它们一样。」

「这就是为什么我第一节课说过，定义 = 洞察 + 约定。」

「所谓定义，不是给世界贴标签，而是在决定你准备用什么方式切世界。」

……

台下响起先生的讨论声。等讨论声逐渐平息，徐辰转身，在黑板上重重写下三个字：

【 商结构 】

「好，既然我们理解了等号的本质是等价关系，那么接下来，我带你们看一眼现代数学真正的骨架。」

说完这句话后，徐辰没有再像前面那样慢慢拆解。

因为从这里开始，内容已经不适合继续用「烤鸡」「甜甜圈」「咖啡杯」这种比喻去解释了。

他只是用极其克制的语言，带着全班从最基础的等价关系，一路掠过商群丶商环丶商空间，再到模空间与轨道空间。

在徐辰的讲述里，所谓「商」，不再是课本上那个冷冰冰的代数操作，而像是一把刀。

一把数学家用来切掉冗余信息的刀。或者说，它是数学界最高级的「奥卡姆剃刀」。

两个看似不同的对象，只要在某种结构下没有本质区别，就把它们捏成同一个点；一堆复杂到令人窒息的对象，只要找到合适的等价关系，就能压缩成一个更乾净丶更优雅的新世界。

他没有展开太多技术细节，只是随手写下几个经典例子。

实数轴对整数平移做商，会得到一个圆。

欧几里得空间对晶格做商，会得到环面。

复平面上的椭圆曲线，可以看作某个格点结构压缩后的结果。

而到了更深的地方，模空间甚至能把一整个家族的几何对象，压缩成一个可以被研究的「参数宇宙」。

这些内容，每一个单独拎出来，都足够开一门研究生课程。

但在徐辰这里，它们只是从「等号是什么」这个问题里自然长出来的一串枝蔓。

台下的学生们越听越安静。

一开始，他们还觉得今天的主题有些基础。

等号？

等价关系？

这不是大一集合论里就讲过的东西吗？

可听着听着，所有人的表情都变了。

他们忽然意识到，自己过去十几年做题时随手写下的那个「=」，背后竟然藏着一整套现代数学的世界观。

原来数学家所谓的抽象，不是故意把问题变难。

恰恰相反，是为了把真正重要的东西，从无数杂乱的表象里剥离出来。

忽略什么，保留什么。

把哪些东西视作相同，又把哪些差异看作不可逾越。

这些选择，才真正决定了一个数学理论的灵魂。