荔园在线
荔园之美，在春之萌芽，在夏之绽放，在秋之收获，在冬之沉淀
[回到开始]
[上一篇][下一篇]
发信人: fengzhiying (风之影), 信区: CMCS
标 题: 非欧几何（zz）
发信站: 荔园晨风BBS站 (Mon Nov 6 21:23:52 2006), 站内
非欧几何的来源
非欧几何学是一门大的数学分支，一般来讲 ，他有广义、狭义、通常意义这三个方
面的不同含义。所谓广义式泛指一切和欧几里的几何学不同的几何学，狭义的非欧几何
只是指罗式几何来说的，至于通常意义的非欧几何，就是指罗式几何和黎曼几何这两种
几何。
欧几里得的《几何原本》提出了五条公设，长期以矗Ъ颐欠⑾值谖骞韬颓八
母龉璞冉掀鹄矗缘梦淖中鹗鋈叱ぃ乙膊荒敲聪远准n
有些数学家还注意到欧几里得在《几何原本》一书中直到第二十九个命题中才用到
，而且以后再也没有使用。也就是说，在《几何原本》中可以不依靠第五公设而推出前
二十八个命题。
因此，一些数学家提出，第五公设能不能不作为公设，而作为定理？能不能依靠前
四个公设来证明第五公设？这就是几何发展史上最著名的，争论了长达两千多年的关于
“平行线理论”的讨论。
由于证明第五公设的问题始终得不到解决，人们逐渐怀疑证明的路子走的对不对？
第五公设到底能不能证明？
到了十九世纪二十年代，俄国喀山大学教授罗巴切夫斯基在证明第五公设的过程中
，他走了另一条路子。他提出了一个和欧式平行公理相矛盾的命题,用它来代替第五公设
，然后与欧式几何的前四个公设结合成一个公理系统，展开一系列的推理。他认为如果
这个系统为基础的推理中出现矛盾，就等于证明了第五公设。我们知道，这其实就是数
学中的反证法。
但是，在他极为细致深入的推理过程中，得出了一个又一个在直觉上匪夷所思，但
在逻辑上毫无矛盾的命题。最后，罗巴切夫斯基得出两个重要的结论：
第一，第五公设不能被证明。
第二，在新的公理体系中展开的一连串推理，得到了一系列在逻辑上无矛盾的新的
定理，并形成了新的理论。这个理论像欧式几何一样是完善的、严密的几何学。
这种几何学被称为罗巴切夫斯基几何，简称罗氏几何。这是第一个被提出的非欧几
何学。
从罗巴切夫斯基创立的非欧几何学中，可以得出一个极为重要的、具有普遍意义的
结论：逻辑上互不矛盾的一组假设都有可能提供一种几何学。
几乎在罗巴切夫斯基创立非欧几何学的同时，匈牙利数学家鲍耶·雅诺什也发现了
第五公设不可证明和非欧几何学的存在。鲍耶在研究非欧几何学的过程中也遭到了家庭
、社会的冷漠对待。他的父亲——数学家鲍耶·法尔卡什认为研究第五公设是耗费精力
劳而无功的蠢事，劝他放弃这种研究。但鲍耶·雅诺什坚持为发展新的几何学而辛勤工
作。终于在1832年，在他的父亲的一本著作里，以附录的形式发表了研究结果。
那个时代被誉为“数学王子”的高斯也发现第五公设不能证明，并且研究了非欧几
何。但是高斯害怕这种理论会遭到当时教会力量的打击和迫害，不敢公开发表自己的研
究成果，只是在书信中向自己的朋友表示了自己的看法，也不敢站出来公开支持罗巴切
夫斯基、鲍耶他们的新理论。
罗式几何
罗式几何学的公理系统和欧式几何学不同的地方仅仅是把欧式几何平行公理用“从
直线外一点，至少可以做两条直线和这条直线平行”来代替，其他公理基本相同。由于
平行公理不同，经过演绎推理却引出了一连串和欧式几何内容不同的新的几何命题。
我们知道，罗式几何除了一个平行公理之外采用了欧式几何的一切公理。因此，凡
是不涉及到平行公理的几何命题，在欧式几何中如果是正确的，在罗式几何中也同样是
正确的。在欧式几何中，凡涉及到平行公理的命题，再罗式几何中都不成立，他们都相
应地含有新的意义。下面举几个例子加以说明：
欧式几何
同一直线的垂线和斜线相交。
垂直于同一直线的两条直线或向平行。
存在相似的多边形。
过不在同一直线上的三点可以做且仅能做一个圆。
罗式几何
同一直线的垂线和斜线不一定相交。
垂直于同一直线的两条直线，当两端延长的时候，离散到无穷。
不存在相似的多边形。
过不在同一直线上的三点，不一定能做一个圆。
从上面所列举得罗式几何的一些命题可以看到，这些命题和我们所习惯的直观形象
有矛盾。所以罗式几何中的一些几何事实没有象欧式几何那样容易被接受。但是，数学
家们经过研究，提出可以用我们习惯的欧式几何中的事实作一个直观“模型”来解释罗
式几何是正确的。
1868年，意大利数学家贝特拉米发表了一篇著名论文《非欧几何解释的尝试》，证
明非欧几何可以在欧几里得空间的曲面（例如拟球曲面）上实现。这就是说，非欧几何
命题可以“翻译”成相应的欧几里得几何命题，如果欧几里得几何没有矛盾，非欧几何
也就自然没有矛盾。
人们既然承认欧几里是没有矛盾的，所以也就自然承认非欧几何没有矛盾了。直到
这时，长期无人问津的非欧几何才开始获得学术界的普遍注意和深入研究，罗巴切夫斯
基的独创性研究也就由此得到学术界的高度评价和一致赞美，他本人则被人们赞誉为“
几何学中的哥白尼”。
黎曼几何
欧氏几何与罗氏几何中关于结合公理、顺序公理、连续公理及合同公理都是相同的
，只是平行公理不一样。欧式几何讲“过直线外一点有且只有一条直线与已知直线平行
”。罗氏几何讲“过直线外一点至少存在两条直线和已知直线平行”。那么是否存在这
样的几何“过直线外一点，不能做直线和已知直线平行”？黎曼几何就回答了这个问题
。
黎曼几何是德国数学家黎曼创立的。他在1851年所作的一篇论文《论几何学作为基
础的假设》中明确的提出另一种几何学的存在，开创了几何学的一片新的广阔领域。
黎曼几何中的一条基本规定是：在同一平面内任何两条直线都有公共点(交点)。在
黎曼几何学中不承认平行线的存在，它的另一条公设讲：直线可以无限演唱，但总的长
度是有限的。黎曼几何的模型是一个经过适当“改进”的球面。
近代黎曼几何在广义相对论里得到了重要的应用。在物理学家爱因斯坦的广义相对
论中的空间几何就是黎曼几何。在广义相对论里，爱因斯坦放弃了关于时空均匀性的观
念，他认为时空只是在充分小的空间里以一种近似性而均匀的，但是整个时空却是不均
匀的。在物理学中的这种解释，恰恰是和黎曼几何的观念是相似的。
此外，黎曼几何在数学中也是一个重要的工具。它不仅是微分几何的基础，也应用
在微分方程、变分法和复变函数论等方面。
三种几何的关系
欧氏几何、罗氏几何、黎曼几何是三种各有区别的几何。这三中几何各自所有的命
题都构成了一个严密的公理体系，各公理之间满足和谐性、完备性和独立性。因此这三
种几何都是正确的。
在我们这个不大不小、不远不近的空间里，也就是在我们的日常生活中，欧式几何
是适用的；在宇宙空间中或原子核世界，罗氏几何更符合客观实际；在地球表面研究航
海、航空等实际问题中，黎曼几何更准确一些。
--
假如给多奶奶一秒钟，我想再对奶奶说：“我爱你”。
假如给多奶奶一分钟，我想再拉拉奶奶的手。
假如给多奶奶一小时，我想再听奶奶给我讲故事。
假如给多奶奶一天 ，我想再陪奶奶去逛逛街；到市场去买菜，再吃奶奶煮的饭菜。
假如给多奶奶一个月，我很想陪奶奶去游览祖国秀美山河。
假如给多奶奶一年 ，我一定好好听奶奶的话认认真真的读书。
※ 来源:·荔园晨风BBS站 bbs.szu.edu.cn·[FROM: 218.17.75.151]
[回到开始]
[上一篇][下一篇]
荔园在线首页 友情链接：深圳大学 深大招生 荔园晨风BBS S-Term软件 网络书店