a_32关系下穿过"p"的曲线构成的等价类。曲线"f"穿过"p"的"k"阶射流定义为"f"所属的等价类，记为formula_60 or formula_61。这构成了一个实向量空间。随着"p"在"M"中变化，formula_58构成了"M"上的一个纤维丛:"k"阶切丛，经常记为"T""M" （虽然这个记号有时会导致混淆）。在"k"=1时，一阶切丛就是通常的切丛："T""M"="TM"。要证明"T""M"实际上构成一个纤维丛，我们需要查看一下formula_58在局部坐标中的属性。令("x")= ("