定理1
设 E ⊂ R n E \subset \mathbf { R } ^ { n } E⊂Rn 为可测集,我们有
(1)
若 E ≠ ∅ E \neq \varnothing E=∅ 但 m E = 0 , m E = 0 , mE=0, 则 E E E 上 的任何实函数 f f f都在 E E E 上 L L L 可积且 ∫ E f ( x ) d x = 0 ; \int _ { E } f ( x ) \mathrm { d } x = 0 ; ∫Ef(x)dx=0;
(2)
若 f ∈ L ( E ) , f \in L ( E ) , f∈L(E), 则 m E [ ∣ f ∣ = ∞ ] = 0 , m E [ | f | = \infty ] = 0 , mE[∣f∣=∞]=0, 即 ∣ f ( x ) ∣ < ∞ a . e . | f ( x ) | < \infty a . e . ∣f(x)∣<∞a.e. 于 E ; E ; E;
(3)
设 f f f 在 E E E 上 积分确定,则 f f f 在 E E E 的任一可测子集 A A A上也积分确定,又若 E = E = E= A ∪ B , A \cup B , A∪B, 这 里 A A A 和 B B B 都 是 E E E 的可测子集且 A ∩ B = ∅ , A \cap B = \varnothing , A∩B=∅, 则
∫ E f ( x ) d x = ∫ A f ( x ) d x + ∫ B f ( x ) d x ; \int _ { E } f ( x ) \mathrm { d } x = \int _ { A } f ( x ) \mathrm { d } x + \int _ { B } f ( x ) \mathrm { d } x ; ∫Ef(x)dx=∫Af(x)dx+∫Bf(x)dx;
(4)
设 f f f 在 E E E 上 积分确定且 f ( x ) = g ( x ) a . e . f ( x ) = g ( x ) a . e . f(x)=g(x)a.e. 于 E , E , E, 则 g g g 也在 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 ; ∫Ef(x)dx=∫Eg(x)dx;
(5)
设 f f f 和 g g g 都在 E E E 上积分确定且 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.
特别地,若 m E < ∞ m E < \infty mE<∞ 且 b ⩽ f ( x ) ⩽ B a . e . b \leqslant f ( x ) \leqslant B a . e . b⩽f(x)⩽Ba.e.于 E , E , E, 则
b m E ⩽ ∫ E f ( x ) d x ⩽ B m E ; b m E \leqslant \int _ { E } f ( x ) \mathrm { d } x \leqslant B m E ; bmE⩽∫Ef(x)dx⩽BmE;
(6)
设 f f f 在 E E E 上 L L L 可积,则 ∣ f ∣ | f | ∣f∣ 也在 E E E 上 L L L 可积,且
∣ ∫ E f ( x ) d x ∣ ⩽ ∫ E ∣ f ( x ) ∣ d x ; \left| \int _ { E } f ( x ) \mathrm { d } x \right| \leqslant \int _ { E } | f ( x ) | \mathrm { d } x ; ∫Ef(x)dx ⩽∫E∣f(x)∣dx;
(7)
设 f f f 是 E E E 上 的可测函数,