A characterization of the Lie algebra rank condition by transverse periodic functions

The Lie algebra rank condition plays a central role in nonlinear systems control theory. The present paper establishes that the satisfaction of this condition by a set of smooth control vector fields is equivalent to the existence of smooth transverse periodic functions. The proof here enclosed is constructive and provides an explicit method for the synthesis of such functions.