几何学的变革培训课程.ppt

9.3 非欧几何的发展与确认 二 非欧几何的相容性 三 公理系统的相对相容性的证明 第二十九页，共四十四页。 模型与相容性 1868年贝尔特拉米(意, 1835-1899) 非欧几何 曳物线 伪球面 第三十页，共四十四页。 1871年克莱因(德, 1849-1925) 1882年庞加莱(法, 1854-1912) 非欧几何 克莱因-庞加莱圆 第三十一页，共四十四页。 * 9 几何学的变革 欧几里得平行公设 非欧几何的诞生 非欧几何的发展与确认 射影几何的繁荣 几何学的统一 第一页，共四十四页。 9 几何学的变革 欧氏几何在公元前300年就已产生，其特征是建立了公理化方法：即从几个概念和几个命题，演绎出本学科其它所有概念和命题，从而构成这一学科的全貌。运用这种方法的学科被认为是严谨的和成熟的科学。 欧氏几何的公理体系出现在欧几里得的《原本》中，在其之后的2200后，希尔伯特在《几何基础》加以完善。其间，许多数学家作了许多公理体系的完备性工作。 第二页，共四十四页。 9 几何学的变革 然而，令人放心不下的是该公理体系中的第五公设，即平行公设的问题。因为人们发现即使欧几里得本人也尽量避免使用它。 第三页，共四十四页。 9 几何学的变革 9.1 欧几里得平行公设 第五公设（即平行公设） 寻求第五公设的证明 非欧几何的孕育 第四页，共四十四页。 9 几何学的变革 9.1 欧几里得平行公设 一 第五公设（即平行公设） 《原本》中五个公设： 1 由任意一点到另外任意一点可以画直线 2 一条有限直线可以继续延长 3 以任意点为心及任意的距离可以画圆 4 凡直角都彼此相等 5 同平面内一条直线和另外两条直线相交，若在某一侧的两个内角的和小于二直角的和，则这二直线经无限延长后在这一侧相交 第五页，共四十四页。 9.1 欧几里得的平行公设 从古希腊时代开始，人们一直对第五公设有疑问，二千年来，数学家们一直在想消除这个疑问，其途径有二：一是用更为自明的命题代替第五公设；二是证明它，使其成为一个定理。 两千年来提出众多的替代公设有： 第六页，共四十四页。 9.1 欧几里得的平行公设 存在一对同平面的直线彼些处处等距离 过己知直线外一点能且只能作一条直线与己知直线平行 存在一对相似但不全等的三角形 如果一个四边形有一对对边相等，并且它们与第三边构成的角均为直角，则余下的两个角也是直角 第七页，共四十四页。 9.1 欧几里得的平行公设 如果四边形有三个角是直角，则第四个角也是直角 至少存在一个三角形，其三角和等于二直角 过任何三个不在同一直线上的点可作一圆 三角形的面积无上限 但所有这些替代公设，也不自明。 第八页，共四十四页。 9.1 欧几里得的平行公设 二 寻求第五公设的证明 多少世纪以来，试图证明第五公设的人是如此之多，差不多够一个军团，但所有这些尝试均告失败。 第九页，共四十四页。 9.1 欧几里得的平行公设 三 非欧几何的孕育 1 萨凯里（Saccheri） 著《欧几里得无懈可击》（1733） 从著名的“萨凯里四边形”出发证明平行公设 2 克吕格尔 1763年，克吕格尔指出萨凯里的工作并未导出矛盾，他怀疑能否证明平行公设 第十页，共四十四页。 9.1 欧几里得的平行公设 3 兰伯特 著《平行线的理论》（1766） 他认识到一组假设如果不引起矛盾的话，就提供了一种可能的几何。 兰伯特最先指出通过替换平行公设而展开新的无矛盾的几何学的道路。 萨凯里、克吕格尔、兰伯特是非欧几何的先行者。 第十一页，共四十四页。 平行公理的研究(公元前3世纪至1800年) A+B+C=2π 非欧几何的孕育 欧几里得 普莱菲尔(苏格兰, 1748-1819) 　勒让德(法, 1752-1833) 若一直线落在两直线上所构成的同旁内角和小于两直角, 那么把两直线无限延长, 它们都在同旁内角和小于两直角的一侧相交. 第十二页，共四十四页。 勒让德(法, 1752-1833) 《几何学原理》：这条关于三角形的三个内角和的定理应该认为是那些基本真理之一。这些真理是不容争论的，它们是数学永恒真理的不朽的例子。(1832) 1733年萨凯里(意, 1667-1733)《欧几里得无懈可击》 非欧几何的孕育 第十三页，共四十四页。 非欧几何的孕育 1766年兰伯特(法, 1728-1777)《平行线理论》不认为锐角假设矛盾, 认识到如果一组假设不引起矛盾, 就提供了一种可能的几何