리만 다양체
where formula_5 is a Riemannian manifold with