Let be a smooth real manifold. A smooth vector field on can be considered as a function from to . Every function at every point is by a vector field (which implicitly associates a tangent vector at every point) taken to some real value, which one can think of as the directional derivative of along the tangent vector. Moreover, this varies smoothly with .

Continue reading “Vector fields, flows, and the Lie derivative”