查看“︁庞加莱圆盘模型”︁的源代码

[[Image:Hyperbolic tiling omnitruncated 3-7.png|thumb|'''庞加莱圆盘模型'''的大斜方截 {3,7} 镶嵌。]]
[[Image:Uniform tiling 73-t2.png|thumb|right|200px|双曲圆盘的[[双曲三角形]]镶嵌-[[七阶三角形镶嵌]]。]]
几何中，'''庞加莱圆盘模型'''（{{lang|en|Poincaré disk model}}），也叫'''共形圆盘模型'''（{{lang|en|conformal disk model}}），是一个 ''n''-维[[双曲几何]]模型。几何中的点對應到 ''n'' 维圆盘（或[[球 (数学)|球]]）上的點，几何中的「直线」（准确地说是[[测地线]]）對應到任意垂直于圆盘边界的圓弧或是圆盘的[[直径]]。庞加莱圆盘模型、[[克莱因模型]]以及[[庞加莱半空间模型]]，一起被[[贝尔特拉米]]用来证明双曲几何与[[欧几里得几何]]的[[等相容性|相容性等价]]。

==距离函数==
如果 ''u'' 和 ''v'' 是赋以通常欧几里得范数的 ''n'' 维向量空间 '''R'''<sup>''n''</sup> 中两个向量，两者范数都小于 1，则我们可以定义一个[[等距|等距不变量]]为：

:<math>\delta (u, v) = 2 \frac{||u-v||^2}{(1-||u||^2)(1-||v||^2)},\,</math>

这里 ||*|| 表示通常的欧几里得范数。那么距离函数是

:<math>d(u, v) = \operatorname{arccosh} (1+\delta (u,v)).\,</math>

这样的距离函数对任何两个范数小于 1 的向量有定义，将这样的向量集合变为一个[[度量空间]]，这是一个具有常[[曲率]] -1 的[[双曲空间]]模型。这个模型具有共形性质，双曲空间中两条曲线相交的角度与在这个模型中的欧几里得角度相同。

==度量形式==
庞加莱圆盘模型的[[度量张量|度量形式]]是：
:<math>ds^2 = 4 \frac{\sum_i dx_i^2}{(1-\sum_i x_i^2)^2}.\,</math>

==与双曲面模型的关系==
庞加莱圆盘模型，和[[克莱因模型]]一样，都与[[双曲面模型]]射影相关。如果我们有双曲面模型中双曲面的上叶中一点 [''t'',&nbsp;''x''<sub>1</sub>,&nbsp;...,&nbsp;''x''<sub>''n''</sub>]，这样就定义了双曲面模型中一点，我们可以通过与 [-1, 0, ..., 0] 连接一条直线将其投影到超曲面 ''t''&nbsp;=&nbsp;0 上，所得是庞加莱圆盘模型中的对应点。

==过两点的直线==
[[解析几何]]中一个基本构造是寻找过两个定点的一条直线。在庞加莱圆盘模型中，平面上的直线定义为具有如下性质的圆周之一部分
:<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 + {}</math>

:<math>\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>

==庞加莱圆盘模型中的角==
我们可用一个公式计算出端点（理想点）为单位向量 ''u'' 与 ''v'' 以及端点为 ''s'' 与 ''t'' 的两条[[圆弧]]相交的角度。因为理想点在克莱因模型和庞加莱圆盘模型是一样的，两个模型中的公式是一样的。

如果两条直线都是直径，那么 ''v'' = &minus;''u'' 和 ''t'' = &minus;''s''，则我们只要找出这两个单位向量的角度，角度 θ 的公式为

:<math>\cos(\theta) = u \cdot s.\,</math>

如果 ''v'' = -''u'' 但 ''t''≠ -''s''，用[[楔积]]表示，公式变为

:<math>\cos^2(\theta) = \frac{P^2}{QR},</math>

这里

:<math>P = u \cdot (s-t),\,</math>

:<math>Q = u \cdot u,\,</math>

:<math>R = (s-t) \cdot (s-t) - (s \wedge t) \cdot (s \wedge t).\,</math>

如果两条弦都不是直径，得到一般的公式
:<math>\cos^2(\theta) = \frac{P^2}{QR},</math>

这里

:<math>P = (u-v) \cdot (s-t) - (u \wedge v) \cdot (s \wedge t),\,</math>

:<math>Q = (u-v) \cdot (u-v) - (u \wedge v) \cdot (u \wedge v),\,</math>

:<math>R = (s-t) \cdot (s-t) - (s \wedge t) \cdot (s \wedge t).\,</math>

利用{{le|比内-柯西恒等式|Binet–Cauchy identity}}以及这些向量都是单位向量的事实，我们可只使用[[点积]]将上面的表达式写成

:<math>P = (u-v) \cdot (s-t) + (u \cdot t)(v \cdot s) - (u \cdot s)(v \cdot t),\,</math>

:<math>Q = (1 - u \cdot v)^2,\,</math>

:<math>R = (1 - s \cdot t)^2.\,</math>

==艺术作品==
[[毛瑞特斯·柯奈利斯·艾雪]]的画作[[圓極限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

[[Category:共形几何|P]]
[[Category:双曲几何|P]]