全純映射(holomorphic map)是複流形上的一種有解析性的映射。
映射亦稱函式。數學的基本概念之一。也是一種特殊的關係。設G是從X到Y的關係，G的定義域D(G)為X，且對任何x∈X都有惟一的y∈Y滿足G(x，y)，則稱G為從X到Y的映射。
複流形是無支點黎曼曲面的推廣。複流形和實流形概念的引進擴大了微分幾何和實分析的對象，產生了像大範圍分析那樣的學科一樣，複流形概念的引進，擴大了複分析的研究領域和產生像復幾何那樣的學科，其中緊複流形的研究成果較多。
基本介紹
- 中文名：全純映射
- 外文名：holomorphic map
- 領域：數學
- 性質：有解析性的映射
- 對象：複流形
- 條件：全純函式
概念,映射,流形,複流形,全純函式,
概念
全純映射是複流形之間的解析映射。設M，N分別是復m，n維複流形，f：M→N是連續映射。若對每一點p∈M，存在一個鄰域U，使得f在U內可用局部坐標函式表示成：
其中ω都是全純函式，則稱f是全純映射。
映射
映射亦稱函式。數學的基本概念之一。也是一種特殊的關係。設G是從X到Y的關係，G的定義域D(G)為X，且對任何x∈X都有惟一的y∈Y滿足G(x，y)，則稱G為從X到Y的映射。即關係G為映射時，應滿足下列兩個條件：
1.(x∈X)(y∈Y)(xGy).
2.(x∈X)(y∈Y)(z∈Y)((xGy∧xGz)→y=z).這個被x∈X所惟一確定的y∈Y，通常表示為y=f(x)(x∈X).f(x)滿足：
1) f(x)∈Y.
2) G(x，f(x))成立(x∈X).
3)z∈Y，G(x，z)→z=f(x).
關係G常使用另一些記號：f：X→Y或XY。f與G的關係是y=f(x)(x∈X)，若且唯若G(x，y)成立。可取變域X中的不同元素為值的變元稱為自變元或自變數。同樣可取變域Y中的不同元素為值的變元稱為因變元或因變數。始集X稱為映射f的定義域。記為D(f)或dom(f)。終集Y稱為映射的陪域，記為C(f)或codom(f).Y中與X中的元素有關係G的元素的組合{y|x(x∈X∧y=f(x)∈Y)}稱為映射的值域，記為R(f)或ran(f)。當y=f(x)時，y稱為x的象，而x稱為y的原象。y的所有原象所成之集用f(y)表示。對於AX，所有A中元素的象的集合{y|x(x∈A∧y=f(x)∈Y)}或{f(x)|x∈A}稱為A的象。記為f(A)。對於BY，所有B中元素的原象的集合{x|x∈X∧y(y∈B∧y=f(x))}稱為B的原象。記為f(B)。顯然：f(A)=f(x)，f(B)=f(y)。
流形
流形是一類特殊的連通、豪斯多夫仿緊的拓撲空間，在此空間每一點的鄰近預先建立了坐標系，使得任何兩個(局部)坐標系間的坐標變換都是連續的。n維流形的概念在18世紀法國數學家拉格朗日的力學研究中已有萌芽。19世紀中葉英國數學家凱萊(1843)、德國數學家格拉斯曼(1844，1861)、瑞士數學家施勒夫利(1852)分別論述了n維歐幾里得空間理論，把它視為n個實變數的連續統。1854年德國數學家黎曼在研究微分幾何時用歸納構造法給出一般n維流形的概念：n維流形是把無限多個(n-1)維流形按照一維流形方式放在一起而形成的，從此開始流形的拓撲結構及其局部理論的研究。法國數學家龐加萊在19世紀末把n維流形定義為一種連通的拓撲空間，其中每一點都具有和n維歐氏空間同胚的鄰域(被稱為龐加萊流形)，從而開闢了組合拓撲學的道路。
對流形的深入研究集中在流形上的微分結構與組合結構的存在性、唯一性問題，微分結構與組合結構的關係，流形的各種意義下的分類等問題，20世紀50—60年代做出許多重要結果，近幾十年來出現有限維帶邊流形和無限維流形概念。流形理論在與其他拓撲理論的相互結合發展中也提出許多問題，其研究仍在繼續。
複流形
稱為點p關於區圖(Uα，φα)之坐標。設對M中任一點q，若存在Uα，Uβ使得q∈Uα∩Uβ.記q關於(Uα，φα)之坐標為(x1，x2，…，xn)，關於(Uβ，φβ)之坐標為(y1，y2，…，yn)，則：
為φα(Uα∩Uβ)到φβ(Uα∩Uβ)上的全純同構，這時M稱為n維複流形。n維複流形為2n維實解析流形，反之不一定。
複流形和實流形概念的引進擴大了微分幾何和實分析的對象，產生了像大範圍分析那樣的學科一樣，複流形概念的引進，擴大了複分析的研究領域和產生像復幾何那樣的學科，其中緊複流形的研究成果較多。最簡單的緊複流形為緊黎曼面及n維復射影空間P。
全純函式
亦稱解析函式或正則函式，是解析函式論的主要研究對象。對於定義於複平面上區域D內的復變數z的單值函式f(z)，如果它在D內的每個點z0的一個鄰域內都可以用z-z0的冪級數表示，則稱f(z)在D內解析。外爾斯特拉斯(Weierstrass，K.(T.W.))從冪級數出發，建立了解析函式的級數理論。如果在D內的每個點z處，極限：
(稱為函式f(z)在z點的導數)都存在，柯西(Cauchy，A.-L.)稱f(z)在D內是解析的。這兩個定義是等價的。函式f(z)=u(x，y)+iv(x，y)，z=x+iy在D內解析的另一個等價條件是：u=u(x，y)，v=v(x，y)在D內的每一個點z=x+iy處存在連續偏導數，並且滿足柯西-黎曼方程(或稱柯西-黎曼條件)：
這個條件有時簡稱C-R條件或稱達朗貝爾-歐拉條件。函式f(z)在區域D內解析的第四個等價條件是莫雷拉定理。
