http://zh.wikipedia.org/wiki/%E5%90%91%E9%87%8F%E4%B8%9B
数学上,向量丛是一个几何构造,為拓扑空间(或流形,或代数簇)的每一点相容地附上一个向量空间,而这些向量空间“粘起来”又构成一个拓扑空间(或流形,或代数簇)。 一个典型的例子是微分流形(Differentiable manifold)的切丛:对流形的每一点附上流形在该点的切空间。 另一个例子是法丛:給定一个平面上的光滑曲线,可在曲线的每一点附上和曲线垂直的直线;这就是曲线的"法丛"。