數學的一個分支學科,它主要是以分析方法來研究空間(微分流形)的幾何性質。
初始階段 古典的局部微分幾何是研究三維歐氏空間E3的曲線和曲面在一點鄰近的性質,它的發展與分析學的發展有著不可分割的聯繫。微分幾何起源於17世紀發現微積分之時,函數與函數的導數的概念實質上等同於曲線與曲線的切線的斜率率,函數的積分在幾何上則可解釋為一曲線下的面積。當時,平面曲線、空間曲線及曲面的幾何也可作為微積分的應用來瞭解。
在這方面第一個作出貢獻的是瑞士數學傢L.歐拉。1736年他首先引進瞭平面曲線的內在坐標這一概念,即以曲線弧長這一幾何量作為曲線上點的坐標,從而開始瞭曲線的內在幾何的研究。歐拉將曲率描述為曲線的切線方向和一固定方向的交角相對於弧長的變化率。在曲面論方面,他有重要的貢獻,例如引進瞭曲面上的法曲率、總曲率、關於法曲率的歐拉公式及球面映射等。測地線是平面上的直線在曲面上的推廣,歐拉和約翰第一·伯努利及丹尼爾第一·伯努利一起最早地把測地線描述為某些微分方程的解。1736年,歐拉證明瞭在無外力作用之下,一個質點如約束在一曲面上運動,則它必定是沿測地線運動。另外,值得指出的是法國數學傢G.蒙日及其學派,他們對曲面論的建立也很有貢獻,蒙日在1807年出版的書《分析學在幾何中的應用》是關於曲線和曲面理論的第一部獨立的著作。他的工作中反映出他對微分方程的興趣。在這些數學傢的研究中,可以看到力學、物理學與天文學以及技術與工業的日益增長的要求是促使微分幾何發展的因素。
1847年弗雷內得出瞭曲線的基本微分方程,亦即通稱的弗雷內公式。後來,(J.-)G.達佈創造瞭空間曲線的活動標架概念,完整地建立起曲線理論。
黎曼幾何學的提出 在三維歐氏空間E3中,與曲線相比,曲面有著重要得多的性質。設x1,x2,x3為E3的笛氏坐標,則曲面S的參數方程為
![](/img3/10473.gif)
1827年德國數學傢C.F.高斯的論文《彎曲曲面的一般研究》在微分幾何學的歷史上有重大的意義。微分幾何發展經歷瞭150年之後,高斯抓住瞭微分幾何中最重要的概念和帶有根本性的內容,他在論文中建立瞭曲面的內在幾何學,其主要思想是強調瞭曲面上隻依賴於第一基本形式的一些性質,例如曲面上曲線的長度、兩條曲線的夾角、曲面上一區域的面積、測地線、測地曲率和總曲率等等,稱之為曲面的內在性質。
高斯之前的幾何學傢,在研究曲面時總是把曲面與外圍空間E3相聯系,找出曲面上一點的主方向,再計算兩曲率線的法曲率的乘積,這是歐拉的研究。高斯證明瞭由曲面的第一基本形式就確定瞭曲面的總曲率,這就是高斯方程,所以總曲率通常也稱為高斯曲率,這是高斯的著名發現,被稱為“極妙定理”。他說:“如果一個彎曲的曲面可展開到任何另外的曲面上去,則每點的曲率是保持不變的。”這裡,“可展”表示瞭映射是1-1(一一)且保持距離的。高斯建立的內在幾何學有著深遠的影響,是在微分幾何上的一關鍵而重大的突破,但當時並未被人們所認識。
更重要的發展屬於德國數學傢(G.F.)B.黎曼。1854年他在格丁根大學發表瞭題為《論作為幾何學基礎的假設》的就職演講,黎曼將曲面本身看成一個獨立的幾何實體,而不是把它僅僅看作歐氏空間中的一個幾何實體。他發展瞭空間的概念,首先提出瞭n維流形(當時稱為多重廣延量)的概念,其中的點用n個實數(x1,x2,…,xn)作為坐標來描述,他定義瞭流形上無限鄰近兩點(xi)與(xi+dxi)(i=1,2,…,n)的距離
![](/img3/10474.gif)
![](/img3/10475.gif)
![](/img3/10476.gif)
黎曼幾何中的一個基本問題是微分形式的等價性問題。在兩個不同坐標系x1,x2,…,xn與x1',x2',…,xn'中,給定兩個二次微分形式
![](/img3/10477.gif)
![](/img3/10478.gif)
![](/img3/10479.gif)
![](/img3/10480.gif)
![](/img3/10481.gif)
《埃爾朗根綱領》對微分幾何的影響 比克裡斯托費爾、李普希茨解決二次微分形式的相互轉換問題稍遲一些,1872年(C.)F.克萊因在德國埃爾朗根大學作就職演講時,闡述瞭《埃爾朗根綱領》,這就是把幾何學定義為研究變換群所作用的空間,例如歐氏空間具有剛體運動群,所研究的對象是在剛體運動群下不變的性質。射影空間具有射影變換群,仿射空間與共形空間分別具有仿射變換群與共形變換群等等。這樣就用變換群對已有的幾何學進行瞭分類。這些幾何學中所研究的對象是在相應變換群下不變的性質。這種用群論統一幾何學的思想把幾何學與李群結合起來瞭。在《埃爾朗根綱領》發表後的半個世紀內,它成瞭幾何學的指導原理,推動瞭幾何學的發展,導致瞭射影微分幾何、仿射微分幾何、共形微分幾何的建立。特別是射影微分幾何起始於1878年阿爾方的學位論文,後來1906年起為E.J.威爾辛斯基為代表的美國學派所發展,1916年起為以G.富比尼為首的意大利學派所發展。20世紀30年代起中國蘇步青及其學生們以及蘇聯С.∏.菲尼科夫等進一步發展瞭射影微分幾何。
另一方面,克萊因的《埃爾朗根綱領》與狹義相對論完美地相配合,狹義相對論中的一個原理是洛倫茨群下場方程的不變性,這導致瞭克萊因成為狹義相對論的最早支持者之一。洛倫茨結構在相對論中起瞭基本的作用。
當克萊因制定《埃爾朗根綱領》時,已觀察到黎曼幾何並不包括在內,因為一般的黎曼空間,除恒等變換外,並不含有其他等長變換。經過W.K.J.基靈,É.(-J.)嘉當的努力,使得李群成為微分幾何的有力工具,而李群本身也成為微分幾何的研究對象,它的推廣就是齊性流形即容有可遷變換群的微分流形,這就給出瞭埃爾朗根綱領中所設想的幾何空間的最一般形式。在齊性流形中,具有正定黎曼度量的齊性黎曼流形,特別是對稱空間,顯得特別重要。
廣義相對論的產生及其對幾何學的影響 黎曼幾何的建立對近代物理學產生瞭巨大的影響。黎曼對引力論很有興趣,曾對牛頓的引力論發生懷疑,牛頓的引力是一種超距作用,而黎曼認為引力作用應通過接觸來傳遞,但他並沒有把黎曼幾何用於引力論。50年後,愛因斯坦創立瞭新的引力理論──廣義相對論,黎曼幾何(嚴格地說是洛倫茨幾何,這時(2)中所定義的ds2是非正定的二次微分形式)及其運算方法(裡奇計算法)成為廣義相對論有效的數學工具。愛因斯坦引進瞭約定求和這一很有用的符號。廣義相對論的產生對微分幾何的影響是令人震動的。當時黎曼幾何成為研究的中心課題,斯考頓、列維-齊維塔、É.嘉當及艾森哈特等人的關於黎曼幾何的權威著作幾乎都出現在1924~1926年期間。
愛因斯坦在狹義相對論中,把時間與空間作為相關的量一起來考慮,構成瞭一個四重廣延量,這顯示瞭時空概念的一個根本性變化。這時,時空中兩點(xi),(xi+dxi)(i=1,2,3,4)的距離由非正定的二次形式
![](/img3/10482.gif)
廣義相對論采用的是洛倫茨流形,這時ds2是非正定的,它的特點是在任何一點的小鄰域中和閔科夫斯基時空性質相近似。引力論的基本問題是要說明質點在引力作用下的運動軌線問題,在廣義相對論中運動軌線為流形上類時(即“弧長”平方為負)的測地線,類時意味著質點的速度低於光速,測地線是變分
![](/img3/10483.gif)
愛因斯坦的引力場方程是一個關於gij的二階偏微分方程
![](/img3/10484.gif)
![](/img3/10485.gif)
![](/img3/10486.gif)
![](/img3/10487.gif)
愛因斯坦的廣義相對論的思想來自物理學的研究,但值得註意的是從歐幾裡得幾何學到黎曼幾何學經歷瞭二千多年時間,而從閔科夫斯基時空到洛倫茨流形隻經過十年時間,這是因為黎曼幾何學的張量分析已為此作瞭一切數學上的準備。愛因斯坦在建立廣義相對論的過程中得益於數學傢M.格羅斯曼,在發展廣義相對論過程中他和É.嘉當進行瞭許多的討論,D.希爾伯特也參加建立場方程的研究。
把黎曼幾何應用於廣義相對論時,列維-齊維塔平行移動的概念具有相當的重要性。(C.H.)H.外爾在1918年的名著《時間,空間,物質》中引進瞭仿射聯絡的概念,它是黎曼流形中列維-齊維塔平行移動的推廣。在流形上可以用仿射聯絡作為出發點來定義平行移動和協變微分等結構,這樣,仿射聯絡就不必從黎曼結構來得出。外爾所給出的聯絡是無撓率的(即對稱的)。流形上定義瞭仿射聯絡,就得到仿射聯絡流形。
É.嘉當在他的主要論文《仿射聯絡流形及廣義相對論理論》(1923~1924)中給出仿射聯絡的權威性論述,並將仿射聯絡這一概念推廣到有撓率的情況。文中主要說明為什麼愛因斯坦引力論是牛頓引力論的推廣,後來他更進一步建立瞭各種聯絡理論,例如射影聯絡、共形聯絡等。
黎曼幾何還有另外的推廣,P.芬斯勒以一般的
![](/img3/10488.gif)
![](/img3/10489.gif)
![](/img3/10490.gif)
曲線和曲面的整體性質 在古典的曲線論和曲面論中,人們所研究的問題已可分為兩種類型:局部問題與整體問題。曲線或曲面在一點充分小鄰近成立的性質是局部性質。例如,曲線在一點的切線、法平面、曲率、撓率,曲面的切平面、法線以及各種曲率的概念都是局部性質。整體性質則是考慮整個曲線或曲面上的性質,它與局部性質所得出的定理時常是極不相同的。例如,平面凸閉曲線成立四頂點定理,即它的曲率至少有四個極值點。又如,對任何曲面,局部來說,兩鄰近點之間有且僅有惟一的測地線弧相連結,但從整體來說,這個問題就相當復雜。例如,歐氏空間的測地線是直線,任意兩點之間有且隻有一條直線段相連結,球面上的測地線是大圓弧,球面上任意兩點A、B(如果不是對頂點),可有兩條測地線弧(優弧與劣弧)相連結,A、B是對頂點時,它們之間則有無限條測地線弧相連結。如果考慮閉測地線,則可看到歐氏空間沒有閉測地線,而球面上任何測地線(即大圓)都是閉的。至於一般曲面有可能存在閉測地線,也有可能不存在閉測地線,可有許多情況,討論閉測地線的存在性就是一個整體性質。
又如,歐氏空間的曲面由第一、第二基本形式所決定。如果兩個曲面小片S1,S2,它們的第一基本形式相同,第二基本形式不同,則稱S1與S2是互為變形的。三維歐氏空間的一小曲面片總有無窮個曲面與它相變形,然而這個性質整體上是不成立的,例如球面以及一般的凸閉曲面不存在與之變形的曲面,這稱為球面的剛性定理及凸閉曲面的剛性定理。討論小曲面片的變形問題是局部性質,討論曲面的變形問題則是整體性質。曲面上測地線弧的指標(它表示測地線弧的兩端固定時,使其長度得到縮短的變形的維數)是一個整體的不變量。
曲面的整體性質的一個重要結果是高斯-博內定理,它指明,在閉曲面S上,總曲率K的積分
![](/img3/10491.gif)
![](/img3/10492.gif)
![](/img3/10492.gif)
此外,希爾伯特還發現,雙曲平面(二維的雙曲幾何)不能在三維歐氏空間中完整地實現,盡管它在三維歐氏空間中局部地實現對於雙曲幾何(即羅巴切夫斯基幾何)的被承認起瞭重大的作用。
曲面和曲線的整體性質的研究激起瞭人們對整體微分幾何的巨大興趣。
整體微分幾何的興起 現代微分幾何學所研究的對象是微分流形,其上還配有附加的結構。例如,微分流形上引進黎曼度量、洛倫茨度量、辛尺度這些結構後,就分別成為黎曼流形、洛倫茨流形和辛流形,相應地也就豐富瞭幾何內容。
外微分形式、德·拉姆定理與霍奇定理 微分流形上的外微分形式是一個微分幾何量,對它可進行外微分運算,這在幾何上十分重要(見外微分形式)。外微分形式實際上是多重積分的積分元。一個外微分形式的外微分如等於零,則稱它為閉形式,微分流形上r次閉形式全體構成一個線性空間。一個r次外微分形式如果是另一個(r-1)次外微分形式的外微分,則稱之為正合形式。正合形式是閉形式,它所構成的線性空間是閉形式所構成的線性空間的子空間。閉形式可以劃分為一些類,稱為上同調類,兩個r次閉形式當且僅當它們之差是一個正合形式時屬於同一個上同調類。這些上同調類全體構成一個線性空間──上同調空間Hr。以瑞士數學傢德·拉姆而命名的著名定理說明:對於緊致流形,上同調類空間Hr必是有限維的,並且維數恰等於微分流形上第r個貝蒂數。貝蒂數是流形的拓撲不變量,它描述流形上有關連通的性質。在流形上引進瞭黎曼度量後,霍奇引進瞭調和形式的概念,並證明瞭著名的霍奇定理:在一個定向、緊致黎曼流形上,每一上同調類中有惟一的調和形式。這個定理是復變函數理論中緊致黎曼面的一些基本結果的一個重大的推廣,它在代數幾何中有重要作用。這兩個定理提供瞭流形上局部性質與整體性質的聯系,建立瞭流形上微分結構、拓撲結構及黎曼結構的深刻的制約關系,具有十分重要的意義。
黎曼流形的完備性 在黎曼流形的研究中,完備性是一個很重要的概念。在黎曼流形上,兩點之間可以定義距離,因而可成為一個度量空間,這個度量空間在拓撲意義下的完備與任一測地線均可無限延伸(依弧長或仿射參數)這一性質相等價,從而形成瞭完備黎曼流形的概念。特別,緊致黎曼流形是完備的黎曼流形。霍普夫與裡諾給出瞭下述結果:完備黎曼流形上每二點均可用一極小測地線相連結,其長度就等於二點的距離。
引進瞭完備性這一概念後,也推進瞭對三維歐氏空間曲面論的整體性質的研究。例如:對於曲率為常數的曲面的完備性的研究有:1959年P.哈特曼與L.尼倫伯格證明瞭完備的可展曲面必為柱面,邁爾斯與李卜曼證明瞭正常數曲率定向的完備曲面必為球面。
完備性概念對非緊致黎曼流形的整體幾何研究是十分重要的。
曲率與拓撲 黎曼流形的曲率是微分幾何中最重要的幾何量之一,曲率和流形的拓撲結構之間的聯系是一個十分重要的問題。美國數學傢C.B.艾倫多弗和法國數學傢A.韋伊與陳省身用不同的方法將緊致曲面上的高斯-博內公式擴充到高維曲面和緊致黎曼流形上去,這是微分幾何上很重大的一項進展。另外,J.(-S.)阿達馬和É.嘉當發現:單連通的、曲率非正的完備黎曼流形必同胚於歐氏空間Rn。這也是極富有啟發性的成果。
對於黎曼流形來說,有三種不同層次的曲率,一種是截面曲率,它相應於在每點某一平面方向所相應的曲率。另一種是裡奇曲率,它是由截面曲率以適當的形式作和而成。第三種是數量曲率,它是裡奇曲率的跡。這三種曲率和流形的拓撲性質之間有很強的相互制約作用,這方面的研究成果非常豐富,而且是微分幾何主要研究方向之一。
等距嵌入 嵌入問題是指一個具有某種結構的流形是否可以作為高維歐氏空間的子流形的問題。當隻涉及微分結構時,惠特尼在1936年證明瞭每一個n維的微分流形均可以嵌入到一個2n+1維的歐氏空間中,美國另一數學傢C.B.莫利證明瞭對緊致的實解析流形這個結果也成立。
等距嵌入是研究一黎曼流形是否能與高維歐氏空間的子流形成等距對應的問題。對於局部的等距嵌入,瑞士數學傢L.施勒夫利很早就作瞭下述預測:n維的黎曼流形總可等距嵌入到
![](/img3/10493.gif)
黎曼流形的整體等距嵌入定理於1954~1956年由J.納許等所給出:n維黎曼流形總可等距嵌入到歐氏空間E
![](/img3/10494.gif)
![](/img3/10495.gif)
![](/img3/10496.gif)
![](/img3/10497.gif)
纖維叢 在整體微分幾何發展中,纖維叢及其上的聯絡論的產生和發展,占有顯著的地位。基本的纖維叢有向量叢和主叢,前者包括切叢、餘切叢、張量叢及一般性的推廣,後者是由標架叢抽象而成。在黎曼幾何研究中所產生的列維-齊維塔聯絡被推廣為仿射聯絡、射影聯絡、共形聯絡、……然後形成瞭一般向量叢或纖維叢上的聯絡論,它以優美的形式把幾何學的群的結構和流形上的微分結構有機地結合起來,陳省身-外爾映射用代數的方法通過聯絡和曲率作出瞭底流形上的一些上同調類,這種上同調類稱為示性類包括陳示性類,歐拉示性類,龐特裡亞金示性類等,它們都能表示纖維叢的拓撲性質。
纖維叢上的聯絡論成為理論物理學傢的有力工具,楊振寧和米爾斯所提出的規范場理論是在物理學中形成的纖維叢上的聯絡論,不僅如此,他們對纖維叢上的聯絡提出瞭一個過去數學傢沒有想到過的偏微分方程(後稱為楊-米爾斯方程),這個方程不僅對物理學,而且對純粹數學發生瞭重大影響。此外,聯絡論中的一些示性類和示性數,也得到瞭物理學上的解釋,成為物理學中的各種“粒子”數,如“磁單極”數、瞬子數等等。由於這些事實,微分幾何和理論物理的關系就更其密切瞭,可以說是在愛因斯坦廣義相對論後的一個新的高潮。
微分幾何和分析學新的結合 微分幾何的研究與發展離不開微分方程,達佈的《曲面論》一書就包含瞭豐富的古典微分方程的內容。É.嘉當和凱勒所發展的外微分方程理論,對於解析函數領域的一大類局部微分幾何問題,給出瞭一般的有效的方法。
整體微分幾何的發展,需要運用更深入的,現代化的分析工具,特別是偏微分方程理論以及與之有關的非線性分析。
在線性理論中,一個突出的成果是阿蒂亞和辛格的指標定理,緊致微分流形上的一個線性橢圓算子的零空間的維數與象空間的維數都是有限數,其差稱為指標,這個定理指出,這種指標可以表示為和流形(或纖維叢)及橢圓算子有關的拓撲不變量,而過去的黎曼-羅赫定理,希策佈魯赫的指標定理等都是它的特殊情形。這個定理對於確定楊-米爾斯方程的解的存在性和其自由度,起瞭重要作用。此外,流形上的拉普拉斯算子的特征值的研究也是一個重要方面。
微分幾何學所遇到的偏微分方程大多是非線性的,調和函數的概念被推廣成黎曼流形間的調和映射,它聯系於一個推廣的狄利克雷積分的變分問題,其歐拉方程是非線性的橢圓型方程組,J.伊爾斯等人用瞭多種分析的技巧證明瞭各種存在性和不存在性定理,近年來,R.舍恩和K.K.烏倫貝克又對廣義解的奇性作瞭深入的分析。極小曲面理論近年來得到更深入的發展,研究范圍日趨廣泛,而且對流形的拓撲以及廣義相對論中的數學問題均有重要應用。在調和映射、極小曲面,以及其他許多微分幾何問題上,大范圍變分方法成瞭重要工具,非線性泛函的極小元素或臨界元素的正則性和存在性起瞭很大作用。如果考慮洛倫茨流形到黎曼流形的調和映射,就歸結為雙曲型偏微分方程的整體解的存在性問題,這方面成果國際上較少,谷超豪證明瞭閔科夫斯基平面到完備黎曼流形的調和映射的柯西問題的整體存在性定理,某些調和映射在物理學中稱為非線性σ模型,是物理學傢獨立地提出的。
有些微分幾何學問題還必須求解“真正”非線性偏微分方程,這是比擬線性方程的非線性程度更高的偏微分方程,其難度更大,突出的事項是丘成桐解決瞭由卡拉皮所提出的一個猜想,證明瞭某種愛因斯坦-凱勒流形的存在定理,這需要求解復的蒙日-安培方程,它的非線性程度更高,需要有高度的分析技巧。丘成桐還解決瞭一系列的其他的與非線性偏微分方程有關的幾何問題。
具有復結構的微分流形特別是凱勒流形在多元復變函數和代數幾何中起著重要的作用。