双曲几何

维基百科,自由的百科全书
跳转至: 导航搜索
通過P點且漸漸趨近R(但不相交)的直線

双曲几何又名罗氏几何罗巴切夫斯基几何),是非欧几里德几何的一种特例。與欧几里德几何的差別在於第五條公理(公設)-平行公設。在欧几里德几何中,若平面上有一條直線R和線外的一點P,則存在唯一的一條線滿足通過P點且不與R相交(即R的平行線)。但在雙曲幾何中,至少可以找到兩條相異的直線,且都通過P點,並不與R相交,因此他違反了平行公設。然而,取代欧几里德几何中的平行公設的雙曲幾何本身並無矛盾之處,仍可以推得一系列屬於它的定理,這也說明了平行公設獨立於前四條公設,換句話說,無法由前四條公設推得平行公設

到目前為止,數學家對雙曲幾何中平行線的定義尚未有共識,不同的作者會給予不同的定義。在此,我們定義兩條逐漸靠近的線為漸進線,它們互相漸進;兩條有共同垂直線的線為超平行線,它們互相超平行,並且兩條線為平行線代表它們互相漸進或互相超平行。雙曲幾何還有一項性質,就是三角形的內角和小於一個平角(180°)。在極端的情況,三角形的三邊長趨近於無限,而三內角趨近於0°,此時該三角形稱作理想三角形

双曲几何专门研究当平面变成鞍马型之后,平面几何到底还有几多可以适用,以及会有甚麼特別的现象產生。在双曲几何的环境裡,平面的曲率負数

不相交的線[编辑]

我們已知在雙曲幾何上,至少有兩條直線滿足過P點平行直線R。接著在R上取一點B使得PB垂直R於B點,設在所有滿足過P點且不與R相交的直線中,存在一條直線x與PB的逆時針方向夾角比其他直線都來的小,即任何一條直線若與PB的逆時針夾角小於x與PB的逆時針夾角, 則必與R相交,而我們定義x為R的漸進線。

罗式几何[编辑]

此圖為一三角形於一雙曲拋物面上,另外右下方有兩條在歐式幾何中應平行的分流線。

罗式几何学的公理系统和欧式几何学不同的地方仅仅是把欧式一对分散直线在其唯一公垂线两侧无限远离几何平行公理用“从直线外一点,至少可以做两条直线和这条直线平行”来代替,其他公理基本相同。由于平行公理不同,经过演绎推理却引出了一连串和欧式几何内容不同的新的几何命题。

我们知道,罗式几何除了一个平行公理之外采用了欧式几何的一切公理。因此,凡是不涉及到平行公理的几何命题,在欧式几何中如果是正确的,在罗式几何中也同样是正确的。在欧式几何中,凡涉及到平行公理的命题,在罗式几何中都不成立,他们都相应地含有新的意义。下面举几个例子加以说明:

  • 欧式几何:
    • 同一直线的垂线和斜线相交。
    • 垂直于同一直线的两条直线互相平行。
    • 存在相似的多边形。
    • 过不在同一直线上的三点可以作且仅能作一个圆。
  • 罗式几何
    • 同一直线的垂线和斜线不一定相交。
    • 垂直于同一直线的两条直线,当两端延长的时候,离散到无穷。
    • 不存在相似的多边形。
    • 过不在同一直线上的三点,不一定能作一个圆。

从上面所列举得罗式几何的一些命题可以看到,这些命题和我们所习惯的直观形象有矛盾。所以罗式几何中的一些几何事实没有像欧式几何那样容易被接受。但是,数学家们经过研究,提出可以用我们习惯的欧式几何中的事实作一个直观“模型”来解释罗式几何是正确的。

1868年,意大利数学家贝尔特拉米发表了一篇著名论文《非欧几何解释的尝试》,证明非欧几何可以在欧几里得空间的曲面(例如拟球曲面)上实现。这就是说,非欧几何命题可以“翻译”成相应的欧几里得几何命题,如果欧几里得几何没有矛盾,非欧几何也就自然没有矛盾。

人们既然承认欧几里得是没有矛盾的,所以也就自然承认非欧几何没有矛盾了。直到这时,长期无人问津的非欧几何才开始获得学术界的普遍注意和深入研究,罗巴切夫斯基的独创性研究也就由此得到学术界的高度评价和一致赞美,他本人则被人们赞誉为“几何学中的哥白尼”。

參見[编辑]

外部連結[编辑]