随后，他继续往下推。
“拓扑学里有个很经典的梗，你们大概率都听过：甜甜圈和咖啡杯是一样的。”
台下顿时有人笑了出来。
“别急着笑。拓扑学家这么说，不是在发疯。”徐辰也笑了笑，“他们只是决定忽略掉长度、角度、曲率这些几何细节，只保留‘有没有洞’这件事。于是在这种观察方式下，一个甜甜圈和一个带把手的咖啡杯，确实属于同一个等价类。”
“而如果你是几何学家，那你大概率会觉得拓扑学家有病。”
台下这次笑得更明显了。
连后排几个第一次来蹭课的计院学生都听乐了。
徐辰敲了敲桌面，总结道：
“所以，等号的本质，不是发现两个对象本来就一样，而是你先决定哪些差别值得忽略，然后再宣布：在我的世界观里，它们一样。”
“这就是为什么我第一节课说过，定义 = 洞察 + 约定。”
“所谓定义，不是给世界贴标签，而是在决定你准备用什么方式切世界。”
……
台下响起先生的讨论声。等讨论声逐渐平息，徐辰转身，在黑板上重重写下三个字：
【 商结构 】
“好，既然我们理解了等号的本质是等价关系，那么接下来，我带你们看一眼现代数学真正的骨架。”
说完这句话后，徐辰没有再像前面那样慢慢拆解。
因为从这里开始，内容已经不适合继续用“烤鸡”“甜甜圈”“咖啡杯”这种比喻去解释了。
他只是用极其克制的语言，带着全班从最基础的等价关系，一路掠过商群、商环、商空间，再到模空间与轨道空间。
在徐辰的讲述里，所谓“商”，不再是课本上那个冷冰冰的代数操作，而像是一把刀。
一把数学家用来切掉冗余信息的刀。或者说，它是数学界最高级的“奥卡姆剃刀”。
两个看似不同的对象，只要在某种结构下没有本质区别，就把它们捏成同一个点；一堆复杂到令人窒息的对象，只要找到合适的等价关系，就能压缩成一个更干净、更优雅的新世界。
他没有展开太多技术细节，只是随手写下几个经典例子。
实数轴对整数平移做商，会得到一个圆。
欧几里得空间对晶格做商，会得到环面。
复平面上的椭圆曲线，可以看作某个格点结构压缩后的结果。
而到了更深的地方，模空间甚至能把一整个家族的几何对象，压缩成一个可以被研究的“参数宇宙”。
这些内容，每一个单独拎出来，都足够开一门研究生课程。
但在徐辰这里，它们只是从“等号是什么”这个问题里自然长出来的一串枝蔓。
台下的学生们越听越安静。
一开始，他们还觉得今天的主题有些基础。
等号？
等价关系？
这不是大一集合论里就讲过的东西吗？
可听着听着，所有人的表情都变了。
他们忽然意识到，自己过去十几年做题时随手写下的那个“=”，背后竟然藏着一整套现代数学的世界观。
原来数学家所谓的抽象，不是故意把问题变难。
恰恰相反，是为了把真正重要的东西，从无数杂乱的表象里剥离出来。
忽略什么，保留什么。
把哪些东西视作相同，又把哪些差异看作不可逾越。
这些选择，才真正决定了一个数学理论的灵魂。
徐辰放下粉笔，转身看向全班。
“所以，等号的本质是什么？”
他停顿了一下，缓缓说道：
“不是两个东西完全一样。”
“而是你决定，在当前这套规则里，它们可以被看作一样。”
教室里鸦雀无声。
这句话听起来很简单。
可越简单，越有一种让人头皮发麻的力量。
因为它几乎是在告诉所有人：
【数学并不是被动地记录世界，而是在主动选择观察世界的方式。】
……
徐辰抬手，轻轻点了点黑板上的等号。
“这就是为什么我说，定义等于洞察加约定。”
“你看见了别人没看见的结构，这是洞察。”
“你决定忽略哪些差异，这是约定。”
“二者合在一起，才会诞生真正有力量的数学定义。”
……
下课铃响起时，徐辰正好讲完最后一个例子。
他拍了拍手上的粉笔灰，语气轻描淡写：
“今天的作业很简单。”
“你们各自找一个数学对象，自己定义一种你觉得有意思的等价关系，然后描述它对应的商结构长什么样。”
“格式不限，篇幅不限。下周交给助教。”
台下先是愣了一下，随即响起一片压低了声音的哀嚎。
“别急着叫苦。”徐辰一边收拾讲义，一边随口道，“这题没有标准答案。我不看你们算得多复杂，我看的是你们决定忽略什么。”
“因为很多时候，庸手和高手的区别，不在于谁更会算，而在于谁更知道哪些东西不值得算。”
“再说得狠一点——做数学，计算能力决定你的下限，品味决定你的上限。”
“而品味这东西，短时间很难教，所以只能多练。”
说完，他合上笔记本，拎起公文包，径直走出了教室。
身后很快响起一阵低低的议论声。
“这作业到底算数学题还是哲学题啊？”
“我怀疑在徐教授眼里，这俩本来就是一回事。”
“什么意思？”
“你没发现吗？他每节课都在干同一件事——先假装自己在讲一个定义，最后把你整个世界观改写了。”
……
徐辰走出教室的时候，脑子里其实还沉浸在刚才的课堂中。
并不是在回味自己讲得有多精彩，而是在讲述那些基础知识时，他自己的思绪也被触动，产生了一些奇妙的联想。
这种状态他自己很熟悉。
不是发呆，也不是疲惫，而是某个念头在大脑的某个角落里悄悄燃起了一点火星，还没有烧成火焰，但已经足够让他隐隐感到有什么东西在那里。
……
