庞加莱圆盘模型

✍ dations ◷ 2025-11-21 09:54:48 #共形几何,双曲几何

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

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

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

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

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

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

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

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

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

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

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

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

这里

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

这里

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

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

相关

  • 热量计热量计(英语:calorimeter),或称量热计、卡计,是一种用于测量进行热量测定的实验设备,可以用于测量化学反应、物理变化过程的热量变化,或测定材料的热容。最常见的是差示扫描量热计
  • 形而上对宗教的批评 · 自由思想反教权主义 · 反宗教虚构宗教形而上自然主义,哲学学派之一,认为除了被自然科学研究的与我们所理解的物质世界相关的物、力、因以外凡是理论上不可
  • 司法语言学司法语言学(英文:Forensic linguistics,legal linguistics,或language and the law)是在法律、语言、犯罪调查、庭审以及司法程序的环境下,对于语言学知识、方法与见解的应用。它
  • 准提咒准提陀罗尼,又称准提咒、准提神咒、准提真言,是佛教的重要咒语,禅门、净土宗都有许多人持诵。此咒语代表准提菩萨(准提佛母、准提观音,準提又作“准提”,意思是“清净”)的功德,为早
  • 阿纳巴尔河阿纳巴尔河是俄罗斯的河流,位于萨哈共和国西北部,河道全长939公里,流域面积约100,000平方公里,发源自阿纳巴尔高原,最终注入拉普捷夫海的阿纳巴尔湾。
  • 贝诺孢子虫属见内文贝诺孢子虫属(学名:Besnoitia),又名必斯内虫属,是原生生物的一种,属于顶复动物门的一个属,是一种寄生性动物,会造成许多畜牲生病。本属物种的生命周期大多数都是未知,特别是当
  • 保罗·艾伦保罗·加德纳·艾伦(英语:Paul Gardner Allen,1953年1月21日-2018年10月15日),美国发明家、投资者、考古学家和慈善家,微软的两位创始人之一。2013年,艾伦在福布斯全球富豪榜排名第5
  • 1961年卢蒙巴被杀案阴谋论帕特里斯·卢蒙巴(Patrice Émery Lumumba,1925年7月2日-1961年1月17日),非洲政治家,刚果民主共和国的缔造者之一。刚果民主共和国(扎伊尔)首任总理(1960)。1925年7月2日生于开赛省桑
  • 郭柏成2000年亚洲杯台球锦标赛季军2002年亚洲杯台球锦标赛季军 2004年世界花式台球锦标赛季军 2005年世界花式台球锦标赛亚军 2005年纬来职撞大赛年度总冠军 2010年卡达世界9号球
  • 侏獴侏獴(学名:Helogale parvula),是非洲的一种小型食肉动物,属于獴科。侏獴是一种典型的獴,尖头,小耳,长尾,肢短,爪长,比一般的獴要小许多,一般体长18-28厘米,体重210-350克。体毛柔软,一般为