实变函数论6-微分与不定积分3-有界变差函数4：定理2

定理2

(1)
设 $f(x)$ 在 $[a,b]$ 上有界变差，则也在其任一子区间$\left[a_1,b_1\right]$ 上有界变差又如 $a<c<b,f(x)$ 分别在 $[a,c]$ 及 $[c,b]$上有界变差，则 $f(x)$ 在 $[a,b]$ 上也有界变差，且

$${\mathrm{V}}_a^b(f)={\mathrm{V}}_a^b(f)+{\mathrm{V}}_c^b(f)(可加性);$$

(2)
设 $f(x)$ 在 $[a,b]$ 上有界变差，则 $f(x)$ 在 $[a,b]$上有界；
(3)
设 $f(x),g(x)$ 在 $[a,b]$ 上都有界变差，则$f(x)\pm g(x),f(x)g(x)$ 在 $[a,b]$ 上有界变差

证明
(1)
对 $\left[a_1,b_1\right]$ 任取一分划

$$T:a_1=x_0<x_1<\cdots <x_n=b_1,$$

对应的变差为 $V,$ 而取$a<a_1<x_1<\cdots <x_{n-1}<b_1<b$ 为$[a,b]$ 的一分划 $T_1,$ 其对应变差为 $V_1,$ 显然有

$$V⩽V_1$$