許多看似自然的定義,實際上凝結著19世紀以來數學不斷抽象與統一的歷史過程。探究這些概念形成的歷史,往往并不是現代教材的主要任務,卻構成了理解這門課程的重要維度。《簡明高等代數》(廈門大學出版社,2025.2)一書努力把歷史發生的順序、現代學科的邏輯結構以及學生的認知規律統一起來,讓抽象概念重新獲得問題背景。對于初學者、教育工作者以及熱愛數學史的讀者而言,這是一本值得細細品讀的好教材。
撰文 | 王濤(中國科學院自然科學史研究所青年研究員)
今年春天,受寧德師范學院林壽教授邀請與廈門大學林亞南教授推薦,我有幸到寧德師范學院與福州大學訪問交流。在寧德期間,我結識了該校數理學院的林秀清院長與蔣劍劍老師。一番交談才知曉,我與蔣老師還有過共同參加2012年全國基礎數學研究生暑期學校的經歷。臨別之際,蔣老師將他與林秀清教授合著的《簡明高等代數》一書相贈。據蔣老師告知,這部教材來源于他多年來的教學實踐,2025年由廈門大學出版社出版。展卷品讀,書中濃郁的數學史氣息令我感觸頗深,也讓我追憶起當年初識高等代數的那段求學時光。
![]()
蔣劍劍、林秀清《簡明高等代數》
廈門大學出版社,2025年
20年前,我進入河北師范大學數學與應用數學專業,學習的是北京大學數學系編寫的《高等代數》(第三版)。多年后我重讀此書,才逐漸體會到它作為經典教材的精妙之處:書中各個概念環環相扣、層層遞進,最終構建起高等代數完整而嚴謹的邏輯體系。可惜當年的我只是機械學習定義與定理,能夠完成計算和證明,并未真正理解這些概念的本質與背后的來龍去脈。如果誠實一點,甚至可以說是學得一塌糊涂。
與此同時,我發現書中鮮有中國數學家的名字,于是下意識地認為,這是一套來自西方的知識體系。為此我曾到圖書館翻閱各種著作,希望找到一些國人的名字。記得第一次見到《李群與李代數》時滿心歡喜,以為終于發現了一位中國數學家。查詢后才知道,這位李(S. Lie)其實是一位挪威人。如今回想起來,這段青澀的小誤會倒也別有趣味。
后來我進入數學史研究領域,除了邏輯上的“從何而來”,開始更加關注歷史上的“從何而來”。線性方程組與行列式、矩陣之間究竟有著怎樣的關系?線性變換的概念又是在怎樣的數學發展過程中逐步形成的?向量空間為何采用這幾條公理來刻畫,而不是其他形式?許多看似自然的定義,實際上凝結著19世紀以來數學不斷抽象與統一的歷史過程。探究這些概念形成的歷史,往往并不是于現代教材的主要任務,卻構成了理解這門課程的重要維度。也正因為如此,當我讀到《簡明高等代數》時,書中濃厚的歷史意識與問題意識讓我產生了強烈共鳴。
《簡明高等代數》以問題為驅動,以歷史為線索,以結構為歸宿。全書開篇從線性方程組出發,并以此貫穿前幾章內容。這種安排并非簡單的章節調整,而是在一定程度上呼應了代數學的發展歷程:許多后來被抽象化、結構化的概念,最初都源于對方程求解問題的持續探索。編者將《九章算術》中的“方程術”納入核心教學內容,這是中國古代數學家求解線性方程組的一套算法體系。公元263年,劉徽在為《九章算術》作注時,對其進行了細致闡釋。從現代數學的角度回看,這套算法理論與高斯—若爾當消元法之間存在著耐人尋味的聯系。
更重要的是,編者并未將這些歷史材料僅作為課外閱讀或文化點綴,而是將其融入知識講解的過程之中,使讀者能夠在古今兩種數學表達方式之間建立聯系。本書將方程術作為貫穿古今的一條主線,其作用遠不止求解線性方程組。例如求逆矩陣時,用初等行變換將(A/I)化為(I/A-1);計算行列式時,可以用初等變換化為上三角再求積;判斷向量組的極大線性無關組時,將列向量排成矩陣,用初等行變換化為階梯型后直接讀出結果。這樣一來,讀者看到的不再是彼此割裂的知識點,而是一種不斷重復出現、不斷深化發展的思想方法。
![]()
《九章算術》中的方程術(微波榭本)
從全書的章節架構來看,編者的巧思貫穿始終。教材前半部分以線性方程組為主線,圍繞矩陣與行列式展開討論;隨后自然過渡到列向量空間模型,引出線性相關、基與維數等核心概念;繼而討論雙線性型與一元多項式,最終進入抽象向量空間、線性映射以及歐氏空間算子理論。整個體系由具體到抽象、由計算到結構,層層遞進,既照顧了初學者的認知規律,也保持了現代代數學的邏輯統一性。
這種編排最可貴之處,在于它努力揭示不同知識板塊之間的內在聯系。對于今天的學生而言,高等代數似乎本來就是一門獨立而完整的課程,線性方程組、矩陣、行列式、二次型、線性空間、線性變換等內容仿佛天然屬于同一門學科。然而從歷史上來看,高等代數并非天然形成的知識體系。19世紀中葉以來,數學家逐漸認識到,原本分散于線性方程組、解析幾何、數論、不變量論以及部分物理學中的許多對象,都具有共同的線性結構。正是在不斷抽象、統一和重組的過程中,這些知識最終匯聚為今天所謂的高等代數。理解這一歷史過程,也正是理解高等代數為何如此組織、為何以線性空間作為核心的關鍵所在。
如果說本書借助方程術展示了如何從歷史進入高等代數,那么線性空間部分則體現了編者如何處理高等代數最核心、也最抽象的內容。
線性空間又稱向量空間,這一名稱本身便記錄著數學抽象化的發展歷程。19世紀中葉以來,數學家圍繞四元數、超復數系統、矩陣以及函數等不同數學對象展開研究,物理學的發展則推動了幾何向量理論走向成熟。隨著研究不斷深入,人們逐漸認識到,這些對象雖然來源不同,卻具有十分相似的線性運算規律。于是,重要的不再是對象本身,而是它們所滿足的共同結構。線性空間理論正是在這種不斷抽象與統一的過程中逐漸形成的。
![]()
格拉斯曼《線性擴張理論》(1844年)
本書沒有一開始就給出線性空間的抽象定義,而是先讓讀者充分接觸列向量空間、矩陣空間、多項式空間等具體實例,讓學生在實際問題中體會線性關系、生成、維數等概念的意義。在積累足夠的感性認識之后,再將這些共同規律提煉為向量空間公理。對于初學者而言,這種由具體到抽象的路徑顯然比直接給出公理體系更容易理解。
教材在推理過程中并不回避幾何直覺。例如一組向量線性相關,意味著張成子空間時發生“維度塌縮”;線性無關,則意味著張成空間的維數等于向量個數。在這一過程中,“張成子空間”成為統領性的核心概念,貫穿于極大線性無關組、秩、基與維數等內容的討論。例如教材在說明“若整個向量組線性無關,則任何部分組也線性無關”時寫道:“整體無塌縮,則任何部分無塌縮;若某部分塌縮,整體當然存在塌縮。”寥寥數語,化繁為簡,頗能體現書名中“簡明”二字的追求。
作為一名數學史工作者,我尤其看重這部教材的知識史價值。長期以來,不少學習者容易形成一種印象:中國古代數學只是一些零散的計算技巧,與現代數學沒有關系。事實上,高等代數的理論形態確實主要形成于近代以來的數學發展之中,但其所處理的許多基本問題卻擁有更為漫長的歷史。《簡明高等代數》并非將中國古代數學神話為高等代數的直接起源,而是在歷史事實允許的范圍內,建立起一種審慎而富有啟發性的聯系。通過這樣的寫法,讀者既能夠理解高等代數的形成過程,也能夠看到不同文明在數學發展中的獨特貢獻。
重讀這部《簡明高等代數》,仿佛走完了一段跨越兩千年的數學旅程:從中國傳統數學的方程術,到19世紀的矩陣理論,再到20世紀初線性變換與線性空間的抽象體系,不同時代、不同地域的數學家圍繞“線性結構”這一主題不斷探索、不斷深化。嚴格說來,高等代數的形成歷史遠比教材所呈現的脈絡復雜得多;然而對于初學者而言,重要的并非知道所有歷史細節,而是理解這些概念為何產生、這些理論為何必要。《簡明高等代數》所提供的,正是這樣一條具有啟發意義的知識生成路徑。
一本好的數學教材,不僅傳授知識,更幫助人理解知識。閱讀過程中,我越來越意識到,這部教材真正關心的并不僅僅是“講什么”,而是“按照什么順序講”。它努力把歷史發生的順序、現代學科的邏輯結構以及學生的認知規律統一起來,讓抽象概念重新獲得問題背景,也讓數學重新回到人類探索世界的漫長歷程之中。對于高等代數初學者、數學教育工作者以及熱愛數學史的讀者而言,這都是一本值得細細品讀的教材。
![]()
特 別 提 示
『返樸』提供按月檢索功能。關注公眾號,回復四位數組成的年份+月份,如“1903”,可獲取2019年3月的內容目錄,以此類推。
版權說明:歡迎個人轉發,任何形式的媒體或機構未經授權,不得轉載和摘編。
特別聲明:以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布,本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.