纖維叢的拓撲學 英文版
纖維叢理論
1946年美國的斯丁路特、美籍華人陳省身、法國的艾勒斯曼共同提出纖維叢的理論
數學上,特別是在拓撲學中,一個纖維叢(fiber/fibrebundle)是一個局部看來像兩個空間的直積的空間,但是整體可能有不同的結構。每個纖維叢有個連續滿射
π?:E→B
使得E對於某個F(稱為纖維空間)局部看來象直積空間
B×F
(這裡局部表示在B上局部。)一個可以整體上如此表達的叢(通過一個保持π的同胚)叫做平凡叢。叢的理論建立在如何用一些比這個直接的定義更簡單的方法表達叢不是平凡叢的意義的問題之上。
纖維叢擴展了矢量叢,矢量叢的主要實例就是流形的切叢。他們在微分拓撲和微分幾何領域有著重要的作用。他們也是規範場論的基本概念。
形式化定義
一個纖維叢由四元組(E,B,π,F)組成,其中E,B,F是拓撲空間而π?:E→B是一個連續滿射,滿足下面給出的局部平凡條件。B稱為叢的基空間,E稱為總空間,而F稱為纖維。映射π稱為投影映射.下面我們假定基空間B是連通的。