which is the negative of the integral of the same differential form over the same interval, when equipped with the opposite orientation. That is:
The exterior algebra may be embedded in the tensor algebra by means of the alternation map. The alternation map is defined as a mapping
On a pseudo-Riemannian manifold, 1-forms can be identified with vector fields; vector fields have additional distinct algebraic structures, which are listed here for context and to avoid confusion.
Fubini's theorem states that the integral over a set that is a product may be computed as an iterated integral over the two factors in the product. This suggests that the integral of a differential form over a product ought to be computable as an iterated integral as well. The geometric flexibility of differential forms ensures that this is possible not just for products, but in more general situations as well. Under some hypotheses, it is possible to integrate along the fibers of a smooth map, and the analog of Fubini's theorem is the case where this map is the projection from a product to one of its factors.