後記:為什麼是線性?#
讀完這本書,一個問題應該浮上來:兩千年來,人類反覆回到同一種數學——把世界寫成係數表,用線性的規則推演。為什麼是線性?
第一個答案是認識論的。線性是最簡單的「可以推廣的關係」:兩個解相加還是解,解乘倍數還是解。人類面對複雜世界的第一策略,永遠是「在小小範圍內把非線性當成線性」——這就是微積分的本質,也是工程的本質。牛頓力學是小速度下的線性近似;橋樑振動是小形變下的線性近似;經濟學的邊際分析是微小變動下的線性近似。線性化不是數學的偷懶,而是科學方法本身。
第二個答案是計算的。線性問題算得起:消去法有多項式的計算量,誤差可以控制,演算法可以平行化。非線性方程組至今沒有通用的、保證收斂的解法。因此,凡是需要規模化的科學——氣候、飛機、核武、網頁——最終都落到線性代數上。計算能力塑造科學的邊界,而線性代數佔據了這條邊界內最廣闊的領土。
第三個答案最深刻:線性代數提供了「結構」的最低配置。向量空間只需要加法與數乘兩種運算,就能談基底、維度、變換、特徵值——就已經足以安放量子力學與資訊理論。格拉斯曼在 1844 年看到的就是這件事:先造最抽象的框架,內容自然會來住。事實上來住的,先是弦的振動,後是原子的波函數,最後是人類的品味向量與語言的語意向量。
但本書的歷史也提醒我們,觀念的命運從來不僅由觀念決定:
- 《九章算術》的方程術誕生於帝國官僚制度,也受限於它——沒有符號代數的傳統,就長不出抽象理論;
- 關孝和與萊布尼茨各自發明行列式,一個因為和算沒有期刊而失傳,一個因為未發表而塵封;
- 高斯消去法被大地測量鍛造成計算科學;冷戰的資助讓數值線性代數成為學科;
- 凱萊的矩陣等了七十年才等到量子力學;格拉斯曼等了一輩子也沒等到承認;
- PageRank 兌現了特徵向量的價值,靠的是商業動機與運算能力同時到位。
數學觀念像種子:它有自己內在的形狀,但發芽與否,取決於土壤——制度的土壤、經濟的土壤、技術的土壤。反過來,長成的樹又改變土壤:線性代數重塑了物理、工程、統計與經濟學的教育,成為二十世紀「量化素養」的核心,也成為今天機器學習時代的通用語言。
最後回到那張係數表。漢代官吏在算板上擺出的三行數字,凱萊定義乘法的方陣,希爾伯特空間中的無窮維向量,Google 伺服器裡數十億列的連結矩陣,Netflix 的品味矩陣——它們是同一個觀念的不同世代。數學史上很少有觀念能維持兩千年的連續生命,而「線性」做到了,因為它答覆的是人類最根本的渴望:從已知推出未知,從部分推知整體,用有限的資訊重建完整的世界。
兩千年前,消去法解的是三捆禾的收成;今天,特徵向量排序的是全人類的知識。方程的形狀沒有變,變的是方程背後的世界。