Published online by Cambridge University Press: 20 November 2018
For every ( differentiable) bundle E over a manifold M, Jk(E) denotes the set of all k-jets of local (differentiable) sections of the bundle E. Jk(E) is a bundle over M such that if X is a section of E, then
is a (differentiable) section of Jk(E). If E is a vector bundle, Jk(E) is a vector bundle and we have the canonical exact sequence of vector bundles
where Sk(T*) is the symmetric Whitney tensor product of the cotangent vector bundle T* of M. and π is the canonical morphism which associates to each k-jet of section its jet of inferior order.