抄书——叶戈罗夫定理的证明

今天抄郭懋（mao）正《实变函数与泛函分析》中的定理2.3.3——叶戈罗夫定理。
叶戈罗夫定理：
设 $f(x),f_1(x),f_2(x),\cdots ,f_k(x),\cdots$ 是可测集E上几乎处处有限的可测函数集，并且 $m(E)<\infty$。若 $f_k\to f,a.e.[E]$，则 { f k ( x ) } \{ f_k(x)\} { fk​(x)} 几乎一致收敛于 $f(x)$。

分析：
所谓函数序列点点收敛 $f_k\to f$，就是 { f k ( x ) } \{ f_k(x)\} { fk​(x)} 与 $f(x)$ 靠得无限近，也就是指：任意 $\forall ϵ>0$，存在 $\exists K\in \mathbb{N},\forall k>K,\text{都有}|f_k-f|<ϵ$。所谓点点收敛就是对于每个 $x\in E$，以上关系都满足，所谓几乎处处点点收敛，指挖掉点点收敛集合后，还剩下的部分的测度为0。若在 $E$ 中点点收敛的集合为 $A$，则：
$$A\subset E,A^c=E\setminus A\Rightarrow m(A^c)=0$$
所谓函数序列一致收敛 $f_k\Rightarrow f$，是在上述点点收敛基础上添加一个区间约束：它要求在整个区间（$E$）中，只要 $k$ 大于某个确定的 $K$，整个区间就满足 $|f_k-f|<ϵ$。它与点点收敛不同的地方就是 $K$ 是否确定，点点收敛不要求在整个区间都有同一个 $K$，而一致收敛则要求整个区间的 $K$ 一致，即 $k$ 只要大于此 $K$（$K$ 只与 $ϵ$ 有关，与x无关），在整个区间都满足不等式关系。
叶戈罗夫定理讲的就是：在 $E$ 上，几乎点点收敛于 $f(x)$ 的函数列 { f k ( x ) } \{ f_k(x)\} { fk​(x)}，也几乎一致收敛于 $f(x)$。在 $E$ 上，严格一致收敛的条件比严格点点收敛的要严苛，而几乎一致收敛却与几乎点点收敛却是等同的。
证明思路是：
1、找到一致收敛的区域；
2、证明它的补的测度可以任意小。

证明：
由题设：$f_k\to f,a.e.[E]$，则在 $E$ 中，存在
E ′ = { x ∈ E ∣ lim ⁡ k → ∞ f k ( x ) = f ( x ) } E&#x27;=\{x\in E\vert \lim_{k\to\infty} f_k(x)=f(x)\} E′={ x∈E∣k→∞lim​fk​(x)=f(x)}
即在 $E^{\prime }$ 中 $\forall ϵ>0,\exists k,J\in \mathbb{N}$，当 $k>J$，必有 $|f_k-f|<ϵ$。用集合语言来描述它，就变成：
E ′