在数学分析中知道,一致收敛是函数列很重要的性质,它能保证极限过程和一些运算的可交换性.但一般而论,一个收敛的函数列在其收敛域上是不一定一致收敛的.
例如 f n ( x ) = x n f _ { n } ( x ) = x ^ { n } fn(x)=xn 在 [ 0 , 1 ] [ 0 , 1 ] [0,1]上不一致收敛.但是只要从 [ 0 , 1 ] [ 0 , 1 ] [0,1] 的右端点去掉任意小的一段成为 [ 0 , 1 − δ ] , [ 0 , 1 - \delta ] , [0,1−δ], 则 { f n } \left\{ f _ { n } \right\} { fn}在其上就一致收敛了其实这一现象在某种意义下是带有普遍性的这就是下面要讲的叶戈罗夫( EropoB)定理,
定理(叶戈罗夫定理)
设 m E < ∞ , { f n } m E < \infty , \left\{ f _ { n } \right\} mE<∞,{ fn} 是 E E E上一列 a . e . a . e . a.e. 收敛于一个 a . e . a . e . a.e. 有限的函数 f f f的可测函数,则对任意 δ > 0 , \delta > 0 , δ>0, 存在子集 E δ ⊂ E , E _ { \delta } \subset E , Eδ⊂E, 使 { f n } \left\{ f _ { n } \right\} { fn} 在 E δ E _ { \delta } Eδ 上一致收敛,且 m ( E \ E s ) < δ . m \left( E \backslash E _ { s } \right) < \delta . m(E\Es)<δ.
证明
由条件, m ( E [ ∣ f n ∣ = ∞ ] ) = 0 ( n = 1 , 2 , ⋯ ) ; m ( E [ ∣ f ∣ = ∞ ] ) = 0. m \left( E \left[ \left| f _ { n } \right| = \infty \right] \right) = 0 ( n = 1 , 2 , \cdots ) ; m ( E [ | f | = \infty ] ) = 0 . m(E[∣fn∣=∞])=0(n=1,2,⋯);m(E[∣f∣=∞])=0.因此得 $m E _ { 0 } =$0,其中
E 0 = ⋃ n = 1 ∞ E [ ∣ f n ∣ = + ∞ ] ∪ E [ ∣ f ∣ = + ∞ ] . E _ { 0 } = \bigcup _ { n = 1 } ^ { \infty } E \left[ \left| f _ { n } \right| = + \infty \right] \cup E [ | f | = + \infty ] . E0=n=1⋃∞E[∣fn∣=+∞]∪E[∣f∣=+∞].
用 E \ E 0 E \backslash E _ { 0 } E\E0 替代 E , E , E, 不妨设 f n ( x ) , f ( x ) f _ { n } ( x ) , f ( x ) fn(x),