赫尔曼·格拉斯曼(Hermann Günther Grassmann)
超越其时代近一个世纪的中学教师——他从未获得大学教职,却在《线性扩张论》中独自建立了向量空间、维数与外代数的整套理论;生前无人理解,身后经克利福德、皮亚诺、嘉当之手,成为现代几何、代数与物理的基础语言。
一、生平与时代背景
赫尔曼·京特·格拉斯曼(Hermann Günther Grassmann,德语作 Graßmann)于 1809 年 4 月 15 日生于普鲁士的斯德丁(Stettin,今波兰什切青 Szczecin)。父亲尤斯图斯·京特·格拉斯曼(Justus Günther Grassmann)原是受戒牧师,后任斯德丁文理中学(Gymnasium)的数学与物理教师,是位优秀学者,写过多种物理与数学教科书,还研究晶体学。母亲约翰娜·路易丝·弗里德里克·梅登瓦尔德(Johanne Luise Friederike Medenwald)是一位牧师的女儿。夫妻育有 12 个子女,赫尔曼排行第三;弟弟罗伯特(Robert)后来也成为数学家,二人合作过许多项目。
幼年的格拉斯曼由受过良好教育的母亲启蒙,先上私立学校,后进入父亲任教的斯德丁文理中学。与档案中大多数数学家从小令老师惊叹不同,尽管教育条件优越、家庭重视学问,赫尔曼在中学头几年并不出众,父亲甚至认为他该去当花匠或手艺人。他喜欢音乐,会弹钢琴。随着学业推进他慢慢进步,到 18 岁参加中学毕业考试时,成绩已名列全校第二。
他原打算学神学,1827 年与长兄同赴柏林大学,修读神学、古典语言、哲学与文学——似乎没有修过任何数学或物理课程。1830 年秋完成大学学业回到斯德丁后,他却对数学产生了浓厚兴趣(显然受父亲影响),决心做中学教师同时独立研究数学。经过一年自学准备,1831 年 12 月赴柏林参加教师资格考试,但他的论文水平不高,考官只允许他在文理中学的低年级任教,要求他补考以证明对所授科目有更深掌握。1832 年春,他被聘为斯德丁文理中学的助理教师。
正是在这段时间前后(约 1832 年起),他做出了第一批重要的数学发现,几年后发展为他的核心思想。1834 年他通过了斯德丁路德宗教会的一级神学考试(本可作牧师的第一步),却在同年秋赴柏林的一所工业学校(Gewerbeschule)任数学教师——该职缺是因前任教师施泰纳(Jacob Steiner)刚就任柏林大学数学教授而空出。他只在该校待了一年,便因家乡斯德丁新创办的奥托学校(Otto Schule)而回乡,被聘去教数学、物理、德语、拉丁语与宗教(这解释了他何以教授科目如此之广——他只取得了低级别任教资格)。
此后四年他认真教学,仍挤时间研究并准备更高阶考试。1839 年通过二级神学考试,1840 年赴柏林通过了可在文理中学最高阶任教的考试,从此能教数学、物理、化学与矿物学。1840 年的考试对他另有意义:他须提交一篇关于潮汐理论的论文,他从拉普拉斯《天体力学》与拉格朗日《分析力学》取基本理论,却发现可把自 1832 年以来发展的向量方法应用其中,给出原创而简化的处理。其论文《潮汐理论》(Theorie der Ebbe und Flut)长达 200 页,首次引入了基于向量的分析,包括向量的加法与减法、向量微分与向量函数论。考官接受了论文,却完全没有认识到其中创新的重要性;但这让格拉斯曼确信自己的理论适用广泛,决心全力发展向量空间思想。
他不能把太多时间用于研究,因为他是一位尽职的教师。1842 年他出版了两本教科书(一本论口语德语、一本论拉丁语),随后全力撰写《线性扩张论——数学的一个新分支》(Die lineale Ausdehnungslehre, ein neuer Zweig der Mathematik),1842 年春动笔,1843 年秋完成手稿,1844 年出版。这部独创性杰作建立了一种代数:表示点、线、面等几何实体的符号按特定规则运算;他用坐标表示空间的子空间,引出了今天所谓格拉斯曼流形(Grassmannian)的点映射。
数学家们如何看待这部革命性著作?可悲的是,它过于超前于时代而无法被欣赏。默比乌斯(Möbius)没理解其意义,拒绝为它写书评,结果该书大体被忽视。格拉斯曼并未气馁,继续把新概念应用到其他场合,觉得一旦人们看到理论的应用就会重视它:1845 年发表《电动力学新理论》,此后十年写了多篇应用于代数曲线与曲面的论文。1846 年他获得最多认可:默比乌斯建议他参加莱布尼茨提出的一个有奖问题(不使用度量性质建立几何特征),他提交的《几何分析》(Die Geometrische Analyse)于 1846 年 7 月 1 日获奖。但并非全是好消息:他是唯一的应征者,而评委之一默比乌斯批评他引入抽象观念却不给读者直观抓手。
格拉斯曼觉得委屈:自己在产出高度创新的数学,却仍在中学教书。1847 年 5 月他在弗里德里希·威廉学校获得 Oberlehrer(高级教师)头衔,同月写信给普鲁士教育部请求列入大学职位候选。教育部征求库默尔(Kummer)的意见,库默尔读了他的获奖论文后报告说它含有"值得称道的好材料,但表达形式有缺陷"——这份报告断送了格拉斯曼获得大学职位的希望。多少一流数学家未能认识到他呈现的数学将在一百年后成为该学科的基础,令人感叹。
1848—1849 年革命期间,格拉斯曼与弟弟罗伯特出版了一份政治周报,主张把德国统一为君主立宪制国家;在写了一系列宪法法律文章后,他与报纸的政治方向产生分歧而退出。1849 年 4 月 12 日他与地主之女特蕾泽·克纳佩(Therese Knappe)结婚,育有 11 个子女,7 个长大成人;其中一子赫尔曼·恩斯特·格拉斯曼(Hermann Ernst Grassmann)1893 年在哈雷大学 Wangerin 指导下获博士,后来任吉森大学数学教授。
1852 年 3 月父亲尤斯图斯去世,同年稍晚格拉斯曼被任命接任父亲在斯德丁文理中学的旧职——这意味着他虽仍在中学任教,却拥有了教授头衔。他的两个儿子尤斯图斯与马克斯后来也都成了斯德丁文理中学的教师。由于数学未能获得认可,格拉斯曼转向他另一门爱好:梵语与哥特语研究。公允地说,他在语言学上生前获得的认可比在数学上更多:他证明了日耳曼语在某个音系模式上其实比梵语"更古老",动摇了梵语作为印欧语系最早可达语言的地位(这即语言学中的格拉斯曼定律,关于梵语与希腊语中送气音的异化)。他还研究物理问题,1853 年发表了一种颜色混合理论,与亥姆霍兹(Helmholtz)的理论相矛盾(格拉斯曼的颜色定律至今是色度学的基础)。
1854 年年中他回到数学与扩张论,决定不写第二卷,而是彻底重写,以期让其意义被认识。尽管 1862 年出版的《扩张论:完整严格的版本》(Die Ausdehnungslehre: Vollständig und in strenger Form bearbeitet)在今天看来已是现代教科书的风格,却与 1844 年的第一版一样无人问津。
迟来的认可终于在晚年到来:1871 年 12 月 2 日,经克莱布什(Alfred Clebsch)推荐,他当选为哥廷根科学院通讯院士(数学—自然科学部),这鼓舞他在生命最后几年发表了若干短篇数学论文。1876 年(去世前一年),他成为美国东方学会会员,并获图宾根大学哲学系荣誉博士学位。1873 年他出版了《梨俱吠陀词典》(Wörterbuch zum Rig-Veda),1876—1877 年出版了《梨俱吠陀》的德语译本(至今仍被学界使用)。
1877 年 9 月 26 日,格拉斯曼因心力衰竭在斯德丁去世,享年 68 岁。他至死仍是一名中学教师,他的数学直到身后才被世界理解。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 1809 | 4 月 15 日生于普鲁士斯德丁(今波兰什切青);父为文理中学数学物理教师 |
| 约 1817—1827 | 入斯德丁文理中学;早年成绩平平,父亲欲令其学手艺;渐进步,毕业时全校第二 |
| 1827 | 与长兄赴柏林大学读神学、古典语言、哲学、文学(未修数学物理课) |
| 1830 | 秋回斯德丁,转向数学(受父影响),决心边做中学教师边独立研究 |
| 1831 | 12 月赴柏林考教师资格,仅获低年级任教许可 |
| 1832 | 春任斯德丁文理中学助理教师;约此时开始做出第一批数学发现 |
| 1834 | 通过一级神学考试;秋赴柏林工业学校任数学教师(继任施泰纳) |
| 1835 | 回乡任新创办的奥托学校教师,教数学、物理、德语、拉丁、宗教 |
| 1839 | 通过二级神学考试 |
| 1840 | 赴柏林通过最高阶中学教师资格考试;提交 200 页论文《潮汐理论》,首用向量分析,考官未识其重要性 |
| 1842 | 出版德语与拉丁语教科书两种 |
| 1844 | 出版《线性扩张论》,建立向量空间、维数、外代数(无人理解) |
| 1845 | 发表《电动力学新理论》 |
| 1846 | 《几何分析》获莱布尼茨问题奖(唯一应征者);默比乌斯批评其抽象无直观 |
| 1847 | 5 月获 Oberlehrer 头衔;向教育部求大学职,库默尔评审"材料好但表达有缺陷",大学职梦断 |
| 1848—1849 | 与弟罗伯特办政治周报,主张德国统一为君主立宪;后退出 |
| 1849 | 4 月 12 日与特蕾泽·克纳佩结婚(育 11 子,7 人成年) |
| 1852 | 父去世;接任父在斯德丁文理中学的旧职,获教授头衔(仍为中学) |
| 1853 | 发表颜色混合理论,与亥姆霍兹相左(格拉斯曼颜色定律) |
| 1854 | 决定重写扩张论而非出第二卷 |
| 1862 | 出版重写版《扩张论》,仍无人问津 |
| 1864 | 当选利奥波第那科学院成员(因物理成就,非数学) |
| 1871 | 12 月 2 日经克莱布什推荐当选哥廷根科学院通讯院士,鼓舞他晚年发表若干数学短文 |
| 1873 | 出版《梨俱吠陀词典》 |
| 1876 | 当选美国东方学会会员;获图宾根大学荣誉博士学位 |
| 1876—1877 | 出版《梨俱吠陀》德语全译本(至今仍用) |
| 1877 | 9 月 26 日因心力衰竭卒于斯德丁,享年 68 岁;至死为中学教师 |
三、核心成果(逐条技术解析)
1. 扩张论:向量空间与线性代数的公理化(1844)
问题背景:19 世纪上半叶,"向量空间""线性无关""维数"等概念尚无严格定义;线性代数散见于方程论、解析几何,缺乏统一的代数基础。
关键思想:在《线性扩张论》(1844)中,格拉斯曼从一组"单位" $e_1,e_2,e_3,\dots$ 出发,有效地定义了它们生成的自由线性空间:考虑形式线性组合
$$a_1e_1+a_2e_2+a_3e_3+\cdots\quad(a_j\in\mathbb R),$$
按今天的标准方式定义加法与数乘,并形式地证明了线性空间的性质。他随后以"惊人地类似于现代线性代数教材"的方式发展了线性无关理论,定义了子空间、无关性、张成、维数、子空间的并(join)与交(meet)、向子空间的投影,并证明了维数在换基下的不变性。
精确表述与成果:他证明了今天的维数公式
$$\dim(U+W)=\dim U+\dim W-\dim(U\cap W),$$
给出了换基下的坐标变换公式,定义了基的初等变换,并证明每个可逆线性变换(换基)都是初等变换的乘积。他甚至证明了后世所谓的施泰尼茨替换定理(Steinitz Exchange Theorem,施泰尼茨 1913 年才重新发表)、任何有限集存在同张成的无关子集、任何无关集可扩充为基等标准结论。
与前人关系:这些内容现代教科书习以为常,但在 1844 年是前所未有的系统构建——格拉斯曼超前时代约 80 年。向量空间的现代公理化通常归功于皮亚诺(1888,受格拉斯曼启发)与后来的发展。
局限性:他的表述高度抽象、缺乏例子与直观,导致同时代人无法理解;其理论的严格形式化与普及要等 20 世纪。
2. 外代数(格拉斯曼代数)与高维几何
问题背景:三维空间中向量有叉积,但高维推广不明;需要一种能表示面积元、体积元乃至任意 $k$ 维有向测度的代数。
关键思想:格拉斯曼发明了外积(exterior product,今记作 $\wedge$),满足
$$e_p\wedge e_p=0,\qquad e_p\wedge e_q=-e_q\wedge e_p\quad(p\ne q).$$
由此 $e_{i_1}\wedge\cdots\wedge e_{i_k}$ 表示一个 $k$ 维有向体积元,反对称性恰当地反映了定向。他还定义了内积(点积)。外代数把向量、二阶量(面积)、三阶量(体积)统一在一个分级代数中,且不受三维限制——格拉斯曼明确写道:"在空间中不能超过三个独立方向,而在纯粹的扩张论中,其数量可以增至无穷。"
精确意义:外代数是微分形式(嘉当)、外微分、行列式理论、辛几何与现代微分几何的代数基础;格拉斯曼流形(所有 $k$ 维子空间的集合,由他用坐标参数化)是代数几何与拓扑的基本对象。
与前人关系:几乎与哈密顿发现四元数(1843)同时独立产生;1878 年克利福德把格拉斯曼外代数与哈密顿四元数融合为克利福德代数。
3. 向量分析的首次系统阐述(1840,《潮汐理论》)
问题背景:力学中需要直接处理有向量(力、速度)而非坐标分量。
关键思想:在 1840 年的教师资格论文《潮汐理论》(200 页)中,格拉斯曼首次系统地引入了向量加法、减法、向量微分与向量函数,用向量方法重新处理拉普拉斯与拉格朗日的潮汐理论,得到简化的原创推导。这是历史上第一部系统的向量分析著作,比吉布斯(Gibbs)与亥维赛(Heaviside)1880 年代的向量分析早约 40 年。
与前人关系:思想上与哈密顿四元数的向量部分并行;后来吉布斯、亥维赛的向量分析融合了格拉斯曼与哈密顿的成果。
4. 颜色混合定律(1853,格拉斯曼颜色定律)
问题背景:颜色如何用数学描述?亥姆霍兹提出了三原色理论,但颜色混合的代数性质尚未厘清。
关键思想:1853 年格拉斯曼发表颜色混合理论,提出了格拉斯曼颜色定律——颜色感觉满足线性叠加:若颜色 $A$ 与 $B$ 混合等于 $C$,则将 $A$、$B$ 各乘以相同因子后混合等于 $C$ 乘以该因子;混合是可加且线性的。这与亥姆霍兹的早期观点有出入,但格拉斯曼定律后来成为现代色度学与色彩科学的基本定律(CIE 色彩空间的数学基础)。
与前人关系:纠正/补充了亥姆霍兹;是心理物理学与颜色科学的奠基之一。
5. 几何分析与不变式几何(1846,获奖)
问题背景:莱布尼茨曾提出建立不依赖度量(距离、角度)的"几何特征"(geometrical characteristic),即用几何实体的代数运算直接表达几何命题。
关键思想:格拉斯曼应征莱布尼茨问题,提交《几何分析》(1846 年 7 月 1 日获奖,唯一应征者)。他用扩张论的代数方法(点、线、面的外积与交并)建立了不依赖度量的几何演算,可直接证明射影几何定理。这是几何代数(geometric algebra)与不变量理论的先驱。
与前人关系:回应了莱布尼茨两百年前的设想;与默比乌斯的重心坐标(barycentric calculus)、凯莱的不变量理论并行;影响了后来的几何代数(克利福德代数)方法。
评价:默比乌斯虽任评委却批评其"抽象无直观"——这恰恰反映了他的思想超越了同代人。
6. 语言学:格拉斯曼定律与《梨俱吠陀》研究
问题背景:梵语与希腊语的音变规则,以及印欧语系的重构。
关键思想:在研究梵语过程中,格拉斯曼发现了格拉斯曼定律(Grassmann's law):在梵语与希腊语中,当一个词里有两个送气塞音时,第一个会异化为不送气(如梵语 *bhebhā́rṣu → bābhā́rṣu,希腊语 *thíthēmi → títthēmi 的相关形式)。他还证明日耳曼语在某一音系模式上比梵语"更古老",动摇了梵语作为印欧语最早代表的地位。1873 年出版《梨俱吠陀词典》,1876—1877 年出版《梨俱吠陀》德语全译本(至今学界仍在用)。
意义:他生前在语言学上获得的认可(美国东方学会会员、图宾根荣誉博士)远多于数学;格拉斯曼定律至今是历史语言学的经典音变定律。
四、代表著作与文献
- 《线性扩张论——数学的一个新分支》(Die lineale Ausdehnungslehre, ein neuer Zweig der Mathematik,1844):外代数与线性代数的奠基作,超前时代近一个世纪。
- 《潮汐理论》(Theorie der Ebbe und Flut,1840,教师资格论文):首用向量分析。
- 《电动力学新理论》(Neue Theorie der Elektrodynamik,1845)。
- 《几何分析》(Die Geometrische Analyse,1846,莱布尼茨问题获奖论文)。
- 《扩张论:完整严格的版本》(Die Ausdehnungslehre: Vollständig und in strenger Form bearbeitet,1862):重写版,现代教科书风格。
- 《梨俱吠陀词典》(Wörterbuch zum Rig-Veda,1873)与《梨俱吠陀》德语译本(1876—1877)。
- 著作集:Hermann Grassmanns gesammelte mathematische und physikalische Werke(3 卷,莱比锡,1894—1911,F. Engel 编),含长篇导言追溯其思想来源与影响。
五、师承、学派与同时代交往
- 师承:父亲尤斯图斯·格拉斯曼(数学物理教师)是其数学启蒙;大学读神学,无正式数学导师,完全靠自学。
- 学派归属:不属于任何传统学派,是独立的原创思想家;其思想后来由"克利福德—皮亚诺—怀特海—嘉当"一脉继承。
- 同时代交往:
- 默比乌斯(August Möbius):同代几何学家,未能理解格拉斯曼的方法,拒绝为《扩张论》写书评;作为 1846 年评奖评委批评其抽象无直观。
- 库默尔(Ernst Kummer):1847 年应教育部之请评审格拉斯曼,报告"材料好但表达有缺陷",断送其大学职位机会。
- 克莱布什(Alfred Clebsch):1871 年推荐他入哥廷根科学院,是少数认可其数学的同代人;其去世后对传播格拉斯曼思想起了作用。
- 弟弟罗伯特·格拉斯曼:数学家,合作者(共同办报、共同研究)。
- 施泰纳(Jacob Steiner):1834 年格拉斯曼继任其柏林工业学校教职。
- 费利克斯·克莱因:受格拉斯曼影响(影响了其 1872 年埃尔朗根纲领),并在格拉斯曼身后向索弗斯·李等推介其工作。
- 身后继承者:克利福德(Clifford,1878 融合为克利福德代数)、皮亚诺(Peano,1888《几何演算》公理化向量空间)、怀特海(Whitehead,1898《泛代数论》)、嘉当(Cartan,微分形式)、吉布斯(向量分析)。
六、争议、公案与历史评价
- 超前时代导致的埋没:格拉斯曼的两部《扩张论》(1844、1862)在生前几乎无人问津,默比乌斯、库默尔等一流数学家都未能认识其价值;他至死未能获得大学职位。这是数学史上最著名的"超前于时代"案例之一,并非其理论有误,而是过于抽象、缺乏直观,超出了同代人的理解力。
- "表达有缺陷"的批评:库默尔的评语常被引用为对格拉斯曼的否定,但公允地说,其表述确实对读者极不友好——他自己太确信主题的重要性,以致不肯向怀疑者"推销"。1862 年的重写版已是现代教科书风格,却仍未被接受。
- 与哈密顿的优先权:格拉斯曼的外代数与哈密顿的四元数几乎同时独立产生(1843—1844),二者都包含向量与代数的思想,但走了不同路线(格拉斯曼:分级、反对称、任意维;哈密顿:四维结合代数)。不存在剽窃,二者独立;克利福德后来将它们融合。
- 施泰尼茨替换定理:该定理通常以施泰尼茨(1913)命名,但格拉斯曼在 1844 年已证明它。命名偏差:定理以施泰尼茨命名是因为施泰尼茨的版本更系统、更广为人知,但格拉斯曼的优先权已被 Fearnley-Sander 等现代学者证实(此点学界已公认,不属"存疑",但常被忽视)。
- 语言学 vs 数学的认可:他生前因梵语研究(格拉斯曼定律、梨俱吠陀词典/译本)获得的荣誉(美国东方学会、图宾根博士、利奥波第那科学院——后者还是因物理)远多于数学;数学的认可是身后事。
- 历史评价:今日格拉斯曼被公认为 19 世纪最具原创性的数学家之一,与哈密顿同为线性代数与非交换/分级代数的奠基人。他的思想渗透到微分几何、拓扑、理论物理(费米子的外代数、超对称)与计算机图形学中。
七、身后影响与学术谱系
- 线性代数:向量空间、线性无关、基、维数、子空间交并等现代线性代数的核心概念,在 1844 年的《扩张论》中已系统存在;经皮亚诺(1888 公理化)、20 世纪初的发展成为标准。
- 外代数与微分形式:嘉当(Élie Cartan)以格拉斯曼外代数为基础建立微分形式与外微分,成为现代微分几何、广义相对论、规范场论的通用语言;外代数还是描述费米子的数学工具。
- 克利福德代数与几何代数:1878 年克利福德把外代数与四元数融合为克利福德代数,用于二次型与相对论量子力学(狄拉克方程);现代"几何代数"直接继承格拉斯曼。
- 格拉斯曼流形:由他参数化子空间引出,是代数几何、微分拓扑与示性类理论的基本对象(如陈类的格拉斯曼类)。
- 代数几何与不变量理论:几何分析方法影响了凯莱、希尔伯特的不变量理论与克莱因的埃尔朗根纲领。
- 颜色科学:格拉斯曼颜色定律是现代色度学(CIE 标准)的基础。
- 语言学:格拉斯曼定律是历史语音学的经典;《梨俱吠陀》译本至今被梵文学界使用。
- 命名遗存:格拉斯曼代数(外代数)、格拉斯曼流形(Grassmannian)、格拉斯曼坐标、格拉斯曼图、格拉斯曼定律(语言学)、格拉斯曼颜色定律等;德国以他命名的格拉斯曼学会与奖项。
- 迟到的认可:1894—1911 年恩格斯(F. Engel)编辑出版了其数学物理著作全集并写长篇导言;2009 年其诞辰 200 周年,多项国际会议与研究项目纪念他。
八、延伸阅读与权威来源
- MacTutor 数学史档案:Hermann Günther Grassmann:圣安德鲁斯大学权威传记,本档案主要史实出处。
- Dictionary of Scientific Biography — Grassmann (PDF, MacTutor 托管):科学史权威传记条目,含晚年荣誉细节。
- Wikipedia: Hermann Grassmann:生平与著作交叉核对。
- Wikipedia: Exterior algebra:外代数的历史与现代表述。
- Wikipedia: Grassmannian:格拉斯曼流形。
- Wikipedia: Grassmann's law:语言学中的送气音异化定律。
- Wikipedia: Grassmann's laws (color science):颜色混合定律。
- Wikipedia: Linear algebra#History:线性代数史,含格拉斯曼的奠基作用。
- 哥廷根科学院:Hermann Günther Grassmann 档案:其 1871 年通讯院士身份的官方记录。
- Heinz Klaus Strick 传记(MacTutor 托管 PDF):通俗传记,补充生平与逝世细节。