庞加莱圆盘模型

✍ dations ◷ 2025-12-07 21:21:24 #共形几何,双曲几何

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

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

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

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

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

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

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

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

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

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

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

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

这里

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

这里

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

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

相关

  • 隐孢子虫隐胞子虫病(Cryptosporidiosis)是由单细胞寄生虫隐胞子虫(Cryptosporidium )造成的脊椎动物肠道疾病,是导致人腹泻的主要原因之一。这是一类通过粪口途径传播的疾病,主要发生在
  • 羚羊见内文。羚羊是对一类偶蹄目牛科动物的统称,广义上包括了羚羊和小羚羊一类的动物(英文中称为“antelope”和“gazelle”)。许多被称为羚羊的动物与人们印象中的相去甚远,有专家
  • 冠状病毒酱冠状病毒酱(Corona-chan)是严重急性呼吸系统综合症冠状病毒2型的萌拟人化角色,在4chan、Reddit等网站爆红。2014年西非埃博拉病毒疫症爆发时,英语世界的贴图讨论版及网络讨论区
  • 地球的板块构造构造板块(英语:tectonic plates)是岩石圈(地壳和上层地幔)的一部分。一般板块厚约100公里(62英里),材料组成有两种主要类型:海洋地壳(硅、镁组成的硅镁层)和大陆地壳(硅、铝组成的硅铝层
  • 1146年重要事件及趋势重要人物
  • Prime Minister of Japan and His Cabinet总理大臣官邸(日语:総理大臣官邸/そうりだいじん かんてい Sōridaijin Kantei */?)是日本内阁总理大臣(首相)的办公室所在地,位于东京永田町。常用称呼有总理官邸(総理官邸/そうり
  • 龙骑兵龙骑兵(英语:Dragoon)又简称为龙兵,是最早是一种“骑马步兵”的兵种,大多出现于17世纪晚期至18世纪早期的欧洲军队,是同时接受马术与步兵战斗技巧的训练,以马匹运输、步行战斗的士
  • 白色大理石雕像第一门的奥古斯都像(意大利语:Augusto di Prima Porta)是一尊罗马帝国的第一位皇帝奥古斯都的白色大理石雕像,高2.04米,完成于1世纪,1863年4月20日于罗马附近郊区第一门(Prima Port
  • MS WordMicrosoft Word是微软公司的一个收费文字处理应用程序,最初在1983年由Richard Brodie为了运行DOS的IBM计算机而编写的,随后的版本可运行于Apple Macintosh(1984年)、SCO UNIX和M
  • 大卫·布鲁尔大卫‧布鲁尔(英语:David Bloor,1942年-),爱丁堡大学科学研究小组教授与前主任。他是爱丁堡学派的关键人物,并在科学知识社会学以及科技与社会研究(STS)的发展中扮演着重要的角色。