庞加莱圆盘模型

✍ dations ◷ 2025-11-28 07:16:44 #共形几何,双曲几何

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

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

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

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

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

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

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

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

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

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

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

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

这里

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

这里

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

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

相关

  • 新生代新生代(Cenozoic) 是地球历史上目前最新的一个地质时代,它从6600万年前开始一直持续到今天。随着白垩纪﹣古近纪灭绝事件的发生,中生代结束,新生代开始。在新生代中,哺乳动物已经是
  • 加勒比海国家加勒比海及其附近区域。若依照联合国地理分区里的地理亚区来判定,加勒比地区的范围为加勒比海上的诸岛—西印度群岛,国家与地区包含安圭拉、安提瓜和巴布达、阿鲁巴、巴哈马、
  • 零假设在推论统计学中,零假设(英语:null hypothesis,又译虚无假设、原假设,符号: H 0
  • 无精液症无精液症(英语:Aspermia)常指在射精过程中完全没有精液射出的症状,(不要与无精子症混淆,无精子症是指精液中完全没有精子),无精液症同样导致男性不育。无精液症通常由逆行射精所造成
  • 眼 (围棋)在围棋中,眼是某一方的棋子在棋盘上所围成的一个或多个相连空白交叉点。就棋盘中央附近的一个交叉点而言,一个完整的眼除了最近4个相邻点须为同一方棋子占有外,对角4个相邻点至
  • 大豆属大豆属(学名:Glycine)是豆目豆科蝶形花亚科下的一个属,为多年生缠绕、攀援或匍匐草本植物。该属共有约10种,分布于东半球温带和热带地区。
  • 大连旅大行署区,中华人民共和国旧省级行政区名。在今辽宁省大连市南部。1945年八月风暴行动结束后,苏军占领中国东北地区。根据中华民国政府与苏联政府在当年8月签订的《中苏友好
  • VHPS霍尔茨布林克出版集团(德语:Verlagsgruppe Georg von Holtzbrinck),于1948年成立,总部设于斯图加特,是德国著名的出版集团,拥有麦克米伦出版公司100%股权,是德国时代周报(英语:Die Zei
  • 洛杉矶会展中心洛杉矶会展中心(LACC)是坐落于美国洛杉矶商区西南部的会展中心。LACC举办许多年度活动,如洛杉矶国际车展、Anime Expo,以及电子游戏界最知名的电子娱乐展(E3)。
  • 安德森空军基地安德森空军基地(英语:Andersen Air Force Base)是位于美国关岛北部的一个空军基地,为美国太平洋空军第36联队的屯驻地。安德森基地上同时有轰炸机大队。现时基地主要支援美军在