族谱网 头条 人物百科

庞加莱半平面模型

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:1202
转发:0
评论:0
对称群射影线性群PGL(2,C)由莫比乌斯变换作用在黎曼球面上。保持上半平面不动的子群是PGL(2,R),这些变化的系数是实数,它们传递、等距作用在上半平面上,将它变成一个齐性空间。有四个非常相关的李群通过分式线性变换作用在上半平面上,且保持双曲距离。由行列式为+1的2×2实矩阵组成的特殊线性群SL(2,R)。注意许多书籍经常说SL(2,R),其实际是指PSL(2,R)。由行列式为+1或-1组成的2×2实矩阵S*L(2,R)。注意SL(2,R)是这个群的一个子群。射影线性群PSL(2,R)=SL(2,R)/{±I},由SL(2,R)中矩阵模去正负恒同矩阵。群PSL(2,R)=SL(2,R)/{±I}同样是射影群,同样是模去正负恒同矩阵。这些群与庞加莱模型的关系如下:H的所有等距的群,通常记做Isom(H),同构于PSL(2,R)。这包括保持定向和反定向的等距。反定向的映射(镜映射)是z→→...

对称群

射影线性群PGL(2,C) 由莫比乌斯变换作用在黎曼球面上。保持上半平面不动的子群是 PGL(2,R),这些变化的系数是实数,它们传递、等距作用在上半平面上,将它变成一个齐性空间。

有四个非常相关的李群通过分式线性变换作用在上半平面上,且保持双曲距离。

由行列式为 +1 的 2×2 实矩阵组成的特殊线性群SL(2,R)。注意许多书籍经常说 SL(2,R),其实际是指 PSL(2,R)。

由行列式为 +1 或 -1 组成的 2×2 实矩阵 S*L(2,R) 。注意 SL(2,R) 是这个群的一个子群。

射影线性群PSL(2,R)= SL(2,R)/{±I},由 SL(2,R) 中矩阵模去正负恒同矩阵。

群 PSL(2,R) = SL(2,R)/{±I} 同样是射影群,同样是模去正负恒同矩阵。

这些群与庞加莱模型的关系如下:

H 的所有等距的群,通常记做 Isom(H),同构于 PSL(2,R)。这包括保持定向和反定向的等距。反定向的映射(镜映射)是 z→ → -->− − -->z¯ ¯ -->{\displaystyle z\rightarrow -{\overline {z}}}。

H 保持定向的等距,通常记做 Isom(H),同构于 PSL(2,R)。

等距群的一些重要的子群是富克斯群。其中一个经常见到的是模群 SL(2,Z)。这个群在两个方面很重要。首先,它是正方形 2×2 格点的对称群。从而在一个方形网格中周期函数,比如模形式以及椭圆函数,将从这个网格继承一个 SL(2,Z) 对称。另一方面,SL(2,Z) 当然也是 SL(2,R) 的一个子群,从而嵌入其中有双曲表现。特别地,SL(2,Z) 可用来将双曲平面镶嵌为等(庞加莱)面积的单元。

等距对称

特殊线性群PSL(2,R) 在 H 上的作用定义为

注意到这个作用是传递的,从而任何对 z1,z2∈ ∈ -->H{\displaystyle z_{1},z_{2}\in \mathbb {H} },存在一个 g∈ ∈ -->PSL(2,R){\displaystyle g\in {\rm {PSL}}(2,\mathbb {R} )} 使得 gz1=z2{\displaystyle gz_{1}=z_{2}}。这个作用也是忠实的:如果对 z 属于 H 有 gz=z{\displaystyle gz=z},那么 g=e。

H 中一个元素 z稳定子或迷向子群是所有 g∈ ∈ -->PSL(2,R){\displaystyle g\in {\rm {PSL}}(2,\mathbb {R} )} 使 z 不变 gz=z 的集合。i{\displaystyle i} 的稳定子是旋转群

由传递性,H" 中任何元素 z 可由 PSL(2,R) 中一个元素映为 i{\displaystyle i},这意味着任何 z 的迷向子群同构于 SO(2)。从而 H = PSL(2,R)/SO(2)。或者,上半平面上的切向量丛,称为单位切丛,同构于 PSL(2,R)。

利用模群 SL(2,Z),上半平面镶嵌成自由正则集合(free regular set)。

测地线

这个度量张量的测地线是垂直于实数轴的圆弧(即圆心位于实轴上的半圆周)以及终于实轴的竖直直线。

经过 i{\displaystyle i} 的单位速度竖直测地线为:

因为 PSL(2,R) 作为等距传递作用在上半平面,这条测地线通过 PSL(2,R) 的作用映到其它测地线。从而,一般的单位速度测地线由

给出。这给出了上半平面上单位长切丛(复线丛)测地流的完整描述。

另见

平行角(Angle of parallelism)

阿诺索夫流(Anosov flow)

富克斯群(Fuchsian group)

富克斯模型(Fuchsian model)

克莱因群(Kleinian group)

克莱因模型

庞加莱度量

庞加莱圆盘模型(Poincaré disk model)

伪球面(Pseudosphere)

施瓦茨-阿尔福斯-皮克定理(Schwarz-Alhfors-Pick theorem)

超平行定理(Ultraparallel theorem)

参考文献

Eugenio Beltrami, Theoria fondamentale delgi spazil di curvatura constanta, Annali. di Mat., ser II 2 (1868), 232-255

Henri Poincaré (1882) "Théorie des Groupes Fuchsiens", Acta Mathematica v.1,p.1.First article in a legendary series exploiting half-plane model.On page 52 one can see an example of the semicircle diagrams so characteristic of the model.

Hershel M. Farkas and Irwin Kra, Riemann Surfaces (1980), Springer-Verlag, New York. ISBN 0-387-90465-4.

Jurgen Jost, Compact Riemann Surfaces (2002), Springer-Verlag, New York. ISBN 3-540-43299-X (See Section 2.3).

Saul Stahl, The Poincaré Half-Plane, Jones and Bartlett, 1993, ISBN 0-86720-298-X.

John Stillwell (1998) Numbers and Geometry,pp.100-104, Springer-Verlag,NY ISBN 0-387-98289-2 .An elementary introduction to the Poincaré half-plane model of the hyperbolic plane.


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 庞加莱圆盘模型
距离函数如果u和v是赋以通常欧几里得范数的n维向量空间R中两个向量,两者范数都小于1,则我们可以定义一个等距不变量为:这里||*||表示通常的欧几里得范数。那么距离函数是这样的距离函数对任何两个范数小于1的向量有定义,将这样的向量集合变为一个度量空间,这是一个具有常曲率-1的双曲空间模型。这个模型具有共形性质,双曲空间中两条曲线相交的角度与在这个模型中的欧几里得角度相同。度量形式庞加莱圆盘模型的度量形式是:与双曲面模型的关系庞加莱圆盘模型,和克莱因模型一样,都与双曲面模型射影相关。如果我们有双曲面模型中双曲面的上叶中一点[t,x1,...,xn],这样就定义了双曲面模型中一点,我们可以通过与[-1,0,...,0]连接一条直线将其投影到超曲面t=0上,所得是庞加莱圆盘模型中的对应点。过两点的直线解析几何中一个基本构造是寻找过两个定点的一条直线。在庞加莱圆盘模型中,平面上的直线定义为具有如下...
· 庞加莱奖
获奖人
· 庞加莱群
基本解释等距同构是一种事物在事件间的时空轨迹上的移动方式,而这样做是不会影响原时的。例如,所有事件被延后了两小时,而这两小时中包括了两项事件,以及你从事件一到事件二的路径,那么你的计时器所量度出的,两事件间的时间间距会是一样的。又例如,所有事物被移到西边五公里外的地方,那么你所量度出的时间间距也不会改变。而这种移动的结果是不会影响棍子长度的。如果我们无视重力效应的话,那么一共有十种移动方式:在时间上的平移,在三维空间中任一维上的平移,在三条空间轴上任一条的(定角)旋转,或三维任一方向上的直线性洛伦兹变换,因此是1+3+3+3=10。如果将这种等距同构结合起来(即执行一个之后再执行另一个),那么所得的结果也会是等距同构(然而,这一般来说只限于上述十种基本移动之间的线性组合)。这些等距同构因此形成了一个群。也就是说,它们当中存在单位元(即不移动,停留在原先的地方)及逆元(将事物移动回原先的位置...
· 庞加莱度量
黎曼曲面上的度量概要复平面上的度量可写成一般形式这里λ是z与z¯¯-->{\displaystyle{\overline{z}}}的一个实正函数。复平面上曲线γ的长度为复平面上子集M之面积是这里∧∧-->{\displaystyle\wedge}是用于构造体积形式的外积。度量的行列式等于λλ-->4{\displaystyle\lambda^{4}},故而行列式的平方根是λλ-->2{\displaystyle\lambda^{欧几里得复平面上的欧几里得体积形式为dx∧∧-->dy{\displaystyledx\wedgedy},从而我们有函数ΦΦ-->(z,z¯¯-->){\displaystyle\Phi(z,{\overline{z}})}称为度量的势能(potentialofthemetric),如果拉普拉斯–贝尔特拉米算子为度量的高斯曲...
· 庞加莱猜想
基本描述在1900年,庞加莱曾声称,用他基于恩里科·贝蒂的工作而发展出的同调论,可以判定一个三维流形是否三维球面。不过,他在1904年发表的一篇论文中,举出了一个反例,现在称为庞加莱同调球面,与三维球面有相同的同调群。他引进了一个新的拓扑不变量,称为基本群,并且证明他的反例与三维球面的基本群不同。三维球面有平凡基本群,也就是说是单连通的。他提出以下猜想:上述简单来说就是:每一个没有破洞的封闭三维物体,都拓扑等价于三维的球面。粗浅的比喻即为:如果我们伸缩围绕一个柳橙表面的橡皮筋,那么我们可以既不扯断它,也不让它离开表面,使它慢慢移动收缩为一个点;另一方面,如果我们想象同样的橡皮筋以适当的方向被伸缩在一个甜甜圈表面上,那么不扯断橡皮筋或者甜甜圈,是没有办法把它不离开表面而又收缩到一点的。我们说,柳橙表面是“单连通的”,而甜甜圈表面则不是。该猜想是一个属于代数拓扑学领域的具有基本意义的命题,对“...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信