纤维丛的理论,是1946年由美国的斯丁路特、美籍华人
陈省身、法国的艾勒斯曼共同提出的。数学上,特别是在
拓扑学中,一个纤维丛(fiber/fibre bundle)是一个局部看来像两个空间的直积(特指笛卡尔积)的空间,但是
整体可以有与直积空间不同的拓扑结构。
一个纤维丛由四元组(E,π,M,F)组成,其中E,M,F是
拓扑空间,而π:E→M是一个
满态射,且满足以下条件:
其中Proj1:U×F→U是自然投影,而φU:π-1(U)→U×F是一个
同胚。所有{(U,φU)}的集合称为丛的局部平凡化。
对于M中每个x,
原像π-1(x) 同胚于F,称为x上的
纤维。一个纤维丛(E,π,M,F,G)经常记为以引入一个空间的短
正合列。注意每个纤维丛π:E→M都是一个
开映射,因为积空间的投影是开映射。所以M有由映射决定的
商拓扑。