テンソル"g"によって "m"の各点での接空間に対し接ベクトルの長さを表す正定値の2次形式が与えられ、これをもとにして"m"上の曲線の弧長を定義することができる。