查看原文
其他

学好线性代数,我推荐这本书 | 展卷

林开亮 返朴 2021-04-27

点击上方蓝字“返朴”关注我们,查看更多历史文章


本书作者阿克斯勒之所以要打倒行列式,可能主要是想突出线性代数的本质方面是概念而非计算。正是出于对后一个看法的支持,促使我在这里向读者推荐这本书。


撰文 | 林开亮

人民邮电出版社,2016年
作者谢尔登·阿克斯勒(Sheldon Axler)和他的猫,取自其个人主页http://www.axler.net/在中国,线性代数一般等同于矩阵论,这主要是受华罗庚先生的影响,他的矩阵功底炉火纯青,因此他的学生曾肯成教授这样说:“龙生龙,凤生凤,华罗庚的学生会打洞。”所谓“打洞”,就是用相似变换或其它矩阵变换将矩阵化成标准型(其中有很多元素为0,即“洞”)。据华罗庚的另一得意弟子陆启铿院士讲,当初邀请华罗庚访问美国普林斯顿高等研究所的外尔(H. Weyl)曾这样评价:“华罗庚玩矩阵就像玩数字一样得心应手。”大概是陆启铿先生的话被人听岔了,做出这一评价的外尔教授,有时被讹传为韦伊(A. Weil)。稍微了解韦伊的人都知道,他不可能说这话。为什么呢?因为韦伊是法国布尔巴基学派的灵魂人物,他跟谢瓦莱(C. Chevalley)都致力于消除代数中的行列式、结式等计算性的概念,而华罗庚是以矩阵计算见长,绝非韦伊所欣赏的风格。这里有罗塔(Gian-Carlo Rota)教授在1988年提供的证词 (见其文章Fine Hall in its golden age: Remembrances of Princeton in the early fifties,收入A Century of Mathematics in America, Part III, History of Mathematics, Volume 3, P. Duren, Ed., pp.223-236, American Mathematical Society, 1989. http://www34.homepage.villanova.edu/robert.jantzen/princeton_math/pmcxrota.htm)即便是本科生的线性代数教学,也留下了阿廷(E. Artin)清晰可见的印记:他在我们面前从来绝口不提基和行列式(考虑到他是那么喜欢计算,这真是奇怪的禁令)。阿廷的盟友,谢瓦莱和韦伊,竭尽全力将行列式和结式驱逐出代数。每每想到革命尚未成功,九泉之下的两位(注:指1962年过世的阿廷和1984年过世的谢瓦莱,韦伊也在1998年过世)可能都无心睡眠。


在这方面,韦伊和谢瓦莱的先驱,正是罗塔这里所提到的阿廷。荷兰数学家范德瓦尔登(van der Waerden)曾根据阿廷诺特(E. Noether)的讲义,写成抽象代数的经典名著《近世代数》(后来更名为《代数学》,有中译本,科学出版社),此书直接刺激了布尔巴基学派的诞生。希尔伯特(Hilbert)、诺特阿廷是近世代数的先驱,近世代数的思想一度在德国盛行。特别地,受到量子力学的刺激,冯·诺依曼(von Neumann)将这一思想应用到无限维空间的泛函分析中,导致了线性代数的几何化。这方面的第一本书,就是冯·诺依曼在普林斯顿高等研究院的助手哈尔莫斯(P.R. Halmos)根据他的讲义写成的《有限维向量空间》(Finite-Dimensional Vector Spaces)。该书1942年出版,之后多次再版,现已成为经典(期待有朝一日能够引进中译本,这是笔者心目中独一无二的线代数圣经)。
眼下这本《线性代数应该这样学》(Linear Algebra Done Right 第三版),可以说,基本上是按照《有限维向量空间》的精神写的一本新书。这毫不奇怪,作者是圣弗朗西斯科州立大学数学系的教授阿克斯勒(Sheldon Axler)。他是哈尔莫斯的徒孙,中间的链接是萨拉森(Donald Sarason)。阿克斯勒写作这本书,可以追溯到他在1995年发表在《美国数学月刊》上的一篇阐述性文章《打倒行列式!》(Down with determinants!),该文次年获得了美国数学协会颁发的 Lester R. Ford 写作奖。标题取名为“打倒行列式! ”,也许在中国的读者看来,有点不可思议!因为在通行的线性代数教科书中,行列式通常放在一开头讲的,如果直接扔掉了,后面还怎么讲?事实上,这是完全可以做到的,《线性代数应该这样学》就做到了这一点。在全书中,迹和行列式是最后一章,而之前讲完了线性代数所有其它内容(尤其是作为矩阵灵魂的特征值与特征向量),根本不需用到这两个概念!阿克斯勒之所以要打倒行列式,可能主要是想突出线性代数的本质方面是概念而非计算。正是出于对后一个看法的支持,促使我在这里向读者推荐这本书。如前所说,线性代数的教学分两派:一派注重代数计算,以华罗庚先生为代表,这条线最终可溯源到美国的代数与数论学家迪克森 (L. E. Dickson) ,中间的链接是杨武之教授(杨振宁的父亲,把近世代数和数论引进到中国);一派注重几何直观,以哈尔莫斯为代表,最终追溯到诺特和阿廷,中间的链接是冯·诺依曼。虽然我本人经受的课堂训练是偏计算的(教材用北大的经典《高等代数》,它以丁石孙先生的《高等代数简明教程》为蓝本,丁先生在自传中说他借鉴了苏联斯米尔诺夫的《高等数学教程》;课堂之外,我的高等代数老师、天津大学数学系田代军教授指引我去读华罗庚、万哲先的《典型群》以及雅各布森(N. Jacobson)的抽象代数著作),然而只是在我后来用哈尔莫斯的《有限维向量空间》重新学了一遍线性代数以后,我才敢说我对线性代数有了一点底气。我希望我说这话时,你不要认为我是在吹牛,我甚至希望这话能得到专业人士的认可,因为我在博士论文中的部分工作,就是用阿廷、冯·诺依曼、哈尔莫斯那一派的几何观念和方法,完善了华罗庚先生1947年的一项纯代数的矩阵工作。因此可以说,我是华罗庚先生和哈尔莫斯教授两派结合的产物。代数计算将线性代数机械化了(我有一次在打乒乓球时感觉每一次回球就像在做一次初等变换),同时也变得有点无聊。我常常有一种天真的想法,也许可以考虑用吴文俊先生倡导的数学机械化,将华罗庚学派炉火纯青的打洞技术给实现了!要想让线性代数生动起来,除了介绍一些精彩应用的例子外,一个可行的办法是强调几何的语言。几何的语言,自然是相对于代数的语言而说的。简单讲,就是用线性变换代替矩阵, 用抽象向量代替列向量。几何语言的优点是简洁明快,例如“作用(action)”这个词给人的感觉就是如此。代数语言的好处是具体清晰,两个矩阵“相乘”在我们头脑中的图象,是一系列具体运算的运作。通常的教科书往往过分强调了代数的语言,这同时也充分暴露了其诸多弊端。最大的缺点在于容易将几何淹没于代数。而且,在很多问题中坐标的选取并不重要,我们所需要的往往只是一些基本的运算规律, 例如分配律、结合律等。这时抽象的几何语言就十分适用了,例如在内积空间的理论中,我们往往采用几何语言。其实,数学家正是靠这种几何观点来指引具体的代数运算的,例如所谓Gram-Schmidt正交化,无非就是将第二个向量沿第一个向量作垂线(从三角形的一个顶点往底边引高线),一旦指出这一点,Gram-Schmidt正交化的公式就很容易理解了。更近一步,理解Cauchy-Schwarz不等式就是水到渠成的了:它所对应的,无非是这样一个熟知的几何事实:直角三角形的直角边长不超过斜边长。我要指出,我这里并非说代数计算不好,我想强调的是,要尽可能在几何直观的指引下做代数计算。我觉得借用阿廷在其名著《几何化的代数》(Geometric Algebra, 1957年出版)一书中的一句话来评论阿克斯勒的《线性代数应该这样学》再好不过了:我的经验是,一个用矩阵进行的证明,如果你抛开矩阵的话往往可以使这个证明缩短一半。有时,这一点是办不到的,你需要计算一个行列式。


我将阿克斯勒的这本书郑重推荐给所有想重新从几何的观点看待线性代数的朋友,所有想从零开始学习线性代数的朋友。该书继承和发扬了哈尔莫斯《有限维向量空间》的几何化特色,以几何引代数,以概念指导计算!它会告诉你,线性代数不仅仅是矩阵论,或者更恰当地说,从几何的观点看,线性代数和矩阵论原来可以很简单!你不再需要-矩阵,不再需要分块矩阵,更不必担心复杂的行列式计算会挡住你前行的道路!而且,额外的好处是,一旦熟悉了这种几何的观念和思维,当你应用线性代数和学习泛函分析时会更加得心应手。
根据我的经验,要使线性代数在你心中扎根,你需要读哈尔莫斯的Finite-Dimensional Vector Spaces。如果你还不习惯读外文教材,那么阿克斯勒的《线性代数应该这样学》中译本在目前是首选。下面我们简单介绍一下本书的内容。全书共十章,其中三章讲向量空间(1,2,6), 一章讲多项式(4),六章讲线性映射(其余)。第一章讲向量空间,从经典的维实列向量空间与维复列向量空间出发,引出线性空间的一般概念。向量空间是线性代数演出的舞台。(记得我博士毕业找工作时面试高校教师时抽到的一刻钟试讲题目,就是向量空间。)第二章讲有限维向量空间,维数是向量空间的基本不变量,借助基与坐标映射可以给出抽象向量空间到列空间的同构。限制于有限维的好处是,所有的运算都是有限的代数运算(不会涉及无穷)。现在舞台搭好,主角要出场了,第三章给出线性映射的基本概念。线性映射是向量空间之间的自然映射,在基底下体现为矩阵。给定一个线性映射,就诱导出两个重要的子空间,核空间与像空间。线性映射的基本定理 (3.22节)给出了这两个子空间的维数关系。(这样一个定量关系,其实可以用线性方程组的基本定理来描述。) 这个基本定理只是对线性映射给出了最粗略的描述,为了更精细地观察线性映射,我们需要将它分解为简单的线性映射。为此,一个有效的工具是多项式,这是第四章的主题。这个概念其实不属于线性代数,但它的理论可以服务于线性变换,此即第五章的内容。主要的原因在于,当一个线性变换作用于有限维向量空间时,一定存在多项式,使得。这样的零化多项式可用于研究。例如,的分解就对应给出的不变子空间分解。在最理想的情况,若分解为不同的一次因子的乘积,则就分解为特征子空间的直和。(特征值与特征向量是观察线性变换的最佳视角,不过并非所有的线性变换都可以完全通过特征向量刻画)。第六章讨论内积空间。内积空间中因为赋予了可以度量长度、角度等几何观念的内积,从而拓展了中学阶段所熟悉的平面向量和空间向量的几何知识,例如勾股定理、正交投影等。但这不只是简单地重新唤醒我们的记忆,让我们将向量几何从二维三维推广到高维;现在有了前面关于向量空间与线性映射的概念,自然我们就要问,内积空间的不变量如何刻画?这就自然引出正交变换的概念,最终我们发现,原来正交变换(以及平移变换——注意它一般不是线性变换)就是我们中学所学习的全等(也称为欧几里得运动)概念的实质。(在中学时,我从未了解到,平面上两个图形全等的真正含义是,存在平面上的一个全等变换可以将其中一个图形一一映射成另一个图形。)第7章的主题是谱定理,主要的结果是内积空间上的对称变换可正交分解为一些伸缩变换的直和。这是线性代数最核心的结果。据我分析,每年高等数学考研线性代数两道大题,分别考察线性方程组的基本定理与实对称矩阵的谱定理。遗憾的是,我接触到的一些迎考学生甚至在线性代数课程中都没有学过谱定理!在我看来,对大部分学生,线性代数至少要学到这里,还应知道正交变换的谱定理——因为只有知道了旋转与反射的几何图景,你才会与全等变换的直观印象联系起来,代数与几何才合二为一。就我个人来说,我真的是学完第2遍线性代数才明白我们通常说的三维空间的旋转是什么含义!

致敬科比(单指转球可以看成三维空间的一系列旋转)

第8章讲复向量空间上的线性变换的标准型,第9章讲实向量空间上线性变换的标准型,它们都是线性代数中的经典结果,要用到诸如广义特征向量之类的概念。不过对一般读者来说,也许你知道有这么一回事就可以了,毕竟通常呈现在你眼前的线性变换(或矩阵)都是比较简单而特殊的,用不到如此一般的系统理论。第10章是迹与行列式,这是线性变换的两个基本不变量。行列式比迹要复杂,所以放在后面。我的朋友吴帆在线性代数教学方面颇有心得,他曾说过,任何一本线性代数教材,如果一开头就讲行列式,学生基本上就学不会线性代数了。我想,这正是国内许多人学不会线性代数的原因吧。因此,我们特别提醒那些想学会线性代数的读者,如果你不想一开头就被行列式弄头大,不妨选择我们推荐的这本书。对了,各章开头插入的精美彩图也会令你眼前一亮,心向往之!我们仅取第一章和最后一章的两幅插图为证!

第一章插图:笛卡儿(右一)在向瑞典女王克里斯蒂娜讲解自己的工作


第十章插图:英国数学家和计算机科学先驱艾达·洛夫莱斯本书的前两版曾在美国近300所院校作为教材使用,作者因此收到了成千上万条反馈意见,可以想见,第三版将何等卓越。奇文共欣赏,疑义相与析。预祝你们阅读愉快,有疑问不妨直接与作者联系,据我的经历,阿克斯勒非常欢迎读者给他提意见与建议。
注:正规矩阵(normal matrix)是一类重要的矩阵。此处的笑点在于,normal 在英文中是“正常”的意思。所以,如果要真正体现出幽默来,可能要将“正规矩阵”翻译为“正常矩阵”。请允许我多说一句,可以说,正规矩阵的谱定理(各个版本)是线性代数中最重要的一个定理。
  • 温馨提示1:虽然这本书中穿插着一些幽默的图片与言论(如上图,取自原书7.B节习题15,题目是求图片中第一个矩阵被挡住的右下角元素。),但它更适合比较严肃的读者,特别是数学系的学生。读完这本书,再接触抽象代数(如小阿廷(M. Artin)的著作),应该会比较容易。对于非数学专业的学生,我想可能你们会更适应MIT数学系教授Gilbert Strang的线性代数教材和公开课视频。我想这两本书的差别可以概括为:本书重线性映射的理论,从不变量的角度以几何的观点考察线性代数;Strang的书重矩阵的应用,强调具体计算以诠释线性代数的种种应用。简单说,如果你更喜欢线性映射之类的几何语言,那么用本书;如果你更习惯矩阵之类的代数语言,用Strang的书。当然,并无绝对,本质上线性代数是代数与几何的统一,两种观点都是需要的。Strang的个人主页为http://www-math.mit.edu/~gs/


  • 温馨提示2:《线性代数应该这样学》原书在2016年出版了一个删节版,可以在作者的个人主页免费下载,http://linear.axler.net/LinearAbridged.pdf


  • 温馨提示3:作者制作了本书的音频(带幻灯片),有兴趣的读者可以浏览:https://www.bilibili.com/video/av63561127/


致谢:感谢美国南密西西比大学丁玖教授和付晓青博士对初稿提出了有价值的建议!原文出自《数学文化》,推送时略作修订。





作者简介

林开亮,首都师范大学基础数学专业博士,现任教于西北农林科技大学理学院。




本文经授权转载自微信公众号“好玩的数学”。



《返朴》新冠病毒专题


上下滑动可见全部报道  经 验 与 反 思


对抗新型冠状病毒,能从抗击非典中汲取什么经验?专家讲解新型冠状病毒的检测 | 117三人行专家呼吁:避免重复检测新冠病毒,不确诊不应影响治疗 | 117三人行4 需要评估“封城”的影响;尚无经验证的疗法 | 世界卫生组织新闻发布会实录这些野生动物的病毒怎么就到了人类社会?为何现在比过去多那么多传染病呢?
赵国屏院士:科研、疾控和临床缺乏协同,希望这是“最后一次教训”
应对疫情,春运人口回流情况如何?基于春节前人口流动模拟的预测
前夜:新冠病毒传播时间线详解 | 117三人行
控制疫情,现在最大的挑战是时间 | 专访清华药学院院长丁胜教授
10 中国疾控中心原副主任:反思此疫,中国疾控该改革了
11 血浆治疗是“稻草”还是“神药”?专家:谨慎乐观,尊重科学
12 彻底扑灭百年不遇的烈性传染病,1920年是如何做到的?| 展卷
13 非典之后,为什么这些治愈的病人更绝望了?
14 悲剧换来制度的改革:记制药史上最悲催的一次临床实验15 武汉一线专家详解新冠肺炎死亡病例:他们是窒息而死,过程很痛苦16 新冠病毒源于美国?“专家”到底错哪了17 中国延缓了病毒的全球传播,各国公卫比拼才刚刚开始18 武汉疫情暴露政府治理能力短板,突破口何在?
硬 性 科 普
比起流感,为什么全世界更害怕新型冠状病毒?Remdesivir到底是不是治疗新型冠状病毒的“神药”?权威观点:治疗冠状病毒感染,新药开发为啥那么难?4 抗新冠病毒的药物为何还没研发出来?为什么新型冠状病毒疫苗肯定会研制成功?中间宿主亟待确定!武汉病毒所确证新冠病毒极大可能源自蝙蝠
武汉新型冠状病毒的进化来源和传染人的分子作用通路
新冠病毒是人造的?专家教你告别阴谋论
9 病毒,那条静止的河流10 宅在家里不动,你的身体会发生什么变化?
11 有抗体就能清除病毒吗?认识抗体的复杂性
12 以史为鉴:也说新冠肺炎的血浆疗法
13 西湖大学团队成功解析新冠病毒细胞受体的空间结构
14 中国结构生物学家发力:揭示新冠病毒侵染人体细胞瞬间
15 给你的生物网课加点料:世界最大冷冻电镜基地给青少年的7个科普锦囊
16 炎症风暴:人体免疫系统,是怎样反噬自身的?17 传播力胜过SARS,需要担心新冠病毒变异吗?
18 全世界只有少数实验室能接触新型冠状病毒,它们长这样19 莫被误导!准确理解新冠病毒可能分为两种类型,且在暴发早期就已并存
科 学 防 护


1 病毒来袭,科学家告诉你这样选口罩 | 117三人行

世卫组织建议:如何在家护理疑似新冠感染者?附正确的打喷嚏、洗手方法 | 摸象记

3 一次性医用口罩怎么做出来的?如何消毒?

怎样安全吃喝拉撒?旅途最全防护指南请收好5 开工在即,面对新冠病毒,如何练成“百毒不侵体”?6 冠状病毒在体外可以存活多久?| 117三人行
怎样应对新冠病毒空气传播?| 117三人行8 吸烟能预防新冠病毒感染?事实可能正相反肺炎恐慌下,如何保护自己和家人?|6个心理防护方案


特 别 提 示

1. 进入『返朴』微信公众号底部菜单“精品专栏“,可查阅不同主题系列科普文章。

2. 『返朴』提供按月检索文章功能。关注公众号,回复四位数组成的年份+月份,如“1903”,可获取2019年3月的文章索引,以此类推。




相关阅读

1  数学到底是什么?布尔巴基学派启示录

2  数学家许晨阳:站在代数与几何的交界处

3  在事业巅峰退出数学界的代数几何上帝

4  徐利治先生访谈录:我所知道的华罗庚与陈省身


近期热门

1  两部发文,破除得了SCI崇拜吗?

2  对抗新型冠状病毒,能从抗击非典中汲取什么经验?

3  2020沃尔夫数学奖得主Eliashberg:找到正职前的两年是我做数学的美好时光

4  对付癌症, 是否都该早发现, 早诊断, 早治疗?

5  曹则贤跨年演讲:什么是量子力学?∣ 贤说八道


↓↓↓长按下方图片关注「返朴」,查看更多历史文章

点“在看”,传递你的品味

    您可能也对以下帖子感兴趣

    文章有问题?点此查看未经处理的缓存