庞加莱圆盘模型

✍ dations ◷ 2025-11-08 06:10:46 #共形几何,双曲几何

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

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

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

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

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

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

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

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

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

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

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

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

这里

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

这里

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

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

相关

  • 赤子 (消歧义)赤子可以指:
  • 机器人航天器机器人太空船,意即港台媒体所指的无人探测器,具有对天体研究、观测等自动化完成的功能,主要指行星探测器、行星着陆探测器等具有机器人特性的无人飞船,不包括阿波罗4号这样的载
  • 十二支派以色列十二支派是由以色列第三代始祖雅各的12个儿子发展起来,其中第11子约瑟后来成为埃及首相,成为极为重要的一支派而得到了两份家产,分别由其子以法莲(Ephraim)和玛拿西(Manasse
  • 恋孕妇恋孕妇癖(英语:Pregnancy fetishism、maiesiophilia、maieusophoria))是一种恋物癖形式,是指个人或文化将怀孕视为一种色情现象。这包括认为女性怀孕及怀孕的各种阶段(例如受精、
  • Langmuir朗缪尔(英语:Langmuir)可能指:
  • 微型行星微型行星(minor planet)是直接环绕著我们的太阳的天体,但它们暨不是主要的行星,也不是原本所谓的彗星。微型行星可以是矮行星、小行星、特洛伊天体、半人马小行星、古柏带天体、
  • 五夸克态五夸克粒子是一种次原子粒子,属于奇异强子。五夸克粒子有五个夸克。更详细地说,是四个夸克和一个反夸克(表示他的重子数为1)。虽然物理学者预言五夸克粒子存在已很多年了,五夸克
  • 大邱体育场大邱世界杯体育场是位于韩国大邱市的足球场。1997年7月,球场正式动工兴建;2001年5月完工,同年6月28日开放。成本为USD$2亿6千5百万。球场曾为K联赛球队FC大邱的主场,可以容纳65,
  • 原始反射原始反射(英语:Primitive reflexes),是指一类婴儿(而非神经完整的成年人)能够表现出来的、由中枢神经系统产生的正常生理反射行为,其反应类型能够响应特定的刺激。这些反射会随着儿
  • 身部身部,为汉字索引中的部首之一,康熙字典214个部首中的第一百五十八个(七划的则为第十二个)。就繁体和简体中文中,身部归于七划部首。身部只以左方为部字。且无其他部首可用者将部