Ehresmann's 1951 jet-bundle construction. For M, N smooth manifolds the k-jet j^k f(x) of a smooth map f : M → N at x ∈ M is the equivalence class of smooth maps agreeing with f to order k at x — intrinsically, the k-th-order Taylor…
Ehresmann's 1951 jet-bundle construction. For M, N smooth manifolds the k-jet j^k f(x) of a smooth map f : M → N at x ∈ M is the equivalence class of smooth maps agreeing with f to order k at x — intrinsically, the k-th-order Taylor…