庞加莱圆盘模型

✍ dations ◷ 2025-11-30 21:57:51 #共形几何,双曲几何

几何中,庞加莱圆盘模型(Poincaré disk model),也叫共形圆盘模型(conformal disk model),是一个 -维双曲几何模型。几何中的点对应到 维圆盘(或球)上的点,几何中的“直线”(准确地说是测地线)对应到任意垂直于圆盘边界的圆弧或是圆盘的直径。庞加莱圆盘模型、克莱因模型以及庞加莱半空间模型,一起被贝尔特拉米用来证明双曲几何与欧几里得几何的相容性等价。

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

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

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

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

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

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

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

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

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

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

如果 = - 但 ≠ -,用楔积表示,公式变为

这里

如果两条弦都不是直径,得到一般的公式

这里

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

毛瑞特斯·柯奈利斯·艾雪的画作圆极限IV、圆极限III是庞加莱圆盘的一个艺术形象化。

相关

  • 头虱头虱(学名: Pediculus humanus capitis)是虱的一种,寄生于人类的头发或颈部的毛发之中。在人类身体其他毛发上寄生的虱都不是头虱。头虱呈褐色或灰色,有头、胸、腹三部分,以及六只
  • 犹大·哈-纳西犹大·哈-纳西(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","T
  • 运动员运动员是指的是一个人拥有高于平常人的身体条件,耐力,以及敏捷度等等,也因为以上条件而擅长于运动竞赛。古希腊文中的竞赛便为“athls”,而竞赛者称做“athletes”。从更特定的
  • 毛地黄毛地黄(学名:Digitalis purpurea;foxglove、common foxglove、purple foxglove、lady's glove)为玄参科毛地黄属下的一个种,广泛分布于温带欧洲。也见于北美和其他温带部分地区。
  • 章回小说章回小说是近数百年中国长篇小说的主要形式,渊源自说书传统、宋代话本及元代杂剧,在魏晋南北朝始有具体形式,而于明清两代发展。明清两代都市经济繁荣,大量需求通俗读物。士人对
  • 彼尔姆彼尔姆边疆区(俄语:Пермский край,罗马化:Permsky krai),位于乌拉尔山脉中段以西,是俄罗斯联邦主体之一,属伏尔加联邦管区。由原彼尔姆州及科米彼尔米亚克自治区于2005
  • 斐洛斐洛‧尤迪厄斯(Philo Judeaus)亦称亚历山大里亚的斐洛(约公元前25年~40年或45年),是生于亚历山大城的犹太哲学家和政治家。斐洛第一个尝试将宗教信仰与哲学理性相结合,故在哲
  • 汝拉山汝拉山(法语:Jura 法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gen
  • 胼足亚目胼足亚目(学名:Tylopoda)是偶蹄目的一个演化支,大约在4620万年前始新世中期开始出现,在北美洲及欧洲都有长期的化石记录,现在仅有骆驼科一支存活至今,目前分布在南美洲、亚洲及非洲
  • 树蛙属 Peters, 1867 Palacky, 1898 () Schlegel, 1826 ()树蛙(学名:Rhacophorus)是无尾目树蛙科下的一个属,全世界大约有80种,大多皮色美丽,并能随环境不同而变色。主要分布在东亚包