The transverse function approach to control, introduced by Morin and Samson in the early 2000s, is based on functions that are transverse to a set of vector fields in a sense formally similar to, although strictly speaking different from, the classical notion of transversality in differential topology. In this paper, a precise link is established between transversality and the functions used in the transverse function approach. It is first shown that a smooth function f : M ® Q{f : M longrightarrow Q} is transverse to a set of vector fields which locally span a distribution D on Q if, and only if, its tangent mapping T f is transverse to D, where D is regarded as a submanifold of the tangent bundle T Q. It is further shown that each of these two conditions is equivalent to transversality of T f to D along the zero section of T M. These results are then used to rigorously state and prove that if M is compact and D is a distribution on Q, then the set of mappings of M into Q that are transverse to D is open in the strong (or “Whitney C ∞-”) topology on C ∞(M, Q).
展开▼
