Riemannian manifold
リーマン多様体を導入することで、一般共変性の仮定は、