尼尔斯·亨里克·阿贝尔(Niels Henrik Abel)
挪威最伟大的数学家——他 22 岁用六页纸终结了三百年的五次方程之梦,又开创椭圆函数论与阿贝尔积分,却在贫病交加中 27 岁早逝;柏林的教授聘书寄到时他已入土两天,"阿贝尔"从此成为交换群、可和性与数学最高奖之一的名字。
一、生平与时代背景
尼尔斯·亨里克·阿贝尔于 1802 年 8 月 5 日生于挪威斯塔万格附近的弗林岛(Frindöe)。他成长的时代,挪威正处于拿破仑战争的经济灾难中:挪威原属丹麦,丹麦保持中立却于 1807 年被英国袭击并俘获整个舰队,随后双方互相封锁,挪威的木材出口与粮食进口断绝,陷入饥荒与赤贫;1814 年《基尔条约》将挪威划归瑞典,挪威短暂独立未遂后并入瑞典(在克里斯蒂安尼亚 Christiania,今奥斯陆,建立内部自治政府)。阿贝尔正是在这样的年代长大。
父亲瑟伦·乔治·阿贝尔(Søren Georg Abel)拥有神学与语文学学位,祖父是盖尔斯特德(Gjerstad)的新教牧师;瑟伦是挪威民族主义者,积极参与独立运动,曾任挪威议会议员(Storting)并参与 1814 年宪法起草。母亲安妮·玛丽·西蒙森(Ane Marie Simonson)是商人与船主之女。阿贝尔是七个孩子中的老二,一岁时祖父去世、父亲继任为盖尔斯特德的牧师,他便在牧师宅邸由父亲教到 13 岁——但家中经济窘迫,且史家指出父亲可能酗酒、母亲被指品行不端。
1815 年阿贝尔与长兄被送往克里斯蒂安尼亚的大教堂学校。但这所昔日的好学校因 1813 年克里斯蒂安尼亚大学建校而抽走了优秀教师,阿贝尔入学时已很糟糕,他表现平平,仅在数学与物理上有点天分。转折发生在 1817 年:新数学老师伯恩特·霍尔姆伯(Bernt Holmboe)到任(前任因体罚一名学生致死被解雇)。霍尔姆伯很快发现了阿贝尔的才华,鼓励他阅读欧拉、牛顿、拉朗德、达朗贝尔,继而拉格朗日与拉普拉斯的著作——一年之内阿贝尔已在攻读大学程度的数学。
1820 年悲剧降临:父亲在 1818 年再度当选议员后因诬告同僚而身败名裂、酗酒被逐,1820 年去世,家庭陷入最深的困境——没钱让阿贝尔完成中学学业,更遑论大学,且他还要供养母亲与弟妹。霍尔姆伯为他筹款争得奖学金,阿贝尔才得以继续。1821 年他进入克里斯蒂安尼亚大学(建校仅十年),1822 年毕业;天文学教授克里斯托弗·汉斯廷(Christopher Hansteen)给予他经济资助与鼓励,汉斯廷夫人待他如亲子。1823 年他在汉斯廷创办的新科学期刊上发表论文,其中第三篇《用定积分解若干问题》给出了积分方程的第一个解法。
还在中学最后一年,阿贝尔就开始研究五次方程的根式解。1821 年他以为自己解出了五次方程,把论文寄给丹麦数学家费迪南德·德根(Ferdinand Degen)请求在哥本哈根皇家学会发表;德根请他给一个数值例子,阿贝尔在验算中发现了错误。但德根给了他一个改变数学史的建议——去研究椭圆积分:
"……谁要是能在这块(椭圆积分的)土地上耕作,必将发现一片通向巨大分析海洋的麦哲伦海峡。"
1823 年阿贝尔获小笔资助赴哥本哈根见德根与其他数学家,在那里结识了克里斯蒂娜·肯普(Christine Kemp),她后来成为他的未婚妻。返回后他申请更大资助以访问德法数学中心,因他不会法语与德语,校方给了他两年资助留在克里斯蒂安尼亚先学语言。在此期间他重新研究五次方程,1824 年证明了五次及以上一般方程没有根式解,自费以法文出版为六页小册子,以便随身携带作为学术名片。他把小册子寄给多位数学家,包括高斯——后者从未拆阅,高斯死后才发现原封未动。
1825 年 8 月阿贝尔获挪威政府奖学金出国,与四位朋友同行,先到哥本哈根(德根已去世),再赴柏林。在哥本哈根他得到一封给克雷尔(August Leopold Crelle)的介绍信。在柏林他与克雷尔结为挚友,这是他此行最有用的收获——克雷尔正筹备创办第一份专门数学期刊《纯粹与应用数学杂志》(Crelle's Journal)。克雷尔鼓励阿贝尔把五次方程不可能性的证明写得更清楚,结果连同另外六篇论文一起,发表在 1827 年《克雷尔杂志》的创刊号上,其中包括《椭圆函数研究》(Recherches sur les fonctions elliptiques)。在柏林他得知克里斯蒂安尼亚大学唯一的数学教授职位已给了霍尔姆伯,前途堪忧。
阿贝尔本打算与克雷勒同赴巴黎并在哥廷根拜访高斯,但传话说高斯对他的五次方程工作并不高兴(实际上高斯根本没读),他便打消了去哥廷根的念头。克雷尔滞留柏林,阿贝尔遂与挪威朋友经意大利北部翻越阿尔卑斯到巴黎。在巴黎他大失所望——法国人对陌生人冷淡,他向巴黎科学院提交的一篇关于一大类超越函数的大论文(阿贝尔定理),柯西几乎不屑一顾,论文被指定由柯西与勒让德评审,就此遗失。他在巴黎"消瘦、阴郁、疲惫、终日忧心,一天只能吃一顿饭"。
1826 年底他钱尽病衰,回到柏林,借钱继续研究椭圆函数,用反演法把椭圆积分理论彻底改造为椭圆函数理论。克雷尔劝他留柏林等待教职,甚至愿聘他为期刊主编,但他债台高筑、急于回家,1827 年 5 月回到克里斯蒂安尼亚。大学给了他一小笔钱(但保留从未来薪金中扣除的权利),他靠给中学生补课贴补,未婚妻则在弗罗兰(Froland)的朋友家做家庭教师。汉斯廷获大笔资助赴西伯利亚研究地磁,阿贝尔被聘顶替他在大学与军事学院的教学,境况稍好。
1828 年,阿贝尔看到雅可比关于椭圆积分变换的论文,立即指出雅可比的结果是自己工作的推论,并在椭圆函数大著第二部分加注说明;他放下正在研究的"哪些方程可用根式解"的问题(这后来由伽罗瓦解决),全力与雅可比在椭圆函数上竞争,接连写出数篇高质量论文。勒让德读到两人的新工作后写道:"通过这些工作,你们两位将跻身于我们这个时代最顶尖的分析学家之列。"
阿贝尔的健康持续恶化。1828 年暑假他与未婚妻在弗罗兰相聚;提交巴黎科学院的巨著似乎已遗失,他便把主要结果重写为一篇仅两页的《一个定理》("A theorem"),无引言、无应用、寥寥数行,却凝缩了巴黎论文的主定理。1828 年圣诞节他乘雪橇赴弗罗兰探未婚妻,途中病重,圣诞期间一度好转,随即再度恶化(肺结核)。克雷勒为他奔走,终于在柏林为他谋得教授职位,1829 年 4 月 8 日写信告诉他喜讯——但为时已晚,阿贝尔已于 4 月 6 日在弗罗兰去世,年仅 26 岁(距 27 岁生日还有四个月)。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 1802 | 8 月 5 日生于挪威斯塔万格附近的弗林岛 |
| 1815 | 入克里斯蒂安尼亚大教堂学校(学校已衰落,表现平平) |
| 1817 | 新数学老师霍尔姆伯到任,发现其天才;开始读欧拉、拉格朗日、拉普拉斯 |
| 1820 | 父卒(身败名裂、酗酒),家庭陷入赤贫;霍尔姆伯筹款助其继续学业 |
| 1821 | 入克里斯蒂安尼亚大学;受汉斯廷资助 |
| 1822 | 大学毕业 |
| 1823 | 在期刊发表论文,给出积分方程的第一个解法;赴哥本哈根,结识未婚妻克里斯蒂娜;德根建议研究椭圆积分 |
| 1824 | 自费出版六页法文小册子,证明五次及以上一般方程无根式解;寄高斯(未拆阅) |
| 1825 | 8 月获政府奖学金出国;与朋友赴柏林,结识克雷尔 |
| 1826 | 经意大利至巴黎;向巴黎科学院提交阿贝尔定理大论文(柯西不屑,后遗失);年底返柏林 |
| 1827 | 在《克雷尔杂志》创刊号发表七篇论文(含五次方程证明与椭圆函数研究);5 月回克里斯蒂安尼亚,顶替汉斯廷教学 |
| 1828 | 见雅可比椭圆函数论文,指出其结果为己工作推论;与雅可比竞争,连续发表论文;勒让德盛赞两人;重写遗失的主定理为两页《一个定理》 |
| 1828—1829 | 圣诞节乘雪橇赴弗罗兰途中病重(肺结核) |
| 1829 | 4 月 6 日卒于弗罗兰,年仅 26 岁;4 月 8 日克雷尔的柏林聘书寄到,已迟 |
三、核心成果(逐条技术解析)
1. 五次及以上一般方程无根式解(阿贝尔—鲁菲尼定理,1824)
问题背景:自三次、四次方程的求根公式在 16 世纪被发现后,数学家花了近三百年寻找五次方程的根式解,始终未果。
关键思想:阿贝尔不是去寻找解,而是证明一般五次方程的解不可能用系数的根式(加、减、乘、除与开方)表示。他分析了"根式解"的可能形式,证明若存在这样的表达式,将导出矛盾。
精确表述(阿贝尔—鲁菲尼定理):对于 $n\ge 5$,一般 $n$ 次代数方程 $x^n+a_1x^{n-1}+\cdots+a_n=0$ 的根不能用其系数经过有限次加、减、乘、除和开方运算表示。 鲁菲尼(Paolo Ruffini)在 1799 年已给出一个不完整的证明(有漏洞);阿贝尔 1824 年的证明是第一个被广泛接受的严格证明,故定理以两人命名。
与前人关系:拉格朗日 1770 年的《关于方程的代数解法的思考》已分析了置换在解方程中的作用,预示了困难;鲁菲尼先有尝试;阿贝尔完成严格证明。数年后伽罗瓦(Évariste Galois)给出更一般的判据:方程可用根式解当且仅当其伽罗瓦群可解——阿贝尔定理成为其推论。
局限性:阿贝尔只证明了"一般"方程不可解,未刻画"哪些特殊方程可解"——这由伽罗瓦理论完成(阿贝尔本人晚年已朝此方向努力,却被早逝打断)。
2. 椭圆函数论——反演椭圆积分(1827 年起)
问题背景:18 世纪以来,椭圆积分(形如 $\int R(x,\sqrt{P(x)})\,dx$,$P$ 为三次或四次多项式)在分析、力学、天文学中频繁出现,但被当作"积不出来"的超越函数研究;勒让德花四十年整理其理论,却始终在"积分"的框架内打转。
关键思想:阿贝尔(与雅可比各自独立)把椭圆积分反演——不把椭圆积分 $u=\int_0^x \frac{dt}{\sqrt{(1-t^2)(1-k^2t^2)}}$ 视为 $x$ 的函数,而是把上限 $x$ 视为 $u$ 的函数,记 $x=\operatorname{sn}(u)$(正弦振幅,sine amplitude),由此得到的新函数就是椭圆函数。他证明椭圆函数是双周期的复函数。
精确表述:阿贝尔引入椭圆函数 $\operatorname{sn},\operatorname{cn},\operatorname{dn}$,证明它们是复变量 $u$ 的双周期亚纯函数:存在两个非实数比的基本周期 $\omega_1,\omega_2$,使得 $f(u+\omega_1)=f(u+\omega_2)=f(u)$。这推广了三角函数的单周期性,是复分析中一类全新的函数。他还得到椭圆函数的加法定理(addition theorem),并以此统一了勒让德的三类椭圆积分。
与前人关系:高斯在 1790 年代已研究过双纽线函数的反演(未发表);勒让德建立了椭圆积分的系统理论但未反演。阿贝尔与雅可比在 1820 年代后期各自独立完成反演并建立椭圆函数论,两人之间存在激烈而友好的竞争,勒让德称他们为"两位势均力敌的年轻运动员"。
历史意义:椭圆函数论是 19 世纪分析的中心主题之一,深刻影响了复分析、数论、代数几何与数学物理。
3. 阿贝尔定理与阿贝尔积分——代数几何的奠基(1826 巴黎论文)
问题背景:椭圆积分只是更广泛的"代数函数积分"的特例。能否找到椭圆积分加法定理(欧拉曾给出)在一般代数曲线上的推广?
关键思想:在提交巴黎科学院的大论文《论一类极为广泛的超越函数的一个一般性质》中,阿贝尔证明:任意多个代数函数积分(今称阿贝尔积分)之和,可以化为固定数目 $p$ 个这样的积分之和,其积分限是原积分限的代数函数。
精确表述(阿贝尔定理 / 阿贝尔加法定理):设 $f(x,y)=0$ 是一条代数曲线,$R(x,y)$ 为有理函数,则积分 $\int R(x,y)\,dx$ 的任意线性组合之和可化为 $p$ 个同类积分加上有理与对数项,其中 $p$ 是该曲线的亏格(genus)——这是"亏格"这一代数几何基本不变量的首次出现。椭圆曲线对应 $p=1$,此时阿贝尔定理退化为椭圆积分的欧拉加法定理。
历史境遇:这篇凝聚了阿贝尔最深思想的论文提交后被柯西搁置、遗失;他临终前重写为两页《一个定理》。原稿直到 1841 年才被发现,1841 年由挪威数学家出版(部分),完整版本更晚。雅可比称其为"我们这个世纪最伟大的数学发现"。
与后人关系:阿贝尔积分、阿贝尔微分、阿贝尔簇(abelian variety)、雅可比簇等概念都由此发展,是现代代数几何的核心。
4. 二项级数的严格收敛与幂级数的阿贝尔定理(1826)
问题背景:19 世纪初的分析缺乏严格性,无穷级数的求和多凭形式操作。阿贝尔震惊地发现:"除了最简情形,数学中没有一个无穷级数的和是被严格确定过的。"
关键思想:在 1826 年论文《关于级数 $1+\frac{m}{1}x+\frac{m(m-1)}{2}x^2+\cdots$ 的研究》中,他严格讨论了二项级数的收敛性,并证明了关于幂级数边界行为的基本定理。
精确表述(阿贝尔极限定理):若幂级数 $\sum_{n=0}^\infty a_n x^n$ 在 $x=1$ 处收敛到 $A$,则 $$\lim_{x\to 1^-}\sum_{n=0}^\infty a_n x^n = A.$$ 由此他对任意实指数 $m$ 严格证明了二项式定理 $(1+x)^m=\sum \binom{m}{n}x^n$(在 $|x|<1$ 成立,并讨论边界情形)。这是分析严格化(把微积分从形式操作推向 $\varepsilon$-$\delta$ 严谨)的重要一步,早于魏尔斯特拉斯的系统工作。
命名遗存:幂级数求和法中的"阿贝尔可和性"(Abel summability)、傅里叶级数的阿贝尔求和、阿贝尔判别法(Abel's test for convergence)等均以他命名。
5. 积分方程的第一个解与分析的早期严格化(1823)
问题背景:物理中常出现未知函数出现在积分号内的方程(积分方程),早期缺少解法。
关键思想:在 1823 年《用定积分解若干问题》中,阿贝尔求解了等时曲线(tautochrone)问题导出的积分方程,给出了积分方程的第一个显式解。
精确表述(阿贝尔积分方程):方程 $$f(x)=\int_0^x \frac{\phi(t)}{(x-t)^\alpha}\,dt\quad(0<\alpha<1)$$ 的解为 $$\phi(x)=\frac{\sin \pi\alpha}{\pi}\frac{d}{dx}\int_0^x \frac{f(t)}{(x-t)^{1-\alpha}}\,dt.$$ 阿贝尔 $\alpha=1/2$ 的情形对应等时曲线:质点沿该曲线下滑到底部的时间与起点高度无关(这是摆线的性质)。
历史意义:这是积分方程理论的起点,该领域后由沃尔泰拉、弗雷德霍姆、希尔伯特发展。
四、代表著作与文献
- 《五次方程不可能性的证明》(Mémoire sur les équations algébriques, ou l'on démontre l'impossibilité de la résolution de l'équation générale du cinquième degré,1824,自费法文小册子,六页):阿贝尔—鲁菲尼定理的首次完整证明。
- 《椭圆函数研究》(Recherches sur les fonctions elliptiques,1827,载《克雷尔杂志》创刊号第一、二卷):独立创立椭圆函数论,反演椭圆积分、发现双周期性。
- 《论一类极为广泛的超越函数的一个一般性质》(1826 提交巴黎科学院,主定理后重写为《一个定理》):阿贝尔定理,首次出现亏格概念;原稿 1841 年才被发现。
- 《关于二项级数的研究》(Untersuchungen über die Reihe $1+\frac{m}{1}x+\cdots$,1826,载《克雷尔杂志》):分析严格化,含阿贝尔极限定理。
- 《用定积分解若干问题》(1823):积分方程的第一个解(阿贝尔积分方程)。
- 《全集》(Niels Henrik Abel, Mémoires et travaux mathématiques,由霍尔姆伯与西罗(Sylow)、李(Lie)等整理出版,1881;另有 20 世纪校勘本)。
五、师承、学派与同时代交往
- 师承:父亲早期教他识字与基础;中学受霍尔姆伯启蒙;哥本哈根受德根指点;主要靠自修欧拉、拉格朗日、拉普拉斯的经典著作。无严格意义上的博士导师。
- 学派归属:挪威数学的奠基人;与雅可比共同开辟椭圆函数论,与伽罗瓦(虽不相识)共同开启近世代数(伽罗瓦理论与阿贝尔可解性)。
- 同时代交往:
- 伯恩特·霍尔姆伯:中学老师,发现并资助他,后任克里斯蒂安尼亚教授(占了阿贝尔本可能得到的职位);阿贝尔死后为他整理全集。
- 奥古斯特·克雷尔:挚友与出版人,《克雷尔杂志》创始人,为阿贝尔发表七篇论文,并在其身后为他在柏林谋职(惜已迟)。
- 卡尔·雅可比:椭圆函数论的独立发现者与竞争者;两人相互敬重、彼此推动,勒让德称他们为"两位势均力敌的运动员"。
- 阿德里安-马里·勒让德:椭圆积分的老前辈,读到两人的工作后慷慨盛赞。
- 高斯:阿贝尔寄去五次方程证明,高斯未拆阅;阿贝尔也因此未去哥廷根拜访,错失与数学巨人交流的机会。
- 柯西:巴黎科学院评审人,对阿贝尔的大论文不屑一顾,致其遗失——是数学史上最著名的审稿失职之一。
- 学生/传人:阿贝尔本人无学生;但其思想经雅可比、魏尔斯特拉斯、黎曼、克莱布施(Clebsch)等发展。西罗(Ludwig Sylow) 与索菲斯·李(Sophus Lie) 整理了他的全集,是挪威数学的后继者。
六、争议、公案与历史评价
- 巴黎论文的遗失与柯西的失职:阿贝尔最重要的论文(阿贝尔定理)提交巴黎科学院后被柯西搁置、遗失,直到 1841 年才找回;阿贝尔临终前只能重写为两页。这是数学史上最令人扼腕的审稿事故,直接影响了阿贝尔生前声誉。
- 高斯未拆阅五次方程证明:阿贝尔寄给高斯的小册子在高斯死后被发现原封未动;阿贝尔也因听说高斯不高兴而没去哥廷根,错失了可能改变命运的会面。
- 与雅可比的竞争:1828 年雅可比发表椭圆积分变换结果,阿贝尔指出其为己工作的推论并加注;这场竞争是健康的,两人互相激发,共同把椭圆函数论推向成熟。
- 生不逢时:挪威当时既无数学传统又经济崩溃,唯一的大学职位给了老师霍尔姆伯;阿贝尔贫病交加,26 岁即逝,"教授聘书迟到两天"成为数学史上最著名的悲剧之一。
- 历史评价:阿贝尔在短暂生命里同时在代数(五次方程不可解)、分析(椭圆函数、阿贝尔积分、分析严格化)两大方向做出奠基性贡献,其深度与广度可与任何同时代人比肩。埃尔米特(Hermite)说:"阿贝尔留给数学家的东西,够他们忙上五百年。"以他命名的有阿贝尔群、阿贝尔积分、阿贝尔函数、阿贝尔簇、阿贝尔可和性、阿贝尔定理等——现代数学中"abelian"(交换的)一词即源自他。2002 年起设立的阿贝尔奖是数学界最高荣誉之一,与菲尔兹奖并列。
七、身后影响与学术谱系
- 对近世代数:阿贝尔—鲁菲尼定理终结了三次方程以来的根式求解传统,直接催生了伽罗瓦理论(可解群判定)与群论;"阿贝尔群"(交换群)之名即因阿贝尔研究过的一类可用根式解的"阿贝尔方程"而来。
- 对复分析与代数几何:椭圆函数论是 19 世纪复分析的中心;阿贝尔积分与亏格概念经黎曼(黎曼曲面、黎曼-罗赫定理)、魏尔斯特拉斯、克莱布施发展,成为现代代数几何的基石;阿贝尔簇是其高维推广。
- 对分析严格化:阿贝尔的幂级数收敛性研究是 19 世纪分析算术化(魏尔斯特拉斯)的先驱;阿贝尔判别法、阿贝尔求和至今是级数理论的标准工具。
- 对积分方程:给出第一个积分方程解,开启了后来沃尔泰拉、弗雷德霍姆、希尔伯特的积分方程理论,影响了泛函分析。
- 对挪威科学:他是挪威科学的旗帜,推动了挪威数学的建立;奥斯陆有阿贝尔雕像,2002 年阿贝尔奖(挪威政府设立,奖金约 75 万美元)以他命名。
- 命名遗存:阿贝尔群、阿贝尔环、阿贝尔积分、阿贝尔微分、阿贝尔函数、阿贝尔簇、雅可比簇(与雅可比共享)、阿贝尔可和性、阿贝尔判别法、阿贝尔极限定理、月球阿贝尔环形山。
八、延伸阅读与权威来源
- MacTutor 数学史档案:Niels Henrik Abel:圣安德鲁斯大学权威传记,本档案主要史实出处。
- Dictionary of Scientific Biography — Abel (PDF, MacTutor 托管):科学史权威传记条目。
- MacTutor 历史专题:The Abel Prize:阿贝尔奖的设立与历届获奖者。
- Wikipedia: Niels Henrik Abel:生平与著作交叉核对。
- Wikipedia: Abel–Ruffini theorem:五次方程不可解定理。
- Wikipedia: Abel's theorem:阿贝尔定理(幂级数边界行为)。
- Wikipedia: Abelian integral:阿贝尔积分与亏格。
- O. Ore, Niels Henrik Abel: Mathematician Extraordinary (1957):经典英文传记(MacTutor 参考文献 3)。