Riemannian manifold
如果γ : ["a", "b"] → "M"是黎曼流形"M"中一段連續可微分的弧線，我們可以定義它的長度"L"（γ）為