06级第10讲： 几何学的变革.pptVIP

高斯生前并没有发表过任何关于非欧几何的论著．这主要是因为他感到自己的发现与当时流行的康德空间哲学相抵触，担心世俗的攻击，他曾在给贝塞尔的一封信中说：如果他公布自己的这些发现，“黄蜂就会围着耳朵飞”，并会“引起波哀提亚人的叫嚣”．这里所讲的波哀提亚人是古希腊的一个部落，向以愚昧著称，高斯是借此影射那些反对他的人．高斯素有“数学之王”的美誉，在许多数学领域都有奠基性贡献，但于非欧几何却怯于公开同传统挑战，可见为新思想开辟道路并不是件容易的事情． 当声誉甚隆的高斯决定将自己的发现秘而不宣时，一位尚名不见经传的匈牙利青年波约却急切地希望通过高斯的评价而将自己关于非欧几何的研究公诸于世，波约的父亲F．波约是高斯的朋友，也是一位数学家．1832年2月14日，F．波约将他儿子的一篇题为《绝对空间的科学》的26页文章寄给高斯；这篇文章也作为F．波约刚刚完成的一本数学著作的附录而发表，其中论述的所谓“绝对几何”就是非欧几何． F．波约请高斯对他儿子的论文发表意见，然而高斯回信说：“称赞他（即J．波约）就等于称赞我自己．整篇文章的内容，您儿子所采取的思路和获得的结果，与我在30至35年前的思考不谋而合．”J．波约对高斯的答复深感失望，认为高斯想剽窃自己的成果．1840年俄国数学家罗巴切夫斯基关于非欧几何的德文著作出版后，更使J．波约灰心丧气，从此便不再发表数学论文，而他的父亲倒很开通，安慰他说：“春天的紫罗兰在各处盛开”． 在非欧几何的三位发明人中，只有罗巴切夫斯基最早、最系统地发表了自己的研究成果，并且也是最坚定地宣传和捍卫自己的新思想的一位．他先是于1826年在喀山大学发表了《简要论述平行线定理的一个严格证明》的演讲，报告了自己关于非欧几何的发现，而后又在1829年发表了题为《论几何原理》的论文，这是历史上第一篇公开发表的非欧几何文献，但由于是用俄文刊登在《喀山通讯》上而未引起数学界的注意． 设给定了直线和直线外一点A，从A引的垂直线AB．按照罗巴切夫斯基的基本假设，至少存在两条直线，，通过点A且不与直线相交．罗巴切夫斯基考虑所有过A不与相交的直线的极限情形，指出这样的极限直线有两条，并证明了它们也不与相交．因此，与便构成了所有不与相交的直线的边界，在这两条边界直线所成夹角α内的所有直线都不与相交（如下页图）．罗巴切夫斯基称与为的“平行线”，而落在角α内的所有直线叫不相交直线． 用欧氏几何的眼光来看，罗巴切夫斯基几何还有许多令人惊奇的结果，我们只能举一些例子，如： 1．三角形三内角之和小于两直角，假如三角 形变大，使它所有三条高都无限增长，则 它的三个内角全部趋向于零； 2．不存在面积任意大的三角形； 3．如果两个三角形的三个角相等，它们就全 等； 4．圆周长 不与半径 成正比，而是更迅速地增长，并符合下面的公式： 其中 是依赖于长度单位的常数．利用 的级数展开又可以得到： 因此，常数 越大， 就越小，上述公式就越接近于普通欧氏几何中的圆周长公式 ．这只是一个例子，说明罗巴切夫斯基几何在极限情形下就变成欧几里得几何． 在这里不可能全面展开罗巴切夫斯基几何的技术内容，并具体推导那些公式、结论．当罗巴切夫斯基一开始公布他的这些新几何学的定理时，的确遭到了高斯所预料的“波哀提亚人的叫嚣”．许多人群起攻之，说新几何是“荒唐的笑语”，是“对有学问的数学家的嘲讽”等等． 面对种种攻击，罗巴切夫斯基表现出比高斯更有勇气．一直到1855年，当他已是一位双目失明的老人时，他还口述发表了一本叫《泛几何学》的著作，坚信自己的新几何学的正确性．罗巴切夫斯基同时坚信这种新的几何学终有一天“可以像别的物理规律一样用实验来检验”． 三、非欧几何的发展与确认 非欧几何从发现到获得普遍接受，经历了曲折的道路．要达到这一目标，需要确实地建立非欧几何自身的无矛盾性和现实意义．罗巴切夫斯基终其一生努力最后并没有实现这个目标．在他之后，非欧几何的发展正是朝着这样的方向进行的． 首先是德国数学家黎曼（B．Riemann，1826—1866）在1854年发展了罗巴切夫斯基等人的思想而建立了一种更广泛的几何，即现在所称的黎曼几何．罗巴切夫斯基几何以及欧氏几何都只不过是这种几何的特例．黎曼的研究是以高斯关于曲面的内蕴微分几何为基础的．内蕴微分几何也是19世纪几何学的重大发展之一． 在蒙日等人开创的微分几何中，