节丛

在微分几何中，节丛(jet bundle，或称射流丛、射丛)是一种特殊的构造，从给定的光滑纤维丛建立一个新的光滑纤维丛。它使得在纤维丛的截面上用一种不变形式来表达微分方程成为可能。

历史上，节丛归功于埃雷斯曼，它是嘉当的延长方法上的一个进步，该方法通过在新引入的形式化变量上加入微分形式条件的办法来以方式处理高阶导数。节丛有时候也称为喷射(sprays)。

令${\displaystyle E={\mathbb{R}}^k\times <!--\; \times \; -->B}$上的平凡从 。则丛的截面是光滑映射${\displaystyle B\to <!--\; \to \; -->{\mathbb{R}}^k}$ 和 被认为在中的上等效， 如果

(这里 表示上的任何固定黎曼度量下的距离。在上的所有这种映射的等价类组成上的第一节从。

第阶节丛就是重复这个操作次得到的结构。

下面给出的定义是在任意纤维丛上推广的构造。

另一个引导jet丛的研究的例子是对于解释克里斯托弗记号在坐标变换下的变换性质的需要。克里斯多夫记号不以切从上的张量形式变化，而以jet丛上的张量形式变化。

给定一个微分流形和一个上的纤维丛，也是一个微分流形，中点的纤维F_x也是一个微分流形。这样，对于F_x中的任意点,F_x 在点的切空间是一个在点的整个切空间的线性子空间。称为。这个切空间可以被分解为垂直子空间和一个和它互补的的直和。我们现在定义上的一个纤维丛，其在点的纤维是所有可能水平子空间的集合。如果视为上的纤维丛，称为上的第一阶jet丛。

上的阶jet丛递归的定义为上的-1阶jet丛的第一jet从。

给定一个-1阶jet丛的一个光滑截面，它诱导出一个阶jet丛的一个唯一的截面，这是通过把水平子空间取为截面的切空间。从原来的丛的一个截面重复这个操作得到的唯一的阶jet丛的截面叫做阶(prolongation)。

所有这样得到的截面叫做和乐的(economical)。