Pushforward of a curve

ID: pushforward-of-a-curve

A pushforward of a curve composes a parametrized curve in the source with a smooth map between manifolds. Its tangent is the image of the original tangent under the differential of a smooth map. A constant image curve has zero tangent, so a general smooth map need not preserve regularity of curves.

New to topics? Read the docs here!