几何学的新天地.ppt

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,*,第七章几何学的新天地,非欧几何的诞生,1.,欧式几何的家丑,平行公设是欧式几何的家丑。,达朗贝尔,“过直线外一点有且仅有一条平行线。”这是我们在初中就学过的公理。别小看它，它曾经花费了数学家们,2000,多年的时间来研究它，甚至于还有个几何学的“家丑”的名声。,欧几里得,的,几何原本,提出了五条公设，长期以来，数学家们发现,第五公设,和前四个公设比较起来，显得文字叙述冗长，而且也不那么显而易见。,有些数学家还注意到欧几里得在,几何原本,一书中直到第二十九个命题中才用到，而且以后再也没有使用。也就是说，在,几何原本,中可以不依靠第五公设而推出前二十八个命题。,因此，一些数学家提出，第五公设能不能不作为公设，而作为定理？能不能依靠前四个公设来证明第五公设？这就是几何发展史上最著名的，争论了长达两千多年的关于“,平行线理论,”的讨论。,由于证明第五公设的问题始终得不到解决，人们逐渐怀疑证明的路子走的对不对？第五公设到底能不能证明？,欧几里得的,几何原本,共有十三卷，其中第一卷讲三角形全等的条件，三角形边和角的大小关系，平行线理论，三角形和多角形等积（面积相等）的条件；第二卷讲如何把三角形变成等积的正方形；第三卷讲圆；第四卷讨论内接和外切多边形；第六卷讲相似多边形理论；第五、第七、第八、第九、第十卷讲述比例和算术得里论；最后讲述立体几何的内容。,从这些内容可以看出，目前属于中学课程里的初等几何的主要内容已经完全包含在,几何原本,里了。因此长期以来，人们都认为,几何原本,是两千多年来传播几何知识的标准教科书。属于,几何原本,内容的几何学，人们把它叫做欧几里得几何学，或简称为欧式几何。,几何原本,最主要的特色是建立了比较严格的几何体系，在这个体系中有四方面主要内容，,定义、公理、公设、命题,（包括作图和定理）。,几何原本,第一卷列有,23,个定义，,5,条公理，,5,条公设。,这些定义、公理、公设就是,几何原本,全书的基础。全书以这些定义、公理、公设为依据逻辑地展开他的各个部分的。比如后面出现的每一个定理都写明,什么是已知、什么是求证,。都要根据前面的定义、公理、定理进行逻辑推理给予仔细证明。,关于几何论证的方法，欧几里得提出了,分析法、综合法和归谬法,。所谓分析法就是先假设所要求的已经得到了，分析这时候成立的条件，由此达到证明的步骤；综合法是从以前证明过的事实开始，逐步的导出要证明的事项；,归谬法是在保留命题的假设下，否定结论，从结论的反面出发,，由此,导出和已证明过的事实相矛盾或和已知条件相矛盾的结果,，从而证实原来命题的结论是正确的，也称作,反证法,。,而第五公设的证明，直到,1733,年,萨凯里,才做出值得注意的成果。萨凯里没有象其他人那样试图从正面进攻平行公设，而是应用他所喜欢的,反证法,。这种证明方法的基本思想是：保持欧几里德的其他公设不变，假设第五公设不真，由此进行逻辑推演。如果推导出逻辑矛盾来，就反驳了第五公设不真的假设，从而也就间接证得第五公设。,他考虑了一个看起来象矩形的图形,ABCD,，其中,AD=BC,，且,A=,B=90,，不用平行公设，可以证明,C=D,。这个图形有三个可能：,（,1,）直角假设，,C,，,D,是直角；,（,2,）钝角假设，,C,，,D,是钝角；,（,3,）锐角假设，,C,，,D,是锐角；,如果利用平行公设，就能证明,C,，,D,是直角，即直角假设成立，,相反，由直角假设，也能证明平行公设，因此平行公设与直角假设等价。,而与欧式平行公设对立的公设有：,（,V,）过直线外一点没有直线与给定的直线平行；,（,V,）过直线外一点至少有两条直线与给定的直线平行。,这两个命题分别能证明钝角假设，锐角假设，同样（,V,）与钝角假设等价，（,V,）与锐角假设等价。,如果我们保留欧几里德几何中不依赖平行公设的命题，然后把平行公设替换为（,V,）或（,V,），就能得到新的几何体系。分别叫做椭圆几何、双曲几何，它们都是非欧几何。,非欧几何学是一门大的数学分支，一般来讲，他有,广义、狭义、通常意义,这三个方面的不同含义。所谓,广义,是泛指一切和欧几里的几何学不同的几何学，,狭义,的非欧几何只是指罗式几何来说的，至于,通常意义,的非欧几何，就是指罗式几何和黎曼几何这两种几何。,萨凯里本想通过逻辑证明来排除钝角和锐角两种情况，从而间接证明转角假设为真，即平行公设为真。结果他却得到了一个没有矛盾的新几何体系,双曲几何。,但他却以“结论不合情理”而否认了，并在书末写到“欧式几何无懈可击”。为什么呢？有两种说法。,有人说，因为欧式几何有,2000,年的传统，对人们的影响根深蒂固，萨凯里无法突破思想上的束缚。,还有人说：萨凯里完成自己的研究后，教会做出了没收、充公的暗示。萨凯里也许自始至终认为在锐角下找不到矛盾，只不过为了让他的著作能通过教会的审查，才毫无诚意地做了个不可能愚弄数学家的谬论。,萨凯里走到了一个新奇世界的门口，但是他没有继续下去，否则他的研究将成为几何学史上最伟大的发现，他本人也将成为新学科,非欧几何的创立者。,另一个对新几何的产生做出重要贡献的是瑞士数学家,兰贝特,他继承了萨凯里的方法，从考察一个三个角都是直角的四边形出发，研究其第四个角是直角、钝角和锐角的可能性兰贝特否定了钝角假设，也没有轻率地做出锐角假设导致矛盾的结论他没有像萨凯里那样囿于第五公设真实性的顽固想法，而是大胆对第五公设的可证明性提出了怀疑在他的思想中甚至包含了非欧几何学可以存在的想法，这是观念上的一个重要冲破但他未能对这种几何的现实性提出任何见解，因而也就未能再向前迈出一步,2.,非欧几何的诞生,高斯,是真正预见到非欧几何的第一人,1792,年，当他,15,岁时，已经有了第五公设不可证和非欧几何的思想萌芽以后相继得到许多这方面的重要结果但他动摇徘徊了,25,年之久，直到,1817,年才牢固树立起坚定信念不幸的是，由于康德的唯心主义空间学说和在数学界占统治地位的所谓现实空间只能是欧氏空间这旧传统观念，给高斯以很大的精神压力，因而毕其一生关于此问题也没有发表什么见解,.,预见到非欧几何的第二人,鲍耶,在青年时代就醉心于第五公设的证明他不顾父亲的劝告，坚持研究，终于建立了非欧几何,1823,年,11,月,3,日，他高兴地写信告诉父亲：“,我已从乌有中创造了另一个新奇的世界,”当他父亲把鲍耶的研究成果写信告诉高斯的时候，高斯感到十分吃惊，回信说：“这和我,40,年来沉思的结果不谋而合”鲍耶看到高斯的回信，大大刺伤了自己的自尊心，反而怀疑高斯剽窃他的成果,.,从此消沉下去，不再研究这一问题,高斯的保守，鲍耶的消沉，使非欧几何的诞生推迟了时间只有俄国数学家,罗巴切夫斯基,(17931856),才无愧于享有这门新学说的创建者和捍卫者的光荣称号,3.,几何学中的“哥白尼”,1893,年，在喀山大学树立起了世界上第一个为数学家雕塑的塑像。这位数学家就是俄国的伟大学者、非欧几何的重要创始人,罗巴切夫期基,。,非欧几何是人类认识史上一个富有创造性的伟大成果，它的创立，不仅带来了近百年来数学的巨大进步，而且对现代物理学、天文学以及人类时空观念的变革都产生了深远的影响。,不过，这一重要的数学发现在罗巴切夫斯基提出后相当长的一段时间内，不但没能赢得社会的承认和赞美，反而遭到种种歪曲、非难和攻击，使非欧几何这一新理论迟迟得不到学术界的公认。,罗巴切夫斯基是在,尝试解决欧氏第五公设,问题的过程中，从失败走上他的发现之路的。欧氏第五公设问题是数学史上最古老的著名难题之一，它是由古希腊学者最先提出来的,罗巴切夫斯基是在尝试解决欧氏第五公设问题的过程中，从失败走上他的发现之路的。,罗巴切夫斯基是从,1815,年着手研究平行线理论的。开始他也是循着前人的思路，试图给出第五公设的证明。在保存下来的他的学生听课笔记中，就记有他在,1816,1817,学年度在几何教学中给出的一些证明。可是，很快他便意识到自己的证明是错误的。,前人和自己的失败从反面启迪了他，使他大胆思索问题的相反提法：可能根本就不存在第五公设的证明。于是，他便调转思路，着手寻求第五公设不可证的解答。这是一个全新的，也是与传统思路完全相反的探索途径。罗巴切夫斯基正是沿着这个途径，在试证第五公设不可证的过程中发现了一个崭新的几何世界。,那么，罗巴切夫斯基是怎样证得第五公设不可证的呢？又是怎样从中发现新几何世界的呢？原来他创造性地运用了处理复杂数学问题常用的一种逻辑方法,反证法。,这种反证法的基本思想是，为证,“,第五公设不可证,”,，首先对第五公设加以否定，然后用这个否定命题和其它公理公设组成新的公理系统，并由此展开逻辑推演。,首先假设第五公设是可证的，即第五公设可由其它公理公设推演出来。那么，在新公理系统的推演过程中一定会出现逻辑矛盾，至少第五公设和它的否定命题就是一对逻辑矛盾；反之，如果推演不出矛盾，就反驳了,“,第五公设可证,”,这一假设，从而也就间接证得,“,第五公设不可证,”,。,依照这个逻辑思路，罗巴切夫斯基对第五公设的等价命题,普列菲尔公理,“,过平面上直线外一点，只能引一条直线与已知直线不相交,”,作以否定，得到否定命题,“,过平面上直线外一点，至少可引两条直线与已知直线不相交,”,，并用这个否定命题和其它公理公设组成新的公理系统展开逻辑推演。,在推演过程中，他得到一连串古怪、非常不合乎常理的命题。但是，经过仔细审查，却没有发现它们之间存在任何罗辑矛盾。于是，远见卓识的罗巴切夫斯基大胆断言，这个,“,在结果中并不存在任何矛盾,”,的新公理系统可构成一种新的几何，它的罗辑完整性和严密性可以和欧几里得几何相媲美。而这个无矛盾的新几何的存在，就是对第五公设可证性的反驳，也就是对第五公设不可证性的逻辑证明。由于尚未找到新几何在现实界的原型和类比物，罗巴切夫斯基慎重地把这个新几何称之为,“,想象几何,”,。,在冷漠中宣告新几何诞生,1826,年,2,月,23,日，罗巴切夫斯基于喀山大学物理数学系学术会议上，宣读了他的第一篇关于非欧几何的论文：,几何学原理及平行线定理严格证明的摘要,。这篇首创性论文的问世，标志着非欧几何的诞生。然而，这一重大成果刚一公诸于世，就遭到正统数学家的冷漠和反对。,参加,2,月,23,日学术公议的全是数学造诣较深的专家，其中有著名的数学家、天文学家西蒙诺夫，有后来成为科学院院士的古普费尔，以及后来在数学界颇有声望的博拉斯曼。在这些人的心目中，罗巴切夫斯基是一位很有才华的青年数学家。,可是，出乎他们的意料，这位年轻的教授在简短的开场白之后，接着说的全是一些令人莫明其妙的话，,诸如三角形的内角和小于两直角，而且随着边长增大而无限变小，直至趋于零；锐角一边的垂线可以和另一边不相交，等等。,这些命题不仅离奇古怪，与欧几里得几何相冲突，而且还与人们的日常经验相背离。然而，报告者却认真地、充满信心地指出，它们属于一种逻辑严谨的新几何，和欧几里得几何有着同等的存在权利。这些古怪的语言，竟然出自一个头脑清楚、治学严谨的数家教授之口，不能不使与会者们感到意外。他们先是表现现一种疑惑和惊呆，不多一会儿，便流露出各种否定的表情。,宣讲论文后，罗巴切夫斯基诚恳地请与会者讨论，提出修改意见。可是，谁也不肯作任何公开评论，会场上一片冷漠。一个具有独创性的重大发现作出了，那些最先聆听到发现者本人讲述发现内容的同行专家，却因思想上的守旧，不仅没能理解这一发现的重要意义，反而采取了冷谈和轻慢的态度，这实在是一件令人遗憾的事情。,会后，系学术委员会委托西蒙诺夫、古普费尔和博拉斯曼组成三人鉴定小组，对罗巴切夫斯基的论文作出书面鉴定。他们的态度无疑是否定的，但又迟迟不肯写出书面意见，以致最后连文稿也给弄丢了。,权威的讥讽与匿名者的攻击,罗巴切夫斯基的首创性论文没能引起学术界的注意和重视，论文本身也似石沉大海，不知被遗弃何处。但他并没有因此灰心丧气，而是顽强地继续独自探索新几何的奥秘。,1829,年，他又撰写出一篇题为,几何学原理,的论文。这篇论文重现了第一篇论文的基本思想，并且有所补充和发展。此时，罗巴切夫斯基已被推选为喀山大学校长，可能出自对校长的,“,尊敬,”,，,喀山大学通报,全文发表了这篇论文。,1832,年，根据罗巴切夫斯基的请求，喀山大学学术委员会把这篇论文呈送彼得堡科学院审评。科学院委托著名数学家奥斯特罗格拉茨基院士作评定。奥斯特罗格拉茨基是新推选的院士，曾在数学物理、数学分析、力学和天体力学等方面有过卓越的成就，在当时学术界有很高的声望。可惜的是，就是这样一位杰出的数学家，也没能理解罗巴切夫斯基的新几何思想，甚至比喀山大学的教授们更加保守。,如果说喀山大学的教授们对罗巴切夫斯基本人还是很,“,宽容,”,的话，那么，奥斯特罗格拉茨基则使用极其挖苦的语言，对罗巴切夫斯基作了公开的指责和攻击。同年,11,月,7,日，他在给科学院的鉴定书中一开头就以嘲弄的口吻写道：,“,看来，作者旨在写出一部使人不能理解的著作。他达到自己的目的。,”,接着，对罗巴切夫斯基的新几何思想进行了歪曲和贬低。最后粗暴地断言：,“,由此我得出结论，罗马切夫斯基校长的这部著作谬误连篇，因而不值得科学院的注意。,”,这篇论文不仅引起了学术界权威的恼怒，而且还激起了社会上反动势力的敌对叫嚣。名叫布拉切克和捷列内的两个人，以匿名在,祖国之子,杂志上撰文，公开指名对罗巴切夫斯基进行人身攻击。,针对这篇污辱性的匿名文章，罗巴切夫斯基撰写了一篇反驳文章。但,祖国之子,杂志却以维护杂志声誉为由，将罗巴切夫斯基的文章扣压下来，一直不予发表。对此，罗巴切夫斯基极为气愤。,在孤境中奋斗终生,罗巴切夫斯基开创了数学的一个新领域，但他的创造性工作在生前始终没能得到学术界的重视和承认。就在他去世的前两年，俄国著名数学家布尼雅可夫斯基还在其所著的,平行线,一书中对罗巴切夫斯基发难，他试图通过论述非欧几何与经验认识的不一致性，来否定非欧几何的真实性。,英国著名数学家莫尔甘对非欧几何的抗拒心里表现得就更加明显了，他甚至在没有亲自研读非欧几何著作的情况下就武断地说：,“,我认为，任何时候也不会存在与欧几里得几何本质上不同的另外一种几何。,”,莫尔甘的话代表了当时学术界对非欧几何的普遍态度。,在创立和发展非欧几何的艰难历程上，罗巴切夫斯基始终没能遇到他的公开支持者，就连非欧几何的另一位发现者德国的,高斯,也不肯公开支持他的工作。,高斯是当时数学界首屈一指的学学巨匠，负有,“,欧洲数学之王,”,的盛名，早在,1792,年，也就是罗巴切夫斯基诞生的那一年，他就已经产生了非欧几何思想萌芽，到了,1817,年已达成熟程度。他把这种新几何最初称之为,“,反欧几何,”,，后称,“,星空几何,”,，最后称,“,非欧几何,”,。但是，高斯由于害怕新几何会激起学术界的不满和社会的反对，会由此影响他的尊严和荣誉，生前一直没敢把自己的这一重大发现公之于世，只是谨慎地把部分成果写在日记和与朋友的往来书信中。,当高斯看到罗巴切夫斯基的德文非欧几何著作,平行线理论的几何研究,后，内心是矛盾的，他一方面私下在朋友面前高度称赞罗巴切夫斯基是,“,俄国最卓越的数学家之一,”,，并下决心学习俄语，以便直接阅读罗巴切夫斯基的全部非欧几何著作；另一方面，却又不准朋友向外界泄露他对非欧几何的有关告白，也从不以任何形式对罗巴切夫斯基的非欧几何研究工作加以公开评论；他积极推选罗巴切夫斯基为哥廷根皇家科学院通讯院士，可是，在评选会和他亲笔写给罗巴切夫斯基的推选通知书中,对罗巴切夫斯基在数学上的最卓越贡献创立非欧几何却避而不谈。,高斯凭任在数学界的声望和影响，完全有可能减少罗巴切夫斯基的压力，促进学术界对非欧几何的公认。然而，在顽固的保守势力面前他却丧失了斗争的勇气。高斯的沉默和软弱表现，不仅严重限制了他在非欧几何研究上所能达到的高度，而且客观上也助长了保守势力对罗巴切夫斯基的攻击。,晚年的罗巴切夫斯基心情更加沉重，他不仅在学术上受到压制，而且在工作上还受到限制。按照当时俄国大学委员会的条例，教授任职的最高斯限是,30,年，依照这个条例，,1846,年罗巴切夫斯基向人民教育部提出呈文，请求免去他在数学教研室的工作，并推荐让位给他的学生波波夫。,人民教育部早就对不顺从他们意志办事的罗巴切夫斯基抱有成见，但又找不到合适的机会免去他在喀山大学的校长职务。罗巴切夫斯基辞去教授职务的申请正好被他们用以作为借口，不仅免去了他主持教研室的工作，而且还违背他本人的意愿，免去了他在喀山大学的所有职务。被迫离开终生热爱的大学工作，使罗巴切夫斯基在精神上遭到严重打击。他对人民教育部的这项无理决定，表示了极大的愤慨。,家庭的不幸格外增加了他的苦恼。他最喜欢的、很有才华的大儿子因患肺结核医治无效死去，这使他十分伤感。他的身体也变得越来越多病，眼睛逐渐失明，最后终于什么也看不见了。,1856,年,2,月,12,日，伟大的学者罗巴切夫斯基在苦闷和抑郁中走完了他生命的最后一段路程。喀山大学师生为他举行了隆重的追悼会。,在追悼会上，他的许多同事和学生高度赞扬他在建设喀山大学、提高民族教育水平和培养数学人材等方面的卓越功绩，可是谁也不提他的非欧几何研究工作，因为此时，人们还普遍认为非欧几何纯属,“,无稽之谈,”,。,罗巴切夫斯基为非欧几何的生存和发展奋斗了三十多年，他从来没有动摇过对新几何远大前途的坚定信念。为了扩大非欧几何的影响，争取早日取得学术界的承认，除了用俄文外，他还用法文、德文发现了自己的著作，同时还精心设计了检验大尺度空间几何特性的天文观测方案。,不仅如此，他还发展了非欧几何的解析和微分部分，使之成为一个完整的、有系统的理论体系。在身患重病，卧床不起的困境下，他也没停止对非欧几何的研究。他的最后一部巨著,论几何学,，就是在他双目失明，临去世的前一年，口授他的学生完成的。,历史是最公允的，因为它终将会对各种思想、观点和见解作出正确的评价。,1868,年，意大利数学家贝特拉米发表了一篇著名论文,非欧几何解释的尝试,，证明非欧几何可以在欧氏空间的曲面上实现。这就是说，非欧几何命题可以,“,翻译,”,成相应的欧氏几何命题，如果欧氏几何没有矛盾，非欧几何也就自然没有矛盾。,直到这时，长期无人问津的非欧几何才开始获得学术界的普遍注意和深入研究，罗巴切夫斯基的独创性研究也由此得到学术界的高度评价和一致赞美，这时的罗巴切夫斯基则被人们赞誉为,“,几何学中的哥白尼,”,。,在科学探索的征途上，一个人经得住一时的挫折和打击并不难，难的是勇于长期甚至终生在逆境中奋斗。罗巴切夫斯基就是在逆境中奋斗终生的勇士。,同样，一名科学工作者，特别是声望较高的学术专家，正确识别出那些已经成熟的或具有明显现实意义的科这成果并不难，难的是及时识别出那些尚未成熟或现实意义尚未显露出来的科学成果。我们每一位科学工作者，既应当作一名勇于在逆境中顽强点头的科学探索者，又应当成为一个科学领域中新生事物的坚定支持者。,然而非欧几何获得普遍接受是在德国数学家黎曼于,1868,年发表关于构成几何基础的原则的思想以及意大利数学家贝尔特拉米在,1868,年证明非欧向何的相容性和普遍适用性后才实现。在哲学上,非欧几何的出现动摇了数学中自明的真理概念。人们清楚地认识到,存在一系列真理,依赖于人们对于公理如何选择和如何安排。,在特殊情况下,一种特殊的真理,可以比别的真理更加有用,但它并不更,“,真,”,。在一般人的心目中,(,特别是数学家,),欧几里得几何学是无比神圣的,以致罗巴切夫斯基和其他生些非欧几何学家受到许多贬低和责难,(,对罗巴切夫斯基所作出贡献的回报就是,1846,年被解职,),。直至他死后半个多世纪,爱因斯坦证明了宇宙在结构上是非欧的,并且非欧的理论和概念有着非常实际的价值之后,情况才发生了根本的变化。,罗巴切夫斯基的几何学,罗巴切夫斯基是从,18151816,年着手研究第五公设问题的到,1826,年,2,月,23,日于喀山大学物理数学系学术会议上首次宣读自己新几何学的论文,(,简要叙述平行线公理的一个严格证明,，前后经过了十年艰苦的努力开始，他像其他所有研究者一样，也试图给出第五公设的证明，但不久就意识到这是徒劳的，对于第五公设，“至今没能找到它的严格证明，以往给出的任何一种证明，只能是一种说明，而不配称做是真正意义下的数学证明”,通过错误与失败的精心研究。罗巴切夫斯基大胆地提出原问题的“反问题”，即第五公设在数学上是不可证明的用他自己的话说就是：“我推断，不依赖于经验，去寻求这个真实性的证明是徒劳的”因为“这个真实性还没有包含在我们对现实事物的概念自身中”那么，罗巴切夫斯基是怎样成功地解决这个反问题的,?,又是怎样从中发现非欧几何新天地的,?,原来，他运用了反证法这一间接证明方法,罗巴切夫斯基的基本思想是，为证“第五公设不可证”，首先用第五公设的相反命题代替它，和其他公设构成一个新的公理系统，然后，对这个新公理系统展开逻辑推演假设第五公设在数学上可证，那么一定能够推演出逻辑矛盾来，至少第五公设和它的相反命题就是一对逻辑矛盾；反之，如果推演不出逻辑矛盾，就自然反驳了“第五公设可证”的假设，从而也就间接证得“第五公设不可证”,基于这种思想，罗巴切夫斯基从第五公设的等价命题普雷菲尔公理的否定；“过平面上直线外一点，至少可引两条直线与已知直线不相交”之后，他从这个相反命题,(,及欧几里得的其他公设,),出发而进行逻辑推演推演不多几步，他就得到一连串新命题这些命题，不仅离奇古怪，而且和人们的经验认识格格不入但是，经过仔细推敲，罗巴切夫斯基并没有发现它们之间含有任何逻辑矛盾,于是，远见卓识的罗巴切夫斯基断言，这个“在结果中并不存在任何矛盾”的新公理系统属于一种新几何，它的逻辑完整性和严密性可以和欧氏几何相媲美而这个新几何的存在，就是对“第五公设不可证”的间接证明,在创立非欧几何体系的过程中，罗巴切夫斯基凭借想象的翅膀，腾飞而起，提出了许多令人惊叹，具有珍贵价值的科学思想,例如，罗巴切夫斯基从他给出的平行角解析式出发，以猜想的形式断言，非欧几何是“巨大尺度形式的几何”，适合于大宇宙空间范围为检验非欧几何的真理性，他曾根据当时的最新天文观测资料，对尽可能大的天体三角形作了角度计算，算得的结果表明，这个角度比观测精度还小，因而无法观测到空间几何的非欧表现但是，罗巴切夫斯基并不认为他的断言遭到了反驳在他看来，“空间是无限延伸的，自然界只给我们的是这样的距离，和这个距离相比，甚至我们地球到恒星的距离也是微乎其微的”,他由此设想，在以天文尺度为单位的巨大宇宙空间，将出现空间几何性质与欧几里得几何的明显差异罗巴切夫斯基进而构想，微观领域的几何也是非欧式的他把非欧几何称为“想象几何”，并且极富创见性地向他的同代人宣告：“在观测不足的情况下，应当凭理智设想，想象几何可适用于被观测到的世界之外以及分子引力范围之内”,再如，罗巴切夫斯基还一反常态地提出了只有我们这个时代的人才能理解几何与力相关的思想他深刻地指出：“空间自身是不能单独存在的，因而当我们设想，自然界中的某些力决定一种几何，另一些力决定另一种特殊的几何，那么我们的头脑中就没有任何矛盾了”他又指出：“力产生一切：运动、速度、时间、质量，甚至距离和角”这实质上已经明确指出，空间的几何性质依赖于物质的运动,罗巴切夫斯基的这个思想，是对牛顿绝对时空观和康德先验时空观的尖锐挑战，并且直接通往了相对论和现代唯物主义时空观,此外，罗巴切夫斯基对非欧几何与欧氏几何的内在联系以及非欧几何在数学上的广阔用场，也作了深刻的预想他明确指出：“普通几何作为特殊情况包含在想象几何之中，想象几何取无限小线段可变成普通几何”又指出，想象几何“即使在实际测量上还用不上，但它将为几何学在分析学上的应用开辟了一个广阔的新天地”,捍卫真理的科学战士,通往真理的道路往往是坎坷曲折的罗巴切夫斯基的新学说，违背了两干多年来的传统思想，动摇了欧氏几何“神圣不可侵犯”的权威基础，同时也违背了人们的“常识”他的学说一发表，社会上的嘲弄、攻击，甚至侮辱、谩骂，暴雨般地袭来：科学院拒绝接受他的论文，大主教宣布他的学说是“邪说”大多数的权威们称罗巴切夫斯基的学说是“伪科学”，是一场“笑话”,即使那些心肠比较好的人最多也只能抱着“对一个错误的怪人的宽容和惋惜态度”连不少著名的文学家也起来反对这种新的几何，如德国诗人歌德，在他的名著,(,浮士德,中写下了这样的诗句：有几何兮，名曰：“非欧”，自己嘲笑，莫名其妙,!,，面对种种攻击、嘲笑，罗巴切夫斯基毫不畏惧，寸步不让，他像屹立在大海中的灯塔，表现出一个科学家“追求科学需要的特殊勇敢”,(,伽利略语,),罗巴切夫斯基坚信自己学说的正确性，为此奋斗一生从,1826,年发表了非欧几何体系后，又陆续出版了,关于几何本原,等,8,本著作在他逝世前一年，他的眼睛差不多瞎了，还口述，用俄、法两种文字写成他的名著,泛几何学,毛泽东指出：“许多自然科学理论之所以被认为真理，不但在于自然科学家们创立这些学说的时候，而且在于为尔后的科学实践所证明的时候”，非欧几何创立后的几十年间被人不理解、讥笑甚至反对,1868,年意大利数学家贝尔物拉米利用当时微分几何的最新研究成果，证明了伪球面上的几何学是罗巴切夫斯基的非欧几何学，伪球面是一种形如喇叭的特殊曲面，具体而又实在此后，非欧几何学的基本思想才开始为人们所理解和接受特别是到,20,世纪上半叶，非欧几何学的空间概念在爱因斯坦的广义相对论中得到应用，以及在天体大范围观测和原子微观领域研究中得到证实后，我们就不得不承认它是更深刻地反映现实世界空间形式的一种科学真理了，并从此得到进一步的应用和发展,