第516章 徐教授的第三节课 二（1/2）

隨后，他继续往下推。

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

台下顿时有人笑了出来。

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

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

台下这次笑得更明显了。

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

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

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

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

“所谓定义，不是给世界贴標籤，而是在决定你准备用什么方式切世界。”

……

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

【商结构】

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

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

因为从这里开始，內容已经不適合继续用“烤鸡”“甜甜圈”“咖啡杯”这种比喻去解释了。

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

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

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

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

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

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

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

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

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

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

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

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

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

等號

等价关係

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

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

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

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

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

忽略什么，保留什么。

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

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

本章未完，点击下一页继续阅读。