实变函数论6-微分与不定积分4：不定积分

4不定积分
本节的最终目标在于揭示积分与导数之间的关系.正如在 $R$ 积分中我们不能只考
虑具有固定上限的定积分而必须进而考虑有变动上限的积分，我们很自然地要引入下
面的概念.
定义1（不定积分）设 $f(x)$ 在 $[a,b]$ 上 $L$ 可积，则 $[a,b]$
上的函数 $F(x)={\int }_a^{x}f(t)\mathrm{d}t$
$+C(C$ 为任一常数)称为 $f(x)$ 的一个不定积分
我们的任务是找出一切有资格作某一可积函数的不定积分的函数的特征
任取 $f(x)$ 在 $[a,b]$ 上的一个不定积分
$F(x)={\int }_a^{x}f(t)\mathrm{d}t+C.$
由于 $|f(x)|$ 的积分的绝对连续性，对任意 $\epsilon >0,$ 存在
$\delta >0,$ 使 $A\subset [a,b],mA<\delta$ 时，
${\int }_A|f(x)|\mathrm{d}x<\epsilon .$
特别地，取 $A$ 等于互不相交的有限多个开区间的和集，
$A={\bigcup }_{i=1}^n\left(a_i,b_i\right),$
显然当
${\sum }_{i=1}^n\left(b_i-a_i\right)<\delta$
时，有
${\sum }_{i=1}^n\left|F\left(b_i\right)-F\left(a_i\right)\right|={\sum }_{i=1}^n\left|{\int }_{a_i}^{b_i}f(x)\mathrm{d}x\right|⩽{\sum }_{i=1}^n{\int }_{a_i}^{b_i}|f(x)|\mathrm{d}x={\int }_A|f(x)|\mathrm{d}x<\epsilon .$
定义2（绝对连续函数）设 $F(x)$ 为 $[a,b]$
上的有限函数，如果对任意 $\epsilon >0,$ 存
在 $\delta >0,$ 使对 $[a,b]$ 中互不相交的任意有限个开区间
$\left(a_i,b_i\right),i=1,2,\cdots ,n,$ 只要
${\sum }_{i=1}^n\left(b_i-a_i\right)<\delta ,$
就有
${\sum }_{i=1}^n\left|F\left(b_i\right)-F\left(a_i\right)\right|<\epsilon ,$
则称 $F(x)$ 为 $[a,b]$ 上的绝对连续
函数.
由此便得如下定理
定理1设 $f(x)$ 在 $[a,b]$ 上可积，则其不定积分为绝对连续函数.
不难证明绝对连续函数是一致连续函数，并且也是有界变差函数.满足利普希茨条
件的函数是绝对连续函数，
定理2设 $F(x)$ 为 $[a,b]$ 上的绝对连续函数，且
$F^{\prime }(x)=0a.e.$ 于 $[a,b],$ 则 F ( x ) = F ( x ) = <