ポワンカレの円板モデル

非ユークリッド幾何学における**ポワンカレ円板模型**（ポワンカレえんばんもけい、）、**ポワンカレ球体模型**（ポワンカレきゅうたいもけい、）あるいは共形円板模型 (conformal disk model) とは、*n*-次元双曲幾何学のモデルで、その幾何のもとでの各点が *n*-次元円板あるいは球体に属し、かつその幾何のもとでの直線がその円板に含まれる円板の境界と直交する円弧または直径によって与えられるものを言う。円板模型は、クライン模型、ポワンカレ上半平面模型とともに、エウジェニオ・ベルトラミによって提案され、ベルトラミはそれらを用いて双曲幾何学とユークリッド幾何学との等無矛盾性 (equiconsistency) を示した。

## 計量
*u*, *v* を通常のユークリッドノルムを備えた実 *n*-次元ベクトル空間 **R***n* の二つのベクトルで、そのノルムがともに 1 より小さいものとすると、
:\delta (u, v) = 2 \frac{\lVert u-v \rVert^2}{(1-\lVert u \rVert^2)(1-\lVert v \rVert^2)}
と置いて等距不変量が定義できる。ここで ǁ⋅ǁ は通常のユークリッドノルムである。故にこの距離函数は 
:d(u, v) = \operatorname{ar\,\cosh} (1+\delta (u,v))
と書ける。この距離函数はノルムが 1 より小さい任意の二ベクトルに対して定義され、そのようなベクトル全体の成す集合を定曲率 &minus;1 の双曲空間のモデルとするような距離空間の構造を定める。このモデルは、双曲空間内の交叉する二直線のなす角が、このモデルにおける角と等しいという共形性（等角性）を持つ。

ポワンカレ円板模型に付随する計量テンソルは
: ds^2 = 4 \frac{\sum_i dx_i^2}{(1-\sum_i x_i^2)^2}
で与えられる。ここに *x**i* は全体空間における直交座標を意味する。円板模型における測地線は境界球面 *S**n*&minus;1 に直交する円によって与えられる。

## 双曲面模型との関係

ポワンカレ円板模型はクライン模型同様に双曲面模型とは射影的に関係している。双曲面模型における点を定める上半双曲面上の点  を超曲面 *t* = 0 上へ射影するには、点  を通る直線との交点を考えればよい。これにより、ポワンカレ円板模型における点との対応が定まる。

双曲面上の直交座標系 (*t*,&nbsp;*x<sub>i</sub>*) と平面上の直交座標系 (*y<sub>i</sub>*) との間の変換公式は
:y_i = \frac{x_i}{1 + t}
および
:(t, x_i) = \frac {\left( 1+\sum{y_i^2},\, 2 y_i \right)} {1-\sum{y_i^2}}
で与えられる。この公式は球面と平面の間の立体射影に対する公式と対照するものである。

## 双曲平面における解析幾何学的構成
解析幾何学における基本的な構成は、与えられた二点を通る直線を求めることである。ポワンカレ円板模型において、平面直線は
:x^2 + y^2 + a x + b y + 1 = 0
なる形の円弧の一部によって与えられる。この方程式は単位円に直交する円弧若しくは直径を表す式の一般形である。円板内の直径上にない二点 *u*, *v* が与えられたとき、この二点を通るような上記の形で表される円が計算できて、
: x^2 + y^2 + \frac{u_2(v_1^2+v_2^2)-v_2(u_1^2+u_2^2)+u_2-v_2}{u_1v_2-u_2v_1}x + \frac{v_1(u_1^2+u_2^2)-u_1(v_1^2+v_2^2)+v_1-u_1}{u_1v_2-u_2v_1}y + 1 = 0

を得る。二点 *u*, *v* が円板の境界上の点で、かつ直径の両端点でないならば、今の式は
: x^2+y^2+\frac{2(u_2-v_2)}{u_1v_2-u_2v_1}x - \frac{2(u_1-v_1)}{u_1v_2-u_2v_1}y + 1 = 0
と簡略化することができる。

## 角度
両端点（理想点 (*ideal points*)）が単位ベクトル *u*, *v* で与えられる円弧と両端点が *s*, *t* である弧との間の角を計算する公式を与えることができる。理想点はクライン模型とポワンカレ円板模型とで共通しているから、この公式は両模型で共通である。

両模型における直線が直径の場合に、*v* = &minus;*u* かつ *t* = &minus;*s* であったとすれば、この場合単に二つの単位ベクトルの間の角を求めればよく、角度 θ は公式
:\cos(\theta) = u \cdot s
によって与えられる。*v* = &minus;*u* だが *t* &ne; &minus;*s* のときには、公式は楔積を用いれば書くことができて、
: \cos^2(\theta) = \frac{P^2}{QR}
で与えられる。ただし、各点は
:\begin{align}
  P &= u \cdot (s-t)\\
  Q &= u \cdot u\\
  R &= (s-t) \cdot (s-t) - (s \wedge t) \cdot (s \wedge t)
\end{align}
である。両弦がともに直径でない場合の一般公式は
: \cos^2(\theta) = \frac{P^2}{QR}
および
: \begin{align}
 P &= (u-v) \cdot (s-t) - (u \wedge v) \cdot (s \wedge t)\\
 Q &= (u-v) \cdot (u-v) - (u \wedge v) \cdot (u \wedge v)\\
 R &= (s-t) \cdot (s-t) - (s \wedge t) \cdot (s \wedge t)
\end{align}
によって与えられる。

ビネ–コーシーの恒等式と、各々が単位ベクトルであることとを用いれば、上記公式を点乗積を用いた
: \begin{align}
 P &= (u-v) \cdot (s-t) + (u \cdot t)(v \cdot s) - (u \cdot s)(v \cdot t)\\
 Q &= (1 - u \cdot v)^2\\
 R &= (1 - s \cdot t)^2
\end{align}
に書き直すことができる。
## 美術との関連
エッシャーは幾何学者コクセターの助言に基づいて、**ポワンカレ円板**から1958年から1960年にかけて「円の極限」シリーズを制作した。

## 関連項目
* 双曲幾何学
* クライン模型
* ポワンカレの上半平面模型
* ポアンカレ計量
* 擬球面
* 
* 反転幾何学
* 

## 参考文献
* James W. Anderson, *Hyperbolic Geometry*, second edition, Springer, 2005
* Eugenio Beltrami, *Teoria fondamentale degli spazii di curvatura costante*, Annali. di Mat., ser II 2 (1868), 232-255
* Saul Stahl, *The Poincaré Half-Plane*, Jones and Bartlett, 1993

## 外部リンク
* The M.C. Escher print *[http://www.mcescher.com/Gallery/recogn-bmp/LW436.jpg Circle Limit IV]* is an artistic visualization of the Poincaré disk.