Riemannian manifold
リーマン幾何学によれば、リーマン多様体上の無限に近い2点間の距離 ds は