Riemannian manifold
とする。ここに、リーマン多様体に対し、 は外微分、 とする。