查看“︁黎曼球面”︁的源代码

{{NoteTA
|G1 = Math
|1=zh-cn:數學對象;zh-tw:數學物件;
}}
[[File:Stereographic projection in 3D.png|thumb|right|黎曼球面可以视为复数平面（通过某种下文有详细介绍的立体投影）包在一个球外面]]

[[数学]]上，'''黎曼球面'''是一种将[[高斯平面|複數平面]]加上一个[[无穷远点]]的扩张，使得下面这类公式至少在某种意义下有意义：
:<math>\frac{1}{0} = \infty</math>
它由19世纪数学家[[黎曼]]而得名。也称为：
*'''複射影直线'''，记为 <math>\mathbb{CP}^1</math>，和
*'''扩充复平面'''，记为 <math>\mathbb{C^*}</math>或者<math>\mathbb{C} \cup \{ \infty \}</math>

从纯[[代数]]的角度，复数加上一个无穷远点构成一个数系称为'''扩充复数'''。无穷远点的算数有时和一般的代数规则不符，因此扩充复数不构成一个[[代数域]]。但是，黎曼球面在几何和解析角度都行为良好，甚至在无穷远点也不例外；它是一个一[[维]][[复流形]]，也称[[黎曼曲面]]。

[[复分析]]中，黎曼球面对于[[亚纯函数]]这个优雅的理论很有帮助。黎曼球面在[[射影几何]]和[[代数几何]]中作为复流形、[[射影空间]]和[[代数簇]]的基本例子到处出现。它在涉及分析和几何的其他学科也很有用，譬如[[量子力学]]和[[物理学]]其他分支。

==作为复流形==
作为一维复流形，黎曼曲面可以由两个图卡描述，每个的定义域都是复数平面<math>\mathbb{C}</math>。令<math>\zeta</math>和<math>\xi</math>为<math>\mathbb{C}</math>上的複座标。将非零复数<math>\zeta</math>和非零复数<math>\xi</math>用如下[[转移映射]]等同起来：
:<math>\zeta = \frac{1}{\xi}</math>
:<math>\xi = \frac{1}{\zeta}</math>
因为这些变换映射为[[全纯函数]]，它们定义了一个复流形，称为'''黎曼球面'''。

直观地来看，这些变换映射表示了如何将两个平面粘合成一个黎曼球面。两个面用一种“从裏翻出来”的方式粘合，所以它们几乎处处重合，每个平面（用自己的原点）贡献对方平面上缺少的一点。换言之，（几乎）所有黎曼球面上的点既有<math>\zeta</math>值也有<math>\xi</math>值，而两个值由<math>\zeta = 1 / \xi</math>关联。<math>\xi = 0</math>处的点应该具有<math>\zeta</math>值“<math>1 / 0</math>”；从这个意义上讲，<math>\xi</math>-图的原点是<math>\zeta</math>-图上的“<math>\infty</math>”。对称地，<math>\zeta</math>-图的原点对应于<math>\xi</math>-图上的<math>\infty</math>。

[[拓扑]]上，最后的结果是从平面到球面的[[紧致化|单点紧致化]]。但是，黎曼球面不单单是一个拓扑球面。它是具有[[复结构]]的拓扑球面，所以球面上的每个点都有一个领域可以通过双全纯函数和<math>\mathbb{C}</math>同胚。

另一方面，黎曼曲面分类的中心结果[[单值化定理]]，断言唯一的[[单连通]]一维复流形为复平面、[[双曲平面]]、和黎曼球面。在这三者中，黎曼球面是唯一的[[闭流形|闭曲面]]（无[[带边界流形|边界]]的[[紧致空间|紧致]]曲面）。因此二维球面只有唯一的复结构将它变为一维复流形。

==作为複射影线==

黎曼球面也可以定义为'''複射影线'''。这也就是<math>\mathbb{C}^2</math>的子集，由所有非零复数对<math>(\alpha, \beta)</math>构成，[[商拓扑|模]]如下[[等价关系]]：
:<math> (\alpha, \beta) = (\lambda \alpha, \lambda \beta)</math>
对于所有非零复数<math>\lambda</math>成立。复平面<math>\mathbb{C}</math>用座标<math>\zeta</math>，可以映射到複射影线：
:<math> (\alpha, \beta) = (\zeta, 1)</math>
另一个<math>\mathbb{C}</math>用座标<math>\xi</math>也映射到複射影线
:<math> (\alpha, \beta) = (1, \xi)</math>
这两个复图覆盖整个射影线。对于非零<math>\xi</math>，等同关系：
:<math>(1, \xi) = (1 / \xi, 1) = (\zeta, 1)</math>
给出了变换映射<math>\zeta = 1 / \xi</math>和<math>\xi = 1 / \zeta</math>，同上文一致。

这个黎曼球面的定义和射影几何直接相关。例如任何[[複射影平面]]上的直线（或者光滑圆锥曲线）双全纯等价于复射影线。这个表达对于研究下文所述的球面的[[自同构]]也很方便。

==作为球面==
[[File:Riemann sphere1.jpg|thumb|right|250px|从复数<math>A</math>到黎曼球面上的一点<math>\alpha</math>的球极投影]]

黎曼球面可以显示为三维实空间<math>\mathbb{R}^3</math>中的单位球面<math>x^2 + y^2 + z^2 = 1</math>。为此，考虑从单位球减去一点<math>(0,0,1)</math>到（赤道）平面<math>z=0</math>的[[球极投影]]，可以将该平面等同于复平面<math>\zeta = x + i y</math>.在[[笛卡尔坐标系]]<math>(x, y, z)</math>和[[球面坐标系]]<math>(\phi, \theta)</math>中（其中<math>\phi</math>为天顶角而<math>\theta</math>为方位角)，该投影为：
:<math>\zeta = \frac{x + i y}{1 - z} = \cot(\varphi / 2) \; e^{i \theta}</math>
类似的，从<math>(0, 0, -1)</math>到<math>z = 0</math>平面的球极投影将另一份复平面<math>\xi = x - i y</math>等同于赤道平面，记为：
:<math>\xi = \frac{x - i y}{1 + z} = \tan(\varphi / 2) \; e^{-i \theta}</math>
（两份复平面和平面<math>z = 0</math>的对应方式不同。必须使用[[定向]]翻转来保证球面上定向的一致性，实际上复共轭使得变换映射成为全纯函数。）<math>\zeta</math>-座标和<math>\xi</math>-座标之间的变换函数可以通过将其中一个映射和另一个的逆的复合得到。它们就是如上所述的<math>\zeta = 1 / \xi</math>和<math>\xi = 1 / \zeta</math>。因此单位球面和黎曼球面[[微分同胚]]。

在这个微分同胚下，<math>\zeta</math>-图中的单位圆，<math>\xi</math>-图中的单位圆，以及单位球面的赤道可以等同起来。单位圆盘<math>|\zeta| < 1</math>和南半球面<math>z < 0</math>，单位圆盘<math>|\xi| < 1</math>和北半球面<math>z > 0</math>分别等同。

==度量==

黎曼曲面没有特定的[[黎曼度量]]。但是，黎曼曲面的复结构的确在[[共形等价]]下确定了唯一的度量。（两个度量称为共形等价，如果他们的区别只是一个正[[光滑函数]]的因子。）反过来，[[可定向曲面]]上的任意度量唯一的决定一个复结构，该结构在共形等价下依赖于该度量。因此可定向曲面的复结构和该曲面上的度量的共形类有一一对应。

给定共形类，可以用共形对称性找到一个有合适属性的代表度量。精确地讲，每个共形类总是有一个[[常曲率]]完备度量。

在黎曼球面的情况，[[高斯-博内定理]]表明常曲率度量必须有正的[[高斯曲率|曲率]]''K''。因而该度量必须通过球极投影[[等度]]于<math>\mathbb{R}^3</math>中半径为<math>1 / \sqrt K</math>的球面。对于黎曼球面上的<math>\zeta</math>-图，<math>K = 1</math>度量可以给出如下：
:<math>ds^2 = \left(\frac{2}{1+|\zeta|^2}\right)^2\,|d\zeta|^2 = \frac{4}{\left(1 + \zeta \bar \zeta\right)^2}\,d\zeta d\bar \zeta</math>
在实座标<math>\zeta = u + iv</math>中，该公式为：
:<math>ds^2 = \frac{4}{\left(1 + u^2 + v^2\right)^2} \left(du^2 + dv^2\right)</math>
除了一个常数因子，该度量和复射影空间（黎曼球面就是一个特例）中的[[富比尼-施图迪度量]]一样。

反过来，令''S''代表（作为[[微分流形]]或者[[拓扑流形]]的）球面。按照[[单值化定理]]，存在唯一的''S''上的复结构。由此可见，''S''上的度量和球面度量共形等价。所有这样的度量构成一个共形类。因此“圆球”度量不是黎曼球面的内在度量，因为“圆形”并不是共形几何的不变量。黎曼球面只是一个共形流形而非黎曼流形。但是，如果需要用到黎曼球面上的黎曼度量，圆形度量是一个很自然的选择。

==自同构==
[[File:Mob3d-elip-opp-200.png|thumb|right|作用于球面上以及作用于球极投影的平面上的莫比乌斯变换]]
{{main|莫比乌斯变换}}
理解[[数学对象]]的自同构[[群]]有助于对该对象的研究，自同构也就是对象到自身保持其基本结构不变的映射。对于黎曼球面，自同构就是黎曼球面到自身的可逆双全纯映射。唯一可能的这样的映射只有[[莫比乌斯变换]]。这些变换有如下形式：
:<math>f(\zeta) = \frac{a \zeta + b}{c \zeta + d}</math>
其中<math>a</math>、<math>b</math>、<math>c</math>、和<math>d</math>为复数，满足<math>a d - b c \neq 0</math>。莫比乌斯变换的例子包括[[膨胀]]、[[旋转]]、[[平移]]和复倒数。事实上，所有莫比乌斯变换可以有这些特例的复合得到。

将莫比乌斯变换视作复射影线上的变换很有益。在射影座标下，变换<math>f</math>可以写作：
:<math>f(\alpha, \beta) = (a \alpha + b \beta, c \alpha + d \beta) = \begin{pmatrix} \alpha & \beta \end{pmatrix} \begin{pmatrix} a & c \\ b & d \end{pmatrix}</math>
这样，莫比乌斯变换可以表述为[[行列式]]非零的<math>2 \times 2</math>复矩阵；两个矩阵产生同样的莫比乌斯变换当且仅当他们只差一个非零常数。这样莫比乌斯变换恰好对应于射影[[线性变换]]<math>\mathrm{PGL}_2(\mathbb{C})</math>。

如果赋予黎曼球面[[富比尼-施图迪度量]]，则不是所有的莫比乌斯变换是等度的；例如膨胀和平移就不是。等度变换构成<math>\mathrm{PGL}_2(\mathbb{C})</math>的一个子群，也即<math>\mathrm{PSU}_2</math>.该子群同构于[[旋转群]]<math>\mathrm{SO}(3)</math>，它是单位球在<math>\mathbb{R}^3</math>中的等度群。

==应用==

复分析中，复平面（或者任何黎曼曲面）上的亚纯函数是两个全纯函数<math>f</math>和<math>g</math>的比值<math>f / g</math>。作为到复数的映射，任何<math>g</math>为零的地方，它就没有定义。但是，它引出了一个全纯映射<math>(f, g)</math>到复射影线，甚至在<math>g=0</math>处也有定义。这个构造对于研究全纯和亚纯函数很有用。例如，紧致黎曼曲面上不存在存在非常数复值全纯映射，但是有很多到复射影线上的全纯映射。

黎曼球面有很多物理中的应用。量子力学中，复射影线上的点是[[光子]][[极化]]态，自旋为1/2的重[[亚原子粒子]]和一般二态粒子的[[自旋]]态的自然取值。黎曼球面被推荐为[[天体球面]]的[[广义相对论]]模型。[[弦论]]中，弦的[[世界面]]是黎曼曲面，而黎曼球面作为最简单的黎曼曲面有重要的作用。它在[[扭子理论]]中也很重要。

==参考==

*{{cite book|author=Brown, James and Churchill, Ruel|title=Complex Variables and Applications|location=New York | publisher=McGraw-Hill|year=1989 |id=ISBN 0070109052}}
*{{cite book|author=Griffiths, Phillip and Harris, Joseph|title=Principles of Algebraic Geometry|publisher=John Wiley & Sons|year=1978|id=ISBN 0-471-32792-1}}
*{{cite book|authorlink=Roger Penrose|author=Penrose, Roger|title=The Road to Reality|url=https://archive.org/details/roadtorealitycom00penr_0|location=New York|publisher=Knopf|year=2005|id=ISBN 0-679-45443-8}}
*{{cite book|author=Rudin, Walter|title=Real and Complex Analysis|url=https://archive.org/details/realcomplexanaly0000rudi|location=New York | publisher=McGraw-Hill|year=1987|id=ISBN 0071002766}}

== 参看 ==

*[[共形几何]]
*[[交比]]
*[[霍普夫纤维化]]
*[[儿童画]]

==外部链接==
*[http://www.rdegraaf.nl/mirror/users.ox.ac.uk/~tweb/00006/index.shtml Twistor Theory]{{dead link|date=2018年5月 |bot=InternetArchiveBot |fix-attempted=yes }}, R. Penrose和F. Hadrovich
*[http://www.youtube.com/watch?v=JX3VmDgiFnY Moebius Transformations Revealed]{{Wayback|url=http://www.youtube.com/watch?v=JX3VmDgiFnY |date=20071217050434 }}, Douglas N. Arnold和Jonathan Rogness（两位明尼苏达大学教授所作视频，用球面上的球极投影解释莫比乌斯变换）

[[Category:黎曼曲面|L]]
[[Category:射影几何|L]]