如果$f$在$[a,b]$上单调,则$f$是$[a,b]$上的有界变差函数.
证明:不妨设$f$在$[a,b]$上递增.
设$P=\{x_0,\cdots,x_n\}$是对区间$[a,b]$的任意分割,则
$$\sum_{i=0}^{n-1}|f(x_{i+1})-f(x_i)|=\sum_{i=0}^{n-1}f(x_{i+1})-f(x_i)=f(b)-f(a)$$
因此$f$是$[a,b]$上的有界变差函数.
转载于:https://www.cnblogs.com/yeluqing/archive/2013/02/09/3827479.html