本节就一元函数的情形讨论黎曼积分和勒贝格积分的关系.我们把一元函数 f ( x ) f ( x ) f(x)在 [ a , b ] [ a , b ] [a,b] 上的黎曼积分和勒贝格积分分别记为 ( R ) ∫ a b f ( x ) d x ( R ) \int _ { a } ^ { b } f ( x ) \mathrm { d } x (R)∫abf(x)dx 和 ( L ) ∫ ( a , b ] f ( x ) d x . ( L ) \int _ { ( a , b ] } f ( x ) \mathrm { d } x . (L)∫(a,b]f(x)dx. 我们先给出有界函数 f ( x ) f ( x ) f(x) 在 [ a , b ] [ a , b ] [a,b] 上 R R R
可积的一个充要条件,然后讨论这两种积分之间的关系,结论如下:
勒贝格积分是黎曼积分的推广但不是黎曼反常积分的推广
设 f ( x ) f ( x ) f(x) 是 [ a , b ] [ a , b ] [a,b] 上的一个有界函数, x ∈ [ a , b ] x \in [ a , b ] x∈[a,b] 时 ∣ f ( x ) ∣ ⩽ M . | f ( x ) | \leqslant M . ∣f(x)∣⩽M. 对于任意的正整数 n , n , n,作 [ a , b ] [ a , b ] [a,b] 的分法
T ( n ) : a = x 0 ( n ) < x 1 ( n ) < ⋯ < x P n ( n ) = b , T ^ { ( n ) } : a = x _ { 0 } ^ { ( n ) } < x _ { 1 } ^ { ( n ) } < \cdots < x _ { P _ { n } } ^ { ( n ) } = b , T(n):a=x0(n)<x1(n)<⋯<xPn(n)=b,
使得 n → ∞ n \rightarrow \infty n→∞ 时, δ ( T n ) → 0 , \delta \left( T ^ { n } \right) \rightarrow 0 , δ(Tn)→0, 这里
δ ( T n ) = max { x i ( n ) − x i − 1 ( n ) : i = 1 , 2 , 3 , ⋯ , P n } \delta \left( T ^ { n } \right) = \max \left\{ x _ { i } ^ { ( n ) } - x _ { i - 1 } ^ { ( n ) } : i = 1 , 2 , 3 , \cdots , P _ { n } \right\} δ(Tn)=max{ xi(n)−xi−1(n):i=1,2,3,⋯,Pn}
表示分法 T ( n ) T ^ { ( n ) } T(n) 的最大区间长.令
M