リーマン多様体
リーマン多様体は距離空間と見ることができる。連続かつ微分可能な曲線γ: ["a", "b"] → "M" がリーマン多様体 "M" 上で与えられるとき、この曲線の長さ "L"(γ) は次のように表される。