公选课第7讲：数学与人类思想解放摘要.ppt

遵义师范学院  2012—2013学年度第二学期 《数学文化》公共选修课第 7 讲 数学与人类思想解放 一、解析几何与微积分的发明 公元前3世纪，古希腊数学家欧几里得(生卒年不详，鼎盛期约在公元前300年)写了一本划时代的巨著《几何原本》，这本书在科学上开创了公理化方法的先河，它最早用公理化方法去建立演绎数学体系。《几何原本》共13卷，它的开头是23个定义，诸如点没有大小、线有长度没有宽度线的界是点、面只有长度和宽度、面的界是线等等。 定义的后面是5个公设， 前4个公设分别是：两点间可连一条直线、直线可无限延长、以任一点为圆心以任一半径可作一圆、凡直角都相等。 公设之后是个公理，分别是：等于同量的量相等、等量加等量和相等、等量减等量差相等、可重合的图形全等、整体大于部分。 《几何原本》就是从定义、公设、公理出发，通过逻辑推理从而得出一系列的定理。《几何原本》后来成为后世学习几何知识的标准教材，它记载的几何学也被称为欧氏几何。 《几何原本》的第五公设是“如果一条直线与两条直线相交，所形成的同侧内角和小于两直角和，那么这两条直线延长以后必在内角和小于两直角和的这一侧相交。”这条公设又被称为平行公设，它比前面四条公设复杂，看起来很像一条定理。于是自《几何原本》问世以后，数学家们企图由其它公设和公理推出第五公设，或者用更加自明的公设来代替它，如现在中学几何课本中的“过直线外一点可作且仅能作一条直线平行于已知直线”就是这样替代的一种努力。这样一直到18世纪末，二千多年过去了，耗尽了无数的聪明才智，但均以失败而告终。 失败使有些数学家对第五公设能否被证明产生了怀疑，一些人猜测到第五公设本身可能是独立的，有人则认识到如果一组假设不矛盾则可能推出一种几何学。这种思想上的转变，后来导致了非欧几何的产生。 在创立非欧几何的过程中，德国数学家高斯、俄国数学家罗巴切夫斯基和匈牙利数学家波尔约是先驱人物并发挥了重要作用。 高斯深信有一种不同于欧氏几何的几何的存在，他称之为非欧几何。不过他生前一直没有发表这方面的研究成果，一方面是因为他治学严谨，工作一定要非常成熟才公布出来;另一方面是高斯深知几何学传统观念的保守，他不想因此而招来非议。 波尔约当过奥地利军队的军官，他的父亲是一位数学家，并且与高斯有密切往来。波尔约受他父亲的影响，也致力于对第五公设的证明。在研究过程中，他逐渐认识到第五公设的不可证明性，于是决心创造新的几何。波尔约关于非欧几何的工作，1832年作为他父亲的一本初等数学著作的附录发表了。当他父亲把附录寄给高斯时，高斯称赞了波尔约，并说和自己40年来的思考相合。波尔约感到丧失了优先权，以后再也没有数学论文问世。但波尔约仅24页的附录，足以使他载入数学史册。 坚定地进行非欧几何研究，并发表系统著作的当推俄国数学家罗巴切夫斯基。1816年起罗巴切夫斯基也试图去证明第五公设，后来发现行不通。于是他尝试用反证法，即先否定第五公设，而假定过直线外一点至少可作两条直线与已知直线在同一平面上而又不相交，然后据此推出一系列的命题，结果发现这些命题前后一贯并无矛盾。 罗巴切夫斯基意识到这一发现的重要意义，他把这套与欧氏几何不同的体系称之为“虚几何学”，并在1826年2月23日公开宣读了他关于非欧几何的论文。以后，他又发表了多篇论文，并用法文和德文向国外加以介绍。然而他的工作不被人们理解，反而招来了讥笑和攻击。但是罗巴切夫斯基没有动摇，他一生都在为非欧几何获得承认而奋斗。他的学说在他死后被称为罗巴切夫斯基几何，他也被誉为“几何学中的哥白尼”。 在罗巴切夫斯基等人之后，德国数学家黎曼于1854年建立了不同于罗巴切夫斯基几何的非欧几何学———黎曼几何。黎曼是高斯晚年的学生，他用“同一平面上的任何两条直线一定相交”来代替欧氏几何的第五公设，并对欧氏几何的公理作了部分改动。他引入了n维流形(流形是一类特殊的拓扑空间)的曲率的概念，用它去描述欧几里得空间和更一般的空间。他指出曲率为零的空间是欧几里得空间，而黎曼空间的曲率大于零。 1868年意大利数学家贝尔特拉米证明了罗巴切夫斯基几何能够在负常曲率的曲面上实现。于是三种几何学在曲率的概念下统一起来。欧氏几何是描述曲率为零的空间的几何，而非欧几何则刻划曲率为非零常数的空间，其中曲率为负常数的空间几何是罗巴切夫斯基几何，而曲率为正常数的空间几何是黎曼几何。至此，非欧几何开始被人们认可和接受。 非欧几何与欧氏几何的确有很大的不同，如在罗巴切夫斯基几何中三角形内角和小于180°，在黎曼几何中三角形内角和大于180°，而众所周知欧氏几何中三角形内角和等于180°。又如过直线外一点作已知直线的平行线，欧氏