庞加莱圆盘模型

✍ dations ◷ 2025-11-18 13:43:01 #共形几何,双曲几何

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

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

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

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

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

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

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

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

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

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

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

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

这里

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

这里

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

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

相关

  • 经济史经济史,经济领域的发展历史,是社会科学的核心,经济状态的变迁史,其研究范围为亚当·斯密的《国民财富的性质和原因的研究》。 经济史在19世纪从历史学分离开来成为一门独立学科,
  • 内肛动物门内肛动物门(学名:Entoprocta)是动物界的一个门。分类上曾一度把它们与外肛动物门合称为苔藓动物门(Bryozoa)。后来发现内肛动物为假体腔动物,而外肛动物为真体腔动物,现行分类已将
  • 果皮果皮,又简称皮,是指水果或蔬菜外侧一层可以取下的部分,这个外层通常可以徒手剥开或用削皮刀切下,如果比较硬或难以用手取下,通常称为果壳。果皮的厚度因果实而异,西瓜的果皮相对而
  • 支链α-酮酸脱氢酶复合物支链α-酮酸脱氢酶复合物(branched-chain α-ketoacid dehydrogenase complex,BCKDC)是一种在线粒体内膜中找到的酶之多次单元复合物(multi-subunit complex)。 这种酶复合物催
  • 尸罗尸罗(梵文:śīla,巴利文:sīla),又音译为尸怛罗、翅怛罗,意译为戒,佛教术语,佛教戒律,为波罗密的一种,也是三无漏学之一。尸罗源自梵语,只要能够让人熄灭贪、瞋、痴等三毒,防止为恶,遵行
  • 月光月光是从月球照射到地球的光线,但是这些光线并非发源于月球,实际上是源自太阳的阳光。但是,月球并不是像镜子一样的反射阳光,而只是将照射在表面的部分阳光散射回太空。在许多的
  • 美国联邦储备局联邦储备委员会(英语:Federal Reserve Board of Governors,简称联储会)是美国联邦储备系统的主要管理机关。该会负责监管132个联邦储备银行,帮助推行货币政策。联储会理事由总统
  • 19501950年大英帝国运动会是第4届大英帝国运动会,即现今的英联邦运动会。于1950年2月4日至11日在新西兰奥克兰举行。共有12个国家或地区参加了运动会。澳大利亚获得奖牌榜第一位
  • 同江市同江市是黑龙江省佳木斯市下辖的一个县级市。位于黑龙江省东北部,松花江与黑龙江的右岸。也称拉哈苏苏。拉哈苏苏在为赫哲语中是“老屋”的意思。该市目前为国家级贫困县。清
  • 潮安区潮安区在中国广东省东部、韩江下游,是潮州市下辖的一个市辖区。晋朝时置海阳县。1914年,因与山东省海阳县的县名同名而改名潮安县。曾多度被废立,1991年12月恢复县治。2013年6