ポワンカレの円板モデル

非ユークリッド幾何学におけるポワンカレ円板模型（ポワンカレえんばんもけい、英: Poincaré disk model）、ポワンカレ球体模型（ポワンカレきゅうたいもけい、英: Poincaré ball model）あるいは共形円板模型 (conformal disk model) とは、n-次元双曲幾何学のモデルで、その幾何のもとでの各点が n-次元円板あるいは球体に属し、かつその幾何のもとでの直線がその円板に含まれる円板の境界と直交する円弧または直径によって与えられるものを言う。円板模型は、クライン模型、ポワンカレ上半平面模型とともに、ユージニオ・ベルトラミ（英語版）によって提案され、ベルトラミはそれらを用いて双曲幾何学とユークリッド幾何学との等無矛盾性 (equiconsistency) を示した。 u, v を通常のユークリッドノルムを備えた実 n-次元ベクトル空間 Rn の二つのベクトルで、そのノルムがともに 1 より小さいものとすると、 δ ( u , v ) = 2 ‖ u − v ‖ 2 ( 1 − ‖ u ‖ 2 ) ( 1 − ‖ v ‖ 2 ) {\displaystyle \delta (u,v)=2{\frac {\lVert u-v\rVert ^{2}}{(1-\lVert u\rVert ^{2})(1-\lVert v\rVert ^{2})}}} と置いて等距不変量が定義できる。ここで ǁ⋅ǁ は通常のユークリッドノルムである。故にこの距離函数は d ( u , v ) = a r cosh ⁡ ( 1 + δ ( u , v ) ) {\displaystyle d(u,v)=\operatorname {ar\,\cosh } (1+\delta (u,v))} と書ける。この距離函数はノルムが 1 より小さい任意の二ベクトルに対して定義され、そのようなベクトル全体の成す集合を定曲率 −1 の双曲空間のモデルとするような距離空間の構造を定める。このモデルは、双曲空間内の交叉する二直線のなす角が、このモデルにおける角と等しいという共形性（等角性）を持つ。 ポワンカレ円板模型に付随する計量テンソルは d s 2 = 4 ∑ i d x i 2 ( 1 − ∑ i x i 2 ) 2 {\displaystyle ds^{2}=4{\frac {\sum _{i}dx_{i}^{2}}{(1-\sum _{i}x_{i}^{2})^{2}}}} で与えられる。ここに xi は全体空間における直交座標を意味する。円板模型における測地線は境界球面 Sn−1 に直交する円によって与えられる。 ポワンカレ円板模型はクライン模型同様に双曲面模型とは射影的に関係している。双曲面模型における点を定める上半双曲面上の点 [t, x1, …, xn] を超曲面 t = 0 上へ射影するには、点 [−1, 0, …, 0] を通る直線との交点を考えればよい。これにより、ポワンカレ円板模型における点との対応が定まる。 双曲面上の直交座標系 (t, xi) と平面上の直交座標系 (yi) との間の変換公式は y i = x i 1 + t {\displaystyle y_{i}={\frac {x_{i}}{1+t}}} および ( t , x i ) = ( 1 + ∑ y i 2 , 2 y i ) 1 − ∑ y i 2 {\displaystyle (t,x_{i})={\frac {\left(1+\sum {y_{i}^{2}},\,2y_{i}\right)}{1-\sum {y_{i}^{2}}}}} で与えられる。この公式は球面と平面の間の立体射影に対する公式と対照するものである。 解析幾何学における基本的な構成は、与えられた二点を通る直線を求めることである。ポワンカレ円板模型において、平面直線は x 2 + y 2 + a x + b y + 1 = 0 {\displaystyle x^{2}+y^{2}+ax+by+1=0} なる形の円弧の一部によって与えられる。この方程式は単位円に直交する円弧若しくは直径を表す式の一般形である。円板内の直径上にない二点 u, v が与えられたとき、この二点を通るような上記の形で表される円が計算できて、 x 2 + y 2 + u 2 ( v 1 2 + v 2 2 ) − v 2 ( u 1 2 + u 2 2 ) + u 2 − v 2 u 1 v 2 − u 2 v 1 x + v 1 ( u 1 2 + u 2 2 ) − u 1 ( v 1 2 + v 2 2 ) + v 1 − u 1 u 1 v 2 − u 2 v 1 y + 1 = 0 {\displaystyle 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_{1}v_{2}-u_{2}v_{1}}}x+{\frac {v_{1}(u_{1}^{2}+u_{2}^{2})-u_{1}(v_{1}^{2}+v_{2}^{2})+v_{1}-u_{1}}{u_{1}v_{2}-u_{2}v_{1}}}y+1=0} を得る。二点 u, v が円板の境界上の点で、かつ直径の両端点でないならば、今の式は x 2 + y 2 + 2 ( u 2 − v 2 ) u 1 v 2 − u 2 v 1 x − 2 ( u 1 − v 1 ) u 1 v 2 − u 2 v 1 y + 1 = 0 {\displaystyle x^{2}+y^{2}+{\frac {2(u_{2}-v_{2})}{u_{1}v_{2}-u_{2}v_{1}}}x-{\frac {2(u_{1}-v_{1})}{u_{1}v_{2}-u_{2}v_{1}}}y+1=0} と簡略化することができる。 両端点（理想点 (ideal points)）が単位ベクトル u, v で与えられる円弧と両端点が s, t である弧との間の角を計算する公式を与えることができる。理想点はクライン模型とポワンカレ円板模型とで共通しているから、この公式は両模型で共通である。 両模型における直線が直径の場合に、v = −u かつ t = −s であったとすれば、この場合単に二つの単位ベクトルの間の角を求めればよく、角度 θ は公式 cos ⁡ ( θ ) = u ⋅ s {\displaystyle \cos(\theta )=u\cdot s} によって与えられる。v = −u だが t ≠ −s のときには、公式は楔積を用いれば書くことができて、 cos 2 ⁡ ( θ ) = P 2 Q R {\displaystyle \cos ^{2}(\theta )={\frac {P^{2}}{QR}}} で与えられる。ただし、各点は P = u ⋅ ( s − t ) Q = u ⋅ u R = ( s − t ) ⋅ ( s − t ) − ( s ∧ t ) ⋅ ( s ∧ t ) {\displaystyle {\begin{aligned}P&=u\cdot (s-t)\\Q&=u\cdot u\\R&=(s-t)\cdot (s-t)-(s\wedge t)\cdot (s\wedge t)\end{aligned}}} である。両弦がともに直径でない場合の一般公式は cos 2 ⁡ ( θ ) = P 2 Q R {\displaystyle \cos ^{2}(\theta )={\frac {P^{2}}{QR}}} および P = ( u − v ) ⋅ ( s − t ) − ( u ∧ v ) ⋅ ( s ∧ t ) Q = ( u − v ) ⋅ ( u − v ) − ( u ∧ v ) ⋅ ( u ∧ v ) R = ( s − t ) ⋅ ( s − t ) − ( s ∧ t ) ⋅ ( s ∧ t ) {\displaystyle {\begin{aligned}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{aligned}}} によって与えられる。 ビネ–コーシーの恒等式と、各々が単位ベクトルであることとを用いれば、上記公式を点乗積を用いた P = ( u − v ) ⋅ ( s − t ) + ( u ⋅ t ) ( v ⋅ s ) − ( u ⋅ s ) ( v ⋅ t ) Q = ( 1 − u ⋅ v ) 2 R = ( 1 − s ⋅ t ) 2 {\displaystyle {\begin{aligned}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{aligned}}} に書き直すことができる。 エッシャーは幾何学者コクセターの助言に基づいて、ポワンカレ円板から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 Circle Limit IV is an artistic visualization of the Poincaré disk.