可测函数的定义和其简单性质2016.ppt

（2）依测度收敛但处处不收敛 0 1 f1 f6 0 1/4 ? 3/4 1 0 1/4 ? 3/4 1 0 1/4 ? 3/4 1 0 1/4 ? 3/4 1 f7 f5 f4 0 ? 1 f3 0 ? 1 f2 0 1/8 1/4 ? 1 f8 依测度收敛但处处不收敛 ⑵ 取E=(0,1], n=2k+i,0≤i2k,k=0,1,2,3,… 说明：对任何x∈(0,1] , {fn(x)}有两个子列，一个恒为1， 一个恒为0，所以{fn(x)}在(0,1]上处处不收敛； 例：函数列fn(x)=xn 在(0,1)上处处收敛到 f(x)=0,但不一致收敛， 但去掉一小测度集合 (1-δ,1),在留下的集合 上一致收敛 收敛的联系（叶果洛夫定理的引入） 1-δ fn(x)=xn ⒊三种收敛的联系 即：去掉某个小（任意小）测度集，在留下的集合上一致收敛 ⑴几乎处处收敛与几乎一致收敛（叶果洛夫定理） 设mE+∞，fn ，f在E上几乎处处有限且可测， （即：可测函数列的收敛 “基本上”是一致收敛） 即：去掉某个零测度集，在留下的集合上处处收敛 引理：设mE+∞，fn ，f在E上几乎处处有限且可测， 证明：由于 为零测度集， 故不妨令 fn ，f在E上处处有限，从而有： 关于N 单调减小 几乎处处收敛与依测度收敛（Lebesgue定理） 设mE+∞，fn ，f在E上几乎处处有限且可测， 第三节 可测函数结构 Lusin定理 第三章 可测函数 可测函数 简单函数是可测函数 可测函数总可表示成一列简单函数的极限 （当可测函数有界时，可作到一致收敛） 问：可测函数是否可表示成一列连续函数的极限？ 可测集E上的连续函数定为可测函数 鲁津定理 实变函数的三条原理（J.E.Littlewood） （1）任一可测集差不多就是开集（至多可数个开区间的并） 设f(x)为E上几乎处处有限的可测函数，则 使得 m(E-F)ε且f(x)在F上连续。 （去掉一小测度集，在留下的集合上成为连续函数） 即：可测函数“基本上”是连续函数 （3）任一点点收敛的可测函数列集差不多就是一致收敛列 （2）任一可测函数差不多就是连续函数 鲁津定理的证明 证明：由于mE[|f|=+∞]=0 ，故不妨令f(x)为有限函数 (1) 当f(x)为简单函数时， 当x∈Ei时，f(x)=ci，所以f(x)在Fi上连续， 而Fi为两两不交闭集，故f(x)在 上连续 显然F为闭集，且有 对f(x)在F连续的说明 若f(x)在Fi上连续，而 Fi为两两不交闭集，则f(x)在 上连续 故对任意x`∈O(x, δ)∩F，有|f(x`)-f(x)|=0，故f 连续 Fi0 ( ) x 证明：任取 则存在 i0，使得x∈Fi0，f(x)= ci0， 又Fi为两两不交闭集，从而x在开集 中 所以存在δ0, 使得 对f(x)在F连续的说明 说明：取闭集的原因在于闭集的余集为开集，开集中的点为 内点，从而可取x∈Fi足够小的邻域不含其他Fi 中的点 函数在每一块上为常值，故在每一块上都连续， 但函数在R上处处不连续 条件Fi为两两不交闭集必不可少，如： 鲁津定理的证明 (2)当f(x)为有界可测函数时， 存在简单函数列{φn(x)} 在E上一致收敛于f(x)， 由{φn(x)} 在F连续及一致收敛于f (x) ， 易知f(x)在闭集F上连续。 利用(1)的结果知 * * 第一节 可测函数的定义及其简单性质 第三章 可测函数 新的积分（Lebesgue积分,从分割值域入手） yi yi-1 用 mEi 表示 Ei 的“长度” 问题：怎样的函数可使Ei 都有“长度”(测度)? 1可测函数定义 例 (1) 零集上的任何函数都是可测函数。 注：称外测度为0的集合为零集；零集的子集，有限并，可数并仍为零集 定义：设f(x)是可测集E上的实函数(可取 )， 若 可测，则称f(x)是E上的可测函数 (2)简单函数是可测