数学史8.pptVIP

9．4 射影几何的繁荣 非欧几何揭示了空间的弯曲性质，将平直空间的欧氏几何变成了某种特例．实际上，如果将欧几里得几何限制于其原先的涵义——三维、平直、刚性空间的几何学，那么19世纪的几何学就可以理解为一场广义的“非欧”运动：从三维到高维；从平直到弯曲；……而射影几何的发展，又从另—个方向使“神圣”的欧氏几何再度“降格”为其他几何的特例． 在19世纪以前，射影几何一直是在欧氏几何的框架下被研究的，其早期开拓者德沙格、帕斯卡等主要是以欧氏几何的方法处理问题，并且他们的工作由于18世纪解析几何与微积分发展的洪流而被人遗忘．到18世纪末与19世纪初，蒙日的《画法几何学》(1799)以及蒙日学生卡诺等人的工作，重新激发了人们对综合射影几何的兴趣． 将射影几何真正变革为具有自己独立的目标与方法的学科的数学家，是曾受教于蒙日的庞斯列(1788--1867)。1822年他出版了《论图形的射影性质》，这部著作掀起了19世纪射影几何发展的巨大波澜，带来了这门学科历史上的黄金时期。庞斯列探讨的是一般问题：图形在投射和截影下保持不变的性质，这也成为他以后射影几何研究的主题．庞斯列选择并发展了对合与调和点列的理论而不是以交比的概念为基础．他采用中心投影，并将其提高为研究问题的一种方法． 庞斯列实现射影几何目标的一般研究中，有两个基本原理： 连续性原理， “如果一个图形从另一个图形经过连续的变化得出，并且后者与前者一样地—般，那么可以马上断定，第一个图形的任何性质第二个图形也有．” 对偶原理，如果在涉及平面图形的 “点”和“线”的定理中，将“点”换成“线”，同时将“线”换成“点”，那么就可以得到一个新的定理． 施陶特在1847年出版的《位置几何学》中用坐标给出了交比的新定义．这样不借助长度概念就得以建立射影几何的基本工具，从而使射影几何摆脱了度量关系，成为与长度等度量概念无关的全新学科．施陶特还指出：射影几何的概念在逻辑上要先于欧氏几何概念，因而射影几何比欧氏几何更基本． 9．5几何学的统一 罗巴切夫斯基非欧几何的创立引起了关于几何观念和空间观念的最深刻的革命．19世纪中叶以后，通过否定欧氏几何中这样或那样的公设、公理，产生了各种新而又新的几何学，除了上述几种非欧几何外，还有如非阿基米德几何、非德沙格几何、非黎曼几何、有限几何等等，加上与非欧几何并行发展的高维几何、射影几何，微分几何以及较晚出现的拓扑学等，19世纪的几何学展现了无限广阔的发展前景． 1872年，克莱因被聘为爱尔朗根大学的数学教授时，发表了著名的《爱尔朗根纲领》阐述了几何学统一的思想：所谓几何学，就是研究几何图形对于某类变换群保持不变的性质的学问，或者说任何一种几何学只是研究与特定的变换群有关的不变量．这样一来，不仅19世纪涌现的几种重要的、表面上互不相干的几何学被联系到一起，而且变换群的任何一种分类也对应于几何学的一种分类． * * 8.1代数方程的可解性与群的发现 18世纪末和19世纪初，方程的代数解法是数学的中心问题，意大利人在16世纪解决丁三次、四次方程根式求解的一般法则后，数学家一直在寻找五次以上代数方程的求解问题，将近3个世纪，数学家们绞尽脑汁毫无进展。 1770年拉格朗日发表论文《关于代数方程解的思考》提出，五次和五次以上方程没有根式解。 1824年，年轻的挪威数学家阿贝尔出版《论代数方程，证明一般五次方程的不可解性》证明了用根式求解五次方程是不可能的。他从拉格朗日的著作中受到启发，着手考察用根式求解方程的根具有什么性质，1824～1826年间他首先证明，如果一个方程式可用根式求解，则出现在根的表达式中的每一个根式都可以表示成方程的根和某些单位根的有理函数。接着又利用这个定理证明现在以他的名字命名的定理：“一般高于四次的方程不可能代数求解”。 1801年高斯发表《算术研究》证明了分园方程xp-1=0当p为质数时有根式解。这说明并不是所有的高次方程都没有根式解。这样，在有了阿贝尔定理后，有待解决的另一个问题是弄清那些特殊的高次方程可用根式求解，阿贝尔首先指出并研究了这个问题。他发现了一类可以用根式求解的特殊方程，其特点是一个方程的全部根若都是其中一个根的有理函数，这个方程现在称为阿贝尔方程。这里他实际上引入了“域”的概念。 阿贝尔试图找出一切可用根式求解的方程。不幸的是，贫困和病魔过早地夺走了年仅26岁年轻数学家的生命，使他未能解决这个问题。阿贝尔未能解决的问题不久被一个更年轻的法国数学家伽罗瓦完成了。 伽罗瓦相信方程能否有根式求解与方程根的排列(置换)的性质有内在联系。一个n次方程的n个根x1，x2，…，xn的每一个变换，