庞加莱圆盘模型

✍ dations ◷ 2025-08-18 05:01:16 #共形几何,双曲几何

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

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

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

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

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

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

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

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

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

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

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

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

这里

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

这里

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

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

相关

  • 遗传基因基因(英语:gene)在生物学中指DNA或RNA内编码基因产物(RNA或蛋白质)的合成的核苷酸序列。基因也可视作基本遗传单位,亦即一段具有功能性的DNA或RNA序列。弄清其序列本身的过程叫基
  • 阿巴拉契科拉河阿巴拉契科拉河(Apalachicola River)是位于美国佛罗里达州的一条河流,是ACF河系的河流之一,长度180公里,流域面积19,500平方英里(50,505平方千米)。阿巴拉契科拉河的源头是佛罗里达
  • 沙巴岛萨巴(英语:Saba),为加勒比海一岛屿,原属荷属安的列斯,现为荷兰的一个特别市(正式名称是“公共实体”),与同为荷兰特别市的博奈尔和圣尤斯特歇斯合称为“BES群岛”。岛屿面积13平方公
  • 打孔卡片打孔卡(Punched card)又称穿孔卡、霍尔瑞斯式卡或IBM卡,是一块纸板,在预先知道的位置利用打洞与不打洞来表示数字消息。现在几乎是一个过时的存储器,但其设计转变成现今常用于考
  • 饼在中文中被用来指很多种形状扁平的食品,包括:饼也有一些非食品的含义:
  • 中东呼吸综合征中东呼吸综合征(英文缩写:MERS)是一种由中东呼吸综合征冠状病毒(前称“2012年新型冠状病毒”)所引起的新型人畜共患的呼吸系统传染病。患者常见的症状为发热、咳嗽、喉咙痛或胸痛
  • 马思纯马思纯(1988年3月14日-),中国大陆女演员,出生于安徽省蚌埠市。2016年,以《七月与安生》林七月一角与饰演李安生一角的周冬雨共同获得第53届金马奖最佳女主角奖。1995年,7岁的马思纯
  • 日本绒螯蟹日本绒螯蟹(学名:Eriocheir japonica)为绒螯蟹属的动物。分布于朝鲜半岛东岸、库页岛、日本、台湾以及中国大陆的广东、福建等地,生活环境为海水,主要栖息于河流中,特别在河口半
  • 三清宫三清宫可以指:
  • 截半大十二面体在几何学中,截半大十二面体是一种星形均匀多面体,由12个正五边形和12个正五角星组成,可以视为大十二面体或小星形十二面体截去所有顶点所产生的形状。其对偶多面体为内侧菱形三