Let be a smooth diffeomorphism and be smooth vectorfields on M. Why is it true that ? Here denotes the push-forward of f.
Follow Math Help Forum on Facebook and Google+
Just unwind the definition.
Any smooth function g, and any point p, is a smooth function and its value at f(p) is , that is
View Tag Cloud