泛函1-5 1-6.pptVIP

* 应用泛函分析 E-mail:yangli@swust.edu.cn 主讲：杨莉 §5 Lebesgue积分简介 在E上而在某有界闭区间外为零的连续函数全体 所组成的集合。 为0，则 等式右边的积分是Riemann定积分 设E为R中有限或无穷区间， 表示定义 ，如 f 在某一[a,b]外 如序列 ，且 则称 为平均收敛意义下的Cauchy列。 5.1 引理 如 下的Cauchy列，则 且为平均收敛意义 均存在。 5.2 定义 设 f(x) 是E上可测函数，且存在 平均收敛意义下的Cauchy列 ，使得 ，则 定义为f 在E上的 Lebesgue积分，简称L积分，记作 ，即 这时称f(x)在E上Lebesgue可积,简称L可积或可积。 注： 的定义不依赖于逼近于 f 的 的选取。 Cauchy列 E上所有Lebesgue可积函数组成的集合记作L(E), 称为E上Lebesgue可积函数类或L可积函数空间。 由以上定义可见[a,b]上的连续函数是L可积的， 且其积分值等于Riemann积分。 也可证明，一般的[a,b]上Riemann可积函数也是 L可积的，且两种积分相等。 5.3 L积分的性质 1.如果在E上 或E为零测集，则 2.如果f(x)是可测函数，则f(x)是L可积的，当且 仅当|f(x)|L可积。 3.如果在E上 ，则 且两者的L积分相等。 4. 当且仅当在E上 5.如果 f, g可积，则对任意常数 也可积，且 6.如果在E上 ，则 7.如果 ，则 8.如果 ，则 9. Lebesgue控制收敛定理 ，且 使得 ，且 则 ，且 如果函数序列 10.设 是E的子区间，如 ，则 ，如 （即最多只有一个交点），则当 不相重叠 且 时，有 ，且 §6 与Minkowski不等式 1.三角不等式，对任意的 由此可推出 2. *