An L^ Rashevskii-Chow Theorem

Consider a finite family \f₁, , f_ν\ of C^ vector fields on a n-dimensional (n), smooth manifold M. The celebrated Rashevskii-Chow theorem states that, provided the vector fields \f₁, , f_ν\, together with their iterated Lie brackets, span the whole tangent space at some x_*, then any x in a neighborhood of x_* can be connected to x_* by means of a finite concatenation of integral curves of \ f₁, , f_ν\. This result finds applications in a number of areas, e. g. , in control theory, in Sub-Riemannian geometry, and the theory of degenerate elliptic and parabolic partial differential equations, to mention a few. Here we extend this basic result to families of vector fields, which are considerably less regular, in particular, by allowing iterated Lie brackets to be just bounded measurable. This is technically made possible by the utilization of set-valued Lie brackets, which have already proven to be useful in extending commutativity type results, Frobenius' theorem, and also higher-order necessary conditions for optimal control problems, to the setting of non-smooth vector fields.