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

第一节

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

可测函数

新的积分（Lebesgue积分,从分割值域入手）yi

yi-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)为(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为开集，当然为可测集，且/dx//dx/151129/4734714.html/dx/150916/4697353.html/dx/151130/4735105.html/dx/151130/4735110.html/dx/151201/4736968.html/dx/151201/4736970.html/dx/151201/4736972.html/dx/151201/4736973.html/dx/151202/4737432.html/dx/151202/4737433.html/dx/151202/4737434.html/dx/151202/4737435.html/dx/151203/4737888.html/dx/151203/4737890.html/dx/150915/4696069.html/dx/150915/4696047.html/dx/151204/4738432.html/dx/150912/4695166.html/dx/150912/4695137.html/dx/151204/4738448.html⑷

R中的可测子集E上的单调函数f(x)必为可测函数。aIax1x2由f单调增知下面的集合为可测集证明：不妨设f单调增，对任意a∈R⒊可测函数的等价描述证明：利用（1）与（4），（2）与（3）互为余集，以及⒈定义：设f(x)是可测集E上的实函数，则

f(x)在E上可测

对前面等式的说明

([a-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上也可测

注：用到了可测函数关于子集、并集的性质另外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(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}是可测函数列，则它的收敛点全体和发散点全体是可测集.注意：函数列收敛与函数列收敛于f之间的不同.证明：发散点全体为

收敛点全体为再⒌可测函数与简单函数的关系

可测函数f(x)总可表示成一列简单函数的极限MmMmMmn0例：设f(x)是R上连续函数，g(x)是E上可测函数，则f(g(x))是可测函数。

证明：要证f(g(x))是可测函数，只要证对任意a，E[fg>a]={x|f(g(x))>a}可测即可,g可测f连续{x|f(g(x))>a}=(fg)-1((a,+∞))

=g-1(f-1((a,+∞)))f-1((a,+∞))=第二节

可测函数的收敛性第三章

可测函数

⒈函数列的几种收敛定义

⑵一致收敛:注：近似地说一致收敛是函数列收敛慢的程度能有个控制

近似地说一致连续是函数图象陡的程度能有个控制fn(x)=xn⑴点点收敛:记作1-δ例：函数列fn(x)=xn

,n=1,2,…

在(0,1)上处处收敛到f(x)=0,但不一致收敛，但去掉一小测度集合(1-δ,1),在留下的集合上一致收敛fn(x)=xn⑶几乎处处收敛:记作

(almosteverywhere）即：去掉某个零测度集，在留下的集合上处处收敛

即：去掉某个小（任意小）测度集，在留下的集合上一致收敛

⑷几乎一致收敛:记作

(almostuniformly)⑸依测度收敛:记作注：从定义可看出，几乎处处收敛强调的是在点上函数值的收敛（除一零测度集外）依测度收敛并不

指出函数列在哪个点上的收敛，其要点在于误差超过σ的点所成的集的测度应随n趋于无穷而趋于零，而不论点集的位置状态如何不依测度收敛依测度收敛⒉几种收敛的区别

说明：当n越大，取1的点越多，故{fn(x)}在R+上处处收敛于1

（1）处处收敛但不依测度收敛n

在R+上处处收敛于

f(x)=1,所以{fn(x)}在R+上不依测度收敛于1，另外{fn}不几乎一致收敛于1fn不几乎一致收敛于f几乎一致收敛:记作

(almostuniformly)即：去掉某个小（任意小）测度集，在留下的集合上一致收敛

即：去掉

测度集，在留下的集合上仍不一致收敛

任意

（

）适当小小fn不几乎一致收敛于f即：去掉任意小（适当小）测度集，在留下的集合上仍不一致收敛

不几乎一致收敛于f(x)=1n（2）依测度收敛但处处不收敛01f1f601/4½3/4101/4½3/4101/4½3/4101/4½3/41f7f5f40½1f30½1f201/81/4½1f8依测度收敛但处处不收敛⑵

取E=(0,1],n=2k+i,0≤i<2k,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)的结果知鲁津定理的证明则g(x)为有界可测函数，应用(2)即得我们的结果（连续函数类关于四则运算封闭）(3)当f(x)为一般可测函数时，作变换注：(1)鲁津定理推论鲁津定理（限制定义域）（即：去掉某个小测度集，在留下的集合上连续）（在某个小测度集上改变取值并补充定义变成连续函数）若f(x)为

上几乎处处有限的可测函数，使得在F上g(x)=f(x)且m(E-F)<ε（对n维空间也成立）则

及R上的连续函数g(x)开集的余集是闭集闭集的余集是开集aibi直线上的开集构造

直线上的任一非空开集都可唯一地表示成有限个或可数个互不相交的开区间的并鲁津定理推论证明的说明

鲁津定理：设f(x)为