设条件下，下面的等式成立：
引理证明.由高斯散度定理formula_25.将formula_26代入，可得由于在formula_28的边界上formula_29,从而注意到formula_31代入上式，移项即得如果函数"formula_1"的总变差有限，则称函数"formula_1"为有界变差函数.
外部链接.
理论.单变量多变量测度论概率论