第515章 徐教授的第三節課 一
上課鈴響，徐辰走上講台，教室里的喧囂聲瞬間消退。
他沒急著寫板書，只是靠在講台邊，目光慢悠悠掃過下面一圈人，嘴角帶著點若有若無的笑意。
「大家下午好。」
「上周我有點事，沒來得及給大家上課。」他頓了頓，語氣很平常，「看今天這上座率，想來大家應該都挺想我的。」
台下頓時一片沉默。
前排幾個熟悉徐辰風格的老學生，臉上已經寫滿了「老師您開心就好」的複雜表情。後排新來的計院學生則一臉恍惚，顯然沒想到這位在學術圈殺穿兩界的大佬，開場居然這麼自然地不要臉。
徐辰看著下面那一排排黑線，心情似乎不錯。
「為了彌補大家空虛的一周，這一次我依然準備了一些有趣的內容，希望大家喜歡。」
「放心，不難。」
這兩個字一出來，台下不少人心裡齊齊一震。
他們已經總結出規律了：徐教授說「有點意思」，通常意味著你會在三十分鐘後懷疑自己的智商；他說「不難」，那大概率說明你連前提假設都還沒來得及聽懂，世界觀就已經開始重構了。
……
徐辰開口道：「我問大家一個問題。」
他的聲音不高，卻很穩，足夠讓整個階梯教室每一個角落都聽得清清楚楚。
「你們有沒有想過，在你們做過的所有數學題里，出現頻率最高的符號是什麼？」
台下一片沉默。有人下意識地低頭翻了翻筆記本。
「不是加號，不是乘號，「徐辰自己給出了答案，「是這個。「
他轉身，在黑板中央寫下了一個巨大的符號：
【 = 】
「等號。「
台下有人忍不住嘀咕了一聲，這也需要講？
徐辰轉過身，眼神掃過那個發出笑聲的學生，但臉上沒有任何嘲笑的意思。反而，他用一種非常認真的語氣問道：
「你笑什麼？」
那男生愣了一下：「就是……感覺這個挺基礎的。」
「基礎？那正好。」徐辰點點頭，「你來告訴我，等號是什麼？」
那學生被點得有些猝不及防，支吾了一下：「就是……相等？」
「相等。」徐辰重複了一遍，隨後又追問，「那什麼叫相等？」
那學生張了張嘴，忽然發現這問題居然比想像中難回答得多。
教室里安靜了下來。
徐辰也不催，只是看著眾人，片刻後才淡淡開口：
「如果你們從來沒有認真想過這個問題，那你們之前做的很多數學，本質上都還停留在搬運符號。」
「別覺得我是在故弄玄虛。」
「現代數學很多最深的思想，往往就藏在這些你們以為最不需要懷疑的地方。」
這句話落下後，教室里的氣氛頓時變了。
……
徐辰也沒有繼續在這個問題上刁難，繼續往下講。
「1557年，一個叫羅伯特·雷科德的威爾斯數學家，在他的著作《礪智石》里第一次使用了這個符號。他選擇用兩條平行線來表示'相等'，給出的理由非常有意思。「
徐辰頓了頓，嘴角微微上揚：
「他的原話是：'世界上沒有什麼東西，能比兩條等長的平行線更加相似了。'「
「注意，他說的是『相似』，不是『完全一樣』。」徐辰用粉筆輕輕點了點黑板上的等號，「這個措辭很有意思。因為從數學哲學的角度看，相等從來不是一個絕對概念。它幾乎總是依賴於你選擇忽略什麼。」
「或者說得更直白一點——所謂相等，很多時候不是『沒有差別』，而是『差別不重要』。」
台下不少人眼神一動。
這句話，已經開始有點意思了。
尤其是那幾個計算機學院學生，表情明顯認真了起來。
因為這句話放在計算機里同樣成立。
兩個文件的哈希值一樣，你就說它們「相等」；兩個對象的內存地址一樣，你說它們「相等」；兩個神經網絡在測試集上的輸出分布幾乎一致，你可能也會說它們「等價」。可這幾種「相等」，顯然不是一回事。
同樣是程式設計師嘴裡的「==」，在不同語言、不同類型系統、不同抽象層里，背後可能藏著完全不同的判斷標準。
……
徐辰繼續道：
「比如你們小時候學算術，會覺得『1+1=2』是天經地義。」
「這當然沒錯。但數學有趣的地方就在於，天經地義這種事，一旦換個世界，往往就沒那麼天經地義了。」
他沒有再重複之前講加法課時已經用過的模二、布爾代數那套例子，而是換了個方向。
他在黑板上寫下兩行。
一個是幾何中的兩個三角形。
一個是群論里的兩個群。
「在初等幾何里，你們會問兩個三角形相不相等。後來你們學得更細，就會發現，『相等』至少可以拆成好幾層：全等、相似、面積相等、周長相等。」
「同樣是『一樣』，標準一變，結論就可能完全不同。1872年，年僅23歲的菲利克斯·克萊因提出了著名的『愛爾蘭根綱領』。他幹了一件什麼事呢？他宣稱，幾何學研究的本質，就是在某種特定的變換群下保持不變的性質！」
「換句話說，克萊因直接用『什麼樣的等號』，重新定義了『什麼樣的幾何』！你在平移和旋轉下相等的，那是歐氏幾何；你在投影下相等的，那是射影幾何！」
「再比如代數裡，兩個群階數相同，不代表它們相等；兩個群寫法不同，也不代表它們不一樣。真正重要的是，它們的運算結構能不能對上。這就是所謂的『同構』。在代數學家的眼裡，只要兩個結構同構，哪怕它們一個是用來轉魔方的，一個是用來解多項式的，它們也是同一個東西！」
……
他轉過身，看向全班。
「所以，當我們寫下 a=ba=ba=b 的時候，我們到底在說什麼？」
教室里一下子靜了。
這次的安靜，不再是「這題不會」的空白，而是很多人真的開始順著這個問題往裡想。
徐辰滿意地看了一眼台下的反應，隨後在黑板上又寫出一列符號：
=≡≅≃∼≈≡(mod n)
「普通等號、恆等、同構、同倫等價、等價關係、近似相等、模同餘……」
「數學家為什麼發明了這麼多種『等號』？」
他用手比了個鏡頭對焦的動作。
「因為『相等』從來不是單層的。它更像一組不同倍率的鏡頭。」
「你拿一副肉眼看，覺得兩個東西差不多；換成顯微鏡，差別就出來了；再換一個研究目的，你可能又會說——算了，這些差別我不關心。」
「數學裡的等號，本質上就是這種『帶目的性的忽略』。」
「你選擇保留什麼結構，忽略什麼結構，這個選擇本身，就決定了你在做哪一門數學。」
徐辰放下粉筆，順手拿起桌上的水杯喝了口水，像是在給大家一點消化時間。
……
他沒急著寫板書，只是靠在講台邊，目光慢悠悠掃過下面一圈人，嘴角帶著點若有若無的笑意。
「大家下午好。」
「上周我有點事，沒來得及給大家上課。」他頓了頓，語氣很平常，「看今天這上座率，想來大家應該都挺想我的。」
台下頓時一片沉默。
前排幾個熟悉徐辰風格的老學生，臉上已經寫滿了「老師您開心就好」的複雜表情。後排新來的計院學生則一臉恍惚，顯然沒想到這位在學術圈殺穿兩界的大佬，開場居然這麼自然地不要臉。
徐辰看著下面那一排排黑線，心情似乎不錯。
「為了彌補大家空虛的一周，這一次我依然準備了一些有趣的內容，希望大家喜歡。」
「放心，不難。」
這兩個字一出來，台下不少人心裡齊齊一震。
他們已經總結出規律了：徐教授說「有點意思」，通常意味著你會在三十分鐘後懷疑自己的智商；他說「不難」，那大概率說明你連前提假設都還沒來得及聽懂，世界觀就已經開始重構了。
……
徐辰開口道：「我問大家一個問題。」
他的聲音不高，卻很穩，足夠讓整個階梯教室每一個角落都聽得清清楚楚。
「你們有沒有想過，在你們做過的所有數學題里，出現頻率最高的符號是什麼？」
台下一片沉默。有人下意識地低頭翻了翻筆記本。
「不是加號，不是乘號，「徐辰自己給出了答案，「是這個。「
他轉身，在黑板中央寫下了一個巨大的符號：
【 = 】
「等號。「
台下有人忍不住嘀咕了一聲，這也需要講？
徐辰轉過身，眼神掃過那個發出笑聲的學生，但臉上沒有任何嘲笑的意思。反而，他用一種非常認真的語氣問道：
「你笑什麼？」
那男生愣了一下：「就是……感覺這個挺基礎的。」
「基礎？那正好。」徐辰點點頭，「你來告訴我，等號是什麼？」
那學生被點得有些猝不及防，支吾了一下：「就是……相等？」
「相等。」徐辰重複了一遍，隨後又追問，「那什麼叫相等？」
那學生張了張嘴，忽然發現這問題居然比想像中難回答得多。
教室里安靜了下來。
徐辰也不催，只是看著眾人，片刻後才淡淡開口：
「如果你們從來沒有認真想過這個問題，那你們之前做的很多數學，本質上都還停留在搬運符號。」
「別覺得我是在故弄玄虛。」
「現代數學很多最深的思想，往往就藏在這些你們以為最不需要懷疑的地方。」
這句話落下後，教室里的氣氛頓時變了。
……
徐辰也沒有繼續在這個問題上刁難，繼續往下講。
「1557年，一個叫羅伯特·雷科德的威爾斯數學家，在他的著作《礪智石》里第一次使用了這個符號。他選擇用兩條平行線來表示'相等'，給出的理由非常有意思。「
徐辰頓了頓，嘴角微微上揚：
「他的原話是：'世界上沒有什麼東西，能比兩條等長的平行線更加相似了。'「
「注意，他說的是『相似』，不是『完全一樣』。」徐辰用粉筆輕輕點了點黑板上的等號，「這個措辭很有意思。因為從數學哲學的角度看，相等從來不是一個絕對概念。它幾乎總是依賴於你選擇忽略什麼。」
「或者說得更直白一點——所謂相等，很多時候不是『沒有差別』，而是『差別不重要』。」
台下不少人眼神一動。
這句話，已經開始有點意思了。
尤其是那幾個計算機學院學生，表情明顯認真了起來。
因為這句話放在計算機里同樣成立。
兩個文件的哈希值一樣，你就說它們「相等」；兩個對象的內存地址一樣，你說它們「相等」；兩個神經網絡在測試集上的輸出分布幾乎一致，你可能也會說它們「等價」。可這幾種「相等」，顯然不是一回事。
同樣是程式設計師嘴裡的「==」，在不同語言、不同類型系統、不同抽象層里，背後可能藏著完全不同的判斷標準。
……
徐辰繼續道：
「比如你們小時候學算術，會覺得『1+1=2』是天經地義。」
「這當然沒錯。但數學有趣的地方就在於，天經地義這種事，一旦換個世界，往往就沒那麼天經地義了。」
他沒有再重複之前講加法課時已經用過的模二、布爾代數那套例子，而是換了個方向。
他在黑板上寫下兩行。
一個是幾何中的兩個三角形。
一個是群論里的兩個群。
「在初等幾何里，你們會問兩個三角形相不相等。後來你們學得更細，就會發現，『相等』至少可以拆成好幾層：全等、相似、面積相等、周長相等。」
「同樣是『一樣』，標準一變，結論就可能完全不同。1872年，年僅23歲的菲利克斯·克萊因提出了著名的『愛爾蘭根綱領』。他幹了一件什麼事呢？他宣稱，幾何學研究的本質，就是在某種特定的變換群下保持不變的性質！」
「換句話說，克萊因直接用『什麼樣的等號』，重新定義了『什麼樣的幾何』！你在平移和旋轉下相等的，那是歐氏幾何；你在投影下相等的，那是射影幾何！」
「再比如代數裡，兩個群階數相同，不代表它們相等；兩個群寫法不同，也不代表它們不一樣。真正重要的是，它們的運算結構能不能對上。這就是所謂的『同構』。在代數學家的眼裡，只要兩個結構同構，哪怕它們一個是用來轉魔方的，一個是用來解多項式的，它們也是同一個東西！」
……
他轉過身，看向全班。
「所以，當我們寫下 a=ba=ba=b 的時候，我們到底在說什麼？」
教室里一下子靜了。
這次的安靜，不再是「這題不會」的空白，而是很多人真的開始順著這個問題往裡想。
徐辰滿意地看了一眼台下的反應，隨後在黑板上又寫出一列符號：
=≡≅≃∼≈≡(mod n)
「普通等號、恆等、同構、同倫等價、等價關係、近似相等、模同餘……」
「數學家為什麼發明了這麼多種『等號』？」
他用手比了個鏡頭對焦的動作。
「因為『相等』從來不是單層的。它更像一組不同倍率的鏡頭。」
「你拿一副肉眼看，覺得兩個東西差不多；換成顯微鏡，差別就出來了；再換一個研究目的，你可能又會說——算了，這些差別我不關心。」
「數學裡的等號，本質上就是這種『帶目的性的忽略』。」
「你選擇保留什麼結構，忽略什麼結構，這個選擇本身，就決定了你在做哪一門數學。」
徐辰放下粉筆，順手拿起桌上的水杯喝了口水，像是在給大家一點消化時間。
……