数学上，一个微分流形"M"的切丛(tangent bundle) "T"("M")是一个由"M"各点上切空间组成的向量丛，其总空间是各切空间的不交并集：总空间"T"("M")每个元素都是一个二元组("x","v")，其中"v"是在点"x"的切空间"T"("M")内的一枚向量。切丛有自然的2"n"维微分流形结构如下：设：formula_2为自然的投影映射，将("x","v")映射到基点"x"；若"M"是个"n"维流形，"U"是"x"的一个足够小的邻域，φ :"U"→R是一个局部坐标卡，"V"