双曲平面的几种模型.PDFVIP

双曲平面的几种模型 作为一种非欧几何，平面双曲几何革命性地放弃了欧氏平面的平行公设，代之以新的公 设：经过直线外一点至少存在两条直线不与给定的直线相交。在19世纪的20—30年代，这 样一种新的几何学被匈牙利的 J. Bolyai、俄国的N. Lobachevsky、还有 C. F. Gauss 各自 独立地发展起来。1868 年，E. Beltrami通过建立双曲几何的射影圆盘模型，说明了在欧氏 几何逻辑无矛盾的假设下，非欧的公理体系也不会导致矛盾。1871 年，F. Klein 引入了今 天使用的双曲几何的这个名字，并将它与椭圆几何和抛物几何（其实就是欧氏几何）并列。 由于它所展示的负曲率空间的重要直观，也由于它在前沿数学中的广泛应用，我们将用与实 射影平面差不多的篇幅，来建立对于双曲平面的初步认知。 为了概念的简便，我们选择直接在度量空间的等距范畴里着手讨论。这就像当初我们引 进欧氏几何的时候一样，而公理体系的那条道路从一开始就不加考虑了。在这篇笔记的最后 一节，我们会列举一些双曲平面区别于欧氏平面的特殊现象。建议读者先行浏览，以获得一 些印象。 定义 一个度量空间 ( ) , d 被称为一张双曲平面，如果它等距同构于本篇以下列出的任意一种模型。 我们将利用扩充复平面的某些部分建立共形圆盘模型（Poincaré模型）和上半空间模型， 然后简单介绍射影 Lorentz 空间模型。这些模型当然也都是互相等距同构的。使用相对较少 的射影圆盘模型（Beltrami—Cayley—Klein 模型），本篇暂不涉及。当使用平面双曲几何 这一术语的时候，我们指的就是双曲平面连同它自身的保距变换群。 共形圆盘模型 ( ) 定义 双曲平面的共形圆盘模型是如下度量空间 , 。集合 | | = { ∈ ℂ: 1} 是复平面上的开单位圆盘。对于任意 , ∈ ，它们之间的距离定义为 | − || − | ( ) ( ) , = − log , ; , = log ， | − || − | 其中ξ 、 是单位圆周∂上的两点，使得以ξ 、 为始末端点、且与单位圆周正交的有向圆 弧（可能是直径）依次经过 、 。 我们需要验证二元函数 确实定义了上的一个度量，即它符合 : × → [0, +∞) 并且满足正定、对称、三角形不等式。进一步，我们想决定共形圆盘的保距变换群，以及讨 论各种双曲图形的性质。 在开始之前，让我们先来不加证明地描述一下希望达到的图景： 1. 测地线看起来正好是所有与单位圆周正交的欧氏圆弧（不含端点，可能是直径）。 （在一般的度量空间，取代欧氏几何中的直线的概念是测地线，它是与欧氏直线等 距同构的子集，换言之，测地线上任意两点在空间中的最短路径都能够由那条测地 线在它们之间的线段实现。） 2. 圆看起来也是复平面上的欧氏圆，并且完全在单位圆周内部，不过双曲几何的圆心 偏离所见欧氏圆的圆心，沿径向更远离复平面的原点。（到任意定点距离等于定长 的点的集合称为圆。） 3. 相同半径的圆越远离原点，看起来欧氏直径越小，位置越接近单位圆周。 4. 测地线段