龐加萊圓盤模型

幾何中,龐加萊圓盤模型Poincaré disk model),也叫共形圓盤模型conformal disk model),是一個 n-維雙曲幾何模型。幾何中的點對應到 n 維圓盤(或)上的點,幾何中的「直線」(準確地說是測地線)對應到任意垂直於圓盤邊界的圓弧或是圓盤的直徑。龐加萊圓盤模型、克萊因模型以及龐加萊半空間模型,一起被貝爾特拉米用來證明雙曲幾何與歐幾里得幾何相容性等價

龐加萊圓盤模型的大斜方截 {3,7} 鑲嵌。
雙曲圓盤的雙曲三角形鑲嵌-七階三角形鑲嵌

距離函數

如果 uv 是賦以通常歐幾里得範數的 n 維向量空間 Rn 中兩個向量,兩者範數都小於 1,則我們可以定義一個等距不變量為:

 

這裏 ||*|| 表示通常的歐幾里得範數。那麼距離函數是

 

這樣的距離函數對任何兩個範數小於 1 的向量有定義,將這樣的向量集合變為一個度量空間,這是一個具有常曲率 -1 的雙曲空間模型。這個模型具有共形性質,雙曲空間中兩條曲線相交的角度與在這個模型中的歐幾里得角度相同。

度量形式

龐加萊圓盤模型的度量形式是:

 

與雙曲面模型的關係

龐加萊圓盤模型,和克萊因模型一樣,都與雙曲面模型射影相關。如果我們有雙曲面模型中雙曲面的上葉中一點 [tx1, ..., xn],這樣就定義了雙曲面模型中一點,我們可以通過與 [-1, 0, ..., 0] 連接一條直線將其投影到超曲面 t = 0 上,所得是龐加萊圓盤模型中的對應點。

過兩點的直線

解析幾何中一個基本構造是尋找過兩個定點的一條直線。在龐加萊圓盤模型中,平面上的直線定義為具有如下性質的圓周之一部分

 

這是垂直於單位圓周的圓周的一般形式,或就是直徑,可以證明這是連接這兩點(雙曲)距離最短的曲線,即測地線。給定圓盤中不在同一直徑上兩點 uv,我們可以求出過這兩點的圓周,得到

 
 

如果點 uv 在圓盤的邊界上但不是直徑的端點,上面的公式簡化成

 

龐加萊圓盤模型中的角

我們可用一個公式計算出端點(理想點)為單位向量 uv 以及端點為 st 的兩條圓弧相交的角度。因為理想點在克萊因模型和龐加萊圓盤模型是一樣的,兩個模型中的公式是一樣的。

如果兩條直線都是直徑,那麼 v = −ut = −s,則我們只要找出這兩個單位向量的角度,角度 θ 的公式為

 

如果 v = -ut≠ -s,用楔積表示,公式變為

 

這裏

 
 
 

如果兩條弦都不是直徑,得到一般的公式

 

這裏

 
 
 

利用比內-柯西恆等式英語Binet–Cauchy identity以及這些向量都是單位向量的事實,我們可只使用點積將上面的表達式寫成

 
 
 

藝術作品

毛瑞特斯·柯奈利斯·艾雪的畫作圓極限IV圓極限III是龐加萊圓盤的一個藝術形象化。

另見

參考文獻

  • James W. Anderson, Hyperbolic Geometry, second edition, Springer, 2005
  • Eugenio Beltrami, Theoria fondamentale delgi spazil di curvatura constanta, Annali. di Mat., ser II 2 (1868), 232-255
  • Saul Stahl, The Poincaré Half-Plane, Jones and Bartlett, 1993