Tangency under the Lie bracket

ID: tangency-under-the-lie-bracket

If and preserve , then their commutator preserves it because
for every . Thus vector fields tangent to an embedded submanifold are closed under the Lie bracket of vector fields, and the restricted bracket depends only on their restrictions to the submanifold.

New to topics? Read the docs here!