Pushforward of a vector field

ID: pushforward-of-a-vector-field

For a vector field on , its pushforward by a smooth map between manifolds is the vector field along a map defined by . Acting on a function on , it satisfies . For a diffeomorphism this defines a vector field on by evaluation at . For a general map there need not be a single vector at each image point: , gives , with opposite values over .

New to topics? Read the docs here!