Remove ads
一維複流形 来自维基百科,自由的百科全书
數學上,特別是在複分析中,一個黎曼曲面是一個一維複流形。黎曼曲面可以被視為是一個複平面的變形版本:在每一點局部看來,他們就像一片複平面,但整體的拓撲可能極為不同。例如,他們可以看起來像球或是環,或者兩個頁面粘在一起。
黎曼曲面的精髓在於在曲面之間可以定義全純函數。黎曼曲面現在被認為是研究這些函數的整體行為的自然選擇,特別是像平方根和自然對數這樣的多值函數。
每個黎曼曲面都是二維實解析流形(也就是曲面),但它有更多的結構(特別是一個複結構),因為全純函數的無歧義的定義需要用到這些結構。一個實二維流形可以變成為一個黎曼曲面(通常有幾種不同的方式)若且唯若它是可定向的。所以球和環有複結構,但是莫比烏斯帶,克萊因瓶和射影平面沒有。
黎曼曲面的幾何性質是最妙的,它們也給與其它曲線,流形或簇上的推廣提供了直觀的理解和動力。黎曼-羅赫定理就是這種影響的最佳例子。
令X為一個豪斯多夫空間。一個從開子集U⊂C到X的子集的同胚稱為坐標卡。兩個有重疊區域的坐標卡f和g稱為相容的,如果映射f ∘ g-1和g ∘ f-1是在定義域上全純的。若A一組相容的圖,並且每個X中的x都在某個f的定義域中,則稱A為一個圖冊。當我們賦予X一個圖冊A,我們稱(X,A)為一個黎曼曲面。如果知道有圖冊,我們簡稱X為黎曼曲面。
不同的圖冊可以在X上給出本質上相同的黎曼曲面結構;為避免這種模糊性,我們有時候要求X為極大的,也就是它不是任何一個更大的圖集的子集。根據佐恩引理每個圖集A包含於一個唯一的最大圖集中。
兩個黎曼曲面M和N之間的函數f : M → N稱為全純,如果對於M的圖集中的每個圖g和N的圖集中的每個圖h,映射h o f o g-1在所有有定義的地方是全純的(作為從C到C的函數)。兩個全純函數的複合是全純的。兩個黎曼曲面M和N稱為保角等價(或共形等價),如果存在一個雙射的從M到N的全純函數並且其逆也是全純的(最後一個條件是自動滿足的所以可以略去)。兩個保角等價的黎曼曲面對於所有的實際應用來講是完全相同的。
每個單連通的黎曼曲面和C或黎曼球C ∪ {∞}或開圓盤{z ∈ C : |z| < 1}保角等價。這個命題稱為單值化定理。
每個連通黎曼曲面可以轉成有常數曲率-1,0或1的完備實黎曼流形。這個黎曼結構除了度量的縮放外是唯一。有曲率-1的黎曼曲面稱為雙曲的;開圓盤是個經典的例子。有曲率0的黎曼曲面稱為拋物的;C是典型的拋物黎曼曲面。最後,有曲率+1的黎曼曲面稱為橢圓的;黎曼球C ∪ {∞}是這樣的一個例子。
對於每個閉拋物黎曼曲面,基本群同構於2階格群,因而曲面可以構造為C/Γ,其中C是複平面而Γ是格群。陪集的代表的集合叫做基本域。
類似的,對每個雙曲黎曼曲面,基本群同構於富克斯群,因而曲面可以由富克斯模型H/Γ構造,其中H是上半平面而Γ是富克斯群。H/Γ陪集的代表是自由正則集,可以作為度量基本多邊形。
當一個雙曲曲面是緊的,則曲面的總面積是,其中g是曲面的虧格;面積可由把高斯-博內定理應用到基本多邊形的面積上來算出。
前面我們提到黎曼曲面,象所有複流形,象實流形一樣可定向。因為複圖f和g有變換函數h = f(g-1(z)),我們可以認為h是從R2開集到R2的映射,在點z的雅可比矩陣也就是由乘以複數h'(z)的運算給出的實線性變換。但是,乘以複數α的行列式等於|α|^2,所以h的雅可比陣有正的行列式值。所以,複圖集是可定向圖集。
黎曼最早開始研究黎曼曲面。黎曼曲面以他命名。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.