简介
播报编辑
定义
播报编辑
性质
播报编辑
对于M中每个x，原像π-1(x) 同胚于F，称为x上的纤维。一个纤维丛(E,π,M,F,G)经常记为以引入一个空间的短正合列。注意每个纤维丛π:E→M都是一个开映射，因为积空间的投影是开映射。所以M有由映射
光滑纤维丛
播报编辑
理论介绍
播报编辑
每个纤维丛是一个连续满射π:E→B，使得E对于某个F （称为纤维）局部看来像直积空间B×F（这里局部表示在B上局部），一个可以整体上如此表达的丛（通过一个保持的同胚）叫做平凡丛。丛的理论建立在如何用一些比这个直接的定义更简单的方法表达丛不是平凡丛的意义的问题之上。
概念
播报编辑
纤维丛是拓扑乘积的推广，产生于微分几何研究，系统研究始于20世纪30年代。1936年瑞士数学家施蒂费尔考虑以微分流形的每一点为原点的有限个线性独立向量场，引入流形的微分同胚不变量。1937年美国数学家惠特尼把流形及以其上每一点为原点的线性独立的切向量组全体总括在一起而得到纤维丛的概念。他还证明了微分流形的嵌入定理，正式创立微分拓扑学。1946年陈省身认识到E.嘉当的联络的几何学思想与纤维丛理论有密切关系，从而把微分几何推进到大范围的情形。20世纪50年代初，法国数学家塞尔在É.嘉当的指导下，在代数拓扑学方面做出重要贡献。他发展了纤维丛概念，得出一般纤维空间概念。1951年美国数学家斯廷罗德出版《纤维丛的拓扑》一书，系统总结了纤维丛理论。纤维丛的截面的存在性问题与阻碍理论有关，由此得到底空间的某些上同调类，称之为示性类。施蒂费尔、惠特尼、陈省身和原苏联数学家庞特里亚金、中国数学家吴文俊都在示性类研究中做出重要贡献。近几十年来纤维丛理论在示性类、纤维丛上的同调与同伦等方面继续获得发展，并在微分几何学、代数几何学、复变函数与复流形理论以及大范围分析学等方面有广泛而深刻的应用，还成为物理学中表达规范场的合适的数学语言。
例子
播报编辑
令E=B×F 并令π:E→B为对第一个因子的投影，则E是B上的丛。这里E不仅是局部的积而且是整体的积。任何这样的纤维丛称为平凡丛。
一个类似的非平凡丛是克莱因瓶，它可以看作是一个"扭转"的圆在另一个圆上的丛。相应的平凡丛是一个环面，即S1 × S1。
一个覆盖空间是一个以离散空间为纤维的纤维丛，纤维丛的一个特例，叫做向量丛，是那些纤维为矢量空间的丛（要成为一个向量丛，丛的结构群—见下面—必须是一个线性群），向量丛的重要实例包括光滑流形的切丛和余切丛。 [2]
截面
播报编辑
纤维丛的截面 (section )是一个连续映射f:B→E使得π(f(x))=x对于所有B中的x成立。因为丛通常没有全局有定义的截面，理论的一个重要作用就是检验和证明他们的存在性。这导致了代数拓扑的示性类理论。 [3]
纤维丛的局部截面是一个连续映射，截面经常只被局部的定义（特别是当全局截面不存在时）。
纤维丛的局部截面是一个连续映射
