标架。主丛横截定理说 "M" 中任何有光滑标架的开集 "U" 上标架丛是平凡的。给定一个光滑标架 "s" : "U" → F"U"，平凡化 "ψ" : F"U" → "U" × GL(R) 由给出，这里 "p" 是 "x" 处一个标架。从而一个流形是可平行化的当且仅当 "M" 的标架丛有一个整体截面。因为 "M" 的切丛在 "M" 的任何坐标邻域是可平凡化的，故标架丛也是。事实上，给定任何坐标邻域 "U" 带有坐标 ("x",…,"x")，坐标向量场定义了 "U" 上一个光滑标架。在标架丛上工作的一