リーマン多様体
where formula_5 is a Riemannian manifold with