Poincaré的圆盘模型 在所有的双曲几何模型中，Poincaré的圆盘模型可能是最有趣的一个。这个双曲世界存在于一个有限的平

Poincaré圆盘模型：一个神奇的双曲世界

Brain Storm | 2007-10-27 13:47| 12 Comments | 本文内容遵从CC版权协议 转载请注明出自matrix67.com

今年恰逢PKU数学文化节十周年，其间开办的很多讲座我都去了。去听讲座的人好像都是数院的，我恐怕是唯一一个中文系的。考虑到我和中文系的MM没有共同话题，因此每一次听讲座时我都会顺便四处打望，看看有没有数院的美女，下来可以和她“交谈”一下。有趣的是我的做法与常人所想的恰好相反：据说数院的已经盯上中文系的MM了，而我一个中文系的竟然反过来去找数院的MM。
昨天有一个关于非欧几何的讲座，这是目前所有的讲座中最为精彩的一次。讲座里提到了Poincaré的一个双曲几何模型，感觉非常有意思，在这里和大家分享一下。
在所有的双曲几何模型中，Poincaré的圆盘模型可能是最有趣的一个。这个双曲世界存在于一个有限的平面区域里，整个世界限制在一个单位圆的范围内。这个世界中有两个最重要的物理定律：一，假如某物体X离原点O距离为d，那么该物体的温度为1-d^2；二，物体的大小与温度成正比。这样，假如某个人从这个世界的中心走向边缘，那么他的温度会从1慢慢变成0，同时整个人慢慢变小。他自身大小改变的同时周围的物体也等比例地放大或缩小，而这个世界里的人视野有限，看不见远处的东西，因此他不会觉得自己变小了或者变大了。因此，在这个世界里，物理学家们能够很轻易地发现第一定律，但要发现第二定律则非常具有挑战性，探索第二定律的过程必然很曲折，并且很可能出现哥白尼时代的故事。
对于我们来说，这个世界是有界的；但对于这个世界中的人来说，这个世界是无穷大的。因为离原点越远，人就越小，于是相对来说他们所看到的空间也就越大。当人的位置趋于边界时，物体大小趋于0，此时的空间将变得无穷大，因此这个世界中的物体永远无法到达边界。同时，离原点越远的话越接近“绝对零度”，这将非常不适宜生物的生存，因此人们大多居住在原点，离原点越远城市规模越小，更远的地方则完全没有开发过，只适合于疯狂的冒险家进行极限运动。于是这个世界中的物理学家很自然地得到这个结论：世界是无穷大的。
下面就神奇了。现在，考虑某个人想从A点走到B点。如果按照红色的线段直直地走过去，所走的路程并不是最短的，因为这条路线离原点较远。聪明的人会发现，我先往原点方向走一点，然后再到B点去，这样走的路程更短一些。我们猜想，最短路线很可能是一条偏向于原点的弧线（就好像原点把直线段“吸”过去了一样）。之所以产生这种奇怪的现象是因为，离原点越远物体就越小，人的步子也变小了，相对来说实际空间就变大了。因此，对我们来说距离相等的两点，对他们来说离原点越远其实际距离越大。因此，我们有必要重新定义这个双曲世界中“距离”的概念。由于物体大小与1-d^2成正比，因此我们可以定义，如果在离原点距离为d的位置上有一个充分小的位移，在我们看来距离为Δx，那么在这个世界中的实际距离就是Δx/(1-d^2)。这样就可以算出，从A到B的最近路线是一条垂直于边界的圆弧（蓝色的那条）。于是在这个世界中，“直线段”已经不再是我们熟悉的直线段了，而是一条条的弧线（还包括整个圆的直径）。而我们眼中的直线，在他们看来就是曲线。

这个世界中的几何满足欧式几何的前面四个公设，但不满足第五公设。比如，两点确定一条直线，因为过两点的圆弧只有一条垂直于这个世界的边界；而直线可以无限延长，因为离边界越近两点的实际距离越大，你永远走不到尽头。但是，这个世界不满足第五公设。从图2可以看到，过一点可以作无数条直线不与已知直线相交；从图3可以看到，三角形的内角和小于180度。下面这幅图片可以帮助你更好地理解这个双曲模型。这是该平面上的一个三角形剖分，里面的所有三角形都是等边三角形，而且所有这些三角形都是一样大的。你可以看到7个等边三角形共用一个顶点，这说明三角形的内角和小于180度。



另外值得一提的是，这个构想很适合写成一篇科幻小说。记得大刘的那篇科幻吗？一群电子器件诞生在某颗星球的内核，然后探索物理定律，历经重重困难，最终冲破了它们那个世界的“天然外壳”，看到了外面的世界，并相信我们整个宇宙也处于一个更大的星体内。这个双曲几何模型也很适合写出这样的小说来，比如以物理史书的方式叙述从古至今若干个传奇人物的故事，讲述他们是如何从一些奇怪的现象出发，通过各种试验证明自己的猜想，顶住社会各方面的压力，执著地探索宇宙的奥秘。小说中的人物可以带着读者一起进行探索，最后才告诉读者这个宇宙的本质是什么。

所有跟帖： 

• checketf01 www.indexuniverse.com/analytics -marketreflections- ♂ (98 bytes) () 09/26/2011 postreply 15:40:34

• check01 tvix tickersense.typepad.com/ -marketreflections- ♂ (1510 bytes) () 09/26/2011 postreply 16:12:11

• checketf01 http://www.trimtabs.com/global/pdfs/ETF_Flows_and_Mar -marketreflections- ♂ (1821 bytes) () 09/26/2011 postreply 16:16:28

• checketf01 http://wallstreetsectorselector.com/ -marketreflections- ♂ (94 bytes) () 09/26/2011 postreply 16:22:45

• phymath01 定义矩阵乘法，用于表示一切线性变换。几何上看，把平面上的每个点 (x, y) 都变到 (2 x + y, x -marketreflections- ♂ (114964 bytes) () 09/26/2011 postreply 17:34:10

• 双曲坐标映射至二维平面:欧几里德距离并不能很好地反映其视觉内容上,而双曲几何空间可以准确地表示邻域内近邻点信息 -marketreflections- ♂ (13872 bytes) () 09/26/2011 postreply 21:39:12

• 在地球上我们利用经线和纬线来确定方位。它们互相垂直。当我们将方形的地图映到球面上的时候，距离产生了扭曲。比如，北极附近很小的区域 -marketreflections- ♂ (493 bytes) () 09/26/2011 postreply 21:47:50

• fx01 Simon Derrick china hot money -marketreflections- ♂ (16533 bytes) () 09/27/2011 postreply 09:00:19

• check01 @RaginCajun You re shorting $bidu after that hammer yest -marketreflections- ♂ (4801 bytes) () 09/27/2011 postreply 14:25:36

• 自守函数名家 -marketreflections- ♂ (6643 bytes) () 09/27/2011 postreply 14:45:07

• 椭圆函数具有双周期性且是单值的，所以只需在复平面的一个平行四边形中研究即可 -marketreflections- ♂ (3602 bytes) () 09/27/2011 postreply 14:53:15

• 对称空间的正确定义是说，在每一个点处，相对于它的反射都是空间的整体等距 -marketreflections- ♂ (2717 bytes) () 09/27/2011 postreply 15:00:32

• phymath01 eol.sdu.edu.cn -marketreflections- ♂ (14464 bytes) () 09/27/2011 postreply 15:15:05

• 结构最简单的系统可能是空的空间。转动它时没有什么会改变, sr -marketreflections- ♂ (1372 bytes) () 09/27/2011 postreply 15:40:43

• phymath01 丁亦兵 与电磁相互作用有关的，都是局域的相互作用，比如经典力学中研究过的，宏观物体之间的相互都可以归结到电磁 -marketreflections- ♂ (61702 bytes) () 10/01/2011 postreply 06:39:06

• 假如你是要把棒球穿過一面牆，那牆壁一定要有10-34m左右的極小縫來讓棒球的物質波表象繞射過去(理論物理學家在20世紀計算過)。 -marketreflections- ♂ (334 bytes) () 10/01/2011 postreply 06:43:24

• phymath01 与玻色子不同，另一类粒子在一种状态上只能有一个存在，如电子、质子、中子、3种中微子等，原子的K层上有2个状态 -marketreflections- ♂ (3174 bytes) () 10/01/2011 postreply 07:06:14

• 基本粒子（从模型上来说）都带有自转。力学上称为具有角动量，质量越大、自转得越快，角动量就越大。但是粒子的角动量非常奇妙地与它的质 -marketreflections- ♂ (2595 bytes) () 10/01/2011 postreply 07:13:14

• Dirac方程要求波函数（表示空间）必须是有偶数个分量（即表示空间必须是偶数维的）；那么从群论的角度看，Lorentz群的表示空 -marketreflections- ♂ (78214 bytes) () 10/01/2011 postreply 07:27:22

• phymath01 找出体系的Lagrangian,然后找出体系的正则变量x,p，然后赋予正则变量对易关系：[x,p]=i；:能 -marketreflections- ♂ (774 bytes) () 10/01/2011 postreply 07:33:05

• phymath01 完整的360度旋转使态矢量回到负的态矢量，而不是回归到自身，需要再旋转360度，即总共720度其态矢量才回归 -marketreflections- ♂ (22496 bytes) () 10/01/2011 postreply 07:41:14

• phymath01 ，一个物理体系的固有能量（角动量）不变，但其可测态矢量却是可以控制的有规律的变化 -marketreflections- ♂ (3133 bytes) () 10/01/2011 postreply 07:45:31

• phymath01 电子的S=1/2,自旋S在Z轴的投影可以取两个不同的数值.那就是说对于电子,当(x,y,z)点确定之后,我们 -marketreflections- ♂ (1360 bytes) () 10/01/2011 postreply 09:03:19

• 现在一个空间点事实上与两个量对应,如何引入函数概念(或定义)? 如数学上的Gauss定理等.原因是:Gauss定理涉及到通量的定 -marketreflections- ♂ (401 bytes) () 10/01/2011 postreply 09:09:22

• phymath01 •幽灵蝶 声子01的概念是很有用的，但它是一种元激发的准粒子，其目的更倾向于是为了解决存在强关联 -marketreflections- ♂ (9902 bytes) () 10/01/2011 postreply 08:02:53

• 声子有三个自由度，有两个横波分量(sr)和一个纵波分量(gr) -marketreflections- ♂ (1469 bytes) () 10/01/2011 postreply 08:12:29

• phymath01 纵波模式，$，/ 表示横波模式! ..... 而零阶纵、横波分量是不耦合的 -marketreflections- ♂ (2414 bytes) () 10/01/2011 postreply 08:17:58

• phymath01 固体中某种振动或波的能量量子。固体物理中的元激发或准粒子的概念和粒子物理中的“物理”粒子或重正化了的粒子的概 -marketreflections- ♂ (6070 bytes) () 10/03/2011 postreply 16:30:03

• phymath01 阿·热先生在《可怕的对称》从数学上讲，一个群只不过是可以通过乘法联系到一起的一组变换。我们首先对一堆以某种方 -marketreflections- ♂ (19657 bytes) () 10/01/2011 postreply 08:30:31

• sr01 物理实在的结构变易性——广义协变性（连续对称性,女或男的定义就是纯粹而抽象的，女就是女，男就是男，其定义是具有绝对意义 -marketreflections- ♂ (334 bytes) () 10/01/2011 postreply 08:34:31

• 哥德尔不完全定理 数学基础:群论的精髓在于我们可以把两个表示（概念、定义），通过规定的组合规则胶合到一起从而得到其它表示，从十维 -marketreflections- ♂ (1179 bytes) () 10/01/2011 postreply 15:28:23

• "哥德尔定理噪声" -marketreflections- ♂ (14700 bytes) () 10/01/2011 postreply 16:01:14

• "哥德尔定理噪声" -marketreflections- ♂ (14700 bytes) () 10/01/2011 postreply 16:01:15

• stock01 VRNG arpu -marketreflections- ♂ (152 bytes) () 10/01/2011 postreply 16:53:45

• cck01 quant.stackexchange.com The required assumptions for these -marketreflections- ♂ (18174 bytes) () 10/01/2011 postreply 17:01:16

• 回复：phymath01 纯Chern-Simons理论中的统计规范场没有独立的动力学自由度 -marketreflections- ♂ (248 bytes) () 10/01/2011 postreply 09:20:43

• 自旋01 电子有一种内禀的角动量，称为自旋角动量，它源于电子的内禀性质一种非定域 ;从群角度讲时空是由物质外自由度SO3群与内自 -marketreflections- ♂ (22571 bytes) () 10/01/2011 postreply 10:08:09

• brain01 Hodgkin—Huxley模型的本质是一个积分发火的过程。 -marketreflections- ♂ (1047 bytes) () 10/01/2011 postreply 14:10:37

• 对于较复杂的三体、四体甚至五体系统，往往需要很大数目的基矢：r能得到满意的解 -marketreflections- ♂ (135 bytes) () 10/01/2011 postreply 12:30:23

• phymath01 动力学自由度是指在一定的几何、运. 动学和动力学约束条件下，系统在物理上可以实现的运动学变量的数目 -marketreflections- ♂ (25367 bytes) () 10/01/2011 postreply 14:58:26

• qm01 经典力学的基本运动学变量也是广义坐标与广义动量，服从的却是. Poisson 代数 -marketreflections- ♂ (2296 bytes) () 10/02/2011 postreply 01:34:00

• 在很多物理体系中,作用量在一些连续性变换下是不变的。如果是这样，那么就存在着与电动力学中电荷守恒和电流守恒相类似的局域和整体的守 -marketreflections- ♂ (1060 bytes) () 10/02/2011 postreply 02:23:31

• phymath01 量子力学中状态的波函数就是平方可积函数空间（一种希尔伯特空间）中的一个点，而不同的表象也就是选择相应的正交函 -marketreflections- ♂ (94562 bytes) () 10/02/2011 postreply 02:32:33

• 牛顿 空间由矢量x = (x1,x2,x3)来参数化，而点粒子在. 其中的运动由轨迹x(t) 来描述，轨迹的分量qi(t)(i -marketreflections- ♂ (9661 bytes) () 10/02/2011 postreply 02:46:04

• phymath01 Models are metaphors.模型的隐喻。 They allow us to see one t -marketreflections- ♂ (204173 bytes) () 10/02/2011 postreply 04:10:40

• phymath01 "希尔伯特空间模型的隐喻” -marketreflections- ♂ (80311 bytes) () 10/02/2011 postreply 04:37:20

• phymath01 "希尔伯特空间模型的隐喻”Mumford的题为“随机性时代的曙' -marketreflections- ♂ (37046 bytes) () 10/02/2011 postreply 04:48:36

• brainwash洗脑deadline最后期限从隐喻的新鲜程度和使用的频 -marketreflections- ♂ (26236 bytes) () 10/02/2011 postreply 06:17:36

• brain01 康托尔宏伟的元叙述　（ｍｅｔａ．ｎａｒｒａｔｉｖｅ）—— 集合论 -marketreflections- ♂ (0 bytes) () 10/02/2011 postreply 06:24:25

• brain01 用来产生词与词之间联系的大脑左侧, the other half of brain is more "pictu -marketreflections- ♂ (1110 bytes) () 10/02/2011 postreply 06:26:57

• phymath01 Ｍｕｍｆｏｒｄ的题为 “随机性时代的曙　 ’的论文是意味深长的．他向我担保，他无意谈及　Ｇ．Ｖｉｃｏ的　历史 -marketreflections- ♂ (82982 bytes) () 10/02/2011 postreply 04:29:40

• Mumford， 1895—1988） 以人类学为基础， ...... 性、 非决定性、 非对称性、 随机性、 不完全性等属性， -marketreflections- ♂ (2502 bytes) () 10/02/2011 postreply 05:12:24

• phymath01 纯Chern-Simons理论中的统计规范场没有独立的动 -marketreflections- ♂ (790 bytes) () 10/15/2011 postreply 03:45:52

• qm01 有关量子力学中对易括号的思考 第四章 量子力学中的力学量 -marketreflections- ♂ (6059 bytes) () 10/02/2011 postreply 03:31:49

• 相空间01 刘维定理泊松括号和泊松定理 -marketreflections- ♂ (1235 bytes) () 10/02/2011 postreply 03:56:11

• qm01 qmdictionary 安徽大学物理学院 整数自旋只能用对易(对易ab=ba)，半整数自旋只能用反对易(反对易ab= -marketreflections- ♂ (129869 bytes) () 10/02/2011 postreply 01:45:49

• 两种对同一物理体系的再参数化方案是等价的 -marketreflections- ♂ (14802 bytes) () 10/02/2011 postreply 02:59:33

• Dirac01 topos01 与观察者有关的逻辑学 拓扑斯理论的时空观 如果有一个适用于宇宙学的逻辑的话，它必须建立在命题真 -marketreflections- ♂ (18726 bytes) () 10/02/2011 postreply 05:59:59

• 生活中的矢量都是非坐标矢量，因为矢量只有两个本质属性，即大小和方向。当把这个向量放在坐标系下，它就成了坐标矢量，就可以用坐标（x -marketreflections- ♂ (609 bytes) () 10/02/2011 postreply 06:31:50

• 黑天鹅- 挣钱不是问题- 挣钱不是问题- 不论我们假设世界符合怎样的模型，我们都难以知道模型的参数 -marketreflections- ♂ (1646 bytes) () 10/02/2011 postreply 06:48:30

• 希尔伯特曾写道：“在每个数学分支中，那些最初、最老的问题肯定是起源于经验……但是，随着一门数学分支的进一步发展……而只是借助于逻 -marketreflections- ♂ (4312 bytes) () 10/02/2011 postreply 06:57:30

• west01 数学真理属于 “西方文化中最难以动摇的元叙述 -marketreflections- ♂ (100349 bytes) () 10/02/2011 postreply 07:04:46

• 现代数学的问题实际上主要都是由牛顿和莱布尼茨的微积分所引起的，是由那个极限下的相等公式：dr/dt=lim(t0rt)所引起的。 -marketreflections- ♂ (773 bytes) () 10/02/2011 postreply 07:12:31

• no-go定理，这条定理指出，如果希尔伯特空间的维数大于2，就无法指望所有的量子理论算子能指派一个实数作为它们的值。用数学语言讲 -marketreflections- ♂ (823 bytes) () 10/02/2011 postreply 09:39:22

• 季候风：系统在某一时刻实际上确定地处于某个微观态, 只是我们不知道关于这个微观态的信息. 所以系综的使用是有条件的, 这就是 " -marketreflections- ♂ (13190 bytes) () 10/02/2011 postreply 18:33:02

• 国物理学家玻恩就发现算子增加与矩阵（数列）的增加其实是一回事。于是他把海森堡的结论统统搬到这种代数语境中来，拉开了最初的量子力学 -marketreflections- ♂ (1673 bytes) () 10/02/2011 postreply 18:49:43

• 谱01 年轻的沃纳•海森堡正在努力研究热气体发出的光。这些光谱的特殊之处在于，它们只表现出来某些特定的波长。在为这一 -marketreflections- ♂ (493 bytes) () 11/22/2011 postreply 17:39:54

• 客观逻辑的特点是没有绝对的偶然，从有限的几个逻辑起点，可以推演出某个逻辑的系统，系统内的大事小情都可以顺藤摸瓜的找到前家后家。这 -marketreflections- ♂ (341 bytes) () 11/22/2011 postreply 17:45:34

• phymath01 Everett 纵波光子的质量是非常大的 -marketreflections- ♂ (33533 bytes) () 10/01/2011 postreply 08:09:20

• 粒子﹙比如电子﹚做为一个独立的物理体系,涨落的产生是随机的，体系粒子数越少，其涨落的程度越显著,相位和粒子数共轭，一台可以测量相 -marketreflections- ♂ (2680 bytes) () 10/01/2011 postreply 08:39:28

• 对称性01 变换分做两类：连续变换：（为什么理论物理里面会用到李群是因为它是连续变换群,分立变换：（空间反射，时间反演，正反粒子 -marketreflections- ♂ (26079 bytes) () 10/01/2011 postreply 08:54:10

• cck01 Harry S. Dent, www.hsdent.com -marketreflections- ♂ (135 bytes) () 10/01/2011 postreply 12:46:22

• 小球位于“墨西哥帽”的顶端。这种位形是转动对称的。然而这种状态是不稳定的， ... 一个非常简单的例子就是圆环上的对称性。一个圆 -marketreflections- ♂ (22283 bytes) () 09/27/2011 postreply 15:20:36