勒贝格积分的定.docVIP

勒贝格积分的定义 定义1 设是非空可测集，如果，其中为互不相交的非空可测集， 则称有限集合族是 的一个可测分划，简称分划。是的另一个分 划。如果对于任一，存在，使，称比细。 引理1 给定任两个分划、，必存在比它们都细的第三个分划 我们记 证明 显然合乎要求。 定义2 设是定义在测度有限的集上的有界函数，对的任一分划， 令， 则，，分别称为关于分划 的大和与小和（它们由完全确定） 引理2 （1）设，，则 （2）设分划比细，则，。 （3）对于任两个分划比总有， （4），这里上、下确界是对的所有可能的 分划取的。 证明 由定义很容易证明这些结论是显然的。 定义3 设是定义在测度有限的集上的有界函数，记 =， 分别称为在上的上、下积分。 如果=，则称在上可积，且称此共同值为 在上的积分，记为。 以上有限可测集上有界函数的积分定义，我们看到它在形式上同积分完全类 似，除了积分区域更一般外，主要不同之处在于采用的测度和分划的不同，即那里的区 间在这里一律换成了可测集。 因此我们也有下面类似的结论。 定理1 设是定义在测度有限的可测集上的有界函数，则在上可 积的充要条件为： 对任何，存在的分划使 ，这里 定理2 设是定义在测度有限的可测集上的有界函数，则在上可 积的充要条件是在上可测。 定理3 设，是定义在测度有限的可测集上的有界函数且可积，则 ，（但在上是可积 的。 证明 由定理