In differential geometry, the Jacobian of a transformation Phi: M -> N is considered to be a linear transformation between tangent spaces Phi_*: T_pM -> T_qN, where p is a point of M and q = Phi(p).  Let X be a tangent vector in T_pM.  Then Y = Phi_*(X) may be defined in one of two ways.  If X is viewed as a derivation on the smooth functions defined in a neighborhood of p in M, then Y = Phi_*(X) is the derivation on the smooth functions g defined in a neighborhood q of N by Y(g) = X(Phi o g).  If X is viewed as the tangent vector to a curve alpha(t) at t = 0, then Y is the tangent vector to the curve beta = (Phi o alpha)(t) at t = 0.

The vector Y = Phi_*(X) is called the pushforward of X by Phi.  The vector Y is computed by Pushforward(Phi, X, pt), where pt = [a1, a2, a3, ...] or pt = [x1 = a1, x2 = a2, x3 = a3, ...] are the coordinates of the point p.

In components, let J be the Jacobian matrix of Phi computed with respect to a system of coordinates x^i on M and y^j on N, and evaluated at p.  Let a be the column vector whose entries are the components of X computed with respect to the coordinate basis on M. Then the matrix vector product b = J.a gives the components of Y = Phi_*(X) with respect to the coordinate basis on N.

The command Pushforward(Phi, X) returns a vector on N whose coefficients are functions of the coordinates on M.  The result defines the pushforward of the vector field X at an arbitrary point of M.

If Phi is an invertible transformation with inverse Psi, then a vector field  Y on N can be constructed from a vector field X on M by setting Y(q) = Phi_*(X(p)), where q is an arbitrary point of N and p = Psi(q).  The command Pushforward(Phi,  Psi, X) returns the vector field Y.

The Pushforward command can be applied to a list of vectors.

This command is part of the DifferentialGeometry package, and so can be used in the form Pushforward(...) only after executing the command with(DifferentialGeometry).  It can always be used in the long form DifferentialGeometry:-Pushforward.