距离函数

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

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

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

度量形式

庞加莱圆盘模型的度量形式是：

与双曲面模型的关系

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

过两点的直线

解析几何中一个基本构造是寻找过两个定点的一条直线。在庞加莱圆盘模型中，平面上的直线定义为具有如下性质的圆周之一部分

这是垂直于单位圆周的圆周的一般形式，或就是直径，可以证明这是连接这两点（双曲）距离最短的曲线，即测地线。给定圆盘中不在同一直径上两点 u 和 v，我们可以求出过这两点的圆周，得到

如果点 u 和 v 在圆盘的边界上但不是直径的端点，上面的公式简化成

庞加莱圆盘模型中的角

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

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

如果 v = -u 但 t≠ -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

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。