高等几何(第二版 朱德祥 朱维宗编)..pptVIP

第九章 几何基础之 9.7 罗巴切夫斯基几何 数千年来，不论在思想领域的突破上，在科学方法论的创建上，几何学总是扮演着“开路先锋”的角色。 今天，几何学仍然是一门方兴未艾、蓬勃发展的学科，在整个数学体系中，几何一直是一个重要的主角。 ——题 记 提 纲 一、 罗巴切夫斯基几何 二、 罗氏几何的公理系统 欧几里得几何学的第五公设，由于并不“自明”，引起了历代数学家的关注。最终，由罗巴切夫斯基和黎曼建立起了两种非欧几何学体系。这不仅对数学产生了巨大影响，而且对于人类文化都产生了深刻影响。可以说是人类思想史上的一个奇迹。 罗巴切夫斯基（1792.12.1～1856.2.24）几何：俄罗斯数学家罗巴切夫斯基在尝试解决欧氏第五公设问题的过程中，从失败走上他的发现之路的。 他从1815年着手研究平行线理论的。开始他也是循着前人的思路，试图给出第五公设的证明。在保存下来的他的学生听课笔记中，就记有他在1816～1817学年度在几何教学中给出的一些证明。可是，很快他便意识到自己的证明是错误的。 罗巴切夫斯基从前人和自己的失败的反面启迪了他，使他大胆思索问题的相反提法：可能根本就不存在第五公设的证明。于是，他便调转思路，着手寻求第五公设不可证的解答。这是一个全新的，也是与传统思路完全相反的探索途径。罗巴切夫斯基正是沿着这个途径，在试证第五公设不可证的过程中发现了一个崭新的几何世界。 那么，罗巴切夫斯基是怎样证得第五公设不可证的呢？又是怎样从中发现新几何世界的呢？原来他创造性地运用了处理复杂数学问题常用的一种逻辑方法——反证法。 这种反证法的基本思想是，为证“第五公设不可证”，首先对第五公设加以否定，然后用这个否定命题和其它公理公设组成新的公理系统，并由此展开逻辑推演。 首先假设第五公设是可证的，即第五公设可由其它公理公设推演出来。那么，在新公理系统的推演过程中一定会出现逻辑矛盾，至少第五公设和它的否定命题就是一对逻辑矛盾；反之，如果推演不出矛盾，就反驳了“第五公设可证”这一假设，从而也就间接证得“第五公设不可证”。 依照这个逻辑思路，罗巴切夫斯基对第五公设的等价命题——普雷菲尔公理“过平面上直线外一点，只能引一条直线与已知直线不相交”作以否定，得到否定命题“过平面上直线外一点，至少可引两条直线与已知直线不相交”，并用这个否定命题和其它公理公设组成新的公理系统展开逻辑推演。在推演过程中，他得到一连串古怪、非常不合乎常理的命题。但是，经过仔细审查，却没有发现它们之间存在任何逻辑矛盾。 于是，远见卓识的罗巴切夫斯基大胆断言，这个“在结果中并不存在任何矛盾”的新公理系统可构成一种新的几何，它的逻辑完整性和严密性可以和欧几里得几何相媲美。而这个无矛盾的新几何的存在，就是对第五公设可证性的反驳，也就是对第五公设不可证性的逻辑证明。由于尚未找到新几何在现实界的原型和类比物，罗巴切夫斯基慎重地把这个新几何称之为“想象几何”。 罗巴切夫斯基开创了数学的一个新领域，但他的创造性工作在生前始终没能得到学术界的重视和承认。就在他去世的前两年，俄国著名数学家布尼雅可夫斯基还在其所著的《平行线》一书中对罗巴切夫斯基发难，他试图通过论述非欧几何与经验认识的不一致性，来否定非欧几何的真实性。 英国著名数学家莫尔甘对非欧几何的抗拒心里表现得就更加明显了，他甚至在没有亲自研读非欧几何著作的情况下就武断地说：“我认为，任何时候也不会存在与欧几里得几何本质上不同的另外一种几何。”莫尔甘的话代表了当时学术界对非欧几何的普遍态度。 在创立和发展非欧几何的艰难历程上，罗巴切夫斯基始终没能遇到他的公开支持者，就连非欧几何的另一位发现者德国的高斯也不肯公开支持他的工作。 高斯是当时数学界首屈一指的学学巨匠，负有“欧洲数学之王”的盛名，早在1792年，也就是罗巴切夫斯基诞生的那一年，他就已经产生了非欧几何思想萌芽，到了1817年已达成熟程度。 他把这种新几何最初称之为“反欧几何”，后称“星空几何”，最后称“非欧几何”。但是，高斯由于害怕新几何会激起学术界的不满和社会的反对，会由此影响他的尊严和荣誉，生前一直没敢把自己的这一重大发现公之于世，只是谨慎地把部分成果写在日记和与朋友的往来书信中。 当高斯看到罗巴切夫斯基的德文非欧几何著作《平行线理论的几何研究》后，内心是矛盾的，他一方面私下在朋友面前高度称赞罗巴切夫斯基是“俄国最卓越的数学家之一”；另一方面，却又不准朋友向外界泄露他对非欧几何的有关告白，也从不以任何形式对罗巴切夫斯基的非欧几何研究工作加以公开评论；他积极推选罗巴切夫斯基为哥廷根皇家科学院通讯院士,可是，在评选会和他亲笔写给罗巴切夫斯基的推选通知书中,对罗巴切夫斯基在数学上的最卓越贡献－－创立非欧几何却避而不谈。