纤维丛,B称为丛的基空间,假定基空间B是连通的
纤维丛
维基百科,自由的百科全书
数学上,特别是在拓扑学中,一个纤维丛是一个局部看来像两个空间的直积的空间,但是整体可能有不同的结构。每个纤维丛對應一个连续满射
- π : E → B
並對每個 E 的局部空間(需存在 B 的局部空間能夠保持上述的滿射),都存在一個 F ( F 稱作纖維空間),使得 E 與 直积空间B × F 同胚。(通常會用此滿射 :π : E → B 來表示一個纖維叢,而忽略 F )
(这里局部表示在B上局部。) 一个可以整体上如此表达的丛(通过一个保持π的同胚)叫做平凡丛。丛的理论建立在如何用一些比这个直接的定义更简单的方法表达丛不是平凡丛的意义的问题之上。
纤维丛扩展了向量丛,向量丛的主要实例就是流形的切丛。他们在微分拓扑和微分几何领域有着重要的作用。他们也是规范场论的基本概念。
目录[隐藏] |
[编辑] 形式化定义
一个纤维丛由四元组(E, B, π, F)组成,其中E, B, F是拓扑空间而π : E → B是一个 连续满射,满足下面给出的局部平凡条件。B称为丛的基空间,E称为总空间,而F称为纤维。映射π称为投影映射.下面我们假定基空间B是连通的。