可测函数的定义及其简单性质

《可测函数的定义及其简单性质》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第一节可测函数的定义及其简单性质第三章可测函数新的积分（Lebesgue积分,从分割值域入手）yiyi-1用mEi表示Ei的“长度”问题：怎样的函数可使Ei都有“长度”(测度)?1可测函数定义例(1)零集上的任何函数都是可测函数。注：称外测度为0的集合为零集；零集的子集，有限并，可数并仍为零集定义：设f(x)是可测集E上的实函数(可取)，若可测，则称f(x)是E上的可测函数(2)简单函数是可测函数可测函数注：Dirichlet函数是简单函数01若(Ei可测且两两不交），f(x)在每个Ei上取常值ci，则称f(x)是E上的简单函数；（3）可测集E上的连续函数f(x)必为可测函数对比：设f(x

2、)为(a,b)上有限实函数，()()()f(x)在处连续(对闭区间端点则用左或右连续)设f(x)为E上有限实函数，称f(x)在处连续可测集E上的连续函数f(x)定为可测函数证明：任取x∈E[f>a],则f(x)>a,由连续性假设知，()x０f(x0)+εf(x0)f(x0)-εa则G为开集，当然为可测集，且⑷R中的可测子集E上的单调函数f(x)必为可测函数。aIax1x2由f单调增知下面的集合为可测集证明：不妨设f单调增，对任意a∈R⒊可测函数的等价描述证明：利用（1）与（4），（2）与（3）互为余集，以及⒈定义：设f(x)是可测集E上的实函数，则f(x)在E上可测对前面等式的说明([a-

3、1/na([aa+1/n⒋可测函数的性质⑴可测函数关于子集、并集的性质反之，若,f(x)限制在En上是可测函数，则f(x)在E上也是可测函数。即:若f(x)是E上的可测函数,可测，则f(x)限制在E1上也是可测函数；若m(E[f≠g])=0,则称f(x)=g(x)在E上几乎处处成立,记作f(x)=g(x)a.e.于E。（almosteverywhere）注：在一零测度集上改变函数的取值不影响函数的可测性证明：令E1=E[f≠g]，E2=E[f=g]，则mE1=0从而g(x)在E1上可测，即：设f(x)=g(x)a.e.于E，f(x)在E上可测，则g(x)在E上也可测注：用到了可测函数关于子

4、集、并集的性质另外f(x)在E2上可测，从而g(x)在E2上也可测，进一步g(x)在E=E1∪E2上也可测。⑵可测函数类关于四则运算封闭即:若f(x),g(x)是E上的可测函数,则f(x)+g(x),f(x)-g(x),f(x)g(x),f(x)/g(x)仍为E上的可测函数。a-g(x)rf(x)⑵可测函数类关于四则运算封闭即:若f(x),g(x)是E上的可测函数,则f(x)+g(x),f(x)-g(x),f(x)g(x),f(x)/g(x)仍为E上的可测函数。a-g(x)rf(x)类似可证：设f(x),g(x)是E上可测函数，则为可测集。证明中利用了Q是可数集和R中的稠密集两个性质a-g

5、(x)rf(x)类似可证：设f(x),g(x)是E上可测函数，则为可测集。证明中利用了Q是可数集和R中的稠密集两个性质a-g(x)rf(x)⑶可测函数类关于确界运算和极限运算封闭。推论：可测函数列的极限函数仍为可测函数（连续函数列的极限函数不一定为连续函数）。若fn(x)是E上的可测函数,则下列函数仍为E上的可测函数。对上式的说明：下确界：([a-1/na例：R1上的可微函数f(x)的导函数f`(x)是可测函数利用了可测函数列的极限函数仍为可测函数.从而f`(x)是一列连续函数（当然是可测函数）的极限，故f`(x)是可测函数.证明：由于gn(x)例设{fn}是可测函数列，则它的收敛点全体和

6、发散点全体是可测集.注意：函数列收敛与函数列收敛于f之间的不同.证明：发散点全体为收敛点全体为再⒌可测函数与简单函数的关系可测函数f(x)总可表示成一列简单函数的极限MmMmMmn0例：设f(x)是R上连续函数，g(x)是E上可测函数，则f(g(x))是可测函数。证明：要证f(g(x))是可测函数，只要证对任意a，E[fg>a]={x

7、f(g(x))>a}可测即可,g可测f连续{x

8、f(g(x))>a}=(fg)-1((a,+∞))=g-1(f-1((a,+∞)))f-1((a,+∞))=第二节可测函数的收敛性第三章可测函数⒈函数列的几种收敛定义⑵一致收敛:注：近似地说一致收敛是函数列收敛

9、慢的程度能有个控制近似地说一致连续是函数图象陡的程度能有个控制fn(x)=xn⑴点点收敛:记作1-δ例：函数列fn(x)=xn,n=1,2,…在(0,1)上处处收敛到f(x)=0,但不一致收敛，但去掉一小测度集合(1-δ,1),在留下的集合上一致收敛fn(x)=xn⑶几乎处处收敛:记作(almosteverywhere）即：去掉某个零测度集，在留下的集合上处处收敛即：去掉某个小（任意小）测度集，在留下的集合上一致收敛⑷几