在数学微分几何领域，一个光滑纤维丛的铅直丛（）是切丛的一个子丛，由所有和纤维相切的向量组成。更具体地，如果 "π":"E"→"M" 是一个光滑流形 "M" 上一个光滑纤维丛，设 "e" ∈ "E" 满足 "π"("e")="x" ∈ "M"，则在 "e" 处的铅直空间（） V"E" 是纤维 "E" 包含 "e" 的切空间 T("E")。这就是， V"E" = T(E)。从而铅直空间是 T"E" 的一个子空间，所有铅直空间的并是 T"E" 的一个子丛 V"E"，这便是 "E" 的铅直丛。铅直丛是微分 d"