黎曼球是数学专业术语。数学上,黎曼曲面是一种将
复数平面加上一个
无穷远点的扩张,使得下面这类公式至少在某种意义下有意义它由19世纪数学家
黎曼而得名。也称为复射影直线,记为 ,和扩充
复平面,记为 或者·从纯
代数的角度,复数加上一个无穷远点构成一个数系称为扩充复数。
简介
无穷远点的算数有时和一般的代数规则不符,因此扩充复数不构成一个代数域。但是,黎曼球面在几何和解析角度都行为良好,甚至在无穷远点也不例外;它是一个一
维复流形,也称
黎曼曲面。
复分析中,黎曼球面对于
亚纯函数这个优雅的理论很有帮助。黎曼球面在
射影几何和
代数几何中作为复流形、
射影空间和
代数簇的基本例子到处出现。它在涉及分析和几何的其他学科也很有用,譬如
量子力学和
物理学其他分支。
作为复流形
作为一维复流形,黎曼曲面可以由两个图卡描述,每个的定义域都是复数平面C.令ζ和ξ为C上的复坐标。将非零复数ζ和非零复数ξ用如下转移映射等同起来:
ζ = 1 / ξ,ξ = 1 / ζ.因为这些变换映射为
全纯函数,他们定义了一个复流形,称为黎曼球面。
拓扑上,最后的结果是从平面到球面的单点紧致化。但是,黎曼球面不单单是一个拓扑球面。它是具有
复结构的拓扑球面,所以球面上的每个点都有一个领域可以通过双全纯函数和C同胚。
另一方面,黎曼曲面分类的的中心结果
单值化定理,断言唯一的
单连通一维复流形为复平面、双曲平面、和黎曼球面。在这三者中,黎曼球面是唯一的
闭曲面(无
边界的
紧致曲面)。因此二维球面只有唯一的复结构将它变为一维复流形。
作为复射影线
黎曼球面也可以定义为复射影线。这也就是的C2子集,由所有非零复数对(α,β)构成,
模如下
等价关系:
(α,β) = (λα,λβ)对于所有非零复数λ成立。复平面C用坐标ζ,可以映射到复射影线:
(α,β) = (ζ,1).另一个C用坐标ξ也映射到复射影线
(α,β) = (1,ξ).这两个复图覆盖整个射影线。对于非零ξ,等同关系:
(1,ξ) = (1 / ξ,1) = (ζ,1)给出了变换映射ζ = 1 / ξ和ξ = 1 / ζ,同上文一致。
这个黎曼球面的定义和射影几何直接相关。例如任何复射影平面上的直线(或者光滑圆锥曲线)双全纯等价于复射影线。这个表达对于研究下文所述的球面的
自同构也很方便。
作为球面
从复数A到黎曼球面上的一点α的球极投影。
黎曼球面可以显示为三维实空间R3中的单位球面x + y + z = 1.为此,考虑从单位球减去一点(0,0,1)到(赤道)平面z = 0的
球极投影,可以将该平面等同于复平面ζ = x + iy.在
笛卡尔坐标系(x,y,z)和
球面坐标系(φ,θ)中(其中φ为天顶角而θ为方位角),该投影为
类似的,从(0,0, − 1)到z = 0平面的球极投影将另一份复平面ξ = x − iy等同于赤道平面,记为
(两份复平面和平面z = 0的对应方式不同。必须使用
定向翻转来保证球面上定向的一致性,实际上复共轭使得变换映射成为全纯函数。)ζ-坐标和ξ-坐标之间的变换函数可以通过将其中一个映射和另一个的逆的复合得到。它们就是如上所述的ζ = 1 / ξ和ξ = 1 / ζ。因此单位球面和黎曼球面
微分同胚。
在这个微分同胚下,ζ-图中的单位圆,ξ-图中的单位圆,以及单位球面的赤道可以等同起来。单位圆盘 | ζ | < 1和南半球面z < 0,单位圆盘 | ξ | < 1和北半球面z > 0分别等同。
度量
黎曼曲面没有特定的
黎曼度量。但是,黎曼曲面的复结构的确在共形等价下确定了唯一的度量。(两个度量称为共形等价,如果他们的区别只是一个正
光滑函数的因子。)反过来,
可定向曲面上的任意度量唯一的决定一个复结构,该结构在共形等价下依赖于该度量。因此可定向曲面的复结构和该曲面上的度量的共形类有一一对应。
给定共形类,可以用共形对称性找到一个有合适属性的代表度量。精确地讲,每个共形类总是有一个常曲率完备度量。
在黎曼球面的情况,
高斯-博内定理表明常曲率度量必须有正的
曲率K。因而该度量必须通过球极投影等度于R3中半径为1/√K的球面。对于黎曼球面上的ζ-图,K = 1度量可以给出如下:
在实坐标ζ = u + iv中,该公式为:
除了一个常数因子,该度量和
复射影空间(黎曼球面就是一个特例)中的富比尼-施图迪度量一样。
反过来,令S代表(作为
微分流形或者
拓扑流形的)球面。按照
单值化定理,存在唯一的S上的复结构。由此可见,S
自同构
作用于球面上以及作用于球极投影的平面上的莫比乌斯变换。
主条目:莫比乌斯变换理解数学对象的自同构
群有助于对该对象的研究,自同构也就是对象到自身保持其基本结构不变的映射。对于黎曼球面,自同构就是黎曼球面到自身的可逆
双全纯映射。唯一可能的这样的映射只有
莫比乌斯变换。这些变换有如下形式:
其中a、b、c、和d为复数,满足ad-bc≠0.莫比乌斯变换的例子包括
膨胀,
旋转,
平移,和复倒数。事实上,所有
莫比乌斯变换可以有这些特例的复合得到。
将莫比乌斯变换视作复射影线上的变换很有益。在射影坐标下,变换f可以写作
这样,莫比乌斯变换可以表述为
行列式非零的2*2复矩阵;两个矩阵产生同样的莫比乌斯变换当且仅当他们只差一个非零常数。这样莫比乌斯边喊恰好对应于射影
线性变换PGL2(c).
如果赋予黎曼球面富比尼-施图迪度量,则不是所有的莫比乌斯变换是等度的;例如膨胀和平移就不是。等度变换构成PGL2(c)的一个子群,也即PSU2.该子群同构于
旋转群SO(3),它是单位球在R3中的等度群。
应用
复分析中,复平面(或者任何黎曼曲面)上的的亚纯函数是两个全纯函数f和g的比值f / g.作为到复数的映射,任何g为零的地方,它就没有定义。但是,它引出了一个全纯映射(f,g)到复射影线,甚至在g = 0处也有定义。这个构造对于研究全纯和亚纯函数很有用。例如,紧致黎曼曲面上不存在存在非常数复值全纯映射,但是有很多到复射影线上的全纯映射。
黎曼球面有很多物理中的应用。量子力学中,复射影线上的点是
光子极化态,自旋为1/2的重
亚原子粒子和一般二态粒子的的
自旋态的自然取值。黎曼球面被推荐为天体球面的
广义相对论模型。
弦论中,弦的世界面是黎曼曲面,而黎曼球面作为最简单的黎曼曲面有重要的作用。它在扭子理论中也很重要。