可测函数列的依测度收敛性

定义1： 设$f(x),f_1(x),f_2(x),\cdots ,f_k(x),\cdots$是可测集$E$上几乎处处有限的可测函数，若对于任意给定的$\epsilon >0$，有$$\underset{k\to \infty }{\lim }m(E|f_k-f|>\epsilon )=0,$$则称 { f k ( x ) } \{f_k(x)\} {fk​(x)}在$E$上依测度收敛到函数$f(x)$，记为$f_k\stackrel{\mathrm{m}}{⟶}f$。

定理1： 若函数列 { f k ( x ) } \{f_k(x)\} {fk​(x)}在$E$上依测度收敛于函数$f(x)$与$g(x)$，则$f(x)$与$g(x)$几乎处处相等。

定理2： 设函数列 { f k ( x ) } \{f_k(x)\} {fk​(x)}是可测集$E$上的几乎处处有限的可测集函数列且$m(E)<\infty$。若 { f k ( x ) } \{f_k(x)\} {fk​(x)}在$E$上几乎处处收敛，则 { f k ( x ) } \{f_k(x)\} {fk​(x)}在$E$上依测度收敛于同一极限函数。

定理3（Riesz定理）： 设 f ( x ) , { f k ( x ) } f(x),\{f_k(x)\} f(x),{fk​(x)}是可测集$E$上几乎处处有限的可测函数列。若 { f k ( x ) } \{f_k(x)\} {fk​(x)}在$E$上依测度收敛于$f(x)$，则存在子列 { f k i ( x ) } \{f_{k_i}(x)\} {fki​​(x)}，使得$$\underset{i\to \infty }{\lim }{f}_{k_i}(x)=f(x),\mathrm{a}.\mathrm{e}.[E].$$

定义2： 设 { f k ( x ) } \{f_k(x)\} {fk​(x)}是可测集$E$上几乎处处有限的可测函数列。对任给的$\epsilon >0$，有$$\underset{k,j\to \infty }{\lim }m(E(|f_k-f_j|)>\epsilon )=0$$则称 { f k ( x ) } \{f_k(x)\} {fk​(x)}是$E$上的依测度基本列。

定理4： 设 { f k ( x ) } \{f_k(x)\} {fk​(x)}是可测集$E$上几乎处处有限的可测函数列，则 { f k ( x ) } \{f_k(x)\} {fk​(x)}是依测度收敛的充分必要条件是，它还是依测度基本列。