" ） 如果　formula_7，也就是一个可以整体上等于乘积空间的丛叫做平凡丛（trivial bundle）。纤维丛扩展了向量丛(vector bundle)，向量丛的主要实例就是流形的切丛（tangent bundle）。他们在微分拓扑和微分几何领域有着重要的作用。他们也是规范场论的基本概念。
正式定义.一个纤维丛由四元组（"E", "B", π, "F"）组成，其中"E", "B", "F"　是拓扑空间而π : "E" → "B"　是一个连续满射，满足下面给出的局部