De Rham derivative of a function
Definition
Let be a differential manifold. The de Rham derivative is an operator that takes as input an infinitely differentiable function on , and outputs a differential 1-form.
Let be a differential manifold. The de Rham derivative is an operator that takes as input an infinitely differentiable function on
, and outputs a differential 1-form.