企业变革-几何学的变革培训课程.pptVIP

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年) 非欧几何的孕育 非欧几何的孕育 9.2 非欧几何的诞生 高斯 波约 罗巴切夫斯基 9.2 非欧几何的诞生 一 高斯（Gauss，1777—1855） 1799年，高斯意识到平行公设不能由其它欧氏公理推出来，并从1813年起发展了这种平行公设在其中不成立的新几何学，称之为反欧几里得几何学，但高斯生前未发表。 9.2 非欧几何的诞生 二 波约（1802—1860） 1823年，波约开始理解平行公设问题的实质，称“我要白手起家创造一个奇怪的新世界”。波约称他的非欧几何为“绝对几何”。 著《绝对空间的科学》 9.2 非欧几何的诞生 三 罗巴切夫斯基（1792—1856） 1826 《简要论述平行线定理的一个严格证明》 1829 《论几何原理》 1835—1838 系列论文 《具有完备的平行线理论的新几何学原理》 1840 《平行理论的几何研究》 9.2 非欧几何的诞生 罗巴切夫斯基在否定第五公理的同时，假设其反面之一：“过已知直线外一点，可作多于一条的直线与已知直线平行”，得到了一系列定理，并且认为他得到了一门新的几何学。 罗巴切夫斯基宣布自己建立了新的几何学之后，遭到了许多数学大家的嘲笑、讽刺，德国诗人歌德也出来讽刺他。实际上，罗巴切夫斯基的理论得到世界的认可是在他去世几十年后的事了。 非欧几何 非欧几何 非欧几何 9.3 非欧几何的发展与确认 黎曼几何 非欧几何的相容性 公理系统的相对相容性的证明 非欧几何的意义 9.3 非欧几何的发展与确认 非欧几何从发现到获得普遍接