數學上，黎曼球面是一種將複數平面加上一個無窮遠點的擴張，使得下面這類公式至少在某種意義下有意義： frac 10 infty 它由 19 世紀數學家黎曼而得名。也稱為： 複射影直線，記為 mathbb CP1，和 擴充複平面，記為 mathbb C 或者 mathbb C cup infty 從純代數的角度，複數加上一個無窮遠點構成一個數系稱為擴充複數。無窮遠點的算數有時和一般的代數規則不符，因此擴充複數不構成一個代數域。但是，黎曼球面在幾何和解析角度都行為良好，甚至在無窮遠點也不例外；它是一個一維複流形，也稱黎曼曲面。 複分析中，黎曼球面對於亞純函式這個優雅的理論很有幫助。黎曼球面在射影幾何和代數幾何中作為複流形、射影空間和代數簇的基本例子到處出現。它在涉及分析和幾何的其他學科也很有用，譬如量子力學和物理學其他分支。 作為複流形 作為一維複流形，黎曼曲面可以由兩個圖卡描述，每個的定義域都是複數平面 mathbb C。令 zeta 和 xi 為 mathbb C 上的複座標。將非零複數 zeta 和非零複數 xi 用如下轉移對映等同起來： zeta frac 1xi xi frac 1zeta 因為這些變換對映為全純函式，它們定義了一個複流形，稱為黎曼球面。 直觀地來看，這些變換對映表示瞭如何將兩個平面粘合成一個黎曼球面。兩個面用一種 從裡翻出來 的方式粘合，所以它們幾乎處處重合，每個平面（用自己的原點）貢獻對方平面上缺少的一點。換言之，（幾乎）所有黎曼球面上的點既有 zeta 值也有 xi 值，而兩個值由 zeta 1 xi 關聯。xi 0 處的點應該具有 zeta 值 1 0；從這個意義上講，xi 圖的原點是 zeta 圖上的 infty。對稱地，zeta 圖的原點對應於 xi 圖上的 infty。 拓撲上，最後的結果是從平面到球面的單點緊緻化。但是，黎曼球面不單單是一個拓撲球面。它是具有復結構的拓撲球面，所以球面上的每個點都有一個領域可以透過雙全純函式和 mathbb C 同胚。 另一方面，黎曼曲面分類的中心結果單值化定理，斷言唯一的單連通一維複流形為複平面、雙曲平面、和黎曼球面。在這三者中，黎曼球面是唯一的閉曲面（無邊界的緊緻曲面）。因此二維球面只有唯一的復結構將它變為一維複流形。 作為複射影線 黎曼球面也可以定義為複射影線。這也就是 mathbb C2 的子集，由所有非零複數對 alpha beta 構成，模如下等價關係： alpha beta lambda alpha lambda beta 對於所有非零複數 lambda 成立。複平面 mathbb C 用座標 zeta，可以對映到複射影線： alpha beta zeta 1 另一個 mathbb C 用座標 xi 也對映到複射影線 alpha beta 1 xi 這兩個復圖覆蓋整個射影線。對於非零 xi，等同關係： 1 xi 1 xi 1 zeta 1 給出了變換對映 zeta 1 xi 和 xi 1 zeta，同上文一致。 這個黎曼球面的定義和射影幾何直接相關。例如任何複射影平面上的直線（或者光滑圓錐曲線）雙全純等價於復射影線。這個表達對於研究下文所述的球面的自同構也很方便。 作為球面 黎曼球面可以顯示為三維實空間 mathbb R3 中的單位球面 x2 y2 z2 1。為此，考慮從單位球減去一點 001 到（赤道）平面 z0 的球極投影，可以將該平面等同於複平面 zeta x i y 在笛卡爾座標系 x y z 和球面座標系 phi theta 中（其中 phi 為天頂角而 theta 為方位角，該投影為： zeta frac x i y1 z cot varphi 2 ei theta 類似的，從 0 0 1 到 z 0 平面的球極投影將另一份複平面 xi x i y 等同於赤道平面，記為： xi frac x i y1 z tan varphi 2 ei theta （兩份複平面和平面 z 0 的對應方式不同。必須使用定向翻轉來保證球面上定向的一致性，實際上覆共軛使得變換對映成為全純函式。）zeta 座標和 xi 座標之間的變換函式可以透過將其中一個對映和另一個的逆的複合得到。它們就是如上所述的 zeta 1 xi 和 xi 1 zeta。因此單位球面和黎曼球面微分同胚。 在這個微分同胚下，zeta 圖中的單位圓，xi 圖中的單位圓，以及單位球面的赤道可以等同起來。單位圓盤 zeta 1 和南半球面 z 0，單位圓盤 xi 1 和北半球面 z 0 分別等同。 度量 黎曼曲面沒有特定的黎曼度量。但是，黎曼曲面的復結構的確在共形等價下確定了唯一的度量。（兩個度量稱為共形等價，如果他們的區別只是一個正光滑函式的因子。）反過來，可定向曲面上的任意度量唯一的決定一個復結構，該結構在共形等價下依賴於該度量。因此可定向曲面的復結構和該曲面上的度量的共形類有一一對應。 給定共形類，可以用共形對稱性找到一個有合適屬性的代表度量。精確地講，每個共形類總是有一個常曲率完備度量。 在黎曼球面的情況，高斯 博內定理表明常曲率度量必須有正的曲率 K。因而該度量必須透過球極投影等度於 mathbb R3 中半徑為 1 sqrt K 的球面。對於黎曼球面上的 zeta 圖，K 1 度量可以給出如下： ds2 left frac 21zeta2right2dzeta2 frac 4left 1 zeta bar zetaright2dzeta dbar zeta 在實座標 zeta u iv 中，該公式為： ds2 frac 4left 1 u2 v2right2 left du2 dv2right 除了一個常數因子，該度量和復射影空間（黎曼球面就是一個特例）中的富比尼 施圖迪度量一樣。 反過來，令 S 代表（作為微分流形或者拓撲流形的）球面。按照單值化定理，存在唯一的 S 上的復結構。由此可見，S 上的度量和球面度量共形等價。所有這樣的度量構成一個共形類。因此 圓球 度量不是黎曼球面的內在度量，因為 圓形 並不是共形幾何的不變數。黎曼球面只是一個共形流形而非黎曼流形。但是，如果需要用到黎曼球面上的黎曼度量，圓形度量是一個很自然的選擇。 自同構 理解數學物件的自同構群有助於對該物件的研究，自同構也就是物件到自身保持其基本結構不變的對映。對於黎曼球面，自同構就是黎曼球面到自身的可逆雙全純對映。唯一可能的這樣的對映只有莫比烏斯變換。這些變換有如下形式： f zeta frac a zeta bc zeta d 其中 a、b、c、和 d 為複數，滿足 a d b c neq 0。莫比烏斯變換的例子包括膨脹、旋轉、平移和復倒數。事實上，所有莫比烏斯變換可以有這些特例的複合得到。 將莫比烏斯變換視作復射影線上的變換很有益。在射影座標下，變換 f 可以寫作： 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 這樣，莫比烏斯變換可以表述為行列式非零的 2 times 2 復矩陣；兩個矩陣產生同樣的莫比烏斯變換當且僅當他們只差一個非零常數。這樣莫比烏斯變換恰好對應於射影線性變換 mathrm PGL_2 mathbb C。 如果賦予黎曼球面富比尼 施圖迪度量，則不是所有的莫比烏斯變換是等度的；例如膨脹和平移就不是。等度變換構成 mathrm PGL_2 mathbb C 的一個子群，也即 mathrm PSU_2 該子群同構於旋轉群 mathrm SO3，它是單位球在 mathbb R3 中的等度群。 應用 複分析中，複平面（或者任何黎曼曲面）上的亞純函式是兩個全純函式 f 和 g 的比值 f g。作為到複數的對映，任何 g 為零的地方，它就沒有定義。但是，它引出了一個全純對映 f g 到復射影線，甚至在 g0 處也有定義。這個構造對於研究全純和亞純函式很有用。例如，緊緻黎曼曲面上不存在存在非常數復值全純對映，但是有很多到復射影線上的全純對映。 黎曼球面有很多物理中的應用。量子力學中，復射影線上的點是光子極化態，自旋為 12 的重亞原子粒子和一般二態粒子的自旋態的自然取值。黎曼球面被推薦為天體球面的廣義相對論模型。弦論中，弦的世介面是黎曼曲面，而黎曼球面作為最簡單的黎曼曲面有重要的作用。它在扭子理論中也很重要。 參考 參看 共形幾何 交比 霍普夫纖維化 兒童畫 外部連結 Twistor Theory R Penrose 和 F Hadrovich Moebius Transformations Revealed Douglas N Arnold 和 Jonathan Rogness（兩位明尼蘇達大學教授所作影片，用球面上的球極投影解釋莫比烏斯變換） L L