行进中的数学(第六课时)探析.ppt

第二章：几何的发展; 非欧几何要获得普遍接受，还需要确实地建立自身的无矛盾性和现实意义。1854年，德国数学家黎曼发展了罗巴切夫斯基等人的思想，以高斯关于曲面的内蕴微分几何为基础，建立了一种更广泛的几何。即现在所称的黎曼几何。; 黎曼几何中，最重要的一种对象就是所谓的常曲率空间，对于三维空间，曲率可以为正常数、负常数、或恒为零。黎曼指出后两种情形分别对应于罗巴切夫斯基的非欧几何学和通常的欧几里得几何学。而第一种情形则是黎曼本人的创造。在这种几何中，过已知直线外一点，不能作任何平行于已知直线的直线。这实际上是以萨凯里等人的钝角假设为基础而展开的非欧几何学。黎曼可以说是最先理解非欧几何全部意义的数学家。他创立的黎曼几何不仅是对已经出现的非欧几何的承认，而且显示了创造其他非欧几何的可能性。;1854年,黎曼发表《关于几何基础的假设》的演讲： 将高斯关于欧氏空间中曲面的内蕴几何推广成任意空间的内蕴几何。他把 n 维空间称作一个流形， n 维流形中的一个点，可用n 个参数x1 , x2 , … , x n 的一组特定数值来表示，称作流形的坐标。 定义流形中的两点距离，假定这微小距离的平方是一个二次微分齐次; 19世纪70年代以后，意大利数学家贝尔特拉米基于内蕴几何观点，给出一个叫“伪球面”的曲面作为罗巴切夫斯基几何模型。随后，克莱因、庞加莱也各自对罗巴切夫斯基几何给出自己的欧几里得模型。他们的工作，揭示了非欧几何的现实意义，同时使非欧几何具有了至少与欧几里得几何同等的真实性。至此，非欧几何作为一种几何的合法地位充分建立起来，并开始得到广泛的理解和接受。;Klein, 1849 - 1925;Poincare;荷兰画家M.C.Escher的数学绘画作品(1959)：圆的极限;越来越小; 非欧几何揭示了空间的弯曲性质，将平直空间的欧几里得几何变成了某种特例。实际上，如果将欧几里得几何限制于其原先的涵义——三维、平直、刚性空间的几何学，那么，19世纪的几何学就可以理解为一场广义的“非欧化”运动：从三维到高维，从平直到弯曲，而射影几何的发展又从另一个方向使“神圣”的欧几里得几何再度“降格”为其他几何的特例。; 在19世纪以前，射影几何一直是在欧几里得几何框架下被研究的。射影几何真正变革为具有独立目标与方法的学科，开始于庞斯列的有关工作。与德沙格和帕斯卡不同，庞斯列更喜欢探讨一般性问题：图形在投射和截影下保持不变的性质，这也是后来射影几何研究的主题。与他的老师蒙日也不同，庞斯列采用中心投影而不是平行投影，并将其提高为研究问题的一般方法。; 在庞斯列实现射影几何目标的一般研究中，有两个基本原理扮演了重要角色。首先是连续性原理，它涉及到图形通过投影变换时的几何不变性。庞斯列将它发展到包括无穷远点的情形，由此引出了具有重要作用的无穷远元素与虚元素概念。庞斯列强调的另一个原理是对偶原理。平面图形的“点”和“线”之间存在着异乎寻常的对称性。如果在它们所涉及的定理中，将这一对概念互换，那么就可以得到一个新定理。为此，庞斯列还发展了配极的一般理论。; 在庞斯列用综合方法为射影几何奠基的同时，德国数学家麦比乌斯和普吕克则开创了射影几何研究的解析途径。1827年，麦比乌斯首次引进了齐次坐标概念，这种坐标后被普吕克发展为更一般的形式，它实际上是对笛卡尔坐标的推广。齐次坐标成为代数地推导包括对偶原理在内的许多射影几何基本结果的有效工具。;*; 1847年，施陶特在不借助长度概念的情况下建立起射影几何的基本工具，使射影几何摆脱了度量关系，成为与长度等度量概念无关的全新学科。施陶特的工作鼓舞了英国数学家凯莱和克莱因，他们着手在射影几何概念的基础上重建欧几里得几何乃至非欧几何的有关性质，发现它们不过都是射影几何的特例。他们的工作明确了各种几何学之间的逻辑关系，从而为各种几何学的统一辅平了道路。;§9.5 几何学的统一; 统一几何学的第一个大胆计划是由德国数学家克莱因提出的。1872年，克莱因发表了著名的演讲《爱尔朗根纲要》，阐述了几何学统一的新思想： 所谓几何学，就是研究几何图形对于某类变换群保持不变的性质的学问。 这样一来，不仅19世纪涌现的几种重要的、表面上互不相干的几何学被联系到一起，而且变换群的任何一种分类也对应于几何学的一种分类。;*; 统一几何学的另一条途径，为希尔伯特所开通，那就是对现代数学影响深远的公理化方法。公理化方法肇始于欧几里得，然而《原本》中的公理体系却潜含着某种逻辑缺陷。在重建严格统一的几何基础的努力中，以希尔伯特在《几何基础》（1899）中使用的公理化方法最为成功。; 希尔伯特所发展的这种形式公理化方法在20世纪已远远