ula_3的弧长。连续可微函数的总变差，可由如下的积分给出任意实值或虚值函数formula_1定义在区间formula_6上的总变差，由定义。其中formula_8为区间formula_6中的所有分划.定义在有界区域formula_10上的实值可积函数formula_1的总变差,定义为其中 formula_13是Ω中的紧支集上全体连续可微向量函数构成的集合, formula_14是本质上确界范数。若formula_1可微，上式可简化为
度量空间.在一个度量空间