3非负可测函数的积分.docVIP

§3非负可测函数的为可测集， 是E上的一个非负可测函数， 是E上的勒贝格积分定义为 . 显然 ，若 ，则称 在E上勒贝格可积。 设 为可测集，则在A上的勒贝格积分定义为在A上的限制 在A上的勒贝格积分。我们有 定理1 为可测集，为E上的一个非负可测函数，我们有 若mE=0,则； 若，则=0a.e.于E； 若，则 a.e.与E； 设A和B为E的两个互不相交的可测子集，则 . 证明 （i）由本节的定义既得。 （ii）对于任意的自然数n，令 ， = 则，故=0.而 ，故mE(f0)=0.因而=0 a.e于E. (iii)令. 对于任一自然数n，令 则 .故对任意的自然数n都成立。所以。因而 a.e于E. (iv)设是上任一满足条件 时 的简单函数.由1的定理1和本节的定义得 。 因而 。 另一方面， 故 。 由以上两方面可知 定理2 设为可测集，和都是E上的非负可测函数。我们有 若a.e.于E，则；这时，若在E上L可积，则也在E上L可积； 若a.e.于E，则；特别地，若=0a.e.于E，则=0. 证明 （i）令=E（）,=E(fg),则和都是E的可测子集，，且m=0. 由本节定理1=，=。对于上的任一满足条件时，0的非负简单函数。显然时，0g(x),故 。因。由此可知。 这时，若在E上L可积，则+,故+。因而在E上L可积。 （iii）由（I）和本节定理1立即可得。 定理3（列维 Levi） 设为可测集，为E上的一列非负可测函数，当时对于任一自然数n，有，令，则 证明 显然在E上非负可测且，故。因而 （1） 现证相反的不等式，任取E上的一个非负简单函数使得时。再任取0c1,我们先证 c 令，则是E的可测子集， 且 由2的定理1，=， 故c()=c 由于0c1是任意性的，所以 再由的任意性，可知 （2） 由（1）与（2）得= 定理4 设为可测集，都是上的非负可测函数，都是非负实数，则 特别地 证明 在E上取两列非负简单函数 使得 对任意的和自然数n，有 对任意的，当时 则 且 由本节定理3，当 且 由 故 因而 推论 设为可测集，f和g都是E上的非负L可积函数，都是非负实数，则也在E上非负L可积。 定理5（逐项积分定理）设为可测集，为E上的一列非负可测函数，则 证明 令令 由本节的定理3和定理4， 定理6 [法图（Fatou）引理] 设为可测集，为E上的一列非负可测函数，则 证明 令 则是E上的一列非负可测函数且时 于是 下面的例子说明不能把法图引理中的“”改成“”。 例 令 则对任意故而对于任意的自然数n， 故