Differential pullback along a diffeomorphism
Let
The pushforward can be defined via the inverse so that
Further terminology
- If
and , we say is a symmetry transformation of the tensor field . - In the particular case
for the metric tensor, we say is an isometry of .