庞加莱圆盘模型

✍ dations ◷ 2025-09-09 17:15:39 #共形几何,双曲几何

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

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

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

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

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

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

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

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

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

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

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

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

这里

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

这里

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

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

相关

  • 脂质脂类(英语:Lipid),又称脂质,这是一类不溶于水而易溶于脂肪溶剂(醇、醚、氯仿、苯)等非极性有机溶剂,由脂肪酸与醇作用脱水缩合生成的酯及其衍生物统称为脂类,其中包括脂肪、蜡、类固
  • CYP2C194GQS· iron ion binding · steroid hydroxylase activity · oxidoreductase activity · (S)-limonene 6-monooxygenase activity · (S)-limonene 7-monooxygenase
  • 技术革新技术革新、技术开发和技术成就(或技术进步)是技术或过程上发明、创新和扩散的整体过程。本质上,技术革新也是技术(包括过程)发明及其商业化(英语:Commercialization)。它通过研发产
  • 孙承宗《明人肖像集》之孙文忠像孙承宗(1563年-1638年),字稚绳,号恺阳,直隶高阳县西庄村(今属河北省)人。明朝政治、军事人物,榜眼及第,官至兵部尚书、东阁大学士。致仕后与清军战斗殉国。谥
  • 鹿豚鹿豚(学名:Babyrousa)又名鹿猪,为偶蹄目猪科鹿豚亚科下的唯一一个属,分布于印尼苏拉威西岛、托吉安群岛、苏拉群岛及布鲁岛。此属原被认为是单型,但现已分成几个物种。最初鹿豚被
  • 农业陈列馆坐标:25°01′05″N 121°32′03″E / 25.018145°N 121.534182°E / 25.018145; 121.534182国立台湾大学农业陈列馆,于1964年成立,属于台大博物群成员之一。设立目的为展示台
  • 萨迪克·汗萨迪克·阿曼·汗(英语:Sadiq Aman Khan;乌尔都语:صادق امان خان‎‎;1970年10月8日-),又译简世德、简萨迪,英国巴基斯坦裔工党政治家和律师,2016年5月起当选伦敦市长,2005
  • 台湾汽车客运公司台湾汽车客运股份有限公司,简称臺汽、台湾客运、臺汽客运、臺汽公司,是昔日在台湾提供公路客运服务的公营企业。1980年成立时一度为具独占地位的公路客运事业,但因人事支出负担
  • 舒懋官舒懋官,字长德,号萸房,江西靖安人,清朝政治人物。进士出身。乾隆五十八年(1793年)进士,历官广东英德。嘉庆十七年八月,担任清朝广东省潮州府丰顺县知县。后由王奇云接任。嘉庆二十一
  • 自决自决可以指: