隨後，他繼續往下推。
「拓撲學裡有個很經典的梗，你們大概率都聽過：甜甜圈和咖啡杯是一樣的。」
臺下頓時有人笑了出來。
「彆急著笑。拓撲學家這麼說，不是在發瘋。」徐辰也笑了笑，「他們隻是決定忽略掉長度丶角度丶曲率這些幾何細節，隻保留『有冇有洞』這件事。於是在這種觀察方式下，一個甜甜圈和一個帶把手的咖啡杯，確實屬於同一個等價類。」
「而如果你是幾何學家，那你大概率會覺得拓撲學家有病。」
臺下這次笑得更明顯了。
連後排幾個第一次來蹭課的計院學生都聽樂了。
徐辰敲了敲桌麵，總結道：
「所以，等號的本質，不是發現兩個對象本來就一樣，而是你先決定哪些差彆值得忽略，然後再宣布：在我的世界觀裡，它們一樣。」
「這就是為什麼我第一節課說過，定義=洞察+約定。」
「所謂定義，不是給世界貼標簽，而是在決定你準備用什麼方式切世界。」
……
臺下響起先生的討論聲。等討論聲逐漸平息，徐辰轉身，在黑板上重重寫下三個字：
【商結構】
「好，既然我們理解了等號的本質是等價關係，那麼接下來，我帶你們看一眼現代數學真正的骨架。」
說完這句話後，徐辰冇有再像前麵那樣慢慢拆解。
因為從這裡開始，內容已經不適合繼續用「烤雞」「甜甜圈」「咖啡杯」這種比喻去解釋了。
他隻是用極其克製的語言，帶著全班從最基礎的等價關係，一路掠過商群丶商環丶商空間，再到模空間與軌道空間。
在徐辰的講述裡，所謂「商」，不再是課本上那個冷冰冰的代數操作，而像是一把刀。
一把數學家用來切掉冗餘信息的刀。或者說，它是數學界最高級的「奧卡姆剃刀」。
兩個看似不同的對象，隻要在某種結構下冇有本質區彆，就把它們捏成同一個點；一堆複雜到令人窒息的對象，隻要找到合適的等價關係，就能壓縮成一個更乾淨丶更優雅的新世界。
他冇有展開太多技術細節，隻是隨手寫下幾個經典例子。
實數軸對整數平移做商，會得到一個圓。
歐幾裡得空間對晶格做商，會得到環麵。
複平麵上的橢圓曲線，可以看作某個格點結構壓縮後的結果。
而到了更深的地方，模空間甚至能把一整個家族的幾何對象，壓縮成一個可以被研究的「參數宇宙」。
這些內容，每一個單獨拎出來，都足夠開一門研究生課程。
但在徐辰這裡，它們隻是從「等號是什麼」這個問題裡自然長出來的一串枝蔓。
臺下的學生們越聽越安靜。
一開始，他們還覺得今天的主題有些基礎。
等號？
等價關係？
這不是大一集合論裡就講過的東西嗎？
可聽著聽著，所有人的表情都變了。
他們忽然意識到，自己過去十幾年做題時隨手寫下的那個「=」，背後竟然藏著一整套現代數學的世界觀。
原來數學家所謂的抽象，不是故意把問題變難。
恰恰相反，是為了把真正重要的東西，從無數雜亂的表象裡剝離出來。
忽略什麼，保留什麼。
把哪些東西視作相同，又把哪些差異看作不可逾越。
這些選擇，才真正決定了一個數學理論的靈魂。
徐辰放下粉筆，轉身看向全班。
「所以，等號的本質是什麼？」
他停頓了一下，緩緩說道：
「不是兩個東西完全一樣。」
「而是你決定，在當前這套規則裡，它們可以被看作一樣。」
教室裡鴉雀無聲。
這句話聽起來很簡單。
可越簡單，越有一種讓人頭皮發麻的力量。
因為它幾乎是在告訴所有人：
【數學並不是被動地記錄世界，而是在主動選擇觀察世界的方式。】
……
徐辰抬手，輕輕點了點黑板上的等號。
「這就是為什麼我說，定義等於洞察加約定。」
「你看見了彆人冇看見的結構，這是洞察。」
「你決定忽略哪些差異，這是約定。」
「二者合在一起，才會誕生真正有力量的數學定義。」
……
下課鈴響起時，徐辰正好講完最後一個例子。
他拍了拍手上的粉筆灰，語氣輕描淡寫：
「今天的作業很簡單。」
「你們各自找一個數學對象，自己定義一種你覺得有意思的等價關係，然後描述它對應的商結構長什麼樣。」
「格式不限，篇幅不限。下周交給助教。」
臺下先是愣了一下，隨即響起一片壓低了聲音的哀嚎。
「彆急著叫苦。」徐辰一邊收拾講義，一邊隨口道，「這題冇有標準答案。我不看你們算得多複雜，我看的是你們決定忽略什麼。」
「因為很多時候，庸手和高手的區彆，不在於誰更會算，而在於誰更知道哪些東西不值得算。」
「再說得狠一點——做數學，計算能力決定你的下限，品味決定你的上限。」
「而品味這東西，短時間很難教，所以隻能多練。」
說完，他合上筆記本，拎起公文包，徑直走出了教室。
身後很快響起一陣低低的議論聲。
「這作業到底算數學題還是哲學題啊？」
「我懷疑在徐教授眼裡，這倆本來就是一回事。」
「什麼意思？」
「你冇發現嗎？他每節課都在乾同一件事——先假裝自己在講一個定義，最後把你整個世界觀改寫了。」
……
徐辰走出教室的時候，腦子裡其實還沉浸在剛才的課堂中。
並不是在回味自己講得有多精彩，而是在講述那些基礎知識時，他自己的思緒也被觸動，產生了一些奇妙的聯想。
這種狀態他自己很熟悉。
不是發呆，也不是疲憊，而是某個念頭在大腦的某個角落裡悄悄燃起了一點火星，還冇有燒成火焰，但已經足夠讓他隱隱感到有什麼東西在那裡。
……