2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/159890Given a compact manifold M, we prove that any bracket generating and invariant under multiplication on smooth functions family of vector fields on M generates the connected component of unit of the group Diff(M).Differential GeometryOptimization and ControlFamilies of vector fields which generate the group of diffeomorphismstext