aka de Rham differential
On any manifold X, there is a natural linear map d:Ωk(X)→Ωk+1(X) (where Ωk(X) is the space of k-forms on manifold X) called the exterior derivative or the de Rham differential satisfying
- If f∈Ω0(X)=C∞(X) then df∈Ω1(X)=Γ∞(T∗X) is the usual Derivative of f
- d2=0:Ωk(X)→Ωk+1(X)
- d(\alpha \wedge \beta) = (d\alpha)\wedge \beta+(-1)^k \alpha \wedge(d \beta) if α∈Ωk(X), β∈Ωl(X).
These properties characterize d uniquely.
Geometrical intuition behind this?
In coordinates:
- dαU=j=1,...,n;i1...ik:1≤i1<...<ik≤n∑∂xj∂αi1...ikdxj∧dxi1∧...∧dxik
where αi1...ik are the components of the Exterior form α. Note that the new exterior form has indices which may not be ordered in increasing order. So it would be easier if α was in that form too...