欧氏空间之间的函数的射流

在给出一个射流的严格定义之前，有必要查看一些特殊情况。

例：一维情况

设f:R→ → -->R{\displaystyle f:{\mathbb {R} }\rightarrow {\mathbb {R} }}是实值函数，在点x0{\displaystyle x_{0}}的领域U有至少k+1阶导数。那泰勒据泰勒定理，

其中

那么f在点x0{\displaystyle x_{0}}的k-射流定义为多项式

射流通常视为变量z的抽象多项式，而不是一个该变量实际的多项式函数。换言之，z是一个不定变量，这使得我们可以在射流上施行各种代数操作。实际上，射流是从基点x0{\displaystyle x_{0}}得到它们的函数依赖关系。这样，通过变换基点，一个射流在每一点产生了一个k次多项式。这标志着射流和截尾泰勒级数的概念上的区别：通常泰勒级数被视为函数式地依赖于它的变量，而非其基点。另一方面，射流将泰勒级数的代数属性和它们的函数属性分离开来。我们将在本条目后面讨论该区别的原因和应用。

例：从欧氏空间到另一个欧氏空间的映射

假设f:Rn→ → -->Rm{\displaystyle f:{\mathbb {R} }^{n}\rightarrow {\mathbb {R} }^{m}}是从一个欧氏空间到另一个的一个函数，有至少(k+1)阶导数。本例中，推广的泰勒定理断言

这个情况下，f的k-射流定义为多项式

例：射流的代数属性

射流可以加上两种基本的代数结构。第一个是乘积结构，虽然这最后是最不重要的。第二个是射流的复合结构。

若f,g:Rn→ → -->R{\displaystyle f,g:{\mathbb {R} }^{n}\rightarrow {\mathbb {R} }}是一对实值函数，则我们可以定义它们的射流的积为

这里，我们略去了不定变量z，因为可以将射流理解为形式化多项式。这个成绩就是z上的普通多项式的乘积，以zk+1{\displaystyle z^{k+1}}为模。换言之，它是在环R[z]/(zk+1){\displaystyle {\mathbb {R} }[z]/(z^{k+1})}上的乘积，其中(zk+1){\displaystyle (z^{k+1})}是由次数≥ k+1的齐次多项式生成的理想。

现在讨论射流的复合。为避免不必要的技术细节，我们考虑从原点映射到原点的函数的射流。若f:Rm→ → -->Rℓ ℓ -->{\displaystyle f:{\mathbb {R} }^{m}\rightarrow {\mathbb {R} }^{\ell }}和g:Rn→ → -->Rm{\displaystyle g:{\mathbb {R} }^{n}\rightarrow {\mathbb {R} }^{m}}满足f(0)=0和g(0)=0，则f∘ ∘ -->g:Rn→ → -->Rℓ ℓ -->{\displaystyle f\circ g:{\mathbb {R} }^{n}\rightarrow {\mathbb {R} }^{\ell }}。射流的复合定义为 J0kf∘ ∘ -->J0kg=J0k(f∘ ∘ -->g).{\displaystyle J_{0}^{k}f\circ J_{0}^{k}g=J_链式法则{k}(f\circ g).} 它可以用链式法则直接证明构成一个原点的射流空间上的非交换操作。

实际上，k-射流的复合不过就是多项式的复合，以次数>k{\displaystyle >k}的齐次多项式为模。

例:

在一维，令f(x)=log⁡ ⁡ -->(1− − -->x){\displaystyle f(x)=\log(1-x)}而g(x)=sinx{\displaystyle g(x)=\sin \,x}。则

且

欧氏空间一点的射流：严格定义

本节集中描述在一点的一个函数的射流的两种不同的严格定义，之后讨论泰勒定理。这些定义在给出在两个流形之间的射流的内蕴定义中是很有用的。

解析定义

如下的定义采用了数学分析中定义射流和射流空间的思想。它可以推广到巴拿赫空间之间的光滑函数、实或复域之间的解析函数、p进分析、或是其它的分析领域。

令C∞ ∞ -->(Rn,Rm){\displaystyle C^{\infty }({\mathbb {R} }^{n},{\mathbb {R} }^{m})}为光滑函数f:Rn→ → -->Rm{\displaystyle f:{\mathbb {R} }^{n}\rightarrow {\mathbb {R} }^{m}}的向量空间。令k为非负整数，并令p为Rn{\displaystyle {\mathbb {R} }^{n}}的一点。我们在该空间定义一个等价关系Epk{\displaystyle E_{p}^{k}}，也就是令两个函数f和g等价如果f和g在p有相同的值，并偏导数它们的偏导数等价到k阶，若f和g在p数值相同，并且它们直到p阶的偏导数全部相同。

k阶射流空间C∞ ∞ -->(Rn,Rm){\displaystyle C^{\infty }({\mathbb {R} }^{n},{\mathbb {R} }^{m})}在点p定义为Epk{\displaystyle E_{p}^{k}}的等价类集合，并记为Jpk(Rn,Rm){\displaystyle J_{p}^{k}({\mathbb {R} }^{n},{\mathbb {R} }^{m})}。

光滑函数f∈ ∈ -->C∞ ∞ -->(Rn,Rm){\displaystyle f\in C^{\infty }({\mathbb {R} }^{n},{\mathbb {R} }^{m})}的k阶射流定义为f在Jpk(Rn,Rm){\displaystyle J_{p}^{k}({\mathbb {R} }^{n},{\mathbb {R} }^{m})}中所属的等价类。

代数几何定义

如下定义采用代数几何和交换代数中的思想来建立射流和射流空间的概念。虽然这个定义不太适合代数几何本身，因为它属于光滑范畴，但也很容易修改为适合代数几何的使用的形式。

令C∞ ∞ -->(Rpn,Rm){\displaystyle C^{\infty }({\mathbb {R} }_{p}^{n},{\mathbb {R} }^{m})}为光滑函数f:Rn→ → -->Rm{\displaystyle f:{\mathbb {R} }^{n}\rightarrow {\mathbb {R} }^{m}}在Rn{\displaystyle {\mathbb {R} }^{n}}中的点p的芽的向量空间。令mp{\displaystyle {\mathfrak {m}}_{p}}为在p为零的函数的理想。(这是局部环C∞ ∞ -->(Rpn,Rm){\displaystyle C^{\infty }({\mathbb {R} }_{p}^{n},{\mathbb {R} }^{m})}的极大理想。)则理想mpk+1{\displaystyle {\mathfrak {m}}_{p}^{k+1}}由所有在点p直到k阶导数全部为零的函数的芽组成。现在我们可以定义p点的射流空间为

若f:Rn→ → -->Rm{\displaystyle f:{\mathbb {R} }^{n}\rightarrow {\mathbb {R} }^{m}}为光滑函数，我们可以定义f在p的k阶射流为Jpk(Rn,Rm){\displaystyle J_{p}^{k}({\mathbb {R} }^{n},{\mathbb {R} }^{m})}的如下元素

泰勒定理

不管怎样定义，泰勒定理建立了向量空间Jpk(Rn,Rm){\displaystyle J_{p}^{k}({\mathbb {R} }^{n},{\mathbb {R} }^{m})}和Rm[z]/(zk+1){\displaystyle {\mathbb {R} }^{m}[z]/(z^{k+1})}之间的标准同构。所以，在欧氏空间的范围中，射流通常可以和它们的多项式表示在这个同构下等同起来。

从一点到一点的射流空间

我们定义了位于一点p∈ ∈ -->Rn{\displaystyle p\in {\mathbb {R} }^{n}}的射流的空间Jpk(Rn,Rm){\displaystyle J_{p}^{k}({\mathbb {R} }^{n},{\mathbb {R} }^{m})}由所有f(p)=q的函数f的射流组成的子空间记为

两个流形间的函数的射流

若M和N是两个光滑流形，我们如何定义函数f:M→ → -->N{\displaystyle f:M\rightarrow N}的射流?也许可以通过M和N上的局部坐标来定义。这个方法的缺点是流形不能在这种方式下以等变的形式来定义。射流不像张量那样变换。实际上，两个流形间的函数的射流属于一个射流丛。

本节先引入从实直线到流形的函数的射流的概念。然后，证明这样的射流构成一个纤维丛，和切丛类似，它也是一个射流丛的一个伴随丛。接下来，讨论定义两个光滑流形间的函数的射流的问题。在整节中，我们全部采用分析方法。虽然代数几何方法在很多应用中更合适，因其过于微妙不便于在此系统论述。细节请参看射流 (代数几何)。

从实直线到流形的函数的射流

假设M为一个光滑流形，p为其中一点。我们来定义穿过p的曲线的射流，我们所指的曲线也即使得f(0)=p的光滑函数f:R→ → -->M{\displaystyle f:{\mathbb {R} }\rightarrow M}。定义一个等价关系Epk{\displaystyle E_{p}^{k}}如下。令f和g为一对穿过p的曲线。我们称f和g在p为k阶等价，如果存在p的某个邻域U，使得对于每个光滑函数φ φ -->:U→ → -->R{\displaystyle \varphi :U\rightarrow {\mathbb {R} }}, J0k(φ φ -->∘ ∘ -->f)=J0k(φ φ -->∘ ∘ -->g){\displaystyle J_{0}^{k}(\varphi \circ f)=J_{0}^{k}(\varp定义良好circ g)}。注意，这些射流是定义良好的，因为复合函数φ φ -->∘ ∘ -->f{\displaystyle \varphi \circ f}和φ φ -->∘ ∘ -->g{\displaystyle \varphi \circ g}只是从实直线到自身的映射而已。该等价关系有时称为在点p的曲线的k阶相切。

现在我们定义k阶射流空间J0k(R,M)p{\displaystyle J_{0}^{k}({\mathbb {R} },M)_{p}}为在Epk{\displaystyle E_{p}^{k}}关系下穿过p的曲线构成的等价类。曲线f穿过p的k阶射流定义为f所属的等价类，记为Jkf{\displaystyle J^{k}f} or J0kf{\displaystyle J_{0}^{k}f}。

这构成了一个实向量空间。随着p在M中变化，J0k(R,M)p{\displaystyle J_{0}^{k}({\mathbb {R} },M)_{p}}构成了M上的一个纤维丛:k阶切丛，经常记为TM （虽然这个记号有时会导致混淆）。在k=1时，一阶切丛就是通常的切丛：TM=TM。

要证明TM实际上构成一个纤维丛，我们需要查看一下J0k(R,M)p{\displaystyle J_{0}^{k}({\mathbb {R} },M)_{p}}在局部坐标中的属性。令(x)= (x,...,x)为M在p的邻域U中的一个局部坐标系。稍微滥用记号一下，我们可以视(x)为一个局部微分同胚(xi):M→ → -->Rn{\displaystyle (x^{i}):M\rightarrow \mathbb {R} ^{n}}。

断言：穿过p的两条曲线f和g以Epk{\displaystyle E_{p}^{k}}为模等价，当且仅当J0k((xi)∘ ∘ -->f)=J0k((xi)∘ ∘ -->g){\displaystyle J_{0}^{k}\left((x^{i})\circ f\right)=J_{0}^{k}\left((x^{i})\circ g\right)}在p的某个邻域U⊂ ⊂ -->V{\displaystyle U\subset V}上成立。

因此，这个表面上的纤维丛TM确实有每个坐标邻域中的局部平凡化。至此，要证明这个表面上的纤维丛是真正的纤维丛，只需证明它在坐标变换下有非奇异的变换函数。令(yi):M→ → -->Rn{\displaystyle (y^{i}):M\rightarrow {\mathbb {R} }^{n}}为一个不同的坐标系，并令ρ ρ -->=(xi)∘ ∘ -->(yi)− − -->1:Rn→ → -->Rn{\displaystyle \rho =(x^{i})\circ (y^{i})^{-1}:{\mathbb {R} }^{n}\rightarrow {\mathbb {R} }^{n}}为相伴随的从欧氏空间到自身的坐标变换微分同胚。通过Rn{\displaystyle {\mathbb {R} }^{n}}的仿射变换，我们可以不失一般性地假设ρ(0)=0。在该假设下，只要证明J0kρ ρ -->:J0k(Rn,Rn)→ → -->J0k(Rn,Rn){\displaystyle J_{0}^{k}\rho :J_{0}^{k}({\mathbb {R} }^{n},{\mathbb {R} }^{n})\rightarrow J_{0}^{k}({\mathbb {R} }^{n},{\mathbb {R} }^{n})}是射流复合下的可逆变换即可。（参看射流群。）但是由于ρ是微分同胚，ρ ρ -->− − -->1{\displaystyle \rho ^{-1}}也是光滑映射。因而，

这表明J0kρ ρ -->{\displaystyle J_{0}^{k}\rho }是非奇异的。而且，它是光滑的，虽然我们这里并不需要利用这一点。

直观的来讲，这意味着我们可以用M上的局部坐标中的泰勒级数来表达一个曲线的射流。

局部坐标中的例子：

如前所示，通过p的一条曲线的1阶射流就是一个切向量。在p的一个切向量就是一个一阶微分算子，它作用于p点的光滑实值函数。在局部坐标中，每个切向量有如下形式

过一点的曲线的二阶射流。

从流形到流形的函数的射流

现在可以定义从流形到流形的函数的射流了。

设M和N为两个光滑流形。令p为M一点。考虑由定义在p的某个邻域中的光滑映射f:M→ → -->N{\displaystyle f:M\rightarrow N}组成的空间Cp∞ ∞ -->(M,N){\displaystyle C_{p}^{\infty }(M,N)}。在Cp∞ ∞ -->(M,N){\displaystyle C_{p}^{\infty }(M,N)}上定义一个等价关系Epk{\displaystyle E_{p}^{k}}如下。两个映射f和g称为等价的，若对于每条穿过p的曲线γ（按此处常规，这表示一个使得γ γ -->(0)=p{\displaystyle \gamma (0)=p}的映射γ γ -->:R→ → -->M{\displaystyle \gamma :{\mathbb {R} }\rightarrow M}，）我们在p的某个领域上有J0k(f∘ ∘ -->γ γ -->)=J0k(g∘ ∘ -->γ γ -->){\displaystyle J_{0}^{k}(f\circ \gamma )=J_{0}^{k}(g\circ \gamma )}。

Jpk(M,N){\displaystyle J_{p}^{k}(M,N)}的射流空间则定义为Cp∞ ∞ -->(M,N){\displaystyle C_{p}^{\infty }(M,N)}以等价关系Epk{\displaystyle E_{p}^{k}}为模的等价类的集合。注意，因为目标空间N不需要有代数结构，Jpk(M,N){\displaystyle J_{p}^{k}(M,N)}也可以没有这样的结构。也就是说，这和欧氏空间的情形实际上形成鲜明的对比。

若f:M→ → -->N{\displaystyle f:M\rightarrow N}是定义在p附近的光滑函数，则我们定义f在p的k阶射流Jpkf{\displaystyle J_{p}^{k}f}为f以Epk{\displaystyle E_{p}^{k}}为模所属的等价类。

截面的射流

本节讨论向量丛的局部截面的射流的概念。所有本节的内容可以在做适当的改动后推广到纤维丛、巴拿赫流形上的巴拿赫丛、纤维化流形、或者概形上的准一致层的局部截面的情况。而且，这些例子只是可以作的推广的一部分而已。

设E为流形M上的有限维光滑向量丛，其投影为π π -->:E→ → -->M{\displaystyle \pi :E\rightarrow M}。则E的截面为满足π π -->∘ ∘ -->s{\displaystyle \pi \circ s}为M上的恒等自同构的光滑函数s:M→ → -->E{\displaystyle s:M\rightarrow E}。截面s在p的一个邻域上的射流就是从M到E的光滑函数在点p的射流。

这些在点p的射流的空间记为Jpk(M,E){\displaystyle J_{p}^{k}(M,E)}。虽然这个记法可能会和更一般的两个流形间的函数的射流空间造成混淆，上下文通常可以消除这种歧义。

和从流形到另一流形的函数的射流不同，在p的截面的射流有继承自截面本身的向量空间结构的向量空间结构。随着p在M上变化，射流空间Jpk(M,E){\displaystyle J_{p}^{k}(M,E)}形成一个M上的丛，也就是E的k阶射流丛，记为J(E)。

例：切丛的一阶射流丛。

向量丛之间的微分算子

参看微分算子#坐标无关表述。

参看

射流丛

参考

Ehresmann, C., "Introduction a la théorie des structures infinitésimales et des pseudo-groupes de mathcal{L}." Geometrie Differentielle, Colloq. Inter. du Centre Nat. de la Recherche Scientifique, Strasbourg, 1953, 97-127.

Kolár(, I., Michor, P., Slovák, J., Natural operations in differential geometry. Springer-Verlag: Berlin Heidelberg, 1993. ISBN 3-540-56235-4, ISBN 0-387-56235-4.

Saunders, D.J., "The Geometry of Jet Bundles", Cambridge University Press, 1989, ISBN 0-521-36948-7

Bocharov, A.V. [et al.], "Symmetries and conservation laws for differential equations of mathematical physics", Amer. Math. Soc., Providence, RI, 1999, ISBN 0-8218-0958

Olver, P.J., "Equivalence, Invariants and Symmetry", Cambridge University Press, 1995, ISBN 0-521-47811-1

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。