斯勒流形是一个在每个切空间有巴拿赫(Banach)范数的微分流形，该巴拿赫范数是位置的光滑函数并满足以下条件：对M中的每点x，对切空间formula_1中的每一向量v，如下函数formula_2的二阶导数 在v是正定的。 黎曼流形(但不包括伪黎曼流形)是芬斯勒流形的特例。可微曲线γ的长度由下式给出注意这是一个重参数化不变量，测地线是长度在变分时取极值的曲线。