代數拓撲學

在同調理論研究領域裡，自（J.-）H.龐加萊首先建立可剖分空間的同調之後，人們試圖對於不一定可剖分為復形的一般拓撲空間建立同調理論。後來出現了好幾種關於一般空間的同調論。為了達到統一與簡化的目的，S.艾倫伯格與N.E.斯廷羅德在40年代中期倡導用公理法來引進同調群。有了這種觀點，不僅僅使人們對古典的同調論看得更清楚，同時也為廣義同調論的興起創造了條件。

廣義同調論滿足除開維數公理之外的所有艾倫伯格－斯廷羅德同調論公理。具有各自幾何背景的各種廣義同調論的出現大大開拓了代數拓撲的領域，提高了用代數方法解決幾何問題的能力。廣義同調的表示定理表明可以在同倫概念的基礎上來建立同調論。目前，重要的廣義同調論有K上同調，協邊上同調，MU上同調，BP上同調，等等。

不論同倫或同調，從幾何向代數的過渡總是由函子來實現的。範疇與函子的理論，首先由代數拓撲的需要而產生，現在已在許多數學分支有廣泛的應用。無論同倫或同調，都是對每個拓撲空間 X 對應了一個群 F( X)，對每一個連續映射 ?: 對應了一個同態 ，且滿足：①當， 恆等自映射時，恆等自同構。②若 ,則 。作為用這種函子性質解決拓撲問題的一個例子，考慮 為同胚的情形，這時 F( ?)與 F( ?)互為逆同態，從而 為同構。證明兩個空間 X與 Y不同胚的一個常用的辦法就是找出一個適當的函子 F,使得 F( X)不同構於 F( Y)。拓撲不變數往往也就是這種函子。同調與同倫是實質上不同的概念，這從簡單的例子就可以看出來。在圖中，設F 是將環面挖一個圓洞所得的曲面。則邊界圓周C 在曲面 F上是同調於0的一維閉鏈。但C 看作F上的環道則不同倫於0。人們很早就知道，不一定可交換的基本群交換化之後就同構於一維同調群。對於同調與同倫之間關係進行深入探討的結果促使同調代數迅速地向前發展起來。這一整套強有力的工具不僅對代數拓撲本身產生巨大影響，也深深地滲入到其他數學分支，如代數、代數幾何、泛函分析、微分方程、複分析等等。與同調對偶的上同調在許多場合用起來比同調更為得力，這是H.惠特尼在30年代的發現。S.萊夫謝茨對流形上的同調交截理論所作的深入研究啟發人們想到上同調乘積的存在。N.E.斯廷羅德在繼H.霍普夫之後研究有限復形K 到球面Sn的連續映射同倫分類問題時發現了一類上同調運算。上同調群配以上同調運算使得對應於幾何對象的代數對象有更為豐富的結構，從而解決問題的能力也更強。

代數拓撲學者從來注重計算具體空間的同調群、上同調群、上同調運算等等。李群以及與之有關的空間是首先被考慮的對象。這種計算在很大程度上依賴於纖維叢或纖維空間的底空間，纖維與全空間的同調關係。1946年，J.勒雷用譜序列對纖維空間的同調計算得到深刻的結果。

緊接著有J.P.塞爾應用纖維空間的同調譜序列在同倫論上的突破, 得到當時幾乎難以想象的結果： πq( S)除開以及 , n為偶數的情形，都是有限群。塞爾的另一個重要貢獻是將代數里一個行之有效的原理移植到拓撲學中來，即通過對一個問題的各個p局部化（p為素數）問題的解決來求得原問題的整體解決。經過D.P.沙利文的進一步系統的研究，目前這種局部化以及完備化的思想在代數拓撲里已經成為一個帶根本性的原理。

拓撲空間如果具有連續的乘法以及關於這個乘法的單位元素就叫作 H 空間。李群是 H 空間的特例。對於 H 空間的同調與同倫性質的研究取得了許多有意義的結果，豐富了代數拓撲的內容。

歐氏空間 R，當時可以定義乘法·, 滿足關係，這裡‖‖表示 R的范數； 的點分別看作複數、四元數、凱萊數就得到這種乘法。是否還有其他的 n值使 R能成為這種賦范代數呢？若 R具有賦范代數結構，則球面 S為 H空間。這后一結論又等價於存在霍普夫不變數等於 1的球面映射。這個問題在同倫論發展的初期就被提出來，當時是個很難下手的問題。與這個問題鄰近的還有球面 S 上至多能有多少個線性獨立的切向量場的問題。1960年前後，J.F.亞當斯徹底解決了這兩個問題。於是知道除開這幾種已知情形，不可能在 R 上引進保持范數的乘法。一個古老的代數難題用拓撲的方法得到了解答。亞當斯還充分利用了同調代數（包括譜序列），上同調運算理論，廣義同調論等方面當時所能提供的工具，使它們充分發揮了威力。這些成就足以說明代數拓撲那時正處於發展的高潮。

70年代以後，雖然不象前些年那樣接連出現令人驚嘆的結果，代數拓撲仍然取得了多方面的進展。例如，在廣義同調論、變換群作用下的共變同調與同倫論、無窮環道空間、有理同倫論、同倫群指數估計、來自微分拓撲的代數拓撲問題等方面都獲得了豐碩的成果。目前，一方面在其他數學分支，其他科學與技術領域裡代數拓撲的應用日見廣泛與深入，另一方面，其本身有許多重要問題尚未解決，或尚未徹底解決，代數拓撲另一個發展高潮時期的到來是可以期待的。

江澤涵著：《拓撲學引論》,上海科學技術出版社，上海，1978。 M.J.Greenberg, Lectures on Algebraic Topology,W.A.Benjamin,New York,1967. E.H.Spanier,Algebraic Topology, McGraw-Hill,New York,1966.