作者簡介:林開亮,首都師範大學基礎數學專業博士,現任教於西北農林科技大學理學院。本文原文出自《數學文化》,曾在好玩的數學發佈微信版,本次推送時略作修訂,感謝《數學文化》和好玩的數學授權轉載。
謹以此文紀念哈爾莫斯(Halmos,1916-2006)誕辰100週年
定價:¥49.00人民郵電出版社,2016年
(京東人民郵電出版社有5折活動喲)
作者謝爾登•阿克斯勒(Sheldon Axler)和他的貓,取自其個人主頁http://www.axler.net/
在中國,線性代數一般等同於矩陣論,這主要是受華羅庚先生的影響,他的矩陣功底爐火純青,因此他的學生曾肯成教授這樣說:“龍生龍,鳳生鳳,華羅庚的學生會打洞。”所謂“打洞”,就是用相似變換或其它矩陣變換將矩陣化成標準型(其中有很多元素為0,即“洞”)。據華羅庚的另一得意弟子陸啟鏗院士講,當初邀請華羅庚訪問美國普林斯頓高等研究所的外爾(H. Weyl)曾這樣評價:“華羅庚玩矩陣就像玩數字一樣得心應手。”大概是陸啟鏗先生的話被人聽岔了,做出這一評價的外爾教授,有時被訛傳為
“
即便是本科生的線性代數教學,也留下了阿廷(E. Artin)清晰可見的印記:他在我們面前從來絕口不提基和行列式(考慮到他是那麼喜歡計算,這真是奇怪的禁令)。阿廷的盟友,謝瓦萊和韋伊,竭盡全力將行列式和結式驅逐出代數。每每想到革命尚未成功,九泉之下的兩位(注:指1962年過世的阿廷和1984年過世的謝瓦萊,韋伊也在1998年過世)可能都無心睡眠。
”
在這方面,韋伊和謝瓦萊的先驅,正是羅塔這裡所提到的阿廷。荷蘭數學家範德瓦爾登(van der Waerden)曾根據阿廷和
眼下這本《線性代數應該這樣學》(Linear Algebra Done Right 第三版),可以說,基本上是按照《有限維向量空間》的精神寫的一本新書。這毫不奇怪,作者是聖弗朗西斯科州立大學數學系的教授阿克斯勒(Sheldon Axler)。他是哈爾莫斯的徒孫,中間的鏈接是
阿克斯勒之所以要打倒行列式,可能主要是想突出線性代數的本質方面是概念而非計算。正是出於對後一個看法的支持,促使我在這裡向讀者推薦這本書。
如前所說,線性代數的教學分兩派:一派注重代數計算,以華羅庚先生為代表,這條線最終可溯源到美國的代數與數論學家迪克森(L. E. Dickson),中間的鏈接是楊武之教授(楊振寧的父親,把近世代數和數論引進到中國);一派注重幾何直觀,以哈爾莫斯為代表,最終追溯到諾特和阿廷,中間的鏈接是馮•諾依曼。雖然我本人經受的課堂訓練是偏計算的(教材用北大的經典《高等代數》,它以
代數計算將線性代數機械化了(我有一次在打乒乓球時感覺每一次回球就像在做一次初等變換),同時也變得有點無聊。我常常有一種天真的想法,也許可以考慮用吳文俊先生倡導的數學機械化,將華羅庚學派爐火純青的打洞技術給實現了!
要想讓線性代數生動起來,除了介紹一些精彩應用的例子外, 一個可行的辦法是強調幾何的語言。幾何的語言, 自然是相對於代數的語言而說的。簡單講, 就是用線性變換代替矩陣, 用抽象向量代替列向量。幾何語言的優點是簡潔明快, 例如“作用(action)”這個詞給人的感覺就是如此。代數語言的好處是具體清晰, 兩個矩陣“相乘”在我們頭腦中的圖象,是一系列具體運算的運作。通常的教科書往往過分強調了代數的語言, 這同時也充分暴露了其諸多弊端。最大的缺點在於容易將幾何淹沒於代數。而且,在很多問題中座標的選取並不重要,我們所需要的往往只是一些基本的運算規律, 例如分配律、結合律等。這時抽象的幾何語言就十分適用了, 例如在內積空間的理論中, 我們往往採用幾何語言。其實,數學家正是靠這種幾何觀點來指引具體的代數運算的, 例如所謂Gram-Schmidt正交化, 無非就是將第二個向量沿第一個向量作垂線(從三角形的一個頂點往底邊引高線), 一旦指出這一點, Gram-Schmidt正交化的公式就很容易理解了。更近一步,理解Cauchy-Schwarz不等式就是水到渠成的了:它所對應的,無非是這樣一個熟知的幾何事實:直角三角形的直角邊長不超過斜邊長。
我要指出,我這裡並非說代數計算不好,我想強調的是,要儘可能在在幾何直觀的指引下做代數計算。我覺得借用阿廷在其名著《幾何化的代數》(Geometric Algebra,1957年出版)一書中的一句話來評論阿克斯勒的《線性代數應該這樣學》再好不過了:
“
我的經驗是,一個用矩陣進行的證明,如果你拋開矩陣的話往往可以使這個證明縮短一半。有時,這一點是辦不到的,你需要計算一個行列式。
”
我將阿克斯勒的這本書鄭重推薦給所有想重新從幾何的觀點看待線性代數的朋友,所有想從零開始學習線性代數的朋友。該書繼承和發揚了哈爾莫斯《有限維向量空間》的幾何化特色,以幾何引代數,以概念指導計算!它會告訴你,線性代數不僅僅是矩陣論,或者更恰當地說,從幾何的觀點看,線性代數和矩陣論原來可以很簡單!你不再需要-矩陣,不再需要分塊矩陣,更不必擔心複雜的行列式計算會擋住你前行的道路!而且,額外的好處是,一旦熟悉了這種幾何的觀念和思維,當你應用線性代數和學習泛函分析時會更加得心應手。
根據我的經驗,要使線性代數在你心中紮根,你需要讀哈爾莫斯的Finite-Dimensional Vector Spaces。如果你還不習慣讀外文教材,那麼阿克斯勒的《線性代數應該這樣學》中譯本在目前是首選。
下面我們簡單介紹一下本書的內容。全書共十章,其中三章講向量空間(1,2,6), 一章講多項式(4),六章講線性映射(其餘)。
第一章講向量空間,從經典的維實列向量空間與維複列向量空間出發,引出線性空間的一般概念。向量空間是線性代數演出的舞臺。(記得我博士畢業找工作時面試高校教師時抽到的一刻鐘試講題目,就是向量空間。)
第二章講有限維向量空間,維數是向量空間的基本不變量,藉助基與座標映射可以給出抽象向量空間到列空間的同構。限制於有限維的好處是,所有的運算都是有限的代數運算(不會涉及無窮)。
現在舞臺搭好,主角要出場了,第三章給出線性映射的基本概念。線性映射是向量空間之間的自然映射,在基底下體現為矩陣。給定一個線性映射,就誘導出兩個重要的子空間,核空間與像空間。線性映射的基本定理(3.22節)給出了這兩個子空間的維數關係。(這樣一個定量關係,其實可以用線性方程組的基本定理來描述。)這個基本定理只是對線性映射給出了最粗略的描述,為了更精細地觀察線性映射,我們需要將它分解為簡單的線性映射。
為此,一個有效的工具是多項式,這是第四章的主題。這個概念其實不屬於線性代數,但它的理論可以服務於線性變換,此即第五章的內容。主要的原因在於,當一個線性變換作用於有限維向量空間時,一定存在多項式,使得。這樣的零化多項式可用於研究。例如,的分解就對應給出的不變子空間分解。在最理想的情況,若分解為不同的一次因子的乘積,則就分解為特徵子空間的直和。(特徵值與特徵向量是觀察線性變換的最佳視角,不過並非所有的線性變換都可以完全通過特徵向量刻畫)。
第六章討論內積空間。內積空間中因為賦予了可以度量長度、角度等幾何觀念的內積,從而拓展了中學階段所熟悉的平面向量和空間向量的幾何知識,例如勾股定理、正交投影等。但這不只是簡單地重新喚醒我們的記憶,讓我們將向量幾何從二維三維推廣到高維;現在有了前面關於向量空間與線性映射的概念,自然我們就要問,內積空間的不變量如何刻畫?這就自然引出正交變換的概念,最終我們發現,原來正交變換(以及平移變換——注意它一般不是線性變換)就是我們中學所學習的全等(也稱為歐幾里得運動)概念的實質。(在中學時,我從未了解到,平面上兩個圖形全等的真正含義是,存在平面上的一個全等變換可以將其中一個圖形一一映射成另一個圖形。)
第七章的主題是譜定理,主要的結果是內積空間上的對稱變換可正交分解為一些伸縮變換的直和。這是線性代數最核心的結果。據我分析,每年高等數學考研線性代數兩道大題,分別考察線性方程組的基本定理與實對稱矩陣的譜定理。遺憾的是,我接觸到的一些迎考學生甚至在線性代數課程中都沒有學過譜定理!在我看來,對大部分學生,線性代數至少要學到這裡,還應知道正交變換的譜定理——因為只有知道了旋轉與反射的幾何圖景,你才會與全等變換的直觀印象聯繫起來,代數與幾何才合二為一。就我個人來說,我真的是學完第2遍線性代數才明白我們通常說的三維空間的旋轉是什麼含義!
致敬科比(單指轉球可以看成三維空間的一系列旋轉)
第八章講復向量空間上的線性變換的標準型,第九章講實向量空間上線性變換的標準型,它們都是線性代數中的經典結果,要用到諸如廣義特徵向量之類的概念。不過對一般讀者來說,也許你知道有這麼一回事就可以了,畢竟通常呈現在你眼前的線性變換(或矩陣)都是比較簡單而特殊的,用不到如此一般的系統理論。
第十章是跡與行列式,這是線性變換的兩個基本不變量。行列式比跡要複雜,所以放在後面。我的朋友吳帆在線性代數教學方面頗有心得,他曾說過,任何一本線性代數教材,如果一開頭就講行列式,學生基本上就學不會線性代數了。我想,這正是國內許多人學不會線性代數的原因吧。因此,我們特別提醒那些想學會線性代數的讀者,如果你不想一開頭就被行列式弄頭大,不妨選擇我們推薦的這本書。
對了,各章開頭插入的精美彩圖也會令你眼前一亮,心嚮往之!我們僅取第一章和最後一章的兩幅插圖為證!
第一章插圖:笛卡兒(右一)在向瑞典女王克里斯蒂娜講解自己的工作
第十章插圖:英國數學家和計算機科學先驅艾達•洛夫萊斯
本書的前兩版曾在美國近300所院校作為教材使用,作者因此收到了成千上萬條反饋意見,可以想見,第三版將何等卓越。奇文共欣賞,疑義相與析。預祝你們閱讀愉快,有疑問不妨直接與作者聯繫,據我的經歷,阿克斯勒非常歡迎讀者給他提意見與建議。
注:正規矩陣(normal matrix)是一類重要的矩陣。此處的笑點在於,normal 在英文中是“正常”的意思。所以,如果要真正體現出幽默來,可能要將“正規矩陣”翻譯為“正常矩陣”。請允許我多說一句,可以說,正規矩陣的譜定理(各個版本)是線性代數中最重要的一個定理。
“
致謝:感謝本刊編委、美國南密西西比大學丁玖教授和付曉青博士對初稿提出了有價值的建議!
”
圖書推薦
線性代數入門最佳教材
《線性代數應該這樣學(第3版)》
斯坦福大學等全球 40 多個國家、300 餘所高校採用的數學教材,公認的闡述線性代數經典佳作。從向量空間和線性映射出發描述線性算子,包含 561 道習題和大量示例,提升熟練運用線性代數知識的能力。