黎曼球面可以視為複數平面(通過某種下文有詳細介紹的立體投影)包在一個球外面。
數學上,黎曼球面是一種將複數平面加上一個無窮遠點的擴張,使得下面這類公式至少在某種意義下有意義
![{\displaystyle {\frac {1}{0}}=\infty .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c43b9e4ec80d5eae7a44c3fe0f20a2c5b24c7657)
它由19世紀數學家黎曼而得名。也稱為
- 複射影直線,記為
,和
- 擴充複數平面,記為
或者
.
從純代數的角度,複數加上一個無窮遠點構成一個數系稱為擴充複數。無窮遠點的算數有時和一般的代數規則不符,因此擴充複數不構成一個代數體。但是,黎曼球面在幾何和解析角度都行為良好,甚至在無窮遠點也不例外;它是一個一維複流形,也稱黎曼曲面。
複分析中,黎曼球面對於亞純函數這個優雅的理論很有幫助。黎曼球面在射影幾何和代數幾何中作為複流形、射影空間和代數簇的基本例子到處出現。它在涉及分析和幾何的其他學科也很有用,譬如量子力學和物理學其他分支。
作為複流形[編輯]
作為一維複流形,黎曼曲面可以由兩個圖卡描述,每個的定義域都是複數平面
.令
和
為
上的複座標。將非零複數
和非零複數
用如下轉移映射等同起來:
![{\displaystyle \zeta ={\frac {1}{\xi }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25c6c9b297e36050b5babadc4a151bb1d112fdee)
![{\displaystyle \xi ={\frac {1}{\zeta }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47b2be2581ce72d4cac174201ee05ee81c532dfa)
因為這些轉換映射為全純函數,他們定義了一個複流形,稱為黎曼球面。
直觀地來看,這些轉換映射表示了如何將兩個平面粘合成一個黎曼球面。兩個面用一種"從裏翻出來"的方式粘合,所以他們幾乎處處重合,每個平面(用自己的原點)貢獻對方平面上缺少的一點。換言之,(幾乎)所有黎曼球面上的點既有
值也有
值,而兩個值由
關聯。
處的點應該具有
值 "
";從這個意義上講,
-圖的原點是
-圖上的"
"。對稱地,
-圖的原點對應於
-圖上的
.
拓撲上,最後的結果是從平面到球面的單點緊緻化。但是,黎曼球面不單單是一個拓撲球面。它是具有複結構的拓撲球面,所以球面上的每個點都有一個領域可以通過雙全純函數和
同胚。
另一方面,黎曼曲面分類的中心結果單值化定理,斷言唯一的單連通一維複流形為複數平面、雙曲平面、和黎曼球面。在這三者中,黎曼球面是唯一的閉曲面(無邊界的緊緻曲面)。因此二維球面只有唯一的複結構將它變為一維複流形。
作為複射影線[編輯]
黎曼球面也可以定義為複射影線。這也就是
的子集,由所有非零複數對
構成,模如下等價關係:
![{\displaystyle (\alpha ,\beta )=(\lambda \alpha ,\lambda \beta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9ab23b81a05ad7f8c4936dab5a9b58a3095efaa)
對於所有非零複數
成立。複數平面
用座標
,可以映射到複射影線:
![{\displaystyle (\alpha ,\beta )=(\zeta ,1).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b72527521b833e363c07f168f1aa8711d694d4b5)
另一個
用座標
也映射到複射影線
![{\displaystyle (\alpha ,\beta )=(1,\xi ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a62a2113bfffc81c49928368f049416fae61f3fa)
這兩個復圖覆蓋整個射影線。對於非零
,等同關係:
![{\displaystyle (1,\xi )=(1/\xi ,1)=(\zeta ,1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/530a788e05a7abe3ac09fd3fe60f2694b3ad9dd8)
給出了轉換映射
和
,同上文一致。
這個黎曼球面的定義和射影幾何直接相關。例如任何複射影平面上的直線(或者光滑圓錐曲線)雙全純等價於複射影線。這個表達對於研究下文所述的球面的自同構也很方便。
作為球面[編輯]
從複數
到黎曼球面上的一點
的球極投影。
黎曼球面可以顯示為三維實空間
中的單位球面
.為此,考慮從單位球減去一點
到(赤道)平面
的球極投影,可以將該平面等同於複數平面
.在笛卡爾坐標系
和球面坐標系
中(其中
為天頂角而
為方位角),該投影為
![{\displaystyle \zeta ={\frac {x+iy}{1-z}}=\cot(\varphi /2)\;e^{i\theta }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e27770336d4c7cee244fe1c7e13d6287663d488)
類似的,從
到
平面的球極投影將另一份複數平面
等同於赤道平面,記為
![{\displaystyle \xi ={\frac {x-iy}{1+z}}=\tan(\varphi /2)\;e^{-i\theta }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82bf0bdfe2589ea67cc9521b2426e0cba61b4da1)
(兩份複數平面和平面
的對應方式不同。必須使用定向翻轉來保證球面上定向的一致性,實際上複共軛使得轉換映射成為全純函數。)
-座標和
-座標之間的轉換函數可以通過將其中一個映射和另一個的逆的複合得到。它們就是如上所述的
和
。因此單位球面和黎曼球面微分同胚。
在這個微分同胚下,
-圖中的單位圓,
-圖中的單位圓,以及單位球面的赤道可以等同起來。單位圓盤
和南半球面
,單位圓盤
和北半球面
分別等同。
黎曼曲面沒有特定的黎曼度量。但是,黎曼曲面的複結構的確在共形等價下確定了唯一的度量。(兩個度量稱為共形等價,如果他們的區別只是一個正光滑函數的因子。)反過來,可定向曲面上的任意度量唯一的決定一個複結構,該結構在共形等價下依賴於該度量。因此可定向曲面的複結構和該曲面上的度量的共形類有一一對應。
給定共形類,可以用共形對稱性找到一個有合適屬性的代表度量。精確地講,每個共形類總是有一個常曲率完備度量。
在黎曼球面的情況,高斯-博內定理表明常曲率度量必須有正的曲率K。因而該度量必須通過球極投影等度於
中半徑為
的球面。對於黎曼球面上的
-圖,
度量可以給出如下:
![{\displaystyle 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 }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bf9920d474c8480c5280e52473146fdd17dd8e9)
在實座標
中,該公式為:
![{\displaystyle ds^{2}={\frac {4}{\left(1+u^{2}+v^{2}\right)^{2}}}\left(du^{2}+dv^{2}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b10b05de6d2e9e8086febab8c1273fe687397a7)
除了一個常數因子,該度量和複射影空間(黎曼球面就是一個特例)中的富比尼-施圖迪度量一樣。
反過來,令S代表(作為微分流形或者拓撲流形的)球面。按照單值化定理,存在唯一的S上的複結構。由此可見,S上的度量和球面度量共形等價。所有這樣的度量構成一個共形類。因此"圓球"度量不是黎曼球面的內在度量,因為"圓形"並不是共形幾何的不變量。黎曼球面只是一個共形流形而非黎曼流形。但是,如果需要用到黎曼球面上的黎曼度量,圓形度量是一個很自然的選擇。
自同構[編輯]
作用於球面上以及作用於球極投影的平面上的莫比烏斯轉換。
理解數學物件的自同構群有助於對該物件的研究,自同構也就是物件到自身保持其基本結構不變的映射。對於黎曼球面,自同構就是黎曼球面到自身的可逆雙全純映射。唯一可能的這樣的映射只有莫比烏斯轉換。這些轉換有如下形式:
![{\displaystyle f(\zeta )={\frac {a\zeta +b}{c\zeta +d}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11e460def870d436918342949cb50239f8a899d1)
其中
、
、
、和
為複數,滿足
.莫比烏斯轉換的例子包括膨脹,旋轉,平移,和復倒數。事實上,所有莫比烏斯轉換可以有這些特例的複合得到。
將莫比烏斯轉換視作複射影線上的轉換很有益。在射影座標下,轉換
可以寫作
![{\displaystyle 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}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e75013889b67897ceb06211b1d6bacdb4631498)
這樣,莫比烏斯轉換可以表述為行列式非零的
複矩陣;兩個矩陣產生同樣的莫比烏斯轉換當且僅當他們只差一個非零常數。這樣莫比烏斯轉換恰好對應於射影線性轉換
.
如果賦予黎曼球面富比尼-施圖迪度量,則不是所有的莫比烏斯轉換是等度的;例如膨脹和平移就不是。等度轉換構成
的一個子群,也即
.該子群同構於旋轉群
,它是單位球在
中的等度群。
複分析中,複數平面(或者任何黎曼曲面)上的亞純函數是兩個全純函數
和
的比值
.作為到複數的映射,任何
為零的地方,它就沒有定義。但是,它引出了一個全純映射
到複射影線,甚至在
處也有定義。這個構造對於研究全純和亞純函數很有用。例如,緊緻黎曼曲面上不存在存在非常數複值全純映射,但是有很多到複射影線上的全純映射。
黎曼球面有很多物理中的應用。量子力學中,複射影線上的點是光子極化態,自旋為1/2的重亞原子粒子和一般二態粒子的自旋態的自然取值。黎曼球面被推薦為天體球面的廣義相對論模型。弦論中,弦的世界面是黎曼曲面,而黎曼球面作為最簡單的黎曼曲面有重要的作用。它在扭子理論中也很重要。
外部連結[編輯]