Orbit Theorem (Nagano-Sussmann)
Each orbit is an immersed submanifold of .
The tangent space to the orbit at a point is the linear subspace of spanned by the vectors where denotes the pushforward of by, belongs to and is a diffeomorphism of of the form with and .
If all the vector fields of the family are analytic, then where is the evaluation at of the Lie algebra generated by with respect to the Lie bracket of vector fields. Otherwise, the inclusion holds true.
Read more about this topic: Orbit (control Theory)
Famous quotes containing the words orbit and/or theorem:
““To my thinking” boomed the Professor, begging the question as usual, “the greatest triumph of the human mind was the calculation of Neptune from the observed vagaries of the orbit of Uranus.”
“And yours,” said the P.B.”
—Samuel Beckett (1906–1989)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)