定义2(绝对连续函数)
设 F ( x ) F ( x ) F(x) 为 [ a , b ] [ a , b ] [a,b]上的有限函数,如果对任意 ε > 0 , \varepsilon > 0 , ε>0, 存在 δ > 0 , \delta > 0 , δ>0, 使对 [ a , b ] [ a , b ] [a,b] 中互不相交的任意有限个开区间
( a i , b i ) , i = 1 , 2 , ⋯ , n , \left( a _ { i } , b _ { i } \right) , i = 1 , 2 , \cdots , n , (ai,bi),i=1,2,⋯,n, 只要 ∑ i = 1 n ( b i − a i ) < δ , \sum _ { i = 1 } ^ { n } \left( b _ { i } - a _ { i } \right) < \delta , ∑i=1n(bi−ai)<δ,就有 ∑ i = 1 n ∣ F ( b i ) − F ( a i ) ∣ < ε , \sum _ { i = 1 } ^ { n } \left| F \left( b _ { i } \right) - F \left( a _ { i } \right) \right| < \varepsilon , ∑i=1n∣F(bi)−F(ai)∣<ε,则称 F ( x ) F ( x ) F(x) 为 [ a , b ] [ a , b ] [a,b] 上的绝对连续
函数.
定理2
设 F ( x ) F ( x ) F(x) 为 [ a , b ] [ a , b ] [a,b] 上的绝对连续函数,且 F ′ ( x ) = 0 a . e . F ^ { \prime } ( x ) = 0 a . e . F′(x)=0a.e. 于 [ a , b ] , [ a , b ] , [a,b], 则 F ( x ) = F ( x ) = F(x)=常数。
证明
设 c ∈ [ a , b ] , c \in [ a , b ] , c∈[a,b], 我们将证明 F ( c ) = F ( a ) . F ( c ) = F ( a ) . F(c)=F(a).
由假设,存在 A ⊂ ( a