定理2
设 E ⊂ R n E \subset \mathbf { R } ^ { n } E⊂Rn 为可测集, f ( x ) f ( x ) f(x) 和 g ( x ) g ( x ) g(x) 都是 E E E 上的非负可测函数.我们有
(1)
若 f ( x ) ⩽ g ( x ) a . e . f ( x ) \leqslant g ( x ) a . e . f(x)⩽g(x)a.e. 于 E , E , E, 则 ∫ E f ( x ) d x ⩽ ∫ E g ( x ) d x ; \int _ { E } f ( x ) \mathrm { d } x \leqslant \int _ { E } g ( x ) \mathrm { d } x ; ∫Ef(x)dx⩽∫Eg(x)dx;
这时,若 g ( x ) g ( x ) g(x) 在 E E E 上 L L L 可积,则 f ( x ) f ( x ) f(x) 也 在 E E E 上 L L L 可积;
(2)
若 f ( x ) = g ( x ) a . e . f ( x ) = g ( x ) a . e . f(x)=g(x)a.e. 于 E , E , E, 则 ∫ E f ( x ) d x = ∫ E g ( x ) d x ; \int _ { E } f ( x ) \mathrm { d } x = \int _ { E } g ( x ) \mathrm { d } x ;