［推荐精品］几何的发展历程.doc

《［推荐精品］几何的发展历程.doc》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、欧式儿何罗氏集合黎式儿何的区别和联系罗巴切夫斯基几何学的公理系统和欧氏几何学不同的地方仅仅是把欧氏几何屮“一对分散肓线在其唯一公垂线两侧无限远离”这一几何平行公理用“从頁线外一点，至少可以做两条貞线和这条貞线平行”来代替，其他公理基木相同。由于平行公理不同，经过演绎推理却引出了一连串和欧式几何内容不同的新的几何命题。我们知道，罗巴切夫斯基几何除了一个平行公理之外采用了欧氏几何的一切公理。因此,凡是不涉及到平行公理的儿何命题，在欧氏几何屮如果是正确的，在罗氏几何中也同样是正确的。在欧氏几何屮，凡涉及到平行公理的命题，在罗巴切夫斯基几何屮都不成立罗巴切夫斯基几

2、何屮的一些几何事实没有象欧氏几何那样容易被接受。但是，数学家们经过研究，提出可以用我们习惯的欧氏几何屮的事实作一个肓观“模型”来解釋罗氏几何是正确的。1868年，意大利数学家贝特拉米发表了一篇著名论文《非欧几何解释的尝试》，证明非欧几何可以在欧几里得空间的曲面（例如拟球曲面）上实现。这就是说，非欧几何命题可以“翻译”成相应的欧几里得几何命题，如果欧几里得几何没有矛盾，非欧几何也就白然没有矛盾。黎曼几何以欧几里得几何和种种非欧几何作为其特例。例如：定义度量（a是常数），则当a=0时是普通的欧几里得几何，当a>0时，就是椭圆几何，而当a<0时为双曲几何。在数学

3、界，欧氏几何仍人主流；而物理界，则用的是黎曼几何.因为据黎曼几何，光线按曲线运动；而欧氏几何屮，光线按肓线运动我们所学的几何，在古希腊时代已经基木完备了。它是由欧几里徳创立的，所以现在我们在学习的几何又称欧几里德几何’欧几里徳几何是建立在极少数的公理（或称公设）Z上建立起来的。这极少数屮的一个就是大家都知道的平行线公设：过一条直线外的一点能作并且只能作一条肓线与点外的肓线平行。欧几里徳将这个公设放在第五个出现，因此人们又将其称为欧几里徳第五公设。罗波切夫斯基创立的几何被称为罗波切夫斯基几何，简称罗氏几何，以示与欧几里徳几何的区别。示来法国数学家黎曼又提出，

4、过肓线外的一点不可能作一条直线点外的頁线平行,一个肓接推论是三角形三内角之和小于一百八十度。以此基础建立起来的几何，人们称为黎曼几何。罗氏几何适用于宏观世界，黎曼几何适用于微观世界，欧几里徳几何适用于中观世界，罗氏几何、黎曼几何并没有颠覆欧氏几何，而是使整个几何体系更完备。罗巴切夫斯基是在尝试解决欧氏第和公设问题的过稈屮,从失败走上他的发现Z路的。欧氏第五公设问题是数学史上最古老的著名难题它是由古希腊学者最先提出來的。公元前三世纪，希腊亚历山大里亚学派的创始者欧几里得集前人几何研究Z大成，编写了数学发展史上具有极其深远影响的数学巨著《几何原木》。这部著作的

5、重要意义在于，它是用公理法建立科学理论体系的最早典范。在这部著作屮，欧几里得为推演岀几何学的所有命题，一开头就给出了五个公理（适用于所有科学）和五个公设（只应用于几何学），作为逻辑推演的前提。《几何原木》的注释者和评述者们对五个公理和前四个公设都是很满意，唯独对第五个公设（即平行公理）提出了质疑。第五公设是论及平行线的，它说的是：如果一肓线和两直线相交，且所构成的两个同侧内角Z和小于两直角，那么，把这两直线延长，它们一定在那两内角的一侧相交。数学家们并不怀疑这个命题的真实性，而是认为它无论在语句的长度，还是在内容上都不大像是个公设，而倒像是个可以证明的定理

6、，只是由于欧几里得没能找到它的证明，才不得不把它放在公设Z列。罗巴切夫斯基是从1815年着手研究平行线理论的。开始他也是循看前人的思路，试图给出第五公设的证明。在保存下来的他的学生听课笔记中，就记有他在1816〜1817学年度在几何教学屮给出的一些证明。可是，很快他便意识到白己的证明是错误的。前人和自己的失败从反面启迪了他，使他大胆思索问题的相反提法：可能根木就不存在第五公设的证明。于是，他便调转思路，着手寻求第五公设不可证的解答。这是一个全新的，也是与传统思路完全相反的探索途径。罗巴切夫斯基正是沿着这个途径，在试证第五公设不可证的过程屮发现了一个崭新的几

7、何世界。这种反证法的基木思想是，为证“第五公设不可证”，肖先对第五公设加以否定，然后用这个否定命题和其它公理公设组成新的公理系统，并由此展开逻辑推演。首先假设第五公设是可证的，即第五公设可由其它公理公设推演出来。那么，在新公理系统的推演过稈屮一定会出现逻辑矛盾，至少第五公设和它的否定命题就是一对逻辑矛盾；反Z,如果推演不出矛盾，就反驳了“第五公设可证”这一假设，从而也就间接证得“第五公设不可证”。依照这个逻辑思路，罗巴切夫斯基对第五公设的等价命题一一普列菲尔公理“过平面上直线外一点，只能引一条胃线与己知育线不相交”作以否定，得到否定命题“过平面上直线外一点

8、，至少可引两条肓线与已知直线不相交”，并用这个否定命题和其它公理公