查看“︁凯莱-克莱因模型”︁的源代码

[[File:HyperbolicParallels.png|thumb|[[双曲几何|双曲平面]]射影模型中的直线。红线之间的绿线都[[平行]]于黑线。]]

[[几何]]中，'''凯勒-克莱因模型'''（{{lang|en|Cayley–Klein model}}），也称为'''射影模型'''（{{lang|en|projective model}}）、'''克莱因圆盘模型'''（{{lang|en|Klein disk model}}）或'''贝尔特拉米-克莱因模型'''（{{lang|en|Beltrami–Klein model}}），是 ''n''-维[[双曲几何]]的一个模型，其中点由 ''n''-维[[单位球]]（二维时或称[[单位圆盘]]）中的点表示，直线由端点位于边界球面的直线段（即[[弦]]）表示。此模型最先出现于[[贝尔特拉米]]1868年的两篇论文中，首先是 ''n'' = 2 然后是一般的 ''n''，用于证明双曲几何与通常[[欧几里得几何]]的{{le|等相容性|equiconsistency}}（{{lang|en|equiconsistency}}）<ref>{{cite journal|first=Eugenio|last=Beltrami|title=Saggio di interpretazione della geometria non-euclidea|journal=Giornale di Mathematiche|year=1868|pages=285-315}}</ref><ref>{{cite journal|first=Eugenio|last=Beltrami|title=Teoria fondamentale degli spazii di curvatura costante| journal=Annali. di Mat., ser II|volume=2|year=1868|pages=232–255|doi=10.1007/BF02419615}}</ref>。

[[度量|距离]]公式最先由[[阿瑟·凯莱]]在[[射影几何|射影]]和[[球面几何|球面]]几何的情形下写出。[[菲利克斯·克莱因]]意识到它对[[非欧几里得几何]]的重要性并普及了这个论题。

== 距离公式 ==
[[阿瑟·凯莱]]使用[[射影几何]]中的[[交比]]衡量[[球面几何]]中的距离和角度<ref>{{cite journal|first=Arthur|last=Cayley|title=A Sixth Memoire upon Quantics|journal=Philosophical Transactions of the Royal Society of London|year=1859|volume=159|pages=61–91|doi=10.1098/rstl.1859.0004}}</ref>。随后，[[菲利克斯·克莱因]]意识到凯莱的想法给出了非欧几里得平面的一个射影模型<ref>{{cite journal|first=Felix|last=Klein|title=Ueber die sogenannte [[Non-Euclidean geometry|Nicht-Euklidische Geometrie]]|journal=Mathematische Annalen|year=1871|volume=4|pages=573–625|doi=10.1007/BF02100583}}</ref>。给定开单位球中两个不同点 ''p'' 和 ''q''，连接它们的惟一直线与单位球面相交 ''a'' ''b'' 两点，使得 ''a'', ''p'', ''q'', ''b'' 顺次排列。则 ''p'' 与 ''q'' 之间的双曲距离为：

:<math>d(p,q)=\frac{1}{2} \log \frac{|qa||bp|}{|pa||bq|},</math>

这里竖线表示欧几里得距离。因子 1/2 使得[[高斯曲率|曲率]]为 −1。

== 与双曲面模型的关系 ==
[[双曲面模型]]是双曲几何在 ''n''+1 维[[闵可夫斯基空间]]上的一个模型。闵可夫斯基内积由

:<math>\mathbf{x} \cdot \mathbf{y} = x_0 y_0 - x_1 y_1 - \cdots - x_n y_n</math>
给出，范数为 <math>\|\mathbf{x}\| = \sqrt{\mathbf{x}\cdot\mathbf{x}}</math>。双曲空间嵌入此空间作为向量 '''x''' 满足||'''x'''|| = 1 且 ''x''<sub>0</sub>（类时分量）为正。点 ''u'' 与 ''v'' 的内蕴距离（作为嵌入）为： 
:<math>d(\mathbf{u},\mathbf{v}) = \cosh^{-1}(\mathbf{u} \cdot \mathbf{v}).</math>
这也可以写成齐次形式
:<math>d(\mathbf{u},\mathbf{v}) = \cosh^{-1}\left(\frac{\mathbf{u}}{\|\mathbf{u}\|} \cdot \frac{\mathbf{v}}{\|\mathbf{v}\|}\right).</math>
这使我们可以按任意要求缩放向量。

凯莱-克莱因模型是由双曲模型缩放所有向量使得类时分量变成 1 得到的。这就是将嵌入双曲面通过原点投影到平面 ''x''<sub>0</sub> = 1。次映射将双曲面映为一个半径 1 球体，球的边界球面对应于双曲面的共性无穷远。距离函数，在齐次形式下不变。因为双曲面模型的内蕴直线（[[测地线]]）是通过闵可夫斯基原点的平面的交集，故凯莱-克莱因模型的内蕴直线是球面的弦。

== 与庞加莱圆盘模型的关系 ==
[[庞加莱圆盘模型]]与凯莱-克莱因模型都是 ''n''-维双曲空间在 '''R'''<sup>''n''</sup> 中 ''n''-维单位球上的模型。如果 <math>u</math> 是表示庞加莱圆盘模型中一点的范数小于 1 的一个向量，则凯莱-克莱因模型中相应的点为
:<math>s = \frac{2u}{1+u \cdot u}.</math>
反之，从一个表示凯莱-克莱因模型中一点的范数小于 1 的一个向量 <math>s</math>，庞加莱圆盘模型中对应点是
:<math>u = \frac{s}{1+\sqrt{1-s \cdot s}} = 
\frac{(1-\sqrt{1-s \cdot s})s}{s \cdot s}.</math>

给定单位圆盘的边界上两点，它们习惯上称为理想点，在凯莱-克莱因模型中连接它们的直线是它们之间的弦，但在对应的庞加莱圆盘模型中是位于两个边界点向量生成的二维子空间中过这两个点的一条正交于圆盘边界的[[圆弧]]。这两个模型通过从圆盘的中心的出发一个投影联系起来；由中心出发过一个模型中的一条直线上一点的一条射线经过另一个模型中的对应直线上的对应点。

== 参见 ==
*[[庞加莱半平面模型]]
*[[庞加莱度量]]
*[[反演]]

== 参考文献 ==

{{reflist}}

* Luis Santaló (1961), ''[[Luis Santalo#Geometrias no Euclidianas (1961)|Geometrias no Euclidianas]], EUDEBA.
* {{cite book|first=Saul|last=Stahl|title=The Poincaré Half-Plane|url=https://archive.org/details/poincarehalfplan0000stah|publisher=Jones and Bartlett|year=1993}}

[[Category:双曲几何]]