【论文资料】13代数学的新生—19世纪的代数学.ppt
42页18世纪的几何与代数分析的光芒使18世纪综合几何的发展暗然失色,但分析方法的应 用却开拓出了一个崭新的几何分支,即微分几何,从而改变了18世纪 几何学的面貌代数”在18世纪数学家心目中则是“分析”的同义 语,他们将分析看作是代数的延伸在这种情况下,18世纪的代数学 为下个世纪的革命性发展做出了必要准备 1 微分几何的形成微积分的创始人已经利用微积分研究曲线的曲率、拐点、渐伸线、渐屈线等而 获得了属于微分几何范畴的部分结果但微分几何成为独立的数学分支主要是在18 世纪1731年法国数学家克莱洛发表了《关于双重曲率曲线的研究》,开创了空间 曲线理论,是建立微分几何的重要一步欧拉是微分几何的重要奠基人他早在1736年就引进了平面曲线的内在坐标概 念,即以曲线弧长作为曲线上点的坐标在《无限小分析引论》第2卷中则引进了曲 线的参数表示: x = x(s), y = y(s), z = z(s),欧拉将曲率定义为曲线的切线方向与一固 定方向的交角相对于弧长的变化率,并推导了空间曲线任一点曲率半径的解析表达式欧拉的曲率定义是对克莱洛引进的空间曲线的两个曲率之一的标准化(另一个曲率, 现在叫“挠率”,其解析表示到19世纪初才得到)。
欧拉关于曲面论的经典工作《 关于曲面上曲线的研究》(1760)被公认为微分几何史上的一个里程碑欧拉在其 中将曲面表示为z = f ( x, y ), 并引进了相当于 的标准符号外,欧拉还正确地建立了曲面的曲率概念,引进了法曲率、主曲率等概念 ,并得到了法曲率的欧拉公式 (其中 是主曲率,是一法截面与主曲率所在法截面的交角)1771年以后,欧 拉还率先对可展曲面理论进行了研究,导出了曲面可展性的充分必要条件18世纪微分几何的发展因蒙日的工作而臻于高峰蒙日于1795年发表的《关于分 析的几何应用的活页论文》是第一部系统的微分几何著述他将空间曲线与曲面理 论与微分方程紧密结合,在曲面簇、可展曲面及直纹面研究方面获得了大量深刻的 结果与大多数学数学家不同的是,蒙日不仅将分析应用于几何,同时也反过来用 几何去解释微分方程,从而推动后者的发展他开创了偏微分方程的特征理论,引 进了探讨偏微分方程的几何工具:特征曲线与特征锥(现称“蒙日锥”)等,它们 至今仍是现代偏微分方程论中的重要概念 18世纪代数学的主题仍然是代数方程在这个世纪的最后一年,年青的高斯在 他的博士论文中公布了代数基本定理的第一个实质性证明。
高斯的这一成果可以看 作是18世纪方程论的一个漂亮的总结代数基本定理断言n次代数方程恰有n个根 它最早是由荷兰数学家吉拉尔于1629年提出,后经笛卡尔、牛顿等众多学者反复陈 述、应用,但均未给出证明高斯的思想具有深刻的意义,因为其证明是纯粹存在 性的在此之前,几乎所有的数学家都习惯于通过实际构造来证明问题解的存在 相对于代数基本定理而言,高次方程根式可解性问题显得并不怎么幸运尽管 未能在18世纪奏响解决的凯歌, 但这个世纪的数学家们还是为此做出了历史性贡献, 其中以拉格朗日的工作最为重要他在1770年的一篇长文中探讨了一般三、四次方 程能根式求解的原因,并猜测高次方程一般不能根式求解1799年,拉格朗日的部 分猜测被意大利的鲁菲尼所证实可以说,他们已经走到了成功的边缘,虽然未能 达到目标,却为下一世纪的最终冲刺指明了方向方程组理论也是颇受关注的代数方程问题首先是线性方程组与行列式理论 瑞士数学家克拉姆在其《代数曲线分析引论》(1750)中提出了由系数行列式来确 定线性代数方程组解的表达式的法则,即“克拉姆法则”行列式理论在1772年被 法国数学家范德蒙德系统化,自此成为独立的数学对象范德蒙德用二阶子行列式 及其余子式来展开行列式的法则,后来被拉普拉斯推广到一般情形而称为“拉普拉 斯展开”。
2 方程论及其他与方程论相联系的是人们对数的认识18世纪的数学家还谈不上有完整的数系概念 和建立数系的企图虽然在接受负数与复数方面还存有疑虑与争议,但在弄清复数的 意义方面却也有些功绩随着微积分的发展,复数几乎进入了所有的初等函数领域, 并且在应用上卓有成效达朗贝尔在1747年关于一切复数均可以表示成形式 a + b i 的 断言开始被多数人接受1797年,丹麦数学家韦塞尔创造了复数的几何表示,并发展 了复数的运算法则等到1806年瑞士人阿尔冈、1831年高斯各自独立发表了关于复数 几何表示的研究之后,笼罩着虚数的疑云终于被驱散开来 18世纪数学家在澄清无理数逻辑基础方面没有进展,但他们以相对平静的态度接受了 一些数的无理性欧拉在1737年证明了e是无理数他的证明以连分数为基础,他得到 e 的连分数展开:因为他已经证明了每一个有理数都能表示成一个有限的连分数,所以e必定是无理 数1761年,兰伯特用类似方法证明了圆周率是无理数稍后勒让德甚至猜测说可 能不是任何有理系数方程的根这促使数学家们将无理数区分为代数数和超越数 1844年,法国数学家刘维尔第一次真正地显示了超越数的存在,他证明了形如 的数(a1 , a2 , a3 , … 为从0到9的任意整数)都是超越数。
1873年和1882年,法国数学 家埃尔米特和德国数学家林德曼又分别证明了e和 的超越性 虽然古希腊、中国与印度的数学著作中早就给出了不少问题和结果,但近代意义 上的数论研究还得从费马开始费马提出了大量定理或猜想,让全世界的数学家们忙 碌了好几个世纪,有的至今仍为现代数论饶有兴趣的课题1)费马小定理:如果 p是素数, a与p互素,则 ap - a可以被 p 整除1640年10月18日,费马给德贝西(B.Frenicle de Bessy)的信中提出2)费马大定理:对于任意大于 2的自然数 n,方程xn + yn = zn 没有整数解费马阅读巴歇(C.-G.Bachet)校订的丢番图《算术》时的批注1670年费马及 其子萨缪尔(Samuel)的批注连同巴歇校订的《算术》再版,此问题公诸于世3)平方数问题:I)每个4n + 1形的素数和它的平方都只能以一种方式表示为两个平 方数之和;每个4n + 1形的素数的三次方和它的四次方都只能以两种方式;其五次方和 六次方都能以三种方式,如此等等,以至无穷如 n = 1时, 5 = 22 + 12 , 52 = 32 + 42, 53 = 22 + 112 = 52 + 102 ,等等;II)每个正整数可表示成四个或少于四个平方数之和。
4)费马数:形如 Fn = 22 + 1 (n = 0, 1, 2, 3, … )的数永远是素数. 1640年,费马给梅森的信中提出5)佩尔方程的解:当A是正数而非完全平方数时,佩尔(J.Pell, 1611-1685)方程x2 - Ay2 = 1 有无穷个整数解1657年2月,费马给德贝西(B.Frenicle de Bessy)的信中提出18世纪的数论尤其受到了费马思想的主宰,该时期得到的许多结果,都与证明费马 提出的这些猜想有关3 数论的进展n1732年,欧拉推翻了费马关于费马数的结论,证明n = 5时, Fn = 22 + 1 不是素 数,它有一个因子641今天我们知道,对于 n = 5~ 16, Fn 都是合数还存在其他 的 n 使 Fn 是合数1736年,欧拉证明了费马小定理是正确的1753年,欧拉在致哥德巴赫(C.Goldbach,1690-1764)的一封信中宣布证明了n = 3 时的费马大定理其证明使用了一种称为“无限下降法”技巧该技巧实际也是费马 的发明他曾使用这种方法证明了如下定理:边长为整数的直角三角形其面积不可能 是整数的平方这也是费马惟一写出了证明过程的定理。
证明大意是:令x, y, z为直 角三角形的边长, z 是斜边,则有x2 + y2 = z2 ,设三角形面积为 u2, u是整数,三角形 面积应为u2 = xy/2. 依靠一套巧妙的推理, 费马导出了另一组正整数 X1 , Y1 , Z1 和 U1 ,因为X1 , Y1 , Z1 和 x , y , z有同样性质,故根据同样推理可导出另一组正整数X2 , Y2 , Z2 , U2 , 使得 5且有Z2 1, n 取遍所有的正整数, p取遍所有素数 从17世纪初开始,数学经历了近两个世纪的开拓,在18世纪行将结束的时候, 数学家们对自己从事的这门科学却奇怪地存在着一种普遍的悲观情绪拉格朗日 于1781年在写给达朗贝尔的信中说:“在我看来似乎(数学的)矿井已经挖掘很深 了,除非发现新的矿脉,否则迟早势必放弃它,……科学院中几何学(指数学) 的处境将会有一天变成目前大学里阿拉伯语的处境一样,那也不是不可能的欧 拉和达朗贝尔都同意拉格朗日的观点法国法兰西学院一份《关于1789年以来数 学科学进展的历史及其现状的报告》更是预测在数学的“几乎所有的分支里,人们 都被不可克服的困难阻挡住了;把细枝末节完善化看来是剩下来惟一可做的事情 了,所有这些困难好象是宣告我们的分析的力量实际上是已经穷竭了”。
这种世纪末悲观主义的由来,可能是因为17、18世纪数学与天文力学的紧密 结合,使部分数学家把天文与力学看成是数学发展的几乎惟一源泉,而一旦这种 结合变得相对滞缓和暂时进入低谷,就会使人感到迷失方向当然也有人看到了 曙光,孔多塞在1781年写道:“不应该相信什么我们已经接近了这些科学必定会 停滞不前的终点,……我们应该公开宣称,我们仅仅是迈出了万里征途的第一步 !” 4 18世纪末数学发展的悲观情绪从根本上说,数学的发展与人类的生产实践和社会需求密切相关,对自然的探索 是数学研究最丰富的源泉但是,数学的发展对于现实世界又表现出相对的独立性 一种数学理论一经建立,便可基于逻辑思维向前推进,并由此导致新理论与新思想的 产生因此,内在的逻辑需要也是数学进步的重要动力之一过于看重数学进展对现 实需要的依赖,而忽视数学发展的内在动力,难免产生对数学发展前景的悲观预见. 生产实践的需要数学发展的动力数学发展的动力 数学内部的矛盾 数学家的求知欲实际上,就在18世纪后半叶,数学内部悄悄积累的矛盾已经开始酝酿新的变革 当时的数学家们面临着一系列数学自身产生的、长期悬而未决的问题,其中最突 出的是:(1)高于四次的代数方程的根式求解问题;(2)欧几里得几何中平行公理的证明问题;(3)牛顿、莱布尼兹微积分算法的逻辑基础问题。
在19世纪初,这些问题已变得越发尖锐而不可回避 19世纪的代数学:新生的时代1 1 代数方程的可解性与群的发现代数方程的可解性与群的发现发现者:发现者:阿贝尔阿贝尔 伽罗瓦伽罗瓦 发展者:发展者:凯莱凯莱 若尔当若尔当 F.F.克莱因克莱因 李李中世纪的阿拉伯数学家把代数学看成是解代数方程的学问直到19世纪初,代数 研究仍未超出这个范围不过这时数学家们的注意力集中在了五次和高于五次的代数 方程上 二次方程的解法古巴比伦人就已掌握中世纪,阿拉伯数学家将二次方程的理论 系统化三、四次方程的求解在文艺复兴时期获得解决接下来,让人关心的自然是 一般的五次或更高次的方程求解在解出三、四次方程后的整整两个半世纪内,很少 有人怀疑五次代数方程根式解法的存在性但是寻求这种解法的努力却都以失败而告 终Niels Henrik Abel (1802~1829)挪威数学家1802年8月5日生于芬岛一个牧师家庭,1829年4 月6日卒于弗鲁兰13岁入奥斯陆一所教会学校学习,年轻的数学 教师B.M.霍尔姆博发现了阿贝尔的数学天才,对他给予指导。
少年 时,阿贝尔就已经开始考虑一些数学问题1821年在一些教授资助 下,入奥斯陆大学在学校里,他几乎全是自学,同时花大量时间作 研究。





