Published online by Cambridge University Press: 22 January 2016
Let M = M(D π) be a (real analytic) fibered manifold of dimension n over a manifold D of dimension p, with projection π. We denote by M′ (D, α) the prolonged fibered manifold of M(D, π). Every point of M′ is a p-dimensional contact element of M, and a p-dimensional contact element X of M belongs to M′ if and only if π*X = Tπ(x)(D), where x is the origin of X. We write x = β(X) and α = π°β. We also denote by M″(D, α′) the prolonged fibered manifold of M′(D, α), where α′ = α°β′ and β′ is the projection of each X′ ∈ M″ to its origin in M′.