《实变函数》课程教学资源（PPT课件讲稿）第四章 可测函数（4.2）可测函数的收敛性

实变函数 第四章可测函数 第二节可测函数的收敛性

第二节 可测函数的收敛性 第四章 可测函数

1函数列的几种收敛定义 (点点收敛:记作→于E x∈E,VE>03N>0Vn≥N3有|f1(x)-f(x)k 2)一致收敛 VE>0.N>0,Vn≥N2,x∈E,有|f(x)-f(x)k 注:近似地说一致收敛是函数列 收敛慢的程度能有个控制 f(x=xn 近似地说一致连续是函数图 象陡的程度能有个控制

⒈函数列的几种收敛定义   x E,  0,N x  0,n  N x ,有| f n (x) − f (x)| ⑵一致收敛:     0,N  0,n  N ,x E,有| f n (x) − f (x)| 注：近似地说一致收敛是函数列 收敛慢的程度能有个控制 近似地说一致连续是函数图 象陡的程度能有个控制 0.2 0.4 0.6 0.8 1 0.2 0.4 0.6 0.8 1 fn (x)=xn ⑴点点收敛: 记作 f n → f于E

例:函数列 f(x=xn 0.6 fn(x)=xn,n=1,2, 在(0,1)上处处收敛到 0.4 fx)=0但不一致收敛, 但去掉一小测度集合 l.2 1-6,1),在留下的集合 上一致收敛 0.4 0.6

1 - δ 0.2 0.4 0.6 0.8 1 0.2 0.4 0.6 0.81 例：函数列 fn (x)=xn , n=1,2,… 在(0,1)上处处收敛 到 f(x)=0, 但不一致收敛 ， 但去掉一小测度集合 (1 -δ,1),在留下的集合 上一致收敛 fn (x)=xn

(3几乎处处收敛:记作1→>f4e于E( almost everywhere) E =0 即:去掉某个零测度集,在留下的集合上处处 (几乎一致收敛记作→>faM于E( almost uniform小y 即:去掉某个小(任意小)测度集,在留下的集合上 V8>0,3可测子集ecE,me0,彐可测子集eCE,me0,3N2。>0,Vn≥Na,Mx∈E-e,有fn(x)-f(x)k<E

⑶几乎处处收敛: 记作 f n → f a.e.于E (almost everywhere） f E E e f e E me 使得 n 在 上一致收敛于 可测子集 = −        0, ,  ,                − −       0, 0, , , | ( ) ( )| 0, , , N n N x E e f x f x e E me 有 n 可测子集 即：去掉某个零测度集，在留下的集合上处处收敛 即：去掉某个小（任意小）测度集，在留下的集合上一致收敛 ⑷几乎一致收敛:记作 f n → f a.u.于E (almost uniformly) [ f → f ] = 0 n E

(5)依测度收敛:记作→E Va>0有 im mEu-fi2o 0 n→>00 VG>0VE>0.3N>0.Vm2≥Nm,有nb<E 注:从定义可看出, 几乎处处收敛强调的是在点上函数值的收敛(除一零 测度集外) ●依测度收敛并不指出函数列在哪个点上的收敛,其要 点在于误差超过o的点所成的集的测度应随n趋于无穷 而趋于零,而不论点集的位置状态如何

⑸依测度收敛: 记作 注：从定义可看出， ⚫ 几乎处处收敛强调的是在点上函数值的收敛（除一零 测度集外） ⚫ 依测度收敛并不 指出函数列在哪个点上的收敛，其要 点在于误差超过σ的点所成的集的测度应随n趋于无穷 而趋于零，而不论点集的位置状态如何 f n  f于E   0, lim [| − | ] = 0 →  f f  n n 有 m E [| | ] 0, 0, 0, , n             N n N E    有 f f −  m

不依测度收敛 日a>0,使得mE,Da不收敛于0 3>0,36>0,VN>0,3n≥N,使得m。≥E 依测度收敛 Vo>0,有 lim me Va>0,VE>O.3Nm>0,Vn≥Nn,有mEm1<E

不依测度收敛 [| | ] 0, 0, 0, , n             N n N E    有 f f −  m   0, lim [| − | ] = 0 →  f f  n 有 m E n 依测度收敛   0,使得 [| f − f | ] 不收敛于0 n m E 0, 0, 0, , [| | ] n             N n N E 使得m f f − 

2几种收敛的区别 (1)处处收敛但不依测度收敛 ()=10=12在R上处处收敛于)=1, n 说明:当n越大,取1的点越多,故{f(x)}在R+上处处收敛于1 对00 Jnf|≥] mm(n,+∞)=+o n→>0 所以((x)在R+上不依测度收敛于1,另外{f不几乎一致收敛于

⒉几种收敛的区别 说明：当n越大，取1的点越多，故{fn (x)}在R+上处处收敛于1   = +  = + → −  → 0 1, lim lim ( ) 对 有 m E[| | ] m n， n f f n  n  （1）处处收敛但不依测度收敛 n ( ) { 1,2,  1 (0, ] 0 ( , ) = =   + f x n x n n x n 在R+上处处收敛于f(x)=1 , 所以{fn (x)}在R+上不依测度收敛于1，另外{fn }不几乎一致收敛于1

fn不几乎一致收敛于f >0,V可测子集ecE,me0,VN>0,3n≥N,3x∈E-e,使|n(x)-f(x)E 即:去掉任意小(适当小)测度集,在留下的集合上仍不一致收敛 几乎一致收敛记作D→f4M于 E(almost uniformly 即:去掉某个小(任意小)测度集,在留下的集合上一争 Vδ>0,3可测子集ecE,me0,3可测子集ecE,me0,3N6>0.,Vm≥Na,x∈E-e,有|f(x)-f(x)kE

fn不几乎一致收敛于f f E E e f e E me 使得 n 在 上一致收敛于 可测子集 = −        0, ,  ,                − −       0, 0, , , | ( ) ( )| 0, , , N n N x E e f x f x e E me 有 n 可测子集 几乎一致收敛:记作 a u E (almost uniformly) f f n → . .于 即：去掉某个小（任意小）测度集，在留下的集合上一致收敛             − −       0, 0, , , | ( ) ( )| 0, , , N n N x E e f x f x e E m e 使 n 可测子集 即：去掉 任意 小（适当小）测度集，在留下的集合上仍不一致收敛

fn不几乎一致收敛于f 彐δ>0,Y可测子集ecE,me0,VN>0,3n≥N,3x∈E-e,使|f(x)-f(x)E 即:去掉任意小(适当小)测度集,在留下的集合上仍不一致收敛 x)=6xan)不几乎一致收敛于1x= δ=号>0.V可测子集ecE,me0,N>0, n=N≥N3x∈(E-e)(n,n+1)使|fn(x)-f(x)E

fn不几乎一致收敛于f             − −       0, 0, , , | ( ) ( )| 0, , , N n N x E e f x f x e E m e 使 n 可测子集 即：去掉任意小（适当小）测度集，在留下的集合上仍不一致收敛      =    −  + −   =      =    , ( ) ( , 1), | ( ) ( )| 0, , , 0, 0, 2 1 2 1 n N N x E e n n f x f x e E me N 使 n 可测子集 1 (0, ] 0 ( , ) ( ) { x n n x n f x  =  + 不几乎一致收敛于f(x)=1 n

(2)依测度收敛但处处不收敛 f4 01/43/41 01/43/41 01423/4 014%23/41 1/81/4

（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