Explanation for the integral of differential forms

Solution 1:

There are a couple confusing things going on here.

First, basis covectors are often denoted something like $\mathrm dx^i$ which is visually similar to $dx^i$ (I'm writing them like so, differently, to emphasize these are different notions; it wouldn't surprise me to see $dx^i$ as a basis covector either though), so the relationship between a basis covector and a differential appears clear, even obvious.

And yet these things are not really even alike.

When you integrate a $k$-covector, what are you really doing? You're integrating on some (usually) $k$-dimensional manifold. If $e_1, e_2, \ldots$ are basis vectors of this manifold*, then an infinitesimal patch of this manifold is described using a $k$-vector $dV = (e_1 \wedge e_2 \wedge \ldots \wedge e_k) dx^1 dx^2 \ldots dx^k$.

What do $k$-covectors do? Well, usually we're told they eat $k$ vectors in all to give a scalar (or a scalar field, if in fact we have a $k$-covector field). Alternatively, they can be seen to eat a single $k$-vector.

So what you're really doing when you integrate a $k$-covector is this:

$$\int_U \omega \equiv \int_U \omega(e_1 \wedge e_2 \wedge \ldots \wedge e_k) \, dx^1 dx^2 \ldots dx^k$$

For some reason, people seldom even talk about the existence of $k$-vectors. Knowing they exist at all is really important. It turns the Riemann tensor into a map from $2$-vectors to $2$-vectors, for instance. Anyway, the object $\omega(e_1 \wedge \ldots \wedge e_k)$ is a scalar function and as such you clearly a classic Riemannian integral now.

*I don't denote that these basis vectors depend on the point of the manifold you take them at, but they do have this dependence.

Solution 2:

Once I heard differential forms being introduced in a classroom as "the stuff we want to integrate". Take a look at the change of variables formula for integration in $\mathbb{R}^n$ (the Jacobian formula) and you will see it behaves the way differential forms do. The impression one gets is that differential forms were created to simplify integration. I think the motivation is clear if you look at the properties that define a differential form as being tailor made to be used in integration. I agree the motivation is opaque if you think of forms by themselves and then ask why their integral is defined in that way. Also of course, once a mathematical object is defined, mathematicians will explore its properties independent of the reason that leads to its creation. Complex numbers were created to express solutions of polynomial equations but obviously their use has gone beyond that, with forms is the same story.