研究微分流形和可微映射的一個數學分支。微分流形除瞭是拓撲流形外,還有一個微分結構。因此,對於從一個微分流形到另一個微分流形的映射,不僅可以談論它是否為連續,還可以談論它是否可微分。微分拓撲的奠基人是H.惠特尼,它研究的主要課題有微分同胚、微分浸入、微分嵌入、協邊理論等。
微分同胚 微分流形M和N叫叫做是微分同胚的,如果存在M和N之間的一一對應f:M→N,使得f和它的逆映射f-1:N→M都是可微映射。在微分拓撲中,彼此微分同胚的流形被看作是等價的。把等價的微分流形看作屬於同一類。對微分流形進行分類是微分拓撲最基本的問題。
如果f和f-1僅僅是連續的,不一定可微,則M和N叫做是同胚的(亦即拓撲上等價的)。同胚的微分流形未必微分同胚。例如,用S7表示七維球面,即八維歐氏空間R8中所有單位向量構成的流形,則S7可被賦以不同的微分結構,使所得的微分流形是不微分同胚的。已經算出,與S7同胚的微分流形,按微分同胚來分類,一共有28類,當n≥5時,與Sn同胚的微分流形的等價類的數目,已被證明是有限的,且對5≤n≤18,類數均已被算出(見表
微分同胚![](/img3/10564.jpg)
以Rm表示m維歐氏空間。當m≠4時,不論以何種方式給Rm賦以微分結構,所得的微分流形總是微分同胚的。有一個很有意思的事實是,對R4可賦以不同的微分結構,使所得的微分流形是不微分同胚的。
當n=1、2、3時,任意n維拓撲流形上必可賦以微分結構,且由同一拓撲流形賦以不同的微分結構所得的微分流形必微分同胚。因此,對一、二、三維流形,按微分同胚來分類和按同胚來分類是一樣的。
一維流形的分類很簡單。它們必同胚於開區間(0,1),閉區間[0,1],半開半閉區間[0,1)和圓周S1中的一個,且這四個流形必不同胚。二維緊致無邊流形的分類早已被解決(見閉曲面的分類)。而三維緊致無邊流形的分類問題是很困難的,尚未解決。
微分浸入 設f:M→N是一個可微映射,df:T(M)→T(N)是它的微分(見微分流形),如果對任意x∈T(M),x≠0,有df(x)≠0,則稱f為微分浸入。兩個微分浸入f和g叫做是正則同倫的,如果存在連續映射H:M×[0,1]→N,使得H0(x)=f(x),H1(x)=g(x),對任意t∈[0,1],Ht(x)是微分浸入,且由dHt(x)所定義的映射
![](/img3/10565.gif)
關於微分浸入的存在性方面的一個經典結果是:n>1時,任意n維微分流形可以微分浸入於2n-1維歐氏空間中。這一結果後來被推廣成:設M是任意n維微分流形,N是任意2n-1維微分流形,f:M→N是任意連續映射,則f必同倫於某一微分浸入。
關於微分浸入按正則同倫的分類方面的一個經典結果是:設f:S1→R2是圓周到平面的一個微分浸入,記f(eiθ)處單位切向量為
![](/img3/10566.gif)
![](/img3/10567.gif)
![](/img3/10566.gif)
![](/img3/10568.jpg)
微分浸入的存在和分類問題已完全被化成瞭同倫論的問題。但由於相應的同倫論問題的困難,具體結果仍然不多。
n維微分流形Mn到R
![](/img3/10569.gif)
![](/img3/10570.gif)
微分嵌入 設f:M→N是微分映射,如果f(M)是N的微分子流形,並且f:M→f(M)是微分同胚,則稱f為微分嵌入。微分嵌入一定是微分浸入。兩個微分嵌入叫做是正則同痕的,如果存在連接它們的正則同倫Ht,使對每一固定的t∈[0,1],Ht是微分嵌入。
關於微分嵌入的一個經典結果是:任意n維微分流形可微分嵌入於2n維歐氏空間中。n≠1,4時,已證明任意n維可定向的緊致無邊微分流形可微分嵌入於R
![](/img3/10569.gif)
關於S1在R3中的微分嵌入按正則同痕分類的問題是很復雜的,已成為一個獨立的研究分支,稱為紐結理論,它密切地關聯於三維流形的同胚分類問題。
與S1在R3中的微分嵌入有無窮多個正則同痕類相反,吳文俊證明瞭:若n>1,則任意n維微分流形在R
![](/img3/10571.gif)
當n>3(k+1)/2時,k維微分流形到n維微分流形的微分嵌入的存在和正則同痕分類的問題已被化成同倫論問題,且已證明當k和n滿足上述關系時,Sk在Rn中的任意兩個微分嵌入都是正則同痕的,但S
![](/img3/10572.gif)
![](/img3/10573.gif)
協邊 兩個n維的緊致無邊微分流形M和N叫做是協邊的,如果存在一個n+1維的緊致微分流形W,W的邊界恰由M和N組成。把兩個協邊的微分流形看成屬於同一協邊類,則按協邊關系來分類緊致無邊微分流形比按微分同胚來分類它們要粗略,因為任意兩個微分同胚的緊致無邊微分流形必是協邊的。與按微分同胚的精細分類問題至今未能解決形成鮮明對照的是,按協邊關系的粗略分類問題雖非容易,但卻已徹底解決。二維(或三維)的可定向緊致無邊微分流形都是協邊的,雖然未必微分同胚。實投影平面與二維球面是不協邊的。
上述協邊理論有很多推廣,如可定向流形的協邊論,映射的協邊論,穩定切叢有復結構的流形的協邊論,穩定切叢有標架的流形的協邊論等等。其中標架協邊論與球的同倫群的研究有著互逆的關系,仍是拓撲學中重要的難題。
微分拓撲雖是不同於代數拓撲的一個獨立的數學分支,但它與代數拓撲的關系極為密切。解決微分拓撲問題的許多基本工具,例如同調群、同倫群、拓撲K-理論以及多種示性類等代數不變量都是從代數拓撲中借用過來的。
基於莫爾斯函數的臨界點理論的流形剜補術則是首先對微分流形發展起來的,然後被推廣至拓撲流形的情形。拓撲流形的剜補術在解決四維龐加萊猜想時發揮瞭作用。可見兩者互相滲透、互相促進。
參考書目
J.W.米爾諾著,熊金城譯:《從微分觀點看拓撲》,上海科學技術出版社,上海,1983。(J.W.Milnor,Topology from the Differentiable Vieωpoint,Univ. of Virginia Press,Charlottesville,1965.)