ポワンカレの円板モデルのソースを表示

[[file:Hyperbolic tiling omnitruncated 3-7.png|thumb|ポワンカレ円板模型の、大斜方切頭 {3,7} 充填.]]
[[file:Hyperb icosahedral hc.png|thumb|双曲三次元空間内の[[二十面体ハニカム格子]]と見たポワンカレ球体模型]]
[[非ユークリッド幾何学]]における'''ポワンカレ円板模型'''（ポワンカレえんばんもけい、{{lang-en-short|''Poincaré disk model''}}）、'''ポワンカレ球体模型'''（ポワンカレきゅうたいもけい、{{lang-en-short|''Poincaré ball model''}}）あるいは共形円板模型 (conformal disk model) とは、''n''-次元[[双曲幾何学]]のモデルで、その幾何のもとでの各点が ''n''-次元円板あるいは[[球体]]に属し、かつその幾何のもとでの直線がその円板に含まれる円板の境界と直交する円弧または直径によって与えられるものを言う。円板模型は、[[クライン模型]]、[[ポワンカレの上半平面モデル|ポワンカレ上半平面模型]]とともに、{{仮リンク|ユージニオ・ベルトラミ|en|Eugenio Beltrami}}によって提案され、ベルトラミはそれらを用いて双曲幾何学とユークリッド幾何学との等無矛盾性 (equiconsistency) を示した。

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

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

== 双曲面模型との関係 ==
[[File:HyperboloidProjection.png|thumb|赤い円弧が円板模型における測地線である。これを緑の双曲面に射影したものが茶色の測地線である。]]

ポワンカレ円板模型は[[クライン模型]]同様に[[双曲面模型]]とは射影的に関係している。双曲面模型における点を定める上半双曲面上の点 {{math|[''t'', ''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>]}} を超曲面 ''t'' = 0 上へ射影するには、点 {{math|[&minus;1, 0, …, 0]}} を通る直線との交点を考えればよい。これにより、ポワンカレ円板模型における点との対応が定まる。

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

== 双曲平面における解析幾何学的構成 ==
[[解析幾何学]]における基本的な構成は、与えられた二点を通る直線を求めることである。ポワンカレ円板模型において、平面直線は
:<math>x^2 + y^2 + a x + b y + 1 = 0</math>
なる形の円弧の一部によって与えられる。この方程式は単位円に直交する円弧若しくは直径を表す式の一般形である。円板内の直径上にない二点 ''u'', ''v'' が与えられたとき、この二点を通るような上記の形で表される円が計算できて、
: <math>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
</math>
を得る。二点 ''u'', ''v'' が円板の境界上の点で、かつ直径の両端点でないならば、今の式は
: <math>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</math>
と簡略化することができる。

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

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

[[ビネ–コーシーの恒等式]]と、各々が単位ベクトルであることとを用いれば、上記公式を[[点乗積]]を用いた
: <math>\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}</math>
に書き直すことができる。
== 美術との関連 ==
[[マウリッツ・エッシャー|エッシャー]]は幾何学者[[ハロルド・スコット・マクドナルド・コクセター|コクセター]]の助言に基づいて、'''ポワンカレ円板'''から1958年から1960年にかけて「円の極限」シリーズを制作した。

== 関連項目 ==
* [[双曲幾何学]]
* [[クライン模型]]
* [[ポワンカレの上半平面モデル|ポワンカレの上半平面模型]]
* [[ポアンカレ計量]]
* [[擬球面]]
* {{仮リンク|双曲面模型|en|Hyperboloid model}}
* [[反転幾何学]]
* {{仮リンク|双曲平面の一様充填|en|Uniform tilings in hyperbolic plane}}

== 参考文献 ==
* 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|M.C. Escher]] print ''[http://www.mcescher.com/Gallery/recogn-bmp/LW436.jpg Circle Limit IV]'' is an artistic visualization of the Poincaré disk.


{{DEFAULTSORT:ほあんかれのえんはんもてる}}
[[Category:双曲幾何学]]
[[Category:アンリ・ポアンカレ]]
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]