基本介紹
簡介,作為複流形,作為復射影線,作為球面,度量,自同構,套用,
簡介
它由19世紀數學家黎曼而得名。也稱為
復射影直線,記為 ,
擴充複平面,記為 或者 .
從純代數的角度,複數加上一個無窮遠點構成一個數系稱為擴充複數。無窮遠點的算數有時和一般的代數規則不符,因此擴充複數不構成一個代數域。但是,黎曼球面在幾何和解析角度都行為良好,甚至在無窮遠點也不例外;它是一個一維複流形,也稱黎曼曲面。
複分析中,黎曼球面對於亞純函式這個優雅的理論很有幫助。黎曼球面在射影幾何和代數幾何中作為複流形、射影空間和代數簇的基本例子到處出現。它在涉及分析和幾何的其他學科也很有用,譬如量子力學和物理學其他分支。
作為複流形
作為一維複流形,黎曼曲面可以由兩個圖卡描述,每個的定義域都是複數平面.令ζ和ξ為上的復坐標。將非零複數ζ和非零複數ξ用如下轉移映射等同起來:
因為這些變換映射為全純函式,他們定義了一個複流形,稱為黎曼球面。
直觀地來看,這些變換映射表示了如何將兩個平面粘合成一個黎曼球面。兩個面用一種"從里翻出來"的方式粘合,所以他們幾乎處處重合,每個平面(用自己的原點)貢獻對方平面上缺少的一點。換言之,(幾乎)所有黎曼球面上的點既有ζ值也有ξ值,而兩個值由ζ = 1 / ξ關聯。ξ = 0處的點應該具有ζ-value "1 / 0";從這個意義上講,ξ-圖的原點是ζ-圖上的""。對稱地,ζ-圖的原點對應於ξ-圖上的.
拓撲上,最後的結果是從平面到球面的單點緊緻化。但是,黎曼球面不單單是一個拓撲球面。它是具有復結構的拓撲球面,所以球面上的每個點都有一個領域可以通過雙全純函式和同胚。
另一方面,黎曼曲面分類的的中心結果單值化定理,斷言僅有的三類單連通一維複流形為複平面、雙曲平面、和黎曼球面。在這三者中,黎曼球面是唯一的閉曲面(無邊界的緊緻曲面)。因此二維球面只有唯一的復結構將它變為一維複流形。
作為復射影線
(α,β) = (λα,λβ) 對於所有非零複數λ成立。複平面用坐標ζ,可以映射到復射影線:
(α,β) = (ζ,1). 另一個用坐標ξ也映射到復射影線
(α,β) = (1,ξ). 這兩個復圖覆蓋整個射影線。對於非零ξ,等同關係:
(1,ξ) = (1 / ξ,1) = (ζ,1) 給出了變換映射ζ = 1 / ξ和ξ = 1 / ζ,同上文一致。
這個黎曼球面的定義和射影幾何直接相關。例如任何復射影平面上的直線(或者光滑圓錐曲線)雙全純等價於復射影線。這個表達對於研究下文所述的球面的自同構也很方便。
作為球面
從複數A到黎曼球面上的一點α的球極投影。
黎曼球面可以顯示為三維實空間中的單位球面x^2+y^2+(z-1)^2=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分別等同。
度量
黎曼曲面沒有特定的黎曼度量。但是,黎曼曲面的復結構的確在共形等價下確定了唯一的度量。(兩個度量稱為共形等價,如果他們的區別只是一個正光滑函式的因子。)反過來,可定向曲面上的任意度量唯一的決定一個復結構,該結構在共形等價下依賴於該度量。因此可定向曲面的復結構和該曲面上的度量的共形類有一一對應。
給定共形類,可以用共形對稱性找到一個有合適屬性的代表度量。精確地講,每個共形類總是有一個常曲率完備度量。
在實坐標ζ = u + iv中,該公式為:
除了一個常數因子,該度量和復射影空間(黎曼球面就是一個特例)中的富比尼-施圖迪度量一樣。
反過來,令S代表(作為微分流形或者拓撲流形的)球面。按照單值化定理,存在唯一的S上的復結構。由此可見,S上的度量和球面度量共形等價。所有這樣的度量構成一個共形類。因此"圓球"度量不是黎曼球面的內在度量,因為"圓形"並不是共形幾何的不變數。黎曼球面只是一個共形流形而非黎曼流形。但是,如果需要用到黎曼球面上的黎曼度量,圓形度量是一個很自然的選擇。
自同構
作用於球面上以及作用於球極投影的平面上的莫比烏斯變換。
主條目:莫比烏斯變換
理解數學對象的自同構群有助於對該對象的研究,自同構也就是對象到自身保持其基本結構不變的映射。對於黎曼球面,自同構就是黎曼球面到自身的可逆雙全純映射。唯一可能的這樣的映射只有莫比烏斯變換。這些變換有如下形式:
將莫比烏斯變換視作復射影線上的變換很有益。