リーマン多様体
リーマン多様体においては、ごく近い2点間の距離（線素） は、