- 1、本文档共65页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
在这样自然地划分公理之后,希尔伯特在历史上第一次明确地提出了选择和组织公理系统的原则,即: 1.相容性.从系统的公理出发不能推出矛盾,故亦称“无矛盾性”; 2.独立性.系统的每一条公理都不能是其余公理的逻辑推论; 3.完备性.系统中所有的定理都可由该系统的公理推出. 在这样组织起来的公理系统中,通过否定或者替换其中的一条或几条公理,就可以得到相应的某种几何.例如用罗巴切夫斯基平行公理替代欧几里得平行公理,而保持其余所有公理不变,就可以得到双曲几何;如果在抛弃欧氏平行公理的同时,添加任意两条直线都有一个公共点或至少有一个公共点的公理,并适当改变另外一些公理,就分别得到单重与双重椭圆几何,等等. 这样的做法,不仅给出了已有几门非欧几何的统一处理,而且还可以引出新的几何学.最有趣的例子便是“非阿基米德几何”,即通过忽略连续公理(亦称阿基米德公理)而建造的几何学.这是希尔伯特本人的创造,《几何基础》中用了整整5章的篇幅来展开这种新的几何学.我们在后面会看到,希尔伯特所发展的这种形式公理化方法在20世纪已远远超出了几何学的范围而成为现代数学甚至某些物理领域中普遍应用的科学方法. 黎曼还引进了流形曲率的概念.在黎曼几何中,最重要的一种对象就是所谓的常曲率空间(即在每一点上曲率都相等的流形),对于三维空间,有以下三种情形: 1.曲率为正常数; 2.曲率为负常数; 3.曲率恒等于零. 黎曼指出后两种情形分别对应于罗巴切夫斯基的非欧几何学和通常的欧氏几何学,而第一种情形则是黎曼本人的创造,它对应于另一种非欧几何学.在这种几何中,过已知直线外一点,不能作任何平行于该给定直线的直线.这实际上是以前面提到的萨凯里等人的钝角假设为基础而展开的非欧几何学. 在黎曼之前,从萨凯里到罗巴切夫斯基,都认为钝角假设与直线可以无限延长的假定矛盾,因而取消了这个假设.但黎曼区分了“无限”与“无界”这两个概念,认为直线可以无限延长并不意味着就其长短而言是无限的,只不过是说,它是无端的或无界的.可以证明,在对无限与无界概念作了区分以后,人们在钝角假设下也可像在锐角假设下一样,无矛盾地展开一种几何.这第二种非欧几何,也叫(正常曲率曲面上的)黎曼几何, 作为区别,数学史文献上就把罗巴切夫斯基发现的非欧几何叫作罗巴切夫斯基几何.普通球面上的几何就是黎曼非欧几何,其上的每个大圆可以看成是一条“直线”.容易看出,任意球面“直线”都不可能永不相交 。 黎曼可以说是最先理解非欧几何全部意义的数学家.他创立的黎曼几何不仅是对已经出现的非欧几何(罗巴切夫斯基几何)的承认,而且显示了创造其他非欧几何的可能性。 黎曼也是现代数学史上最具创造性的数学家之一.他1826年出生在一个牧师家庭,由于家庭环境的影响,黎曼最初进人哥廷根大学时学的是神学和哲学,但不久他就喜欢上了数学,在征得父亲同意后,黎曼将数学选定为自己的专业.然而经过一年后,他发现哥廷根大学开设的数学课程过于陈旧,甚至连高斯也在讲初等的 课程,于是他决定去柏林随雅可比、狄利克雷(Dirichlet)等数学家学习.1849年,黎曼重返哥廷根在高斯指导下做博士论文,题目为《单复变函数一般理论基础》. 黎曼 结果,这篇论文得到了高斯的赞赏,他以少有的激情给作者写了如下评语: “黎曼先生提交的博士论文提供了可信的证据,表明作者对他的论文所涉及的主题进行了全面、深入的研究,显示了一个具有创造力的、活跃的、真正数学的头脑以及了不起的富有成果的独创性.” 不幸的是,黎曼正值他的创造高峰时因感染上肺结核而去世,死时还不到40岁.黎曼在他短暂的一生中,对于几何、分析和物理学的众多领域都作了开创性的贡献.有数学家评论说:“黎曼是一个富有想象的天才,他的想法即使没有证明,也鼓舞了整整一个世纪的数学家.” 19世纪70年代以后,意大利数学家贝尔特拉米(E.Beltrami)、德国数学家克莱因(F.Klein)和法国数学家庞加莱(H.Poincare)等人先后在欧几里得空间中给出了非欧几何的直观模型,从而揭示出非欧几何的现实意义.至此,非欧几何才真正获得了广泛的理解. 9.4 射影几何的繁荣 非欧几何揭示了空间的弯曲性质,将平直空间的欧氏几何变成了某种特例.实际上,如果将欧几里得几何限制于其原先的涵义——三维、平直、刚性空间的几何学,那么19世纪的几何学就可以理解为一场广义的“非欧”运动:从三维到高维;从平直到弯曲;…而射影几何的发展,又从另一个方向使“神圣”的欧氏几何再度“降格”为其他几何的特例. 在19世纪以前,射影几何一直是在欧氏几何的框架下被研究的
文档评论(0)