pullback of a -form
If is a manifold, let be the vector space of -forms on .
Definition Suppose and are smooth manifolds, and suppose is a smooth mapping . Then the pullbackinduced by is the mapping defined asfollows: If , then is the -form on defined by the formula
where , , and is thetangent map .
0.0.1 Properties
Suppose and are manifolds.
- •
If is the identity map on , then is the identity map on .
- •
If are manifolds, and are mappings and , then
- •
If is a diffeomorphism , then is a diffeomorphismwith inverse
- •
If is a mapping , and , then
where is the exterior derivative
.
- •
Suppose is a mapping , , and . Then
- •
If is a -form on , that is, is a real valued function , and is a mapping ,then .
- •
Suppose is a submanifold
(or an open set) in an manifold , and is the inclusion mapping. Then restricts -forms on to -forms on .