所有黎曼流形都可以这样产生。我们可以"定义"黎曼流形为和R的平滑子流形是等距同构的度量空间，等距是指其内蕴度量（intrinsic metric）和上述从R导出的度量是相同的。这对建立黎曼几何是很有用的。黎曼流形可以定义为平滑流形，其中给出了一个切丛的正定二次形的光滑截面。它可产生度量空间：如果γ : ["a", "b"] → "M"是黎曼流形"M"中一段连续可微分的弧线，我们可以定义它的长度"L"（γ）为（注意：γ'（"t"）是切空间"M"在γ（"t"）点的元素；||·||是切空间的内积所得