The exterior derivative is the unique graded derivation that agrees with the differential on functions and satisfies .
On a smooth planar one-form , the product rule and antisymmetry of the wedge product of differential forms giveFor , the coefficient is : there is a nonzero integral around the boundary of every positively oriented rectangle. For , the coefficient is . More generally, the identity makes every exact differential form a closed differential form. It expresses cancellation between mixed partial derivatives locally; it does not imply that every closed differential form has a global potential.
New to topics? Read the docs here!