定理3
设 f ( x ) f ( x ) f(x) 在 [ a , b ] [ a , b ] [a,b] 上可积,则存在绝对连续函数 F ( x ) F ( x ) F(x) 使 F ′ ( x ) = f ( x ) a . e . F ^ { \prime } ( x ) = f ( x ) a . e . F′(x)=f(x)a.e. 于 [ a , b ] [ a , b ] [a,b] (只需取 F ( x ) = ∫ a x f ( t ) d t . F\left(x\right) = \int _{a}^{x}f\left(t\right)dt. F(x)=∫axf(t)dt.
证明
因为 f ( x ) f ( x ) f(x) 在 [ a , b ] [ a , b ] [a,b] 上可积,所以有连续函数 φ ( x ) \varphi ( x ) φ(x)使 ∫ a b ∣ f ( t ) − φ ( t ) ∣ d t < ε 2 , \int _ { a } ^ { b } | f ( t ) - \varphi ( t ) | \mathrm { d } t < \frac { \varepsilon } { 2 } , ∫ab∣f(t)−φ(t)∣dt<2ε,而由数学分析可知,对连续函数 φ ( x ) \varphi ( x ) φ(x) 有 d d x ∫ a x φ ( t ) d t = φ ( x ) , \frac { \mathrm { d } } { \mathrm { d } x } \int _ { a } ^ { x } \varphi ( t ) \mathrm { d } t = \varphi ( x ) , dxd∫axφ(t)dt=φ(x),因此
∫ a b ∣ d d x ∫ a x f ( t ) d t − f ( x ) ∣ d x \int _ { a } ^ { b } \left| \frac { \mathrm { d } } { \mathrm { ~ d } x } \int _ { a } ^ { x } f ( t ) \mathrm { d } t - f ( x ) \right| \mathrm { d } x ∫ab
dxd∫axf(t)dt−f(x)
dx
= ∫ a b ∣ d d x ∫ a x ( f ( t ) − φ ( t ) ) d t + φ ( x ) − f ( x ) ∣ d x = \int _ { a } ^ { b } \left| \frac { \mathrm { d } } { \ma