Exterior derivative
The exterior derivative generalizes the concept of differential to general differential forms on a
Note that to any 0-form, i.e. continuous function
The general exterior derivative is then the unique extension of this operation to a graded derivation
Proof of existence and uniqueness
#missing/proof
Local coördinates
Let
we have
This can be seen as a special case of From a covariant derivative.
From a covariant derivative
Let
which is independent of the choice of
Proof
#missing/proof
See also
#state/develop | #lang/en | #SemBr
Footnotes
-
2009. General relativity, §B.1, pp. 428–429. ↩