第五公设与非欧几何.docx
- 文档编号:29557422
- 上传时间:2023-07-24
- 格式:DOCX
- 页数:10
- 大小:34.49KB
第五公设与非欧几何.docx
《第五公设与非欧几何.docx》由会员分享,可在线阅读,更多相关《第五公设与非欧几何.docx(10页珍藏版)》请在冰豆网上搜索。
第五公设与非欧几何
第五公设与非欧几何
第五公设与非欧几何
第五公设指欧几里得几何《原本》中的第五公设,其内容为:
在同一平面上,若一直线与两直线相交,且若同侧所交两内角之和小于两直角,则两直线无限延长后必交于该侧的一点.
图1
1、欧几里得第五公设的试证
古代数学家很早就注意到欧几里得几何《原本》有逻辑的缺点,他们经过两千年的努力来消除它.首先是针对公理系统,一方面是增加或改换公理,另一方面是试证第五公设.
第五公设的试证在几何史上占极重要的地位.因试证第五公设而发现了非欧几何,以致引起我们对几何学观点的根本改变.
欧几里得以后的两千年间,几乎所有的大数学家都曾试证过第五公设.原因是:
它看起来较其他公设性质复杂,而且在《原本》中应用很迟,到第29个命题才第一次应用.因此人们怀疑它是否可做为定理来证明,即只根据其它公理和《原本》中前28个命题来证明.谈到某一命题的数学证明,就是说要根据采用的公理系统纯逻辑地导出它,只能用公理或用由公理已证明的定理做根据.但如前所述,欧几里得没有完善的公理系统,因此这些试证者不能充分明显地提出问题.实际上,第五公设的试证就是要使它成为绝对几何的逻辑推论.本文后面将证明:
这是不可能的.因此两千年对第五公设的试证都失败了,这些证明都或明或暗地引用了和第五公设等价的命题,即导入新的假设(公理)以替换第五公设,这类议论不能称为第五公设的证明.直到十九世纪末才有几何学近代公理法的出现,在这以前,如何辨别几何学中证明的合理性,并无清楚的准绳.因此在一定程度上,第五公设的每个试证者会自以为他的假设是合理的,后来才知道所有这些证明都是站不住脚的.这使许多数学家怀疑:
(从绝对几何)证明第五公设是可能的吗?
这怀疑引导到积极的结果——非欧几何的发现.
2、非欧几何的产生
任何较大的数学分支甚或较大的特殊成果,都不会只是个人的工作.这种数学积累的发展特别适用于非欧几何.我们已介绍非欧几何的先驱者萨开里、伦倍特的工作,还有须外卡尔特(F.K.Schweikart,1780—1859年)研究他称为的星空几何,他外甥托里努斯(F.A.Taurinus,1794—1874年)继续研究星空几何,还有其他人,可称非欧几何的先驱者.至于说到非欧几何的创造者,那就要说到高斯(CarlFriedrichGauss,1777—1855年,德国人),约翰·鲍耶(JohannBolyai1802-1860年,匈牙利人)和罗巴切夫斯基(nikolaiIvanovichLobatchevsky,1793—1856年,俄国人)了.
被同时代人称为“数学家之王”的高斯,一生中从未出版过非欧几何的著作.在他死后,人们从他和一些数学家的通信以及他的遗稿中,才知道他由试证第五公设到发现新几何.他最初称为反欧几何,后称星空几何,最后称非欧几何.1824年他给托里努斯的信上说:
“三角形的三角之和小于180°,这假定导引到特殊的、与我们的几何完全相异的几何.这几何是完全一贯的,并且我发现它本身,结果完全令人满意.除了某一常数的值不能先天地予以表示定义而外,在这几何里我能解决任何课题.我们给予这常数值愈大,则愈接近于欧几里得几何,而且它的无穷大值会使双方系统合而为一.”为了检验这两种几何应用的可能性,高斯测量了三个山峰构成的三角形(三边为69,85与197公里)的内角之和.由于实验误差相对太大,这实验没有证明任何结论.高斯为了“害怕引起愚人的喊声”而终生未出版他的非欧几何研究著作.
约翰·鲍耶是数学家伏尔夫刚·鲍耶(WolfgangFarkasBolyai1775—1856年,匈牙利人)之子.他没有听从他父亲阻止他试证第五公设的劝告,因而发现了新几何.1823年(当时他21岁)他写信给父亲说:
“我坚决地决定出版自己的关于平行线的著作,……,我已经从乌有创造了整个世界”.1832年出版了约翰·鲍耶的著作,以附录形式附在他父亲的一本书后发表.“附录”的拉丁文是appendix;所以约翰·鲍耶的工作在数学文献上获得了“亚编原克斯”的称呼,它的真名很长:
《叙述着关于一个和欧几里得第十一公理(注:
即第五公设)的真伪无关的空间的绝对真实性的学说……》.
伏尔夫刚·鲍耶把这附录送给知友高斯评阅.高斯回信说:
他不能称赞约翰的工作,“称赞他等于称赞我自己,因为这研究的一切内容,你儿子所采用的方法和他所达到的一些结果几乎全部和我的一部分在30~35年前已开始的个人沉思相符合的缘故.我真是被这些所恐骇到顶点了.关于我自己的著作,虽只有一小部分已经写好,但我的目标本来是一生里不愿发表的.大多数人对于那里所讨论的问题都抱着不正确的态度;我仅发觉少数人听了我和他们谈这件事,觉得有兴趣…….我的目标在于把它统写下来,免得和我一同湮没.使我快乐地感到惊奇的是现在可以免去这劳力的耗费,并且特别高兴的,在我的前面有这样惊异的姿态的人正是老友的儿子”.约翰对这评语感到沉重.他不相信别人比他更早达到同一结果,认定了高斯在这个发现上要夺优先权.高斯从来没有公开表扬过约翰的工作.约翰由于没有获得任何人的理解、同情和精神上的支援而陷入失望,并且抛弃了一切数学研究.
俄罗斯数学家罗巴切夫斯基最初也企图用归谬法来证明第五公设.他企图由否定“同一直线的垂线和斜线必相交”这个命题引出矛盾,但推论一个接着一个,形成了一个新的几何系统,逻辑上并无任何矛盾.于是他开始相信第五公设问题不能只用逻辑的方法来彻底解决,而必须依靠实验.他于1835年写道:
“从欧几里得时起二千年来枉费心机的努力,不得不使我怀疑在这概念本身中并不曾含有那种真理,就是我们想要证明的,并且象其他物理定律那样只能用实验(譬如说天文观察)来证实的真理.终于深信我的揣度是正确的,而且认为困难的问题已经完全得到解决,我乃在1826年就此问题写成了论文”.(见他的全集,卷二,1949年俄文版第147页).
1826年2月11日罗巴切夫斯基在喀山大学数理系宣读了他的关于这种新几何学的报告《关于几何原理的议论》.这一天被认为是非欧几何的诞生日.其后,他陆续出版了许多叙述这种新几何的著作:
《关于几何原本》(1829年),《想像中的几何》(1835年),《想像中的几何在某些积分上的应用》(1836年),《具有完全平行线论的几何原本》(1835—1838年),《关于平行线论的几何研究》及其他.直到逝世前一年(1855年),他几乎失明了,还通过口授写了俄文和法文的著作《汎几何》.罗巴切夫基在科学的世界观里的唯物主义倾向,对于他创立这种新几何起了重要的作用.为了验证两种几何谁能更正确地反映现实空间的属性,他进行了天文观察.但是,限于仪器的精确度,他没有得到确定的答案.虽然如此,他用实践来检验理论的作法是正确的.他曾强调说:
“……打算不依靠宇宙物质而仅从理智本身之中产生出来的一切数学原理,对于数学是毫无用处的”.(《H.II.罗巴切斯基传记的材料》,苏联科学出版社1948年版,204页).可见,形式主义者把罗巴切夫斯基的发现看作“逻辑演习”和“理智游戏”的结果,这种看法是完全错误的.
罗巴切夫斯基几何(以后简称罗氏几何)将在后面“附”中系统地介绍.但为了说明为什么这发现不被他同时代的绝大多数数学家所理解,以及说明这发现的意义,我们此处简单介绍部分内容.
从欧几里得第五公设立刻推得定理:
通过直线AB外的一点C,在平面ABC上可引一条且仅一条直线,使其与直线AB不相交.罗巴切夫斯基首先导入相反的新假设(以代替第五公设),即:
通过直线AB外的一点C,在平面ABC上可引无数直线CG,使其和直线AB都不相交(如下图2).同AB不交的这些直线与同AB相交的那些直线CM是由两条界限直线CE与CF所分隔开的,而CE和CF也都不和AB相交.两界限直线与AB的垂线CD构成同一角度ω.罗巴切夫斯基称这两界限直线为AB的平行线.CE沿A到B的方向平行于AB,而CF沿B到A方向平行于BA.ω=∠DCE=∠DCF称为对应于线段DC的平行角.显然ω=90°.我们立刻可见:
欧几里得第五公设不成立(因为∠BDC=90°,它与ω的和小于180°).于是那些和第五公设等价的命题都不成立.于是后面可以证明:
三角形内角和小于180°;矩形不存在;相似而不合同的图形不存在;两条不相交的直线间的距离不是常数且可以无限增大.
图2
罗巴切夫斯基发现了平行角ω和线段x=CD之间的关系cot
=
其中ρ为常数,称为罗巴切夫斯基空间的曲率半径.由这方程知:
当x从0单调增加到
ln2时,ω则从90°单调减少到0.
罗巴切夫斯基的假设和它的推论从直觉来看是不合理的,这就引起了他同时代的人对他的几何的不信任,甚至讽刺、嘲笑.罗巴切夫斯基不顾别人嘲讽而勇敢为新几何奋斗.但是,在他生前,新几何未得世人承认.他死后,十九世纪六十年代高斯通信录出版了,其中对罗巴切夫斯基的著作给予高度评价,引起了人们的注意.1868年(即罗氏死后十三年),意大利数学家柏尔特拉米(Beltrami,1835—1900年),发表了论文《非欧几何的实际解释》,证明了罗氏平面几何的片段可实现于欧氏空间,即拟球面上的内在几何的片段.1870年,德国数学家克莱因(F.Klein1849—1925年)解决了罗氏几何全平面或全空间的实现问题,罗氏几何和欧氏几何一样没有矛盾的事实已证明了,罗氏几何最后获得了应得的承认.同时这也确定了:
第五公设是不可能证明的.
3、非欧几何与现代数学
十九世纪数学有许多积极的发展.在几何方面,几何基础、微分几何和射影几何三支的发展道路起初相隔很远,但到十九世纪末却非常接近了,某些部分甚至会合在一起了,这使一些古老的几何问题放出光芒,还揭露了许多新问题.
罗氏几何的创立不仅解决了第五公设的独立性问题,更重要的是:
它扩大了对几何本身意义的认识.自从第一种非欧几何——罗氏几何的思想获得承认以后,几何学的发展便开始了繁荣的新时期,几何对象的推广,即抽象空间概念的形成,在数学的近代阶段中起了巨大的作用.
开始的一个重要结果是由德国数学家黎曼(B.Riemann,1826—1866年)得到的.他1854年在哥丁根大学的讲演《关于作为几何学基础的假设》中提出了另一种非欧几何——黎曼几何.这种理论的形式演算叙述在他的应用于热传导问题的另一著作中.所以黎曼几何的产生与数学物理密切相关.这种几何在黎曼生前也未得到应有的估价.它有着比罗氏几何更加奇特的性质:
共面任二直线都相交,三角形的内角和大于180°,等等.
1872年克莱因在他的讲演《最新几何研究的比较评论》中(这演讲包含在《爱尔兰根纲领》里),给出了欧氏几何、罗氏几何和黎曼几何在射影几何基础上的新的解释.到十九世纪末,黎曼几何已有很大的发展及应用,其他非欧几何也相继出现了.特别是二十世纪初期,非欧几何的研究对于那时发生的空间和时间的物理观念的改革起了重大作用.
1915年爱因斯坦开始建立的广义相对论中假设:
万有引力场显露在“弯曲”的时空流形中.这个四度空间的度量和欧氏空间的度量有差别,万有引力场由某个流形的黎曼几何来表示.因为有了黎曼几何这件工具才克服了建立广义相对论时所遇到的数学上的困难.
有的学者(特别是B.A.福克)的研究表明:
罗氏几何概念在天体物理、原子物理中都有应用,非欧几何可以直接用到物理学上去这个事实,促成了几何学理论进一步的发展.
非欧几何在分析和代数方面的应用也胜过了欧氏几何,罗巴切夫斯基曾写道:
“新的几何学……在几何学与分析学的互相应用上,开拓了新的、广大的园地”.(见他的《关于几何原本》一书).他求出在罗氏空间表示弧长、曲面的面积、体积的积分,得出许多积分运算的新公式.这些公式若用直接运算来证实是很费力的,更不用说直接得到它们了.其后,法国数学家潘加来(H.Poincare1854—1912年)用罗氏几何研究一种解析函数——自守(automorphic)函数,使它的基本区域变得简单而易于观察.
对各种非欧几何的探讨扩大了几何在一般数学上的应用.又反过来对几何的发展起了促进作用.
此外,罗氏几何产生的最重要的结果之一,是促进了对几何学基础的研究.后来又引起了对别的数学分支的基础的研究.公理方法已经成为现代数学的主要方法之一,它开始是由几何学基础的研究而发展起来的.
数学发展的现代阶段的开端,特别是现代几何学的开端,通常以罗氏几何的发现作为其标志之一.
附:
罗氏几何
一、罗氏平行公理及其推论
由于罗巴切夫斯基保留了欧几里德几何公理体系中除了平行公理以外的全部公理,因此欧几里得几何(以下简称欧氏几何)中不牵涉平行公理的全部内容对罗氏几何也适用.不过,从平行线的定义开始,由于平行公理被罗氏平行公理所替代,罗氏几何的内容就与欧氏几何大不相同了.从此,我们将进入一个陌生的新世界.
下面先说明罗氏几何中平行线的概念.
罗氏平行公理过已知直线外一点至少可以作两条直线与已知直线不相交.
设A是直线a外一点,根据罗氏公理,过A至少有两条直线BAB′和CAC′与a不相交.根据罗氏公理,可证明任何通过A并且介于直线BB′和CC′之间的直线b都与a不相交,因此得到:
推论过已知直线外一点可以作无数条直线与已知直线不相交(如下图3).
图3
根据以上分析,过已知直线a外一点A的所有直线可以分成两类:
(1)与已知直线a不相交的直线.
(2)与已知直线a相交的直线.
根据连续公理,这两类直线必存在分界线,例如下图中的直线MAM′和NAN′.
我们就把它们定义为:
过A点平行于直线a的直线.设AD⊥a,垂足是D,沿AD把左半平面折叠到右半平面上,则平行于a的直线AM
图4
(即分界线)必须重合于平行于a的直线AN.因此,过A并且平行于a的两条直线MAM′和NAN′对于a的垂线AD是对称的,它们与AD的夹角相等,即
∠MAD=∠NAD
罗巴切夫斯基把这两个角叫做平行角,记成π(p),其中p是垂线AD之长,π(p)可以看成一个函数,自变量是A点,到直线a的距离p,函数值是过A平行a的直线的平行角.
罗氏几何和我们所熟悉的欧氏几何有哪些不同呢?
下面列表来对比一下它们主要的区别:
欧氏几何
罗氏几何
三角形的内角和等于180°
三角形的内角和小于180°并且不同的三角形有不同的内角和
凸四边形的内角和等于360°
凸四边形的内角和小于360°
存在矩形
不存在矩形
存在相似形
不存在相似形
两三角形的三对角相等,则相似
两三角形的三对角相等,则合同
两平行线之间的距离处处相等
两平行线之间的距离沿平行线的方向越来越小
垂直锐角的一条边的直线总与角的另一边相交
垂直锐角的一条边的直线不一定与角的另一边相交
二、罗氏平面的模型
为了证明罗氏几何的公理体系是相容的,在这一节中,我们特给出罗氏平面的两种模型.
(1)罗氏平面的庞加莱(Poincare)模型.
我们把坐标平面的上半部叫做罗氏平面,圆心在x轴上的半圆或垂直于x轴的射线叫做罗氏直线(图5).下面再给出罗氏“平行”的概念.如果两条罗氏直线相切,而且切点在x轴上,则我们认为这两条罗氏直线是平行的.从这个意义上来说,我们可以把x轴看成罗氏平面上的无穷远线(图6).
图5
图6
给出一条罗氏直线a和线外一点A,显然过A点只能作两条罗氏直线b和c与a平行(图7).因此在这个模型上,罗氏平行公理成立.
图7
(2)罗氏平面的克莱因(Klein)模型.
把一个给定的圆的内部看成罗氏平面,把圆周看成罗氏平面的无穷远线,所谓罗氏直线就是这个圆的弦,如果两条罗氏直线(即两条弦)交于圆周(即无穷远线)上,则认为它们是平行的(图8).
图8
显然在上述模型中,罗氏公理是成立的,因为给定一条罗氏直线a和线外一点A,很清楚过A点可以且只可以作两条罗氏直线(即两条弦)交于圆周(即无穷远线上),我们认为它们与a是平行的.
现在,再来指出勒让德尔的错误,考虑△BAC中一点D(见图8的右图),我们不可能过D作一条直线既与AB边相交又与AC边相交.
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第五 公设 几何
![提示](https://static.bdocx.com/images/bang_tan.gif)