庞加莱圆盘模型

✍ dations ◷ 2025-12-10 23:45:10 #共形几何,双曲几何

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

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

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

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

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

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

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

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

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

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

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

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

这里

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

这里

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

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

相关

  • ssRNA(-)核糖核酸病毒(英语:RNA virus),又称RNA病毒,其遗传物质为RNA,这些核糖核酸通常是单链RNA(ssRNA),但是也可能是双链RNA(dsRNA)。由RNA病毒感染造成的著名人类疾病包括艾滋病(AIDS)、埃博
  • 直言三段论直言三段论是所有前提都是直言命题的演绎推理。例子:前两个命题叫做前提。如果这个三段论是有效的,这两个前提逻辑上蕴含了最后的命题,它叫做结论。结论的真实性建立在前提的真
  • 军事工程军事工程(Military engineering)可以大致定义为设计及建立军事设施及设备,维持军事运输及通讯的艺术、工程及实务。军事工程也要负责军事战术的后勤。现代的军事工程和土木工程
  • 景观艺术风景画是指主要描绘自然风景,例如山川江河等的画作。世界各地的风景画有着不同的特征,而传统上风景画主要分为西方绘画和中国绘画这两个部分,二者都有上千年的历史。在中国古代
  • 蒲慕明蒲慕明(1948年10月31日-),祖籍广东省梅州市大埔县,生于南京,中国神经生物学家,中央研究院院士,美国科学院外籍院士,中国科学院院士,现任中国科学院神经科学研究所所长 ,美国加州大学伯
  • QuattronQuattron是一个用于夏普制造的LCD电视的显示技术的品牌名字。该技术在标准的RGB(RGB红绿蓝)色子像素之外加上了黄色作为第四种颜色的子像素(RGBY红绿蓝黄),而Sharp声称这会使电视
  • 卡氏座标笛卡尔坐标系(英语:Cartesian coordinate system,也称直角坐标系)在数学中是一种正交坐标系,由法国数学家勒内·笛卡尔引入而有此名。二维的直角坐标系是由两条相互垂直、相交于
  • 台湾之最台湾之最是指在台湾各领域中最顶尖的事物。这里列举了一些台湾之最。粗体字表示该纪录同时成为世界之最,斜体字表示该纪录曾经为世界之最。二河流最近处,二河于四草合流,类似
  • 熙嫔洪氏熙嫔洪氏(韩文:희빈 홍씨,1494年-1581年),本贯南阳,是朝鲜王朝中宗的后宫嫔御身份进宫的。父亲是中宗反正的一等功臣南阳君洪景舟;母亲贞敬夫人权氏是建功将军权金成的女儿,亦是领议
  • 裴矩裴矩(547年-627年),字弘大,河东郡闻喜县(今山西闻喜东北)人,隋末及唐初政治家。初名裴世矩,后避太宗名讳,单名矩。祖父,裴佗,北魏荆州刺史,父亲裴讷之,北齐太子舍人,早卒。裴矩少好文学,甚有