Si γ: ["a", "b"] → "M" es una curva continuamente diferenciable en la variedad de Riemann "M", entonces se define su longitud "L"(γ) como