庞加莱圆盘模型

✍ dations ◷ 2025-11-19 13:49:00 #共形几何,双曲几何

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

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

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

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

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

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

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

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

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

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

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

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

这里

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

这里

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

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

相关

  • 非编码非编码核糖核酸(英语:non-coding RNA),缩写ncRNA,是指各种不翻译成蛋白质的RNA分子。过去也称此类RNA为小核糖核酸(sRNA)。不过有些ncRNA分子其实相当大。其他较少使用的同义词还有
  • 绿色绿色是大自然界中常见的颜色。植物的绿色来自于叶绿素。绿色的光波长约550纳米,光的三原色之一。可经由蓝色和黄色混和而成的颜色。和绿色相对的颜色是Magenta(品红色),而不是传
  • 高加索山脉高加索山脉(俄语:Кавказские горы,格鲁吉亚语:კავკასიონი,亚美尼亚语:Կավկազ,阿塞拜疆语:Qafqaz),呈东西走向,在黑海与里海之间,是俄罗斯和格鲁吉亚、阿
  • 莱索托莱索托华人,在莱索托如同大多数非洲国家一样,主要经营小企业,人数有5000人。1991年,一名当地妇女在南非拥有的商店被保安人员打死。该事件导致了首都马塞卢城市贫困的下层阶级和
  • 墨尔本公园坐标:37°49′22″S 144°58′48″E / 37.82267°S 144.98005°E / -37.82267; 144.98005墨尔本公园(Melbourne Park)位于澳洲维多利亚州墨尔本的墨尔本运动和娱乐区(Melbourne
  • 切尔克斯民族清洗切尔克斯民族清洗,是19世纪后期高加索战争后俄罗斯帝国对黑海西北岸切尔卡斯亚地区的土著切尔克斯人进行驱逐的事件。驱逐是在1864年战争结束前开始,1867年完成。这次驱逐涉及
  • 溶剂储存柜在化学实验室中,溶剂储存柜是指经过适当标记和配置的化学品存储柜,用于存储溶剂(尤其是可燃的溶剂)。溶剂储存柜应把酸性溶剂与碱性溶剂分开放置(由于两者性质不相容),一些用于运输
  • 大将军大将军是一种头衔:
  • 燕山山脉燕山山脉,史称大燕山、碣石山,山名。在河北省和北京市北部,由潮白河河谷直到山海关。东西走向,北面是内蒙古高原,南邻华北平原。主要由石灰岩、花岗岩、玄武岩构成。海拔400-1000
  • 哈桑·罗哈尼哈桑·鲁哈尼(波斯语:‌حسن روحانی‎,1948年11月12日-),伊朗政治家、外交家,曾担任伊朗首席核谈判代表。母语为波斯语。在2013年6月14日的2013年伊朗总统选举中当选伊朗总