论非欧几何的诞生
非欧几何的发现与建立的心路历程及其启示
非欧几何的发现与建立的心路历程及其启示摘要:简述非欧几何的创立——从数学内部矛盾的引发、提出反问题、演绎出一个“不合常理”的体系、证明这个体系和确立非欧几何.在此基础上,阐述其对数学科学研究和数学教育研究的重要意义和影响.关键词:非欧几何;欧氏几何;“第五公设”;历程;启示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.非欧几何在数学发展史上具有重要的地位。
它打破了欧氏几何的权威,使得几何学得到极大扩展,尤其是将公理化方法表现得淋漓尽致.另外,非欧几何艰难的发现历程同样具有研究的价值.本文尝试重新阐述非欧几何发现的心路历程,力图寻找出发现所面对的困难以及解决所使用的方法论,从而揭示非欧几何创立的完整过程,但不拘泥于细枝末节.在此基础上,结合数学科学研究和数学教育研究,提出一些启示。
非欧几何诞生的意义.doc
非欧几何诞生的意义谈及非欧几何我们就得从它的基础学科——欧式几何入手。
几何学的发源可以追溯的古埃及,几何学的本意是测量的意思,它是古埃及人进行土地测量时的各种经验成果的总结。
“据希腊历史学家Herodotus说,埃及是因为尼罗河每年涨水后需要重定农民土地的边界才产生几何的。
”古希腊人继承和发展了古埃及的几何学,爱奥尼亚学派的领袖和创立人泰勒斯(Thales)和他的学生毕达哥拉斯(Pythagoras)等著名的哲学家和数学家用演绎法将古埃及的“试验几何学”改造为“推理几何学”,晚期的毕达哥拉斯学派(公元前400年左右)已要求数学结果应当根据明白规定的公理用演绎法推出。
欧几里得(Euclid BC330-BC275)集几何学之大成,将前人分散的几何学成果概括总结加以系统化,写成了《几何原本》这部影响历史的著作。
《几何原本》共十三卷,其中五卷为平面几何,五卷为立体几何,三卷为数和比例。
欧几里得几何学是科学史上第一个公理化演绎系统,欧几里得从二十三个名词定义、五条公理(一切科学所共有的真理)、五条公设(只是为某一门科学所接受的第一性原理),共推导出467条定理。
《几何原本》虽然是前人成果的概括总结,“但整部书的陈述方式——一开头就摆出所有的公理,明确提出所有的定义,和有条不紊的一系列定理——这是欧几里得所独创的,此外,定理的《几何原本》的证明有一些遗漏和错误,并且在论证过程中引入了很多没有提出的假定,这些假定是因为在图形上看或直观上显然的事实而无意中用上去的。
另外,欧几里得时代并不十分看重演绎推理,“事实上,希腊人对于从简单演绎法得出的命题是不很看得起的。
希腊人把那些能从定理直接推出的结果称作系或衍论。
Proclus把这种无需非多大力气得出的结果陈作横财或红利。
”《几何原本》中的公设五是欧几里得自己提出的,它的内容是“若一直线与两直线相交且若同侧所交两内角之和小于两直角,则两直线无限延长后必相交于该侧的一点。
非欧几何的诞生.
罗巴切夫斯基非欧几何的
基本思想是,即用与欧几里 得第五公设相反的断言:通 过直线外一点,可以引不止 一条而至少是两条直线平 行于已知直线,作为替代公 设,由此出发进行逻辑推导 而得出一连串新几何学的 定理.如(图1).
罗巴切夫斯基几何的其他结果
• 三角形三内角之和小于两直
角,假如三角形变大,使它 的所有三条高都无限增长,
05级数教 37号 席先贵非欧几何的其他发明人高斯是最先认识到非欧几 何是一种逻辑上相容并且 可以描述物质空间,像欧氏 几何一样正确的新几何,但 他未发表过任何有关非欧 几何的论著,主要是担心世 俗的攻击.
另一位对非欧几何有研究 的是匈牙利青年波约,
罗巴切夫斯基
当罗巴切夫斯基一开 始公布他的这些新几 何学的定理时,的确 遭到了高斯所预料的 “波哀提亚人的叫 嚣”,面对种种攻击, 罗巴切夫斯基表现出 比高斯更有勇气.他 坚信自己是正确的, 他同时还坚信这种新 的几何终有一天“可 以像别的物理规律一 样用实验来验证”.
非欧几何的诞生
1826年2月11日是非欧几何的诞生日。 这一天就是年轻的数学家罗巴切夫斯基
宣读他的非欧几何论文的日子。
1893年,在喀山大学树立起了
世界上第一个为数学家雕塑的 塑像。这位数学家就是俄国的 伟大学者、非欧几何的重要创 始人——罗巴切夫期基。罗巴 切夫斯基(Никола́й Ива́нович Лобаче́вский, 英文串法
Lobachevsky/Lobachevski i)(1792年12月1日—1856年 2月24日),俄罗斯数学家, 非欧几何的早期发现人之一。
第五公设是论及平行线的,它 说的是:如果一直线和两直线 相交,且所构成的两个同侧内 角之和小于两直角,那么,把 这两直线延长,它们一定在那
人教版高中数学选修3-1数学史选讲《非欧几何的诞生:欧氏几何的家丑》
3.《原本》中公设
1)任意两个点可以通过一条直线连接。 2)任意线段能无限延伸成一条直线。 3)给定任意线段,可以以其一个端点作为 圆心,该线段作为半径作一个圆。 4)所有直角都全等。
4.第五公设
同一平面内一直线同另外 两条直线相交,若在某一侧的 两内角之和小于两直角,则两 直线无限延长后,必在这一侧 相交。 ——平行公设或平行线公理
3.非欧几何
广义:
一切和欧几里得的几何学不同的几何学。
狭义:
指双曲几何。
通常:
指椭圆几何和双曲几何这两种几何。
课堂小结
1.欧氏几何 1)欧氏几何 2)第五公设:同一平面内一直线同另 外两条直线相交,若在某一侧的两内角之 和小于两直角,则两直线无限延长后,必 在这一侧相交。 3)第五公设的证明——萨凯里。 2.非欧几何 1)与欧氏平行公设对立的公设。 2)非欧几何。 3)非欧几何出现的意义。
二.非欧氏几何
1.与欧氏平行公设对立的公设
V’过直线外一点没有直线与所给直线平行。 V’’过直线外一点至少有两条直线与给定 直线平行。 由这两个命题能分别证明钝角假设、锐 角假设成立,同样:
V’与钝角假设等价。
V’’与锐角假设等价。
2.椭圆几何、双曲几何
如果我们保留欧几里 得几何中不依赖平行公设 的命题,然后把平行公设 替换为V’或V’’,就能得 到新的几何体系,分别叫 做椭圆几何、双曲几何, 它们都是非欧几何。
2.什么是非欧氏几何?
解析
广义:指一切和欧几里得的几 何学不同的几何学。 狭义:指双曲几何。 通常意义:指椭圆几何和双曲 几何这两种几何。
作业:
十几个世纪过去了!人们开 始怀疑:第五公设是否可证?可 否用相反命题代替?
非欧几何诞生的两种思想
Two t o g t a sn h i t f No - c i e n g o e r h u h s c u i g t e b r h o n Eu l a e m t y d
MOU i.a Jn b o
( et rh ioyo te ai n c ne N r w s U i ri , i n7 0 2 , hn ) C ne f eH s r f h m t sadSi c , o h et n e t X 117 C ia ro t t Ma c e t vs y a
r N J WU
非 欧几 何 诞 生 的两 种 思 想
牟金 保
( 西北 大学 数 学与科学史研究 中心 , 陕西 西安 7 0 2 ) 1 17
摘要: 目的 系统分析和探讨非欧几何诞生的两种思想。方法 运用文献考证和历史分析 的方法
对 非 欧几何 诞 生的 两种 思想进 行研 究 。结果 非欧几 何诞 生 的 两种 重要 思 想分别 是 欧氏 第五公 设 研 究和 运 用微 分 几何研 究 ; 者利 用无模 型观 点 直观揭 示 了非 欧 实质 , 者 以模 型 为依据 不但 利 于 前 后
e s o n y p o t sp o l o u d rtn n c e ti b tas e e a e r e e a o — u l e e me l ,n to l r mo e e p e t n e sa d a d a c p u o g n r ts a mo e g n r lN n E c i a g o — t l dn t . n l so T e c mb n t n o o g t ma e h n Eu l e e mer me g d d v lp r p d y r Co cu i n y h o i ai f wot u h s k st e No - ci a g o t e r e a e e o a i l , o t h dn y n a h e e e u i fN n- u l e n g o t d E ci e n g o t n r ae e e s r o d t n rt e e . c i v st n t o o - c i a e mer a u l a e mer a d ce ts n c s a y c n i o s f x- h y E d y n d y i o h
非欧几何的诞生及其给我们的启示论文
非欧几何的诞生及其给我们的启示摘要:数学史上,非欧几何占有特殊的地位.以非欧几何的发明过程为基本线索,探讨了其对数学学科本身、人类文化、哲学思想的影响;对数学科研者、数学教育工作者及高校学生的启示.关键词:非欧几何;罗巴切夫斯基几何;黎曼几何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 欧几里德几何与非欧几何在欧几里德几何与非欧几何的对比中,我们可以看到两者在几何学上的根本差异。
欧几里德几何是传统几何学的基础,以欧几里德公设为基础,建立在几何学的常规观念之上。
非欧几何的诞生
1.第五公设的疑问及其研究
人们主要从三个方面研究平行公理。 1. 试图给出新的平行线定义以绕开这个
困难; 2. 试图用比平行公理缺点更少的其他公
理取代它;(等价或包含); 3. 用其它9个公理或公设去证明它!
1.第五公设的疑问及其研究
在进行第二项工作的研究中,人们发现了 许多与第五公设等价的命题,证明其一便 相当于证明了第五公设。
数学欣赏
1.第五公设的疑问及其研究
欧氏几何的公理体系出现在欧几里 得的《几何原本》中,在其之后的2200 后,希尔伯特在《几何基础》加以完善。 其间,许多数学家作了许多公理体系的 完备性工作。
1.第五公设的疑问及其研究
在欧氏几何体系中,作为其基石的五 个公理以及五个公设中的前4个都是容易被 认同的。但是,对于第五公设,却没有那 么简单明了,它很像一条定理,而且很少 被使用,因为人们发现即使欧几里德本人 也尽量避免使用它。于是,《几何原本》 一问世,人们很快就希望能够消除这种困 惑。
比如:
平行公理:过直线外一点可以作唯一一条 直线与之平行;
三角形内角和定理:三角形内角和等于 180度。
1.第五公设的疑问及其研究
第三项问题得到的研究最多,人们 为此努力了两千多年,花费了无数数学 家的心血,但终究没有成功。
2.非欧几何的诞生
19世纪,德国数学家高斯、俄罗斯数学 家罗巴切夫斯基和德国数学家黎曼等人,在 用反证法研究第三项问题时,试图推出矛盾, 但却没有。即,假设第五公理不成立,结果 并不会出现矛盾!
数学欣赏
2.非欧几何的诞生
鲍 耶 (Bolyai﹐ Janos)
1802 年12月15 日生于匈牙 利特兰尼西瓦亚的科罗日 瓦 (Kolozsvar)( 今 罗 马 尼 亚 卢日);1860 年1 月17 日卒 于匈牙利毛罗什瓦萨尔海 伊 (今罗马尼亚特古穆列什)。
几何中的非欧几何和几何证明
几何中的非欧几何和几何证明几何学作为数学的一个重要分支,研究着空间和形状的关系。
传统欧几何中,我们通常研究的是平面几何和立体几何,但在20世纪,人们开始发现了非欧几何的存在,它颠覆了我们对传统几何的认识并带来了新的思维方式。
非欧几何的出现不仅丰富了几何学的研究领域,也对几何证明提出了新的挑战。
一、非欧几何的基本概念非欧几何诞生于19世纪,它与欧几何最大的区别在于第五公设的不同。
在欧几何中,第五公设也被称为平行公设,它规定了通过一点外一直线上的平行线只有一条。
而在非欧几何中,第五公设被拓展了,提出了多种关于平行线的不同假设。
这就导致了非欧几何与欧几何有着不同的几何性质。
非欧几何的两个经典例子是椭圆几何和双曲几何。
椭圆几何是典型的非欧几何,它的特点是不存在平行线,任意两条直线都会相交。
而双曲几何则是另一种非欧几何,它的特点是存在无数条平行线,且相交角的和小于180度。
二、非欧几何的影响和应用非欧几何的提出对几何学的发展产生了深远的影响。
首先,非欧几何推动了数学的发展。
它挑战了传统几何的思维方式,促使数学家们重新思考几何的基本原理和公设。
这对后来的研究起到了积极的推动作用,并且促成了更加深入的几何学研究。
其次,非欧几何对物理学的发展也有一定的贡献。
爱因斯坦的广义相对论理论中,空间被看作是弯曲的,而非欧几何正是提供了一种新的模型来描述这种弯曲的空间,从而有助于解释物理现象。
因此,非欧几何为物理学的发展提供了新的视角。
此外,非欧几何还在现代通信、计算机图形学等领域得到了广泛应用。
在通信领域,非欧几何被用来研究信号传输中的误差控制和编码技术。
在计算机图形学中,非欧几何被应用于三维模型的建模和渲染,能够更加真实地反映物体之间的关系。
三、几何证明的挑战几何证明是几何学的重要部分,它通过推理和逻辑推断来证明几何定理的正确性。
在传统欧几何中,几何证明的过程通常基于欧几里德几何的公理和定理,逻辑推理比较简单明确。
然而,在非欧几何中,几何证明面临着更大的挑战。
罗巴切夫斯基创立非欧几何的艰难历程数学家故事
罗巴切夫斯基创立非欧几何的艰难历程数学家故事1893年,在喀山大学树立起世界上第一个数学家的塑像。
这位数学家就是俄国的伟大学者、非欧几何的创始人之一罗巴切夫期基(H.N.JIoqaheBCKNN,1792-1856)。
非欧几何是人类认识史上一个富有创造性的伟大成果,它的创立,不仅带来了近百年来数学的巨大进步,而且对现代物理学、天文学以及人类时空观念的变革都产生了深远的影响。
可是,这一重要的数学发现在罗巴切夫斯基提出后相当长的段时间内,不但没能赢得社会的承认和赞美,反而遭到种种歪曲、非难和攻击,使非欧几何这一新理论迟迟得不到学术界的公认。
失败的启迪罗巴切夫斯基是在尝试解决欧氏第五公设问题的过程中,从失败走上他的发现之路的。
欧氏第五公设问题是数学史上最古老的著名难题之一。
它是由古希腊学者最先提出来的。
公元前3世纪,希腊亚历山大里亚学派的创始者欧几里得(Euclid,约公元前3____年-前275)集前人几何研究之大成,编写了数学发展史上具有极其深远影响的数学巨著《几何原本》。
这部著作的重要意义在于,它是用公理法建立科学理论体系的最早典范。
在这部著作中,欧几里得为推演出几何学的所有命题,一开头就给出了五个公理(适用于所有科学)和五个公设(只应用于几何学),作为逻辑推演的前提。
《几何原本》的注释者和评述者们对五个公理和前四个公设都是很满意,唯独对第五个公设(即平行公理)提出了质疑。
第五公设是论及平行线的,它说的是:如果一直线和两直线相交,所构成的两个同侧内角之和小于两直角,那么,把这两直线延长,它们一定在那两内角的侧相交。
数学家们并不怀疑这个命题的真实性,而是认为它无论在语句还是在内容上都不大像是个公设,而倒像是个可证的定理,只是由于欧几里得没能找到它的证明,才不得不把它放在公设之列。
为给出第五公设的证明,完成欧几里得没能完成的工作,自公元前3世纪起到19世纪初,数学家们投入了无穷无尽的精力,他们几乎尝试了各种可能的方法,但都遭到了失败。
非欧几里得几何
8.2.4一般讨论
代数研究的对象是数,数偶(a,b),一次方程式,二次 方程式等;几何研究的对象是点,直线,圆, 曲线等。我们要做的工作是将几何对象化为代 数对象。
问题:用直尺圆规作出来的数是不是都在这个 范围内?会不会超出这个范围?
23
8.2.4一般讨论
假定我们可用直尺圆规作出某个数域F中的所有 数。
3
3
§8.1欧几里得几何
8.1.1欧氏几何的诞生
公元前7世纪左右,希腊著名数学家泰勒斯
(公元前625—公元前574年)把埃及的数学 知识传到希腊,他极力主张对几何学上的陈 述不能凭直觉上的貌似合理就予以接受,相 反必须经过严格的逻辑证明。
4
8.1.1欧氏几何的诞生
泰勒斯对几何学作出巨大的贡献,第一个证明
了下列几何性质: 1)对顶角相等 2)三角形内角和等于两直角之和. 3)等腰三角形的两个底角相等 4)半圆上的圆周角是直角
5
8.1.1欧氏几何的诞生
毕达哥拉斯研究了五种正多面体、黄金分割、
比例中项定理等,其中影响最大的有毕达哥拉 斯定理和无理数的发现。
雅典学派的希波克拉底、柏拉图、欧多克索斯
提出几何三大问题:三等分任意角的问题、立 方倍积问题、化圆为方问题,对几何学的发展 有很大的贡献。
19
8.2.2用尺规可作什么图
下面的图是用尺规可作的: 1) 二等分已知线段 2) 二等分已知角 3) 已知直线L和L外一点P,过P作直线垂直L 4) 任意给定自然数n,作已知线段的n倍,以及n 等分已知线段 5) 已知线段a,b,可作a+b,a-b,ab,a/b 6) 已知线段a,做 a
20
8.2.3有理数域的扩张
30
8.4.1非欧几何的孕育时期
数学概览课程 第四章 数学发展中的非欧几何发展历程
它开创了古典数论的研究,在一系列公理、定义、公设的基 础上,创立了欧几里得几何学体系,成为用公理化方法建立起来 的数学演绎体系的最早典范。
预见到非欧几何的第二人鲍耶.在青年时代就醉心于第五公 设的证明.他不顾父亲的劝告,坚持研究,终于建立了非欧几何 .1823年11月3日,他高兴地写信告诉父亲:“我已从乌有中创 造了另一个新奇的世界.”当他父亲把鲍耶的研究成果写信告诉 高斯的时候,高斯感到十分吃惊,回信说:“这和我40年来沉思 的结果不谋而合.”鲍耶看到高斯的回信,大大刺伤了自己的自 尊心,反而怀疑高斯剽窃他的成果.从此消沉下去,不再研究这一 问题.
尽管萨开里没有证明欧几里得第五公设,但是他的讨论去告 诉人们,从逻辑上,如果更换欧几里得第五公设可能导致一些新 的几何现象。
萨凯里本想通过逻辑证明来排除钝角和锐角两种情况,从而 间接证明转角假设为真,即平行公设为真。结果他却得到了一个 没有矛盾的新几何体系——双曲几何。
但他却以“结论不合情理”而否认了,并在书末写到“欧式 几何无懈可击”。为什么呢?有两种说法。
此外,萨开里还在锐角假设下,导出 了过线外一点可以有多条直线与已知 直线平行。萨开里的推导是完全正确 的,但是他认为由锐角导出了什么矛 盾,这是错误的。事实上,无论是三 角形内角和小于180。或过线外一点 有多条直线与给定直线平行,这些现 象并不与第五公设之外的其他公设或 者公理矛盾。
萨开里在锐角假设下所导致的现象只是与通常人们的观念相 矛盾,而非逻辑上的矛盾。因此萨开里并没有证明欧几里得,第 五公设,最早指出这一点的是德国数学家克吕格尔。克吕格尔对 欧几里得第五公设能否由其他公设来证明产生了怀疑。
非欧几何(Non-Euclidean.
非欧几何(Non-Euclidean geometry)简介福州大学林鸿仁非欧几何就是非欧几里得几何,是针对欧几里得几何而言的,非欧几何通常指的是罗巴切夫斯基几何和黎曼几何。
众所周知,素有“几何之父”之称的古希腊的数学家欧几里得( Euclid,希腊文:Ευκλειδης,约公元前330年-前275年)有一本传世之作叫《几何原本》,已经传了两千多年了。
其中的基本内容,至今还是我们孩子们学习的课程,包括《平面几何》和《立体几何》。
西方的几何学大概兴于公元前7世纪的古埃及,对古代埃及人来说,几何学就是“测地术”,几何是在测量地块中获得的,是一种经验的几何知识,所以大都十分零散杂乱,缺乏系统。
古希腊的欧几里得首先觉察到,很有必要对这些“上帝的杰作”进行整理,于是特地到古埃及的亚历山大,收集整理并于公元前3世纪写成《几何原本》这一巨著,开创了数学理论的系统化逻辑化的先河,除了使几何成为一门独立学科之外,也成为西方科学研究方法的典范。
欧几里得的《几何原本》全书共分13卷,包含了5条“公理”、5条“公设”、23个定义和467个命题。
在每一卷中,欧几里得都采用了完全不同的叙述方式,先提出公理、公设和定义,再将命题进行逻辑推理和证明。
他先后对直边形、圆、比例论、相似形、数、立体几何等进行系统的论述。
在这里,作为定义的基本概念,如点、线、面、直角等,已不是具体的图形或图像,而是抽象的一般概念;推演定理的方法,也尽量避开直观,而采用“三段论式”的逻辑方法。
欧几里得的成功之处在于,从一些被认为是不证自明的事实出发,通过逻辑演绎,用很少的几个公理公设,令人信服地推出了很多的定理,而且它们与现实世界又是一致的。
欧几里得建立的这一个几何学公理体系一直受到后世数学家的普遍称颂,被公认为数学严格性的典范。
因此,在相当长的历史时期里,人们一直把几何称为“欧几里得几何”简称“欧氏几何”,并把它奉为金科玉律。
但由于时代的局限,他的5条公设中的第5条一直被质疑。
非欧几何的产生与发展
(2)不仅带来了近百年来数学的巨大进步,而且对现代物 不仅带来了近百年来数学的巨大进步, 理学、 理学、天文学和人类时空观念的变革都产生深远影响 1913年 1913年,物理学家给出了罗氏几何在相对论里的应用 1947年,人们在心理学的研究中,发现视觉空间最好 1947年 人们在心理学的研究中, 用罗氏几何来描述。 用罗氏几何来描述。
几何上的哥白尼——罗巴切夫斯基 罗巴切夫斯基 几何上的哥白尼
在创立和发展非欧几何的艰难历程上, 在创立和发展非欧几何的艰难历程上,罗巴切夫 斯基始终没能遇到他的公开支持者, 斯基始终没能遇到他的公开支持者,就连非欧几 何的另一位发现者德国的高斯也不肯公开支持他 的工作。1846年 的工作。1846年,他失去了在喀山大学的所有职 被迫离开终身热爱的大学工作。 务,被迫离开终身热爱的大学工作。 但是, 但是,罗巴切夫斯基从来没有动摇过对新几何远 大前途的坚定信念。直到1855 1855年 在身患重病, 大前途的坚定信念。直到1855年,在身患重病, 卧床不起的困境下, 卧床不起的困境下,这位双目已失明的老人也没 停止对非欧几何的研究, 停止对非欧几何的研究,口述发表了他的最后一 部巨著《泛几何学》 部巨著《泛几何学》。
懦弱的J 鲍耶 懦弱的J·鲍耶
1832年 1832年2月14日,父亲将小鲍耶的一篇有关非欧几 14日 何的论文寄给高斯, 何的论文寄给高斯,请高斯对他儿子的论文发表意 然而高斯回信说: 称赞他就等于称赞我自己。 见,然而高斯回信说:“称赞他就等于称赞我自己。 整篇文章的内容, 整篇文章的内容,你儿子所采取的 思路和获得的结果,与我在30 30至 思路和获得的结果,与我在30至35 年前的思考不谋而合。 年前的思考不谋而合。”小鲍耶对 高斯的答复深感失望。 1840年俄 高斯的答复深感失望。又1840年俄 国数学家罗巴切夫斯基关于非欧几 何的德文著作出版后, 何的德文著作出版后,更使小鲍耶 灰心丧气, 灰心丧气,他从此便完全放弃了研 究数学。 究数学。
非欧几何PPt
2012-6-1
6
高斯的生平
C.F,Gauss 是德国著名数学家、物理 学家、天文学家、大地测量学家。他有 数学王子的美誉,并被誉为历史上最伟 大的数学家天赋,据载他9岁时,用很 短的时间计算出了小学老师布置的任务: 对自然数从1到100的求和。但是据更 为精细的数学史书记载,高斯所解的并 不止1架到100那么简单,而是 81297+81095+….+100899(公差198, 项数100)的一个等差数列。
3
非欧几何的诞生
欧几里得第五公理是说:过已知直线外 一点,有且只有一条直线与已知直线平 行。 19世纪初,俄罗斯人罗巴切夫斯基在 否定第五公理的同时,假设其反面之一: “过已知直线外一点,可作多于一条的 直线与已知直线平行”,得到了一系列 定理,并且认为他得到了一门新的几何 学。这是过去2000年以来的重大突破。
非欧几何
2012-6-1
1
非欧几里得几何
Non-Euclidean geometry 非欧几里 得几何是一门大的数学分支,一般来讲, 它有广义、狭义、通常意义这三个方面 的不同含义。所谓广义是泛指一切和欧 几里得几何不同的几何学,狭义的非欧 几何只是指罗氏几何,至于通常意义的 非欧几何,就是指罗氏几何和黎曼几何 这两种几何。
2012-6-1
2
非欧几何的诞生
最先认识到非欧几何是一种逻辑上相容 并且可以描述物质空间、像欧式几何一 样正确的新几何学的是高斯。但是高斯 害怕这种理论会遭到当时教会力量的打 击和迫害不敢公开发表了自己的看法, 也是在书信中向自己的看法,也不敢站 出来公开支持罗巴切夫斯基、鲍耶他们 的新理论。
2012-6-1
2012-6-1 7
黎曼几何的创立与应用--
一、非欧几何的产生 自从公元前 3 世纪欧几里得著述《几何原本》,它所构建的几何体系就一直 被认为是“物质空间和此空间内图形性质的正确理想化”[1],它代表着人们直 观而先验式的数学观。2000 年来许多数学家以欧氏几何公理为基础在其上建立 起了数学的大厦。然而在此期间数学家们一直对一个问题耿耿于怀,这个问题来 自欧几里得的第五公设(也称平行公设)。 第五公设:当两条直线被第三条直线所截,如有一侧的两个同侧内角的和小 于两直角,则这两条直线适当的延长后就在同侧的内角和小于两直角的那一侧相 交。 它的叙述过于冗长和复杂,这与数学简明之美是不相称的。而且欧几里得本 人似乎也不太喜欢它,他在“证完了不需要平行公设可证的所有定理之后”才开 始使用平行公设。[2]因此在欧几里得以后的每个时代里,各国的数学家中都有 人试图寻求一个更加自然的公设来代替它或者通过证明第五公设来实现“排除任 何谬误的欧几里得”,而非欧几何的发展就在数学家们试图证明欧氏几何的真理 性中开始了。 在许多数学家的各种努力尝试中,萨凯里、克吕格尔、兰伯特等人的研究走 到了一个关键的地方:“一种假设如果不引起矛盾的话,就提供了一种可能的几 何”[3]他们算是非欧几何的先行者。真正突破欧氏几何束缚的是高斯,小包耶 和罗巴切夫斯基。高斯最早认识到存在非欧几何,然而因为不想受到攻击他并未 声明。在高斯去世后整理出的与朋友的通信中,人们才了解到他的想法。小包耶 在独立工作得到非欧几何体系后将成果发给高斯。在这个年轻人急于得到高斯肯
非欧几何(Non-Euclidean.
非欧几何(Non-Euclidean geometry)简介福州大学林鸿仁非欧几何就是非欧几里得几何,是针对欧几里得几何而言的,非欧几何通常指的是罗巴切夫斯基几何和黎曼几何。
众所周知,素有“几何之父”之称的古希腊的数学家欧几里得( Euclid,希腊文:Ευκλειδης,约公元前330年-前275年)有一本传世之作叫《几何原本》,已经传了两千多年了。
其中的基本内容,至今还是我们孩子们学习的课程,包括《平面几何》和《立体几何》。
西方的几何学大概兴于公元前7世纪的古埃及,对古代埃及人来说,几何学就是“测地术”,几何是在测量地块中获得的,是一种经验的几何知识,所以大都十分零散杂乱,缺乏系统。
古希腊的欧几里得首先觉察到,很有必要对这些“上帝的杰作”进行整理,于是特地到古埃及的亚历山大,收集整理并于公元前3世纪写成《几何原本》这一巨著,开创了数学理论的系统化逻辑化的先河,除了使几何成为一门独立学科之外,也成为西方科学研究方法的典范。
欧几里得的《几何原本》全书共分13卷,包含了5条“公理”、5条“公设”、23个定义和467个命题。
在每一卷中,欧几里得都采用了完全不同的叙述方式,先提出公理、公设和定义,再将命题进行逻辑推理和证明。
他先后对直边形、圆、比例论、相似形、数、立体几何等进行系统的论述。
在这里,作为定义的基本概念,如点、线、面、直角等,已不是具体的图形或图像,而是抽象的一般概念;推演定理的方法,也尽量避开直观,而采用“三段论式”的逻辑方法。
欧几里得的成功之处在于,从一些被认为是不证自明的事实出发,通过逻辑演绎,用很少的几个公理公设,令人信服地推出了很多的定理,而且它们与现实世界又是一致的。
欧几里得建立的这一个几何学公理体系一直受到后世数学家的普遍称颂,被公认为数学严格性的典范。
因此,在相当长的历史时期里,人们一直把几何称为“欧几里得几何”简称“欧氏几何”,并把它奉为金科玉律。
但由于时代的局限,他的5条公设中的第5条一直被质疑。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
论非欧几何的诞生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学年在几何教学中给出的几个证明。