论非欧几何的诞生
- 格式:doc
- 大小:31.50 KB
- 文档页数:6
非欧几何的发现与建立的心路历程及其启示摘要:简述非欧几何的创立——从数学内部矛盾的引发、提出反问题、演绎出一个“不合常理”的体系、证明这个体系和确立非欧几何.在此基础上,阐述其对数学科学研究和数学教育研究的重要意义和影响.关键词:非欧几何;欧氏几何;“第五公设”;历程;启示Thediscoveryandtheprocessoftheestablishmentofnon-Euclideangeometryandits’InspirationLI Yi,LIN Li-yun(Department of Mathematics,Zhangzhou Teachers’College,Zhangzhou 363000,China)Abstract: This paper describes the creation of non-Euclidean geometry——it causes by the internal contradictions of mathematics 、make a counter question、deductive a “Irrational” s ystem、prove this system and establish the non-Euclidean geometry. On this basis,it describes the research’significance and impact to the mathematics research and mathematics education research.Key words: non-Euclidean geometry; Euclidean geometry; “The fifth postulate”; process; Inspiration.非欧几何在数学发展史上具有重要的地位。
它打破了欧氏几何的权威,使得几何学得到极大扩展,尤其是将公理化方法表现得淋漓尽致.另外,非欧几何艰难的发现历程同样具有研究的价值.本文尝试重新阐述非欧几何发现的心路历程,力图寻找出发现所面对的困难以及解决所使用的方法论,从而揭示非欧几何创立的完整过程,但不拘泥于细枝末节.在此基础上,结合数学科学研究和数学教育研究,提出一些启示。
非欧几何诞生的意义谈及非欧几何我们就得从它的基础学科——欧式几何入手。
几何学的发源可以追溯的古埃及,几何学的本意是测量的意思,它是古埃及人进行土地测量时的各种经验成果的总结。
“据希腊历史学家Herodotus说,埃及是因为尼罗河每年涨水后需要重定农民土地的边界才产生几何的。
”古希腊人继承和发展了古埃及的几何学,爱奥尼亚学派的领袖和创立人泰勒斯(Thales)和他的学生毕达哥拉斯(Pythagoras)等著名的哲学家和数学家用演绎法将古埃及的“试验几何学”改造为“推理几何学”,晚期的毕达哥拉斯学派(公元前400年左右)已要求数学结果应当根据明白规定的公理用演绎法推出。
欧几里得(Euclid BC330-BC275)集几何学之大成,将前人分散的几何学成果概括总结加以系统化,写成了《几何原本》这部影响历史的著作。
《几何原本》共十三卷,其中五卷为平面几何,五卷为立体几何,三卷为数和比例。
欧几里得几何学是科学史上第一个公理化演绎系统,欧几里得从二十三个名词定义、五条公理(一切科学所共有的真理)、五条公设(只是为某一门科学所接受的第一性原理),共推导出467条定理。
《几何原本》虽然是前人成果的概括总结,“但整部书的陈述方式——一开头就摆出所有的公理,明确提出所有的定义,和有条不紊的一系列定理——这是欧几里得所独创的,此外,定理的《几何原本》的证明有一些遗漏和错误,并且在论证过程中引入了很多没有提出的假定,这些假定是因为在图形上看或直观上显然的事实而无意中用上去的。
另外,欧几里得时代并不十分看重演绎推理,“事实上,希腊人对于从简单演绎法得出的命题是不很看得起的。
希腊人把那些能从定理直接推出的结果称作系或衍论。
Proclus把这种无需非多大力气得出的结果陈作横财或红利。
”《几何原本》中的公设五是欧几里得自己提出的,它的内容是“若一直线与两直线相交且若同侧所交两内角之和小于两直角,则两直线无限延长后必相交于该侧的一点。
非欧几何的诞生及其给我们的启示摘要:数学史上,非欧几何占有特殊的地位.以非欧几何的发明过程为基本线索,探讨了其对数学学科本身、人类文化、哲学思想的影响;对数学科研者、数学教育工作者及高校学生的启示.关键词:非欧几何;罗巴切夫斯基几何;黎曼几何1 非欧几何的发展史1.1 问题的提出非欧几何的发展源于2 000 多年前的古希腊数学家的欧几里得的《几何原本》.其中公设五是欧几里得自己提出的,它的内容是“若一条直线与两直线相交,且若同侧所交两内角之和小于两直角,则两直线无限延长后必相交于该侧的一点”.这一公设引起了广泛的讨论,因为它不如其他公理、公设那样简明,欧几里得本人也不满意这条公设,他在证完了所有不需要平行公设的定理后才使用它,怀疑它可能不是一个独立的公设,或许能用其它公设或公理代替.从古希腊时代开始到19 世纪的2000 多年来数学家们始终对这条公设耿耿于怀,孜孜不倦的试图解决这个问题.数学家们主要沿2 条研究途径前进:一条途径是寻找一条更为自明的命题代替平行公设;另一条途径是试图从其他9 条公理、公设推导出平行公设来.沿第一条途径找到的第五公设最简单的表述是1795 年苏格兰数学家普雷菲尔(J.Playfair 1748-1819)给出的:“过直线外一点,有且只有一条直线与原直线平行”也就是我们今天中学课本里使用的平行公理.但实际上古希腊数学家普罗克鲁斯在公元5 世纪就陈述过它.然而问题是,所有这些替代公设并不比原来的第五公设更好接受,更“自然”.历史上第一个证明第五公设的重大尝试是古希腊天文学家托勒玫(Ptolemy,约公元150 年)做出的,后来普罗克鲁斯指出托勒玫的“证明”无意中假定了过直线外一点只能作一条直线与已知直线平行,这就是上面提到的普雷菲尔公设.1.2 问题的解决1.2.1 非欧几何的萌芽沿第二条途径论证第五公设的工作在18 世纪取得突破性进展.首先是意大利人萨凯里(Saccharin 1667-1733)提出用归谬法证明第五公设,萨凯里从四边形ABCD开始,如果角A 和角B 是直角,且AC=BD,容易证明角C等于角D.这样第五公设便等价于角C 和角D 是直角这个论断.萨凯里提出另2 个假设:(1)钝角假设:角C 和角D 都是钝角;(2)锐角假设:角C 和角D 都是锐角.最后在锐角假设下,萨凯里导出了一系列结果,因为与经验认识违背,使他放弃了最后结论.但是从客观上为非欧几何的创立提供了极有价值的思想方法,开辟了一条不同于前人的新途径.其后瑞士数学家兰伯特(Lambert1728-1777)所做的工作与萨凯里相似.他也考察了一类四边形,其中3 个角为直角,而第5 个角有3 种可能性:直角、钝角和锐角.他同样在锐角假设下得到“三角形的面积取决于其内角和;三角形的面积正比于平角与内角和的差.他认为只要一组假设相互没有矛盾,就提供了一种几何的可能.著名的法国数学家勒让德(A.M.Legendar1752-1833)对平行公设问题也十分关注,他得到的一个重要定理:“三角形内角之和不能大于两直角”.这预示着可能存在着一种新几何.19 世纪初,德国人萨外卡特(schweikart 1780-1859)使这种思想更加明朗化.他通过对“星形几何”的研究,指出:“存在两类几何:狭义的几何(欧氏几何)星形几何.在后一个里面,三角形有一个特点,就是三角形内角之和不等于两直角”.1.2.2 非欧几何的诞生前面提到的一些数学家尤其是兰伯特,都是非欧几何的先驱,但是他们都没有正式提出一种新几何并建立其系统的理论.而著名的数学家高斯(Gauss 1777-1855)、波约(Bolyai 1802-1860)、罗巴切夫斯基(Lobatchevsky1793-1856)就这样做了,成为非欧几何的创始人.高斯是最早指出欧几里得第五公设独立于其他公设的人.早在1792 年他就已经有一种思想,去建立一种逻辑几何学,其中欧几里得第五公设不成立.1794 年高斯发现在他的这种几何中,四边形的面积正比于2 个平角与四边形内角和的差,并由此导出三角形的面积不超过一个常数,无论其顶点相距多远.后来他进一步发展了他的新几何,称之为非欧几何.他坚信这种几何在逻辑上是无矛盾的,并且是真实的,能够应用的,为此他还测量了3个山峰构成的三角形内角,他相信内角和的亏量只有在很大的三角形中才能显露出.但他的测量因为仪器的误差而宣告失败.遗憾的是高斯在生前没有任何关于非欧几何的论著.人们是在他逝世后,从他与朋友的来往函件中得知了他关于非欧几何的研究结果和看法.匈牙利青年数学家波约在研究欧几里得第五公设的基础上建立了一种新几何,他称之为“绝对空间中的几何”,并写了一篇26 页的论文《绝对空间的科学》.本论文出版时作为附录附于其父的书《为好学青年的数学原理论著》.当时的波约已建立起非欧几何的思想,并且相信新几何不是自相矛盾的,在1823-11-23 给他父亲的信中,波约写道:“我已得到如此奇异的发现,使我自己也为之惊讶不止”[1],在非欧几何的3 个发明人中,只有罗巴切夫斯基最早且系统地发表了自己的研究成果.罗巴切夫斯基曾卓越的指出:“直到今天,几何学中的平行线理论还是不完善的,从欧几里得时代以来,两千多年来徒劳无益的努力,促使我们怀疑在概念本身之中并未包括那样的真实情况,它是大家想要证明的,也是可以像别的物理规律一样单用实验(如天文检测)来检验.最后,我肯定了推测的真实性,而且认为困难的问题完全解决了”,“不论是如何给出的,只可以认为是说明,而且数学证明的完整意义不是不应该获得尊重的”[2].他的工作是在前人的基础上,引用与欧氏第五公设相矛盾的命题,即直线外1 点可作2 条平行线为假设,并且把他同欧氏几何中其它公设和公理相联系.经过推理后,得出3 个结论:(1)用欧氏几何其它公设和公理不能证明欧氏第五公设,即第五公设是独立的;(2)与第五公设相矛盾的公设同欧氏几何其它公设、公理相结合,展开一系列推理,获得了许多在逻辑上无矛盾的定理,构成了不同于欧氏几何的新的几何学;(3)这种逻辑上无矛盾的几何学的真理性同物理学中的定理一样,只能凭实验,例如用天文观测来检验.这3条结论显然与欧氏几何不同,是一种全新的几何体系,是罗氏独创性思维的结晶.他的结论是在1826 年2 月的一次学术报告上以《简要叙述平行定理的一个严格证明》为题报告的.由于罗巴切夫斯基对非欧几何的特殊贡献,人们把这种几何称为罗氏几何.1.2.3 非欧几何的发展与确认非欧几何要获得人们的普遍接受,需要确实的建立非欧几何自身的无矛盾性和现实意义.罗巴切夫斯基终其一身努力最后并没有实现这个目标.1854 年,黎曼(G.F.B.Riemann 1826-1866)摆脱高斯等前人把几何对象局限在3 维欧几里得空间的曲线和曲面的束缚,从维度出发,建立了更一般的抽象几何空间.黎曼仿照传统的微分几何定义流形上2 点之间的距离、流形上的曲线和曲线之间的夹角.并以这些概念为基础,展开对n 维流形几何性质的研究.在n 维流形上他也定义类似于高斯在研究一般曲面时刻画曲面弯曲程度的曲率.他指出对于3 维空间,有以下3 种情形:(1)曲率为正常数;(2)曲率为负常数;(3)曲率恒等于0.黎曼指出后2 种情形分别对应于罗巴切夫斯基的非欧几何和通常的欧氏几何学,而第一种情形则是黎曼本人的创造,它对应于另一种非欧几何学.黎曼创造的几何中的一条基本规定是:在同一平面内任何2 条直线都有公共点(交点).在黎曼几何学中不承认平行线的存在.它的另一条公设讲:直线可以无限延长,但总的长度是有限的.黎曼几何的模型是一个经过适当“改进”的球面.19 世纪70 年代以后,意大利数学家贝尔特拉米、德国数学家克莱茵和法国数学家庞加莱等人先后在欧几里得空间中给出了非欧几何的直观模型,从而揭示出非欧几何的现实意义.贝尔特拉米的模型是一个叫“伪球面”的曲面,它由平面曳物线绕其渐近线旋转一周而得.贝尔特拉米证明,罗巴切夫斯基平面片上的所有几何关系与适当的“伪球面”片上的几何关系相符合:也就是说,对应于罗巴切夫斯基几何的每一断言,就有一个伪球面上的内蕴几何事实.这使罗巴切夫斯基几何立刻就有了现实意义.克莱茵的模型比贝尔特拉米的简单明了.在普通欧氏平面上取1 个圆,并且只考虑整个圆的内部.他约定把圆的内部叫“平面”,圆的弦叫“直线”(根据约定将弦的端点除外).可以证明,这种圆内部的普通(即欧氏)几何事实就变成罗巴切夫斯基几何的定理,而且反过来,罗巴切夫斯基几何中的每个定理都可以解释成圆内部的普通几何事实.在克莱茵之后,庞加莱也对罗巴切夫斯基几何给出了模型:在欧氏平面内划1 条直线,而使之分为上、下2 个平面,把不包括这条直线在内的上半平面作为罗氏平面,其上的欧氏点当作罗氏几何的点,把以该直线上任一点为中心,任意长为半径所做出的半圆作为罗氏几何的直线,然后对如此规定了的罗氏元素一一验证罗氏几何诸公理全部成立.这样一来,如果罗氏系统在今后出现了正、反2 个相互矛盾的命题的话,则只要按上述规定之几何元素之间的对应名称进行翻译,立即成为相互矛盾的2 个欧氏几何定理,从而欧氏几何就有矛盾了.因此,只要承诺欧氏几何是无矛盾的,那么罗氏几何一定也是相容的,这就把罗氏几何的相容性证明通过上述庞家莱模型转化为欧氏系统的相容性证明.由于人们承认欧氏几何是相容的,因此,罗氏几何也是相容的.这样一来,就使非欧几何具有了至少与欧氏几何同等的真实性.至此,历经2 000 余a,非欧几何学作为一种几何的合法地位可以说充分建立起来了,也真正获得了广泛的理解,人们最初的愿望终于变成了现实.2 非欧几何发展史的启示非欧几何的诞生,是自希腊时代以来数学中一个重大的革新步骤.在这里我们将沿着事物的历史发展过程来叙述这一历史的重要意义.M.克莱茵(M. Klein)在评价这一段历史的时候说:“非欧几何的历史以惊人的形式说明数学家受其时代精神影响的程度是那么厉害.当时萨凯里曾拒绝过欧氏几何的奇异定理,并且断定欧氏几何是唯一正确的.但在一百年后,高斯、罗巴切夫斯基和波约满怀信心地接受了新几何”.2.1 对数学学科本身2.1.1 数学发展的相对独立性通过逻辑演绎法建立的非欧几何体系为数学的发展提供了一种模式,使人们清楚地看到数学可以有自己的逻辑体系存在,从而独立发展.数学发展的相对独立性突出表现为:数学理论的发展往往具有超前性,它可以独立于物理世界而进行,可以超前于社会实践,并反作用于社会实践,推动数学乃至于整个科学向前发展.19 世纪前,数学始终与应用数学紧密结合在一起,即数学不能离开实用学科而独立发展,研究数学的最终目的是为了解决实际问题.但是非欧几何第一次使数学的发展领先于实用科学,超越人们的经验.非欧几何为数学创造了一个全新的世界:人类可以利用自己的思维,按照数学的逻辑要求自由自在的进行思考.于是数学被认为应当是那些并不是直接地或间接地由于研究自然界的需要而产生出来的任意结构.这种观点逐渐被人们了解,于是造成了今天的纯粹数学与应用数学的分裂[1].2.1.2 数学的本质在于它的充分自由非欧几何的创立,使一直为人们意识到但未曾清楚地认识的区别呈现出来了即数学空间与物理空间的不同.数学家创造出几何理论,然后由此决定他们的空间观.这种建立在数学理论基础上的空间观、自然观,一般并不能否定客观世界的存在等内容,它仅仅强调这样一些事实:人们关于空间的判断所获得的一系列结论纯粹是自己的创造.物质世界现实与这种现实的理论,永远是两回事.正因为如此,人类探索知识、建立理论的认识活动才永远没有尽头.非欧几何的创立使人们认识到数学是人的精神的创造物,而不是对客观现实的直接临摹,这样就使数学获得了极大的自由,同时也使数学丧失了对现实的确定性.数学从自然界和科学中解脱出来,继续着它自己的行程.对此,M.克莱茵说:“数学史的这一阶段,使数学摆脱了与现实的紧密联系,并使数学本身从科学中分离出来了,就如同科学从哲学中分离出来,哲学从宗教中分离出来,宗教从万物有灵论和迷信中分离出来一样.现在可以利用乔治.康托的话了:‘数学的本质在于它的充分自由’”.2.1.3 几何观念的更新非欧几何的出现打破了欧氏几何一统天下的局面,使几何学的观念得到更新.传统欧氏几何认为空间是唯一的,而非欧几何的出现打破了这种观念,促使人们对欧氏几何乃至整个几何学的基础问题作深入探讨.2.2.1 非欧几何是敢于向传统挑战、勇于为科学献身的人类精神的产物高斯、波约、罗巴切夫斯基几乎同时发现了非欧几何,但3 人对待新几何的态度是不同的.高斯很早就意识到了新几何的存在,但他没有向世人公布他的新思想,他受康特(Kant)唯心思想的影响,不敢向传统几何学界达2 000 a 之久的欧氏几何挑战,以致推迟了非欧几何的诞生.波约致力于平行公设的研究,终于发现了新几何.这其中还有一个故事,当高斯决定将自己的发现秘而不宣时,波约却急切的想通过高斯的评价将自己的研究公诸于世,然而高斯回信给他的父亲F.波约中说:“夸奖他就等于称赞我自己.整篇文章的内容,你儿子采取的思路和获得的结果,与我在30 至35 年前的思考不谋而合”[3],波约对高斯的回答深感失望,认为高斯想剽窃自己的成果,特别是在罗巴切夫斯基关于非欧几何的著作出版后,他更决定从此不再发表论文.罗巴切夫斯基在1826 年公开新几何思想后,并没有得到同代人的理解与赞扬,反而遭到讽刺和攻击,“可是没有任何力量可以动摇罗巴切夫斯基的信心,他像屹立在大海中的灯塔,惊涛骇浪的冲击,十足显出他刚毅的意志,他一生始终为新思想而斗争[4]”.在他双目失明时,还口授完成了《泛几何学》.3 人们发现新几何的过程启示我们:只有突破了对传统、对权威的迷信,才能充分发挥科学的创造性;只有不畏艰难困苦,勇于为科学献身,才能追求、捍卫超越时代的真理.一般认为高斯、波约、罗巴切夫斯基3 人们同时发现了新几何,这是人们对历史的公正,但人们更喜欢称新几何为罗氏几何,这正是人们对罗巴切夫斯基为科学献身精神的高度赞扬.2.2.2 非欧几何精神促使人们树立宽容、包容一切的产物非欧几何的创立,解放了人类思想,新见解、新观点不断涌现,“数学显现为人类思想的自由创造物”[5].数学的发展使康托由衷的说道:“数学的本质在于其自由”.这种思想活跃而且民主的艺术气氛,使数学以前所未有的速度向前发展.非欧几何曲折的创建历程及其所带来的数学的发展,使人们意识到自由创造、百家争鸣对科学发展的重要性,促使人们树立宽容、包容一切的精神与美德[6].2.3 哲学思想方面2.3.1 认识论的变革法国哲学家、数学家彭加莱(Henri Poincare)说过[7]:非欧几何的发现,是认识论一次革命的根源.简单讲,人们可以说,这一发现已经胜利的打破了那个为传统逻辑所要求的,束缚住任何理论的两难论题:即科学的原理要么(感官观察的事实).他指出:原理可能是简单的任意约定,但是这些约定决不是同我们的心灵和自然界无关的,它们只能靠着一切人的默契才能存在,它们并且紧密地依赖着我们所生活的环境中的实际外界条件.事实上正是由于这一点,对于探索未知或目前无法感知的事物,我们可对自然界的认识作某种“默契约定”,这是认识一切事物的开始和基础.另外,我们在理论评判中,放弃非彼即此的评判,爱因斯坦就说过[8]:这种非彼即此的评判是不正确的.这些评判家、数学家的评判无疑是非欧几何创立后,其对思想、理论建立,特别是对认识论有最为直接的影响;更进一步的近代的理论和技术的进步均离不开它的内在影响,像“相对论”的产生、特别是对时空的进一步认识,集合论、现代分析基础、数理逻辑、量子力学等学科建立与发展均可以看成是非欧几何的直接结果.非欧几何的创立所产生的震荡至今余波未消[9,10].2.3.2 打破人类的传统思维方式分析和评价一种理论的首要依据应该是看其是否有“相容性”,即它是否有或会得出自相矛盾的结论.如果一个理论尚不能“自圆其说”,说明这一理论要么还只是人类经验的一种简单表述和列举,还没有进化到“理论”的高度;要么至少还需要进一步完善和改进.本来非欧几_何与欧氏几何理论建立的前提是矛盾的,而欧氏几何已被普遍接受.是否接受非欧几何势必产生这样的问题,矛盾的前提是否一定能够导出矛盾的结果?传统的思维方式认为这是一定的,即矛盾的前提必然导致矛盾的结果.接受非欧几何就意味着要冲破这一传统思维方式的束缚.随着时间的推移,特别是非欧几何的成果的广泛应用,使人们认识到:我们在建立理论的过程中不能保证矛盾的前提一定能导出矛盾的结果.因此,在理论的建立过程中,相容性是必须具备的[11],特别是在导出某个结论的过程中,我们必须清醒的认识到建立的理论体系是否具有无矛盾性、是否具有排中性.2.4 对数学科研者2.4.1 勇敢面对在科学探索路途上的暴风雨在科学探索的征途上,一个人经得住一时的挫折和打击并不难,难的是勇于长期甚至终生在逆境中奋斗.罗巴切夫斯基的新学说,违背了2 000 多a 来的传统思想,动摇了欧氏几何“神圣不可侵犯”的权威基础,同时也违背了人们的“常识”.他的学说一发表,社会上的嘲弄、攻击,甚至侮辱、谩骂,暴雨般地袭来:科学院拒绝接受他的论文;大主教宣布他的学说是“邪说”;大多数的权威们称罗巴切夫斯基的学说是“伪科学”,是一场“笑话”;即使那些心肠比较好的人最多也只能抱着“对一个错误的怪人的宽容和惋惜态度”;连不少著名的文学家也起来反对这种新的几何,如德国诗人歌德,在他的名著(浮士德)中写下了这样的诗句:“有几何兮,名曰:‘非欧’,自己嘲笑,莫名其妙”.面对种种攻击、嘲笑,罗巴切夫斯基毫不畏惧,寸步不让,他像屹立在大海中的灯塔,表现出一个科学家“追求科学需要的特殊勇敢”.罗巴切夫斯基坚信自己学说的正确性,为此奋斗一生.从1826 年发表了非欧几何体系后,又陆续出版了《关于几何原本》等8本著作.在他逝世前1 a,他的眼睛差不多瞎了,还口述,用俄、法2 种文字写成他的名著《泛几何学》.罗巴切夫斯基就是在逆境中奋斗终生的勇士.同样,一名数学工作者,特别是声望较高的学术专家,正确识别出那些已经成熟的或具有明显现实意义的科技成果并不难,难的是及时识别出那些尚未成熟或现实意义尚未显露出来的科学成果.数学的发展决不是一帆风顺的,在更多的情况下是充满犹豫、徘徊,要经历艰难曲折甚至会面临更多危机的.我们每一位科学工作者,既应当作一名勇于在逆境中顽强点头的科学探索者,又应当成为一个科学领域中新生事物的坚定支持者.2.4.2 正确对待数学领域里的成就数学是一门历史性或者说积累性很强的学科.重大的数学理论总是在继承和发展原有理论的基础上建立起来的,它们不仅不会推翻原有的理论,而且总是包含原先的理论.如非欧几何可以看成是欧氏几何的拓广.因此,有的数学史家认为“在大多数的学科里,一代人的建筑为下一代人所拆毁,一个人的创造被下一个人所破坏.惟独数学,每一代人都在古老的大厦上添加一层楼”[12].克莱茵在考察第五公设研究的历史特别是从18~19 世纪非欧几何由“潜”到“显”转变的100 多a 的历史过程时指出:“任何较大的数学分支或较大的特殊成果,都不会只是个人的工作,充其量,某些决定性步骤或证明可以归功于个人.这种数学积累特别适用于非欧几何”.事实上,自从《几何原本》以后到19 世纪,第五公设问题就像一块磁石一样广泛地吸引和激励着各个时代有才华的数学家为之奋斗.这就形成了一个在科学史上时间跨度最长、成员最多,并以传播和研究第五公设为范式的数学共同体.在这个共同体中,数学家相互交流思想,交换研究成果,对研究成果进行评议,形成不断竞争和激励的体制.罗巴切夫斯基也是从前人和自己的失败得到启迪,使他大胆思索问题的相反提法:可能根本就不存在第五公设的证明.于是,他便调转思路,着手寻求第五公设不可证的解答.罗巴切夫斯基正是沿着这个途径,在试证第五公设不可证的过程中发现一个新的几何世界的.也可以说,罗氏几何的出现应归功与萨凯里、兰伯特等对第五公设的研究.在今天分支越来越细的数学领域里,精通多个领域的知识的数学家也越来越少.对此,数学科研者应团结,相互进行交流;用平和的心态对待已取得的成绩,不骄不躁.2.5 对数学教师和数学学习者2.5.1 在质疑问难中培养创新思维罗巴切夫斯基认为,作为一名优秀的数学教师,讲授数学必须叙述精确、严密,所有概念都应当完全清晰.因为在他看来,数学课程是以概念为基础的,几何学尤其如此.所以他在备课中,通过对欧氏几何的逻辑结构的全面思考,发现了其逻辑体系的缺陷,使他感到非常困惑.他决心在自己的教学实践中消除那些缺陷.后来他确实编写了一本几何教科书《几何学教程》(1883).他不仅在教材中形成并贯彻了他的非欧几何思想,而且他关于非欧几何的研究,始终是和教学活动相结合的.他关于非欧几何的许多定理都是在授课过程中推导出来的,在学生中交流、修改和完善的.我们可以肯定的说,他创立非欧几何的伟大成果是从几何教育改革的角度切入的,是一个数学教育家取得伟大突破的成功范例.正如数学史家鲍尔加斯指出的“罗巴切夫斯基希望建立起在教学法意义上无可指责的几何学”,“这是促使他改革新几何的重要原因”.“他对教学法的探讨,获得了出色的、开创几何学发展新阶段的、作为人类研究和征服周世界围新方法的科学结论”.所以作为一名21 世纪的数学教师,在平时的教学过程中要不断的学习这个时代的新的知识,要勇于质疑你已经掌握的知识;教学中要引导学生广开思路,重视发散思维;教师要精选一些典型问题,鼓励学生标新立异、大胆猜想、探索,培养学生的创新意识.2.5.2 在教学中训练学生的创新思维罗巴切夫斯基刚开始是循着前人的思路,试图给出第五公设的证明.在仅存下来的他的学生听课笔记中,就记载着他在1816-1817 学年度几何教学中给出的几个证明.但他很快就意识到证明是错误的.前人和自己的失败从反面启迪了他,使他大胆思索问题的相反提法:可能根本就不存在第五公设的证明.于是,他便调转思路,着手寻求第五公设不可证的解答.罗巴切夫斯基正是沿着这个途径,在试证第五公设不可证的过程中发现一个新的几何世界的.“学起于思,思源于疑”,我们在探索知识的思维过程总是从问题开始,又在解决问题中得到发展.教师不仅要善于设。
非欧几何的产生是认识论的转变【摘要】认识论的演变对几何学的影响是一个重要的话题。
欧几里德几何作为传统几何学的代表,被认为是唯一正确的几何体系。
随着认识论的转变,非欧几何的产生成为可能。
非欧几何的突破性发现颠覆了欧几里德几何的基本假设,为哲学家如尼采提供了新的思考空间。
认识论转变对非欧几何的推动使得非欧几何在现代科学中得以应用。
非欧几何为认识论提供了新的视角,同时也促进了认识论的进一步发展。
认识论与几何学的关系仍有待深入研究,未来研究者需要更多地探索这两者之间的相互作用。
认识论的转变推动了非欧几何的发展,同时非欧几何也为认识论带来了新的启示,为我们提供了更广阔的研究视野。
【关键词】认识论、欧几里德几何、非欧几何、突破性发现、尼采哲学、科学应用、相互作用、转变、发展、新视角、关系、研究。
1. 引言1.1 认识论的演变认识论的演变指的是人类对于认识和知识的理论观点在历史上的发展演变过程。
从古代哲学家对于认识本质的讨论,到近现代科学革命对认识论观念的影响,认识论的演变一直贯穿着人类思想史的长河。
在古代,人们对于认识的探讨主要集中在认识的来源、本质和限度等方面。
古希腊哲学家柏拉图和亚里士多德对于认识的本质有着不同看法,柏拉图认为知识源于感性世界之上的理念世界,而亚里士多德则强调通过感觉和经验获取知识。
这些古代哲学家的思想奠定了后世认识论研究的基础。
随着欧洲文艺复兴和科学革命的兴起,认识论的研究逐渐转向对认识的过程和方法的探讨。
笛卡尔提出的怀疑主义、康德的批判哲学以及对于经验主义和理性主义的论辩,使得认识论观念逐渐趋向于理性主义和经验主义的综合。
这种认识论的发展为后来非欧几何的产生奠定了理论基础。
认识论的演变是人类对认识本质和过程进行思考和探讨的历史过程,它在一定程度上影响着人类对世界的认识和理解。
1.2 欧几里德几何与非欧几何在欧几里德几何与非欧几何的对比中,我们可以看到两者在几何学上的根本差异。
欧几里德几何是传统几何学的基础,以欧几里德公设为基础,建立在几何学的常规观念之上。
几何中的非欧几何和几何证明几何学作为数学的一个重要分支,研究着空间和形状的关系。
传统欧几何中,我们通常研究的是平面几何和立体几何,但在20世纪,人们开始发现了非欧几何的存在,它颠覆了我们对传统几何的认识并带来了新的思维方式。
非欧几何的出现不仅丰富了几何学的研究领域,也对几何证明提出了新的挑战。
一、非欧几何的基本概念非欧几何诞生于19世纪,它与欧几何最大的区别在于第五公设的不同。
在欧几何中,第五公设也被称为平行公设,它规定了通过一点外一直线上的平行线只有一条。
而在非欧几何中,第五公设被拓展了,提出了多种关于平行线的不同假设。
这就导致了非欧几何与欧几何有着不同的几何性质。
非欧几何的两个经典例子是椭圆几何和双曲几何。
椭圆几何是典型的非欧几何,它的特点是不存在平行线,任意两条直线都会相交。
而双曲几何则是另一种非欧几何,它的特点是存在无数条平行线,且相交角的和小于180度。
二、非欧几何的影响和应用非欧几何的提出对几何学的发展产生了深远的影响。
首先,非欧几何推动了数学的发展。
它挑战了传统几何的思维方式,促使数学家们重新思考几何的基本原理和公设。
这对后来的研究起到了积极的推动作用,并且促成了更加深入的几何学研究。
其次,非欧几何对物理学的发展也有一定的贡献。
爱因斯坦的广义相对论理论中,空间被看作是弯曲的,而非欧几何正是提供了一种新的模型来描述这种弯曲的空间,从而有助于解释物理现象。
因此,非欧几何为物理学的发展提供了新的视角。
此外,非欧几何还在现代通信、计算机图形学等领域得到了广泛应用。
在通信领域,非欧几何被用来研究信号传输中的误差控制和编码技术。
在计算机图形学中,非欧几何被应用于三维模型的建模和渲染,能够更加真实地反映物体之间的关系。
三、几何证明的挑战几何证明是几何学的重要部分,它通过推理和逻辑推断来证明几何定理的正确性。
在传统欧几何中,几何证明的过程通常基于欧几里德几何的公理和定理,逻辑推理比较简单明确。
然而,在非欧几何中,几何证明面临着更大的挑战。
罗巴切夫斯基创立非欧几何的艰难历程数学家故事1893年,在喀山大学树立起世界上第一个数学家的塑像。
这位数学家就是俄国的伟大学者、非欧几何的创始人之一罗巴切夫期基(H.N.JIoqaheBCKNN,1792-1856)。
非欧几何是人类认识史上一个富有创造性的伟大成果,它的创立,不仅带来了近百年来数学的巨大进步,而且对现代物理学、天文学以及人类时空观念的变革都产生了深远的影响。
可是,这一重要的数学发现在罗巴切夫斯基提出后相当长的段时间内,不但没能赢得社会的承认和赞美,反而遭到种种歪曲、非难和攻击,使非欧几何这一新理论迟迟得不到学术界的公认。
失败的启迪罗巴切夫斯基是在尝试解决欧氏第五公设问题的过程中,从失败走上他的发现之路的。
欧氏第五公设问题是数学史上最古老的著名难题之一。
它是由古希腊学者最先提出来的。
公元前3世纪,希腊亚历山大里亚学派的创始者欧几里得(Euclid,约公元前3____年-前275)集前人几何研究之大成,编写了数学发展史上具有极其深远影响的数学巨著《几何原本》。
这部著作的重要意义在于,它是用公理法建立科学理论体系的最早典范。
在这部著作中,欧几里得为推演出几何学的所有命题,一开头就给出了五个公理(适用于所有科学)和五个公设(只应用于几何学),作为逻辑推演的前提。
《几何原本》的注释者和评述者们对五个公理和前四个公设都是很满意,唯独对第五个公设(即平行公理)提出了质疑。
第五公设是论及平行线的,它说的是:如果一直线和两直线相交,所构成的两个同侧内角之和小于两直角,那么,把这两直线延长,它们一定在那两内角的侧相交。
数学家们并不怀疑这个命题的真实性,而是认为它无论在语句还是在内容上都不大像是个公设,而倒像是个可证的定理,只是由于欧几里得没能找到它的证明,才不得不把它放在公设之列。
为给出第五公设的证明,完成欧几里得没能完成的工作,自公元前3世纪起到19世纪初,数学家们投入了无穷无尽的精力,他们几乎尝试了各种可能的方法,但都遭到了失败。
论非欧几何的诞生Non-Euclidean geometry又名非欧几里得几何,简称非欧几何。
通常意义的非欧几何,就是指罗氏几何和黎曼几何这两种几何。
非欧几何的发展源于2000多年前的古希腊著名数学家欧几里得的《几何原本》,其中的公式五“若一条直线与两直线相交,且若同侧所交两内角之和小于两直角,则两直线无限延长后必相交于该侧的一点。
”从古希腊时代开始到19世纪的2000对年来,数学家们始终对这条公设耿耿于怀,试图解决并证明它,但对第五公设既无法正面证明,也无法从反面推出矛盾。
从《几何原本》出现到19世纪初非欧几何问世,许多杰出的数学家提出了各种“证明”,然而结果却都是错误的。
因为所有这些“证明”中都默认了一条与第五公设相互等价的命题。
通俗地说所谓等价是指含义与本质完全一样只是表述的形式不同而已。
在长达两千年的漫长岁月中整个数学面貌已经焕然一新。
继解析几何和微积分诞生之后,新的数学分支纷纷脱颖而出。
无数困难问题得以解决。
许多数学家创立了复杂艰深的数学理论。
但是人们在看上去极其简单的第五公设问题面前却仍然一筹莫展。
大数学家们也不例外。
法国数学家达朗贝尔在1759年说。
第五公设问题是“几何原理中的家丑”。
18世纪,意大利的萨凯里提出用归谬法试图证明第五公设,萨凯里从四边形开始,如果角A和角B是直角,且AC=BD,容易证明角C等于角D,这样第五公设便等价于角C和角D是直角这个论断。
萨凯里还提出了钝角和锐角的假设,但是因为与经验认识违背,但是放弃了最后结论,但是从客观上为非欧几何的创立提供了极有价值的思想方法。
其后瑞士数学家兰伯特所作的工作与萨凯里相似,他也考察了一类四边形,其中3个角为直角,而第四个角有三种可能性:锐角,直角,钝角。
之后兰贝特否定了钝角假设,也没有轻率地做出锐角假设导致矛盾的结论。
他没有像萨开里那样囿于第五公设真实性的顽固想法,而是大胆对第五公设的可证明性提出了怀疑。
在他的思想中甚至包含了非欧几何学可以存的想法,这是观念上的一个重要冲破。
但他未能对这种几何的现实性提出任何见解。
因而也就未能再向前迈出一步。
法国数学家勒让德对平行公设问题也很关注,他得到一个重要定理:三角形内角之和不能大于两直角。
预示了新几何的诞生。
无论是意大利的萨凯里,瑞士的兰伯特还是德国的萨外卡特,都是非欧几何的先驱,因为都在孜孜不倦的论证第五公设中取得了突破性的进展。
但是非欧几何的创始人是著名的数学家高斯、罗巴切夫斯基,因为他们提出一种新几何并建立其系统。
高斯是最早指出欧几里得第五公设独立于其他公设的。
1792年,高斯认为应该建立一种逻辑几何学,其中欧几里得的第五公设不成立,1794年高斯发现在他的这种几何中,四边形的面积正比于2个平角与四边形内角和的差,并由此导出三角形的面积不超过一个常数,无论其顶点相距多远,后来他进一步发展了他的新几何,称之为非欧几何。
到了十九世纪二十年代,俄国教授罗巴切夫斯基在证明第五公设的过程中,他用了另一种方法。
他提出了一个和欧式平行公理相矛盾的命题,用它来代替第五公设,然后与欧式几何的前四个公设结合成一个公理系统,展开一系列的推理。
他认为如果这个系统的推理中出现矛盾,就等于证明了第五公设。
我们知道,这其实就是数学中的反证法。
最后,罗巴切夫斯基得出了两个重要结论:一、第五公设不能被证明。
二、在新的公理体系中展开的一连串推理,得到了一系列在逻辑上毫无矛盾的新的定理,并形成了新的理论。
这个理论是像欧式几何一样的完善的、严密的几何学。
这种几何被称为罗巴切夫斯基几何,简称罗氏几何。
这是第一个被提出的非欧几何。
非欧几何中的黎曼几何则是由德国数学家黎曼创立的。
欧式几何与罗氏几何中有关于结合公理、顺序公理、连续公理及合同公理都是相同的,只是平行公理不一样。
欧式几何讲“过直线外一点有企鹅只有一条直线与已知直线平行”。
罗氏几何讲“过直线外一点至少存在两条直线和已知直线平行”。
那么是否存在这样的几何“过直线外一点,不能作直线和已知直线平行?”黎曼几何很好的回答了这个问题。
黎曼几何的一条基本规定:在同一平面内任何两条直线都有公共点即交点。
在黎曼几何中不承认平行线的存在,它的另一条公设讲:直线可以无限延长,但总的长度是有限的,黎曼几何的模型是一份经过适当改进的球面,如爱因斯坦的广义相对论就运用了这一点。
非欧几何的诞生,是自希腊时代以来数学中的一个重大的革新步骤。
M.克莱因在评价这一段历史的时候说:“非欧几何的历史以惊人的形式说明数学家受其时代精神影响的程度是那么的厉害,当时萨凯里曾拒绝过欧式几何的奇异定理,并且断定欧式几何是唯一正确的,但在一百年后,高斯、罗巴切夫斯基和波约满怀信心的接受了新几何。
非欧几何体系是通过逻辑演绎法建立的,它的诞生为数学的发展提供了一种模式,使人们清楚的看清数学可以有自己的逻辑体系存在,从而独立存在。
非欧几何的出现打破了欧式几何一统天下的局面,使几何学的观念得到更新,传统欧式几何认为空间是唯一的,而非欧几何的出现打破了这种观念,促使人们对欧式几何乃至整个几何学的基础问题作深入讨论。
其实高斯、波约、罗巴切夫斯基几乎同时发现了非欧几何,但3人对待新几何的态度确实不同的。
高斯最早意识到非欧几何,1792年当他15岁时已经有了第五公设不可证和非欧几何的思想萌芽。
以后相继得到许多这方面的重要结果。
但他却并没有将他的成果公布于众,原因是他不敢向传统几何界达2000多年的欧式几何发起挑战,害怕遭受到当时教会力量的打击和迫害,不敢公开发表自己的研究成果,只是在书信中向好友表示了自己的看法,也不敢公开站出来支持罗白垩夫斯基的新理论。
波约致力于平行公设的研究,最终发现了新几何,却因为与高斯的某些误会,最终决定让这个成果石沉大海。
罗巴切夫斯基在1826年公布了新几何的思想后,由于罗巴切夫斯基的新学说违背了两千多年来的传统思想。
动摇了欧氏几何“神圣不可侵犯”的权威基础,同时也违背了人们的“常识”。
他的学说一发表,社会上的嘲弄、攻击甚至侮辱、漫骂暴雨般地袭来:科学院拒绝接受他的论文,大主教宣布他的学说是“邪说”。
大多数的权威们称罗巴切夫斯基的学说是“伪科学”,是一场“笑话”。
即使那些心肠比较好的人最多也只能抱着“对一个错误的怪人的宽容和惋惜态度”。
连不少著名的文学家也起来反对这种新的几何,如德国诗人歌德在他的名著《浮十德》中写下了这样的诗句:有几何兮,名曰“非欧”,自己嘲笑,莫名其妙!毛泽东指出:“许多自然科学理论之所以被认为真理,不但在于自然科学家们创立这些学说的时候,而且在于为尔后的科学实践所证明的时候”。
非欧几何创立后的几十年间被人不理解、讥笑甚至反对。
1868年意大利数学家贝尔物拉米利用当时微分几何的最新研究成果,证明了伪球面上的几何学是罗巴切夫斯基的非欧几何学。
伪球面是一种形如喇叭的特殊曲面,具体而又实在。
此后非欧几何学的基本思想才开始为人们所理解和接受。
特别是到20 世纪上半叶,非欧几何学的空间概念在爱因斯坦的广义相对论中得到应用,以及在天体大范围观测和原子微观领域研究中得到证实后,我们就不得不承认它是更深刻地反映现实世界空间形式的一种科学真理了。
并从此得到进一步的应用和发展。
在创立非欧几何体系的过程中罗巴切夫斯基凭借想象的翅膀腾飞而起,提出了许多令人惊叹具有珍贵价值的科学思想。
例如罗巴切夫斯基从他给出的平行角解析式出发,以猜想的形式断言非欧几何是“巨大尺度形式的几何”适合于人宇宙空间范围。
为检验非欧几何的真理性他曾根据当时的最新天文观测资料,对尽可能大的天体三角形作了角度计算。
算得的结果表明这个角度比观测精度还小,因而无法观测到空间几何的非欧表现。
但是罗巴切夫斯基并不认为他的断言遭到了反驳。
在他看来“空间是无限延伸的,自然界只给我们的是这样的距离,和这个距离相比甚至我们地球到恒星的距离也是微乎其微的。
”他由此设想在以天文尺度为单位的巨大宇宙空间,将出现空间几何性质与欧几里得几何的明显差异。
罗巴切夫斯基进而构想微观领域的几何也是非欧式的。
他把非欧几何称为“想象几何”并且极富创见性地向他的同代人宣告:“在观测不足的情况下应当凭理智设想,想象几何可适用于被观测到的世界之外以及分子引力范围之内”。
此外,罗巴切夫斯基对非欧几何与欧氏几何的内在联系以及非欧几何在数学上的广阔用场也作了深必的预想。
他明确指出:“普通几何作为特殊情况包含在想象几何之中,想象几何取无限小线段可变成普通几何。
”又指出想象几何“即使在实际测量上还用不上,但它将为几何学在分析学上的应用开辟了一个广阔的新天地。
”只有突破了传统,对权威的迷信,才能充分发挥科学的创造性,只有不畏艰难困苦,勇于为科学献身,才能追求,捍卫超越时代的真理,一般认为高斯、波约、罗巴切夫斯基3人同时发现了新几何,这是人们对历史的公正,但人们更喜欢称新几何为欧式几何,这正是人们对罗巴切夫斯基为科学献身的高度赞扬,也变现了非欧几何是敢于向传统挑战,勇于为科学献身的人类精神的产物。
非欧几何的创立,解放了人类新思想,新见解,新观点不断涌现,也使一直为人们意识到但未曾清楚地认识的区别呈现出来了即数学空间与物理空间的不同,数学家创造几何理论,然后由此决定他们的空间观,这种建立在数学理论基础上的空间观,自然观,一般并不能否定客观世界的存在等内容,它仅仅强调这样一些事实:人们关于空间的判断所获得的一系列结论纯粹是自己的创造。
物质世界现实与这种现实的理论,永远是两回事。
正因为如此,人们探索知识、建立理论的认识活动才永远没有尽头,非欧几何的创立使人们认识到数学是人精神的创造物,而不是对客观事物的直接临摹,这样就使数学获得可极大的发展,同时也使数学丧失了对现实的确定性,数学从自然界和科学中解脱出来,继续着它自己的行程。
康托曾经说过:数学的本质在于它的自由。
很好的验证了非欧几何的诞生。
法国哲学家,数学家彭加莱:非欧几何的发现,是认识论一次革命的根源,简单讲,人们可以说,这一发现已经胜利的打破了那个为传统逻辑所要求的,束缚住任何理论的两难论题即科学的原理要么是必然真理,要么是断言的真理。
我们在理论评判中,放弃了非此即彼的评判,爱因斯坦曾说过:这种非此即彼的评判是不正确的,这些评判家,数学家的评判无疑是非欧几何创立后,其对思想,理论建立,特别是对认识论有最为直接的影响;更进一步的近代的理论和技术的进步均离不开它的内在影响,像相对论的产生,特别是对时空的进一步认识,集合论,现代分析基础,数理逻辑,量子力学等学科的建立与发展均可以看成是非欧几何的直接结果,非欧几何的创立所产生的震荡至今余波未消。
非欧几何的诞生对在教学中训练学生的创新思维也有很大的启示。
如罗巴切夫斯基刚开始也是循着前人的思路,试图给出第五公设的证明,在仅存下来的他的学生听课笔记中,就记载着他在1816年—1817学年在几何教学中给出的几个证明。