本頁使用了標題或全文手工轉換

黎曼球面

維基百科,自由的百科全書
前往: 導覽搜尋
黎曼球面可以視為複數平面(通過某種下文有詳細介紹的立體投影)包在一個球外面。

數學上,黎曼球面是一種將複數平面加上一個無窮遠點的擴張,使得下面這類公式至少在某種意義下有意義

它由19世紀數學家黎曼而得名。也稱為

  • 複射影直線,記為 ,和
  • 擴充複數平面,記為 或者.

從純代數的角度,複數加上一個無窮遠點構成一個數系稱為擴充複數。無窮遠點的算數有時和一般的代數規則不符,因此擴充複數不構成一個代數體。但是,黎曼球面在幾何和解析角度都行為良好,甚至在無窮遠點也不例外;它是一個一複流形,也稱黎曼曲面

複分析中,黎曼球面對於亞純函數這個優雅的理論很有幫助。黎曼球面在射影幾何代數幾何中作為複流形、射影空間代數簇的基本例子到處出現。它在涉及分析和幾何的其他學科也很有用,譬如量子力學物理學其他分支。

作為複流形[編輯]

作為一維複流形,黎曼曲面可以由兩個圖卡描述,每個的定義域都是複數平面.令上的複座標。將非零複數和非零複數用如下轉移映射等同起來:

因為這些變換映射為全純函數,他們定義了一個複流形,稱為黎曼球面

直觀地來看,這些變換映射表示了如何將兩個平面粘合成一個黎曼球面。兩個面用一種"從裏翻出來"的方式粘合,所以他們幾乎處處重合,每個平面(用自己的原點)貢獻對方平面上缺少的一點。換言之,(幾乎)所有黎曼球面上的點既有值也有值,而兩個值由關聯。處的點應該具有值 "";從這個意義上講,-圖的原點是-圖上的""。對稱地,-圖的原點對應於-圖上的.

拓樸上,最後的結果是從平面到球面的單點緊緻化。但是,黎曼球面不單單是一個拓樸球面。它是具有複結構的拓樸球面,所以球面上的每個點都有一個領域可以通過雙全純函數同胚。

另一方面,黎曼曲面分類的的中心結果單值化定理,斷言唯一的單連通一維複流形為複數平面、雙曲平面、和黎曼球面。在這三者中,黎曼球面是唯一的閉曲面(無邊界緊緻曲面)。因此二維球面只有唯一的複結構將它變為一維複流形。

作為複射影線[編輯]

黎曼球面也可以定義為複射影線。這也就是的子集,由所有非零複數對構成,如下等價關係:

對於所有非零複數成立。複數平面用座標,可以映射到複射影線:

另一個用座標也映射到複射影線

這兩個復圖覆蓋整個射影線。對於非零,等同關係:

給出了變換映射,同上文一致。

這個黎曼球面的定義和射影幾何直接相關。例如任何複射影平面上的直線(或者光滑圓錐曲線)雙全純等價於複射影線。這個表達對於研究下文所述的球面的自同構也很方便。

作為球面[編輯]

從複數到黎曼球面上的一點的球極投影。

黎曼球面可以顯示為三維實空間中的單位球面.為此,考慮從單位球減去一點到(赤道)平面球極投影,可以將該平面等同於複數平面.在笛卡爾座標系球面座標系中(其中為天頂角而為方位角),該投影為

類似的,從平面的球極投影將另一份複數平面等同於赤道平面,記為

(兩份複數平面和平面的對應方式不同。必須使用定向翻轉來保證球面上定向的一致性,實際上複共軛使得變換映射成為全純函數。)-座標和-座標之間的變換函數可以通過將其中一個映射和另一個的逆的複合得到。它們就是如上所述的。因此單位球面和黎曼球面微分同胚

在這個微分同胚下,-圖中的單位圓,-圖中的單位圓,以及單位球面的赤道可以等同起來。單位圓盤和南半球面,單位圓盤和北半球面分別等同。

度量[編輯]

黎曼曲面沒有特定的黎曼度量。但是,黎曼曲面的複結構的確在共形等價下確定了唯一的度量。(兩個度量稱為共形等價,如果他們的區別只是一個正光滑函數的因子。)反過來,可定向曲面上的任意度量唯一的決定一個複結構,該結構在共形等價下依賴於該度量。因此可定向曲面的複結構和該曲面上的度量的共形類有一一對應。

給定共形類,可以用共形對稱性找到一個有合適屬性的代表度量。精確地講,每個共形類總是有一個常曲率完備度量。

在黎曼球面的情況,高斯-博內定理表明常曲率度量必須有正的曲率K。因而該度量必須通過球極投影等度中半徑為的球面。對於黎曼球面上的-圖,度量可以給出如下:

在實座標中,該公式為:

除了一個常數因子,該度量和複射影空間(黎曼球面就是一個特例)中的富比尼-施圖迪度量一樣。

反過來,令S代表(作為微分流形或者拓樸流形的)球面。按照單值化定理,存在唯一的S上的複結構。由此可見,S上的度量和球面度量共形等價。所有這樣的度量構成一個共形類。因此"圓球"度量不是黎曼球面的內在度量,因為"圓形"並不是共形幾何的不變量。黎曼球面只是一個共形流形而非黎曼流形。但是,如果需要用到黎曼球面上的黎曼度量,圓形度量是一個很自然的選擇。

自同構[編輯]

作用於球面上以及作用於球極投影的平面上的莫比烏斯變換。

理解數學對象的自同構有助於對該對象的研究,自同構也就是對象到自身保持其基本結構不變的映射。對於黎曼球面,自同構就是黎曼球面到自身的可逆雙全純映射。唯一可能的這樣的映射只有莫比烏斯變換。這些變換有如下形式:

其中、和為複數,滿足.莫比烏斯變換的例子包括膨脹旋轉平移,和復倒數。事實上,所有莫比烏斯變換可以有這些特例的複合得到。

將莫比烏斯變換視作複射影線上的變換很有益。在射影座標下,變換可以寫作

這樣,莫比烏斯變換可以表述為行列式非零的複矩陣;兩個矩陣產生同樣的莫比烏斯變換若且唯若他們只差一個非零常數。這樣莫比烏斯變換恰好對應於射影線性變換.

如果賦予黎曼球面富比尼-施圖迪度量,則不是所有的莫比烏斯變換是等度的;例如膨脹和平移就不是。等度變換構成的一個子群,也即.該子群同構於旋轉群,它是單位球在中的等度群。

應用[編輯]

複分析中,複數平面(或者任何黎曼曲面)上的的亞純函數是兩個全純函數的比值.作為到複數的映射,任何為零的地方,它就沒有定義。但是,它引出了一個全純映射到複射影線,甚至在處也有定義。這個構造對於研究全純和亞純函數很有用。例如,緊緻黎曼曲面上不存在存在非常數複值全純映射,但是有很多到複射影線上的全純映射。

黎曼球面有很多物理中的應用。量子力學中,複射影線上的點是光子極化態,自旋為1/2的重亞原子粒子和一般二態粒子的的自旋態的自然取值。黎曼球面被推薦為天體球面廣義相對論模型。弦論中,弦的世界面是黎曼曲面,而黎曼球面作為最簡單的黎曼曲面有重要的作用。它在扭子理論中也很重要。

參考[編輯]

  • Brown, James and Churchill, Ruel. Complex Variables and Applications. New York: McGraw-Hill. 1989. ISBN 0070109052. 
  • Griffiths, Phillip and Harris, Joseph. Principles of Algebraic Geometry. John Wiley & Sons. 1978. ISBN 0-471-32792-1. 
  • Penrose, Roger. The Road to Reality. New York: Knopf. 2005. ISBN 0-679-45443-8. 
  • Rudin, Walter. Real and Complex Analysis. New York: McGraw-Hill. 1987. ISBN 0071002766. 

參看[編輯]

外部連結[編輯]