数学史与科学史新数学的诞生课件.ppt

1、 一个人若怀疑数学的极端可靠性，他就一个人若怀疑数学的极端可靠性，他就会陷入混乱之中，会陷入混乱之中，人类的一切探讨活动人类的一切探讨活动如果缺少数学上的说明和论证，那就不能称如果缺少数学上的说明和论证，那就不能称之为科学。之为科学。达达芬奇芬奇 宇宙这本书是用数学语言写成的。宇宙这本书是用数学语言写成的。伽利略伽利略第八讲第八讲 新数学的诞生新数学的诞生一、代数学的新生一、代数学的新生二、几何学的变革二、几何学的变革三、微积分的创立三、微积分的创立一、代数学的新生一、代数学的新生1、近代代数学的进展、近代代数学的进展2、代数方程的可解性、代数方程的可解性3、群的发现、群的发现1、近代代数学的

2、进展、近代代数学的进展一、代数学的新生一、代数学的新生al-Kitab al-mukhta sar fi hisab al-jabr wal-muqabala 还原与对消计算概要还原与对消计算概要（约约 820）Mohammed ibn Musa al-Khowarizmi,783-850al-jabralgebra探讨了算术问题的探讨了算术问题的一般性解法一般性解法1、近代代数学的进展、近代代数学的进展一、代数学的新生一、代数学的新生F.Vieta,1540-1603韦达把符号性代数韦达把符号性代数称作称作“类的算术类的算术”，同时规定了算术与同时规定了算术与代数的分界，认为代数的分界，认为

3、代数运算施行于事代数运算施行于事物的类或形式，算物的类或形式，算术运算仅施行于具术运算仅施行于具体的数。这就使代体的数。这就使代数成为研究一般类数成为研究一般类型的形式和方程的型的形式和方程的学问，因其抽象而学问，因其抽象而应用更为广泛。应用更为广泛。缺点：齐性原则缺点：齐性原则1、近代代数学的进展、近代代数学的进展一、代数学的新生一、代数学的新生基本问题基本问题：如何求解三次和四次代数方程的根：如何求解三次和四次代数方程的根(1515,S.Ferro)x3+px=q (p,q 0)Tartaglia,1499-1557Niccolo Fontanax3+px2=q (p,q 0)A.M.Fi

4、or15351、近代代数学的进展、近代代数学的进展一、代数学的新生一、代数学的新生G.Cardano,1501-1576Ars Magna 大法大法1545年年包含三次方程包含三次方程和四次方程的和四次方程的代数解法代数解法根的根的个数个数一、代数学的新生一、代数学的新生1、近代代数学的进展、近代代数学的进展2、代数方程的可解性、代数方程的可解性3、群的发现、群的发现2、代数方程的可解性、代数方程的可解性一、代数学的新生一、代数学的新生 18 18世纪后半叶，数学内部悄悄积累的矛盾世纪后半叶，数学内部悄悄积累的矛盾已经开始酝酿新的变革。当时数学家们面临一已经开始酝酿新的变革。当时数学家们面临一

5、系列数学发展里程中自身提出的、长期悬而未系列数学发展里程中自身提出的、长期悬而未决的问题，其中最突出的是：决的问题，其中最突出的是：高于四次的代数方程的根式求解问题；高于四次的代数方程的根式求解问题；欧几里得几何中平行公理的证明问题；欧几里得几何中平行公理的证明问题；微积分算法的逻辑基础问题。微积分算法的逻辑基础问题。2、代数方程的可解性、代数方程的可解性一、代数学的新生一、代数学的新生 中世纪的阿拉伯数学家把代数学看成是解中世纪的阿拉伯数学家把代数学看成是解代数方程的学问，他们系统地解决了二次方程代数方程的学问，他们系统地解决了二次方程的求根问题；文艺复兴时期的欧洲数学家们继的求根问题；文艺

6、复兴时期的欧洲数学家们继承了这一传统，但又有所突破。他们成功地解承了这一传统，但又有所突破。他们成功地解决了三次和四次代数方程的求根问题，并将符决了三次和四次代数方程的求根问题，并将符号与数字的运算统一起来，创立了类的算术。号与数字的运算统一起来，创立了类的算术。基本问题：基本问题：五次或更高次的代数方程的根式解。五次或更高次的代数方程的根式解。即在即在n 5时，对于形如时，对于形如xn+a1xn1+a n1x+an=0的代数方程，它的解能否通过只对方程的系数的代数方程，它的解能否通过只对方程的系数作加、减、乘、除和求正整数次方根等运算的作加、减、乘、除和求正整数次方根等运算的公式得到。公式得

7、到。2、代数方程的可解性、代数方程的可解性一、代数学的新生一、代数学的新生J.L.Lagrange1736-1813 1770年：年：关于代数方程解的思考关于代数方程解的思考不可能用根式解不可能用根式解四次以上的方程四次以上的方程2、代数方程的可解性、代数方程的可解性一、代数学的新生一、代数学的新生N.H.Abel,1802-1829 1824年年:论代数方程，论代数方程，证明一般五次方程的证明一般五次方程的 不可解性不可解性 方程次数大于方程次数大于等于五时等于五时，任何以任何以其系数符号组成的其系数符号组成的根式都不可能表示根式都不可能表示方程的一般解。方程的一般解。阿贝尔方程阿贝尔方程一

8、、代数学的新生一、代数学的新生1、近代代数学的进展、近代代数学的进展2、代数方程的可解性、代数方程的可解性3、群的发现、群的发现3、群的发现、群的发现一、代数学的新生一、代数学的新生基本问题：基本问题：什么样的特殊方程能够用根式来求解？什么样的特殊方程能够用根式来求解？E.Galois,1811-1832 置换群置换群伽罗瓦群伽罗瓦群伽罗瓦证明了：伽罗瓦证明了：当且仅当方程的群满当且仅当方程的群满足一定条件（即它是足一定条件（即它是可解群）时，方程才可解群）时，方程才是根式可解的。是根式可解的。也就是说，他找到了也就是说，他找到了方程根式可解的充分方程根式可解的充分必要条件。必要条件。3、群的

9、发现、群的发现一、代数学的新生一、代数学的新生伽罗瓦关于群的发现工作，可以看成是近世代数的发端。伽罗瓦关于群的发现工作，可以看成是近世代数的发端。这不只是因为它解决了方程根式可解性这样一个难题，这不只是因为它解决了方程根式可解性这样一个难题，更重要的是群的概念的引进导致了代数学在对象、内容更重要的是群的概念的引进导致了代数学在对象、内容和方法上的深刻变革。和方法上的深刻变革。群可以理解为一类对象的集合，这些对象之间存在群可以理解为一类对象的集合，这些对象之间存在着类似于加法或乘法那样的二元运算关系，这种运算使着类似于加法或乘法那样的二元运算关系，这种运算使得该集合满足封闭性、结合性，并在其中存

10、在着单位元得该集合满足封闭性、结合性，并在其中存在着单位元和逆元素。和逆元素。群概念的划时代意义在于：代数学由于群的概念的群概念的划时代意义在于：代数学由于群的概念的引进和发展而获得了新生，它不再仅仅是研究代数方程，引进和发展而获得了新生，它不再仅仅是研究代数方程，而更多地是研究各种抽象而更多地是研究各种抽象“对象对象”的运算关系，一方面，的运算关系，一方面，数的概念有了极大推广，另一方面，许多抽象的对象，数的概念有了极大推广，另一方面，许多抽象的对象，在更高层次上与数的概念获得了统一。在更高层次上与数的概念获得了统一。二、几何学的变革二、几何学的变革1、近代几何学的进展、近代几何学的进展2、

11、非欧几何学的诞生、非欧几何学的诞生3、射影几何学的繁荣、射影几何学的繁荣4、几何学的统一、几何学的统一1、近代几何学的进展、近代几何学的进展二、几何学的变革二、几何学的变革基本问题：基本问题：其一是，一个物体的同一投影的两个截影有什其一是，一个物体的同一投影的两个截影有什么共同的性质？其二是，若两物体在各自相异的光源下具么共同的性质？其二是，若两物体在各自相异的光源下具有相同物影，那么这两个物体之间具有什么关系？有相同物影，那么这两个物体之间具有什么关系？G.Desargues,1591-1661 1639年年：试论锥面截一平面试论锥面截一平面 所得结果的初稿所得结果的初稿 对平行线引入无穷远

12、点的概念，对平行线引入无穷远点的概念，继而获得无穷远线的概念继而获得无穷远线的概念；认识到了对合、调和点组关系认识到了对合、调和点组关系在投影变换下具有不变性；在投影变换下具有不变性；通过投影和截影这种新的证明通过投影和截影这种新的证明方法，统一处理了不同类型的方法，统一处理了不同类型的圆锥曲线。圆锥曲线。1、近代几何学的进展、近代几何学的进展二、几何学的变革二、几何学的变革 德沙格等人把他们使用的投影分析方法和所获得的德沙格等人把他们使用的投影分析方法和所获得的结果，仍旧视为欧几里得几何的一部分。因而在结果，仍旧视为欧几里得几何的一部分。因而在1717世纪世纪人们对这二种几何学并不加任何区分

13、。人们对这二种几何学并不加任何区分。但现在的我们，通过历史的眼光回溯，便会很容易但现在的我们，通过历史的眼光回溯，便会很容易地发现，当时由于这一方法而诱发了一些新的思想和观地发现，当时由于这一方法而诱发了一些新的思想和观点。那就是点。那就是:一个数学对象从一个形状连续变化到另一形状；一个数学对象从一个形状连续变化到另一形状；变换与变换不变性；变换与变换不变性；仅关心几何图形的相交与结构关系仅关心几何图形的相交与结构关系,不涉及度量问题。不涉及度量问题。1、近代几何学的进展、近代几何学的进展二、几何学的变革二、几何学的变革解析几何解析几何 的基本思想的基本思想是在平面上引进所谓是在平面上引进所谓

14、坐标的概念，并借助坐标的概念，并借助这种坐标在平面上的这种坐标在平面上的点和有序实数对之间点和有序实数对之间建立一一对应关系。建立一一对应关系。以此方式可以将一个以此方式可以将一个代数方程与一条平面代数方程与一条平面曲线对应起来，于是曲线对应起来，于是几何问题便可归结为几何问题便可归结为代数问题，并反过来代数问题，并反过来通过代数问题的研究通过代数问题的研究发现新的几何结果。发现新的几何结果。R.Descartes,1596-16501、近代几何学的进展、近代几何学的进展二、几何学的变革二、几何学的变革1637年年:方法论方法论 几何学几何学 在实际上建立起了历史在实际上建立起了历史上第一个倾

15、斜坐标系。上第一个倾斜坐标系。在笛卡尔那里，在笛卡尔那里，几何与代数达到了几何与代数达到了完美的统一。完美的统一。R.Descartes,1596-16501、近代几何学的进展、近代几何学的进展二、几何学的变革二、几何学的变革P.de Fermat1601-16651629 年：年：论平面和立体的论平面和立体的 轨迹引论轨迹引论二、几何学的变革二、几何学的变革1、近代几何学的进展、近代几何学的进展2、非欧几何学的诞生、非欧几何学的诞生3、射影几何学的繁荣、射影几何学的繁荣4、几何学的统一、几何学的统一2、非欧几何的诞生、非欧几何的诞生二、几何学的变革二、几何学的变革 直到直到1818世纪末，几

16、何领域仍然是欧几里世纪末，几何领域仍然是欧几里得一统天下。解析几何改变了几何研究的方得一统天下。解析几何改变了几何研究的方法，但没有从实质上改变欧几里得几何本身法，但没有从实质上改变欧几里得几何本身的内容。解析方法的运用虽然在相当长的时的内容。解析方法的运用虽然在相当长的时间内冲淡了人们对综合几何的兴趣，但欧几间内冲淡了人们对综合几何的兴趣，但欧几里得几何作为数学严格性的典范始终保持着里得几何作为数学严格性的典范始终保持着神圣的地位。神圣的地位。欧几里得欧几里得平行公设平行公设？“几何原理中的家丑几何原理中的家丑”达朗贝尔达朗贝尔2、非欧几何的诞生、非欧几何的诞生二、几何学的变革二、几何学的变

17、革1733年，萨凯里：欧几里得无懈可击年，萨凯里：欧几里得无懈可击萨凯里萨凯里四边形四边形锐角？直角？钝角？锐角？直角？钝角？锐角？三角形内角之和小于两直角；过给定直线外一锐角？三角形内角之和小于两直角；过给定直线外一给定点，有无穷多条直线不与该给定直线相交；等等给定点，有无穷多条直线不与该给定直线相交；等等 无逻辑矛盾，但不合乎情理。无逻辑矛盾，但不合乎情理。2、非欧几何的诞生、非欧几何的诞生二、几何学的变革二、几何学的变革1763年年,克吕格尔在其博士论文中首先指出萨凯里的工克吕格尔在其博士论文中首先指出萨凯里的工作实际上并未导出矛盾作实际上并未导出矛盾,只是得到了似乎与经验不符的只是得到

18、了似乎与经验不符的结论结论.开始怀疑平行公设能否由其他公理加以证明开始怀疑平行公设能否由其他公理加以证明.1766年，兰伯特年，兰伯特:平行线理论平行线理论兰伯特四边形兰伯特四边形锐角？直角？钝角？锐角？直角？钝角？兰伯特并不认为锐角假设导出的结论是矛盾，而且他兰伯特并不认为锐角假设导出的结论是矛盾，而且他认识到一组假设如果不引起矛盾的话，就提供了一种认识到一组假设如果不引起矛盾的话，就提供了一种可能的几何。因此，兰伯特最先指出了通过替换平行可能的几何。因此，兰伯特最先指出了通过替换平行公设而展开新的无矛盾的几何学的道路。公设而展开新的无矛盾的几何学的道路。2、非欧几何的诞生、非欧几何的诞生二

19、、几何学的变革二、几何学的变革C.F.Gauss,1777-1855高斯从高斯从1799年开始意年开始意识到平行公设不能从识到平行公设不能从其他的欧几里得公理其他的欧几里得公理推出来，并从推出来，并从1813年年起发展了这种平行公起发展了这种平行公设在其中不成立的新设在其中不成立的新几何。他起先称之为几何。他起先称之为“反欧几里得几何反欧几里得几何”，最后改称为最后改称为“非欧几非欧几里得几何里得几何”，所以，所以“非欧几何非欧几何”这个名这个名称正是来自高斯。称正是来自高斯。2、非欧几何的诞生、非欧几何的诞生二、几何学的变革二、几何学的变革J.Bolyai1802-1860 1832年年2月

20、月14日，日，绝对空间的科学绝对空间的科学 其中论述的所谓其中论述的所谓“绝对几何绝对几何”就是非就是非欧几何。欧几何。F.Bolyai1775-18562、非欧几何的诞生、非欧几何的诞生二、几何学的变革二、几何学的变革1826年在喀山大学发表年在喀山大学发表了简要论述平行线定了简要论述平行线定理的一个严格证明的理的一个严格证明的演讲，报告了自己关于演讲，报告了自己关于非欧几何的发现非欧几何的发现;1829年发表了题为论年发表了题为论几何原理的论文，这几何原理的论文，这是历史上第一篇公开发是历史上第一篇公开发表的非欧几何文献，但表的非欧几何文献，但由于是用俄文刊登在由于是用俄文刊登在喀山通讯上

21、而未引喀山通讯上而未引起数学界的注意。起数学界的注意。.1792-18562、非欧几何的诞生、非欧几何的诞生二、几何学的变革二、几何学的变革 罗巴切夫斯基非欧几何的基本思想与高斯、波约是罗巴切夫斯基非欧几何的基本思想与高斯、波约是一致的，即用与欧几里得第五公设相反的断言：一致的，即用与欧几里得第五公设相反的断言：通过直线外一点，可以引不止一条而至少是两条直通过直线外一点，可以引不止一条而至少是两条直线与已知直线不相交。线与已知直线不相交。作为替代公设，由此出发进行逻辑推导而得出一连串新作为替代公设，由此出发进行逻辑推导而得出一连串新几何学的定理。几何学的定理。罗巴切夫斯基明确指出，这些定理并不

22、包含矛盾，因而罗巴切夫斯基明确指出，这些定理并不包含矛盾，因而它的总体就形成了一个逻辑上可能的、无矛盾的理论，它的总体就形成了一个逻辑上可能的、无矛盾的理论，这个理论就是一种新的几何学这个理论就是一种新的几何学-非欧几里得几何学。非欧几里得几何学。欧几里得几何学在这里仅成了罗巴切夫斯基几何的一个欧几里得几何学在这里仅成了罗巴切夫斯基几何的一个特例。特例。2、非欧几何的诞生、非欧几何的诞生二、几何学的变革二、几何学的变革 1854年，黎曼发表论文年，黎曼发表论文关于几何基础的假设关于几何基础的假设 B.Riemann,1826-1866 发展了罗巴切夫斯发展了罗巴切夫斯基等人的思想，并建立基等人

23、的思想，并建立了一种更广泛的几何。了一种更广泛的几何。即现在所称的黎曼几何。即现在所称的黎曼几何。罗巴切夫斯基几何以及罗巴切夫斯基几何以及欧几里得几何都只不过欧几里得几何都只不过是这种几何的特例。是这种几何的特例。黎曼的研究是以高黎曼的研究是以高斯关于曲面的内蕴微分斯关于曲面的内蕴微分几何为基础的。几何为基础的。2、非欧几何的诞生、非欧几何的诞生二、几何学的变革二、几何学的变革 在黎曼几何中，最重要的一种对象就是所在黎曼几何中，最重要的一种对象就是所谓的常曲率空间，对于三维空间，有以下三种谓的常曲率空间，对于三维空间，有以下三种情形：曲率为正常数；曲率为负常数；曲率恒情形：曲率为正常数；曲率为

24、负常数；曲率恒等于零。黎曼指出后两种情形分别对应于罗巴等于零。黎曼指出后两种情形分别对应于罗巴切夫斯基的非欧几何学和通常的欧几里得几何切夫斯基的非欧几何学和通常的欧几里得几何学，而第一种情形则是黎曼本人的创造，它对学，而第一种情形则是黎曼本人的创造，它对应于另一种非欧几何学。在这种几何中，过已应于另一种非欧几何学。在这种几何中，过已知直线外一点，不能作任何平行于已知直线的知直线外一点，不能作任何平行于已知直线的直线。这实际上是以前面提到的萨凯里等人的直线。这实际上是以前面提到的萨凯里等人的钝角假设为基础而展开的非欧几何学。钝角假设为基础而展开的非欧几何学。2、非欧几何的诞生、非欧几何的诞生二、

25、几何学的变革二、几何学的变革 在黎曼之前，从萨凯里到罗巴切夫斯基，都认为钝在黎曼之前，从萨凯里到罗巴切夫斯基，都认为钝角假设与直线可以无限延长的假定矛盾，因而取消了这角假设与直线可以无限延长的假定矛盾，因而取消了这个假设。但黎曼区分了个假设。但黎曼区分了“无限无限”与与“无界无界”这两个概念，这两个概念，认为直线可以无限延长并不意味着就其长短而言是无限认为直线可以无限延长并不意味着就其长短而言是无限的，只不过是说，它是无端的或无界的。的，只不过是说，它是无端的或无界的。在对无限与无界概念作了区分以后，人们在钝角假在对无限与无界概念作了区分以后，人们在钝角假设下也可像在锐角假设下一样，无矛盾地展

26、开一种几何。设下也可像在锐角假设下一样，无矛盾地展开一种几何。这第二种非欧几何，也叫（正常曲率曲面上的）黎曼几这第二种非欧几何，也叫（正常曲率曲面上的）黎曼几何。作为区别，数学史文献上就把罗巴切夫斯基发现的何。作为区别，数学史文献上就把罗巴切夫斯基发现的非欧几何叫作罗巴切夫斯基几何。普通球面上的几何就非欧几何叫作罗巴切夫斯基几何。普通球面上的几何就是黎曼非欧几何，其上的每个大圆可以看成是一条是黎曼非欧几何，其上的每个大圆可以看成是一条“直直线线”，容易看出，任意球面，容易看出，任意球面“直线直线”都不可能永不相交。都不可能永不相交。黎曼可以说是最先理解非欧几何全部意义的数学家。黎曼可以说是最先

27、理解非欧几何全部意义的数学家。他创立的黎曼几何不仅是对已经出现的非欧几何的承认，他创立的黎曼几何不仅是对已经出现的非欧几何的承认，而且显示了创造其他非欧几何的可能性。而且显示了创造其他非欧几何的可能性。2、非欧几何的诞生、非欧几何的诞生二、几何学的变革二、几何学的变革贝尔特拉米的模型：贝尔特拉米的模型：“伪球面伪球面”它由平面曳物线绕其渐近它由平面曳物线绕其渐近线旋转一周而得。线旋转一周而得。罗巴切夫斯基平面片罗巴切夫斯基平面片上的所有几何关系与适当上的所有几何关系与适当的的“伪球面伪球面”片上的几何片上的几何关系相符合。这使罗巴切关系相符合。这使罗巴切夫斯基几何立刻就有了现夫斯基几何立刻就有

28、了现实意义。实意义。缺点：具有片段性。还没缺点：具有片段性。还没有解决全部罗巴切夫斯基有解决全部罗巴切夫斯基几何的无矛盾性问题。几何的无矛盾性问题。2、非欧几何的诞生、非欧几何的诞生二、几何学的变革二、几何学的变革 克莱因的几何模型：在普通欧几里得平面上取一个圆，克莱因的几何模型：在普通欧几里得平面上取一个圆，并且只考虑整个圆的内部。他约定把圆的内部叫并且只考虑整个圆的内部。他约定把圆的内部叫“平平面面”，圆的弦叫，圆的弦叫“直线直线”（端点除外）。这种圆内部的（端点除外）。这种圆内部的普通几何事实就变成罗巴切夫斯基几何的定理，而且反普通几何事实就变成罗巴切夫斯基几何的定理，而且反过来，罗巴切

29、夫斯基几何中的每个定理都可以解释成圆过来，罗巴切夫斯基几何中的每个定理都可以解释成圆内部的普通几何事实。内部的普通几何事实。庞加莱也对罗巴切夫斯基几何给出了一个欧几里得模庞加莱也对罗巴切夫斯基几何给出了一个欧几里得模型。这就使非欧几何具有了至少与欧几里得几何同等的型。这就使非欧几何具有了至少与欧几里得几何同等的真实性。因为我们可以设想，如果罗巴切夫斯基几何中真实性。因为我们可以设想，如果罗巴切夫斯基几何中存在任何矛盾的话，那么这种矛盾也必然会在欧几里得存在任何矛盾的话，那么这种矛盾也必然会在欧几里得几何中表现出来，也就是说，只要欧几里得几何没有矛几何中表现出来，也就是说，只要欧几里得几何没有矛

30、盾，那么罗巴切夫斯基几何也不会有矛盾。至此，非欧盾，那么罗巴切夫斯基几何也不会有矛盾。至此，非欧几何作为一种几何的合法地位才充分建立起来。几何作为一种几何的合法地位才充分建立起来。二、几何学的变革二、几何学的变革1、近代几何学的进展、近代几何学的进展2、非欧几何学的诞生、非欧几何学的诞生3、射影几何学的繁荣、射影几何学的繁荣4、几何学的统一、几何学的统一3、射影几何的繁荣、射影几何的繁荣二、几何学的变革二、几何学的变革 非欧几何揭示了空间的弯曲性质，将平直非欧几何揭示了空间的弯曲性质，将平直空间的欧氏几何变成了某种特例。实际上，如空间的欧氏几何变成了某种特例。实际上，如果将欧几里得几何限制于其

31、原先的涵义果将欧几里得几何限制于其原先的涵义三三维、平直、刚性空间的几何学，那么，维、平直、刚性空间的几何学，那么，19世纪世纪的几何学就可以理解为一场广义的的几何学就可以理解为一场广义的“非欧化非欧化”运动：从三维到高维，从平直到弯曲，而射影运动：从三维到高维，从平直到弯曲，而射影几何的发展又从另一个方向使几何的发展又从另一个方向使“神圣神圣”的欧几的欧几里得几何再度里得几何再度“降格降格”为其他几何的特例。为其他几何的特例。3、射影几何的繁荣、射影几何的繁荣二、几何学的变革二、几何学的变革J-V.Poncelet1788-1867 1822年，庞斯列：年，庞斯列：论图形的射影性质论图形的射

32、影性质 3、射影几何的繁荣、射影几何的繁荣二、几何学的变革二、几何学的变革基本问题：基本问题：图形在投射和截影下保持不变的性质。图形在投射和截影下保持不变的性质。连续性原理连续性原理。它涉及通过投影或其他方法把某一。它涉及通过投影或其他方法把某一图形变换成另一图形的过程中的几何不变性。庞图形变换成另一图形的过程中的几何不变性。庞斯列将它发展到包括无穷远点的情形。斯列将它发展到包括无穷远点的情形。对偶原理对偶原理。射影几何的研究者们曾经注意到，。射影几何的研究者们曾经注意到，平面图形的平面图形的“点点”和和“线线”之间存在着异乎寻之间存在着异乎寻常的对称性。如果在它所涉及的定理中，将常的对称性。

33、如果在它所涉及的定理中，将“点点”换成换成“线线”，同时将，同时将“线线”换成换成“点点”，那么就可以得到一个新的定理。那么就可以得到一个新的定理。3、射影几何的繁荣、射影几何的繁荣二、几何学的变革二、几何学的变革在庞斯列用综合的方法在庞斯列用综合的方法为射影几何奠基的同时，为射影几何奠基的同时，德国数学家麦比乌斯和德国数学家麦比乌斯和普吕克开创了射影几何普吕克开创了射影几何研究的解析（或代数）研究的解析（或代数）途径。途径。麦比乌斯在重麦比乌斯在重心计算心计算(1827)(1827)一书中一书中第一次引时了齐次坐标，第一次引时了齐次坐标，这种坐标后被普吕克发这种坐标后被普吕克发展为更一般的形

34、式，它展为更一般的形式，它实际上是对笛卡尔坐标实际上是对笛卡尔坐标的推广。齐次坐标成为的推广。齐次坐标成为代数地推导包括对偶原代数地推导包括对偶原理在内许多射影几何基理在内许多射影几何基本结果的有效工具。本结果的有效工具。A.F.Mbius,1790-1868 3、射影几何的繁荣、射影几何的繁荣二、几何学的变革二、几何学的变革 1847年，施陶年，施陶特出版位置几特出版位置几何学，提出方何学，提出方案，通过给每个案，通过给每个点适当配定一个点适当配定一个识别标记（也称识别标记（也称坐标）来坐标）来避免射避免射影几何学对于长影几何学对于长度概念的依赖，度概念的依赖，使之摆脱了度量使之摆脱了度量关

35、系，成为与长关系，成为与长度等度量概念无度等度量概念无关的全新学科关的全新学科。K.G.C.von Staudt,1798-1867 3、射影几何的繁荣、射影几何的繁荣二、几何学的变革二、几何学的变革 施陶特还指出：射影几何的概念在逻辑上要施陶特还指出：射影几何的概念在逻辑上要先于欧几里得几何概念，因而射影几何比欧几里先于欧几里得几何概念，因而射影几何比欧几里得几何更基本。得几何更基本。施陶特的工作鼓舞了英国数学家凯莱（施陶特的工作鼓舞了英国数学家凯莱（A.Cayley,1821-1895）和普吕克的学生克莱因（和普吕克的学生克莱因（F.Klein,1849-1925）进一步在射影几何概念基础

36、进一步在射影几何概念基础上建立欧几里得几何乃至非欧几何的度量性质，上建立欧几里得几何乃至非欧几何的度量性质，明确了欧几里得几何与非欧几何都是射影几何的明确了欧几里得几何与非欧几何都是射影几何的特例，从而为以射影几何为基础来统一各种几何特例，从而为以射影几何为基础来统一各种几何学辅平了道路。学辅平了道路。二、几何学的变革二、几何学的变革1、近代几何学的进展、近代几何学的进展2、非欧几何学的诞生、非欧几何学的诞生3、射影几何学的繁荣、射影几何学的繁荣4、几何学的统一、几何学的统一4、几何学的统一、几何学的统一二、几何学的变革二、几何学的变革非欧几何的创立不只是解决了两千年来一直悬而未决的非欧几何的

37、创立不只是解决了两千年来一直悬而未决的平行公设问题，更重要的是它引起了关于几何观念和空平行公设问题，更重要的是它引起了关于几何观念和空间观念的最深刻的革命。间观念的最深刻的革命。首先，非欧几何对于人们的空间观念产生了极其深远的首先，非欧几何对于人们的空间观念产生了极其深远的影响。在此之前，占统治地位的是欧几里得的绝对空间影响。在此之前，占统治地位的是欧几里得的绝对空间观念。非欧几何的创始人无一例外的都对这种传统观念观念。非欧几何的创始人无一例外的都对这种传统观念提出了挑战。提出了挑战。其次，非欧几何的出现打破了长期以来只有一种几何学其次，非欧几何的出现打破了长期以来只有一种几何学即欧几里得几何

38、学的局面。即欧几里得几何学的局面。19世纪中叶以后，通过否定世纪中叶以后，通过否定欧几里得几何中这样或那样的公设、公理，产生了各种欧几里得几何中这样或那样的公设、公理，产生了各种新而又新的几何学，新而又新的几何学，4、几何学的统一、几何学的统一二、几何学的变革二、几何学的变革F.Klein,1849-19251872年年:爱尔朗根纲领爱尔朗根纲领 几何学是研究几何几何学是研究几何图形对于某类变换群保图形对于某类变换群保持不变的性质的学问，持不变的性质的学问，任何一种几何学只是研任何一种几何学只是研究与特定的变换群有关究与特定的变换群有关的不变量。这样一来，的不变量。这样一来，不仅不仅19世纪涌

39、现的几种世纪涌现的几种重要的、表面上互不相重要的、表面上互不相干的几何学被联系到一干的几何学被联系到一起，而且变换群的任何起，而且变换群的任何一种分类也对应于几何一种分类也对应于几何学的一种分类。学的一种分类。4、几何学的统一、几何学的统一二、几何学的变革二、几何学的变革（欧几里得几何）（欧几里得几何）仿射几何仿射几何 其他仿射几何其他仿射几何 双曲几何双曲几何 射影几何射影几何 （罗巴切夫斯基几何）（罗巴切夫斯基几何）双重椭圆几何双重椭圆几何 （黎曼几何）（黎曼几何）单重椭圆几何单重椭圆几何抛物几何抛物几何 并非所有的几何都能纳入克莱因的方案，例如今天并非所有的几何都能纳入克莱因的方案，例如

40、今天的代数几何和微分几何，然而克莱因的纲领的确能给大的代数几何和微分几何，然而克莱因的纲领的确能给大部分的几何提供一个系统的分类方法，对几何思想的发部分的几何提供一个系统的分类方法，对几何思想的发展产生了持久的影响。展产生了持久的影响。4、几何学的统一、几何学的统一二、几何学的变革二、几何学的变革D.Hilbert,1862-1943公理化方法公理化方法 1899 1899年年:几何基础几何基础 是是从公理出发来建造从公理出发来建造各种几何。各种几何。希尔伯特在这希尔伯特在这方面的划时代贡献方面的划时代贡献在于，他比任何前在于，他比任何前人都更加透彻地弄人都更加透彻地弄清了公理系统的逻清了公理

41、系统的逻辑结构与内在联系。辑结构与内在联系。4、几何学的统一、几何学的统一二、几何学的变革二、几何学的变革几何基础中提出的公理系统包括了几何基础中提出的公理系统包括了2020条公理，希尔条公理，希尔伯特将它们划分为五组：伯特将它们划分为五组：关联公理、顺序公理、合同公理、平行公理、连续公理。关联公理、顺序公理、合同公理、平行公理、连续公理。在这样自然地划分公理之后，希尔伯特在历史上第一次在这样自然地划分公理之后，希尔伯特在历史上第一次明确地提出了选择和组织公理系统的原则，即明确地提出了选择和组织公理系统的原则，即相容性相容性:从系统的公理出发不能推出矛盾从系统的公理出发不能推出矛盾,亦称无矛盾性亦称无矛盾性;独立性独立性:系统的每条公理都不能是其余公理的逻辑推论系统的每条公理都不能是其余公理的逻辑推论;完备性完备性:系统中所有的定理都可由该系统的公理推出。系统中所有的定理都可由该系统的公理推出。在这样组织起来的公理系统中，通过否定或者替换其中在这样组织起来的公理系统中，通过否定或者替换其中的一条或几条公理，就可以得到相应的某种几何。的一条或几条公理，就可以得到相应的某种几何。这样的做法，不仅给出了已有几门非欧几何的统一处理，这样的做法，不仅给出了已有几门非欧几何的统一处理，而且还可以引出新的几何学。而且还可以引出新的几何学。