实变函数自制笔记7：可测函数的收敛定理

最新推荐文章于 2024-10-11 12:21:40 发布

绿镇

最新推荐文章于 2024-10-11 12:21:40 发布

阅读量5.4k

点赞数 9

分类专栏：实变函数文章标签：数学

本文链接：https://blog.csdn.net/qq_42914565/article/details/121828229

版权

实变函数专栏收录该内容

9 篇文章

订阅专栏

1、实变函数分析语言和集合语言间的转换：

背景：已知 $f_{n}\left ( x \right )$ 是可测集 $E\subset \mathbb{R}^{n}$ 上的可测函数列， $f\left ( x \right )$ 为 $E$ 上的可测函数，而 $E$ 有零测子集 $E_{0}\subset E,m\left ( E_{0} \right )=0$ ；让 $f_{n}\left ( x \right )$ 在 $E$ 或者上一致收敛是不可能的，我们只能考察 $f_{n}\left ( x \right )$ 是否存在一致收敛的子列，或者将 $f_{n}\left ( x \right )$ 限制在一个比 $E$ 或 $E-E_0$ 稍小的集合上使得 $f_{n}\left ( x \right )$ 在这个集合上一致收敛；这里我们先从 $E$ 里不收敛至 $f\left ( x \right )$ 的点集 $E_1=\left \{ x\mid x\in E,f_n\left ( x \right )\nrightarrow f\left ( x \right ) \right \}$ 开始着手；
$f_{n}\left ( x \right )$ 不收敛于 $f\left ( x \right )$ 的一系列语言描述：

分析语言： $f_n\left ( x \right )\nrightarrow f\left ( x \right )\Leftrightarrow \exists \varepsilon _0> 0,\forall N\in \mathbb{N},\exists n\geqslant N,\left | f_n\left ( x \right ) -f\left ( x \right )\right |> \varepsilon _0$ ；
集合语言： $E_1=\bigcup_{k=1}^{\infty }\bigcap_{N=1}^{\infty }\bigcup_{n=N}^{\infty }\left \{ x\mid x\in E, \left | f_n\left ( x \right ) -f\left ( x \right )\right |\geqslant \frac{1}{k}\right \}=\left \{ x\mid x\in E,f_n\left ( x \right )\nrightarrow f\left ( x \right ) \right \}$ ；

解读：对于分析语言，对不同的 $x\in E_1$ ， $n,\varepsilon _0$ 可能各不相同，这一点在集合语言里就得以体现出来了： $\exists n\geqslant N$ 对应于 $\bigcup_{n=N}^{\infty }\left \{ x\mid x\in E, \left | f_n\left ( x \right ) -f\left ( x \right )\right |\geqslant \varepsilon _0\right \}$ ； $\forall N\in \mathbb{N}$ 对应 $\bigcap_{N=1}^{\infty }\bigcup_{n=N}^{\infty }\left \{ x\mid x\in E, \left | f_n\left ( x \right ) -f\left ( x \right )\right |\geqslant \varepsilon _0\right \}$ ，这个集合把 $N,n,\varepsilon _0$ 的关系均反映出来了；而对于不同的 $x$ ， $\varepsilon _0$ 可能是不同的，则构造出这样的集合 $\bigcup_{k=1}^{\infty }\bigcap_{N=1}^{\infty }\bigcup_{n=N}^{\infty }\left \{ x\mid x\in E, \left | f_n\left ( x \right ) -f\left ( x \right )\right |\geqslant \varepsilon _0\right \}$ ，这个集合表示了所有不收敛的点构成的集合；由于 $\varepsilon _0$ 可能有不可数多个，为了保证不可数多个可测集的并集还是可测的，需要将集合的并运算可数化（ $\forall \varepsilon _0> 0,\exists k\in \mathbb{N},\varepsilon _0> \frac{1}{k}$ ，则当 $\left | f_n\left ( x \right ) -f\left ( x \right )\right |\geqslant \varepsilon _0$ 时，有 $\left | f_n\left ( x \right ) -f\left ( x \right )\right |\geqslant \frac{1}{k}$ ）；

2、函数的逼近相关概念：

背景：函数逼近常常是用我们认为好（或者说简单，易于理解）的函数去逼近我们认为不好（或者说复杂，难于理解）的函数，通常我们采用不同的收敛意义对不好的函数进行逼近，因此函数逼近可以相应的有很多含义。首先，我们将所有能用得到的函数列的收敛意义的概念进行整理：
收敛 $\lim_{n\rightarrow \infty }f_{n}\left ( x \right )=f\left ( x \right ),x\in D$ / $f_{n}\left ( x \right )\rightarrow f\left ( x \right )\left ( n\rightarrow \infty \right ),x\in D$ ：对于固定的 $x\in D$ ， $\forall \varepsilon > 0$ ， $\exists N> 0$ （或者称 $N\left ( x,\varepsilon \right )> 0$ ），当 $n> N$ 时，有 $\left | f_{n}\left ( x \right )-f\left ( x \right ) \right |< \varepsilon$ ，这里 $f\left ( x \right )$ 称为极限函数；
逐点收敛： $\forall \varepsilon > 0$ ， $\forall x\in D$ ， $\exists N> 0$ （或者称 $N\left (x \right )> 0$ ），当 $n> N$ 时，有 $\left | f_{n}\left ( x \right )-f\left ( x \right ) \right |< \varepsilon$ ，这里 $f\left ( x \right )$ 称为极限函数；此时函数列的逐点收敛和函数列的收敛是一个含义；

一致收敛 $f_{n}\left ( x \right )\rightrightarrows f\left ( x \right )\left ( n\rightarrow \infty \right ),x\in D$ ：，（或者称），当时，，有，这里称为极限函数；同时额外给出其他两个常见的判别法：
- 柯西（Cauchy）准则： $\forall \varepsilon > 0$ ， $\exists N> 0$ ，当 $m,n> N$ 时，， $\forall x\in D$ ，有 $\left | f_{n}\left ( x \right )-f\left ( x \right ) \right |< \varepsilon$ $\Leftrightarrow$ $f_{n}\left ( x \right )$ 在定义域 $D$ 上一致收敛到 $f\left ( x \right )$ ；
- 余项准则： $\lim_{n\rightarrow \infty }\sup_{x\in D}\left |f_{n}\left ( x \right )-f\left ( x \right ) \right |=0$ $\Leftrightarrow$ $f_{n}\left ( x \right )$ 在定义域 $D$ 上一致收敛到 $f\left ( x \right )$ ；
几乎处处收敛 $f_{k}\left ( x \right )\rightarrow f\left ( x \right ),\textup{a.e. }x\in E$ ：已知 $f\left ( x \right ),f_{1}\left ( x \right ),f_{2}\left ( x \right ),\cdots ,f_{k}\left ( x \right ),\cdots$ 为 $E\subset \mathbb{R}^{n}$ 上的广义实值函数，若满足 $\exists E_{0}\subset E,m\left ( E_{0} \right )=0$ 和 $\forall x\in E-E_{0},\lim_{k\rightarrow \infty }f_{k}\left ( x \right )=f\left ( x \right )$ 两个条件，则称 $\left \{ f_{k}\left ( x \right ) \right \}$ 在 $E$ 上是几乎处处收敛于 $f\left ( x \right )$ ；
每个收敛性的关系：对于逐点收敛和一致收敛，逐点收敛是指在每个点，函数列 $f_{n}\left ( x \right )$ 都收敛到 $f\left ( x \right )$ ，但是不同点收敛快慢可能不一样；而一致收敛是指对所有定义域 $D$ 中的 $x$ ， $f_{n}\left ( x \right )$ 收敛到 $f\left ( x \right )$ 有几乎相同的收敛速度；那么十分明显的是，一致收敛能推出收敛/逐点收敛/处处收敛，而处处收敛能推出几乎处处收敛，所以收敛性的强度比较是：一致收敛 $>$ 收敛/逐点收敛/处处收敛 $>$ 几乎处处收敛；

3、叶戈罗夫（Его́ров，亦称叶果洛夫）定理：

背景：我们知道一致收敛的强度是要大于几乎处处收敛的，所以利用简单的几乎处处收敛是推不出一致收敛的，即便函数列 $f_{n}\left ( x \right )$ 是定义于某个区间上的连续函数列也不行。那能否额外再给出一定的条件，在已知几乎处处收敛的前提下推出一致收敛？比如说 $f_n\left ( x \right )=x^{n}$ 在 $\left ( 0,1 \right )$ 上处处收敛到0，但不一致收敛到0，原因就在于当我们取 $x=1-\frac{1}{n}$ 的时候， $\left | f_{n}\left ( x \right )-f\left ( x \right ) \right |=\left | 1-\frac{1}{n} \right |\nrightarrow 0$ ，而将1处的一个小邻域挖去便可让 $f_{n}\left ( x \right )$ 在 $\left ( 0,1-\delta \right ]\left ( 0< \delta < 1 \right )$ 一致收敛到0，这给了我们由几乎处处收敛推出一致收敛的思路；
叶戈罗夫定理：已知 $f\left ( x \right ),f_{1}\left ( x \right ),f_{2}\left ( x \right ),\cdots ,f_{k}\left ( x \right ),\cdots$ 为可测集 $E\subset \mathbb{R}^{n}$ 上几乎处处有限（即 $\left | f\left ( x \right ) \right |< \infty ,\left | f_i\left ( x \right ) \right |< \infty,\textup{a.e. }x\in E$ ）的可测函数，且 $m\left ( E \right )< +\infty$ ，若 $f_{k}\left ( x \right )$ 几乎处处收敛于 $f\left ( x \right )$ （即 $f_{k}\left ( x \right )\rightarrow f\left ( x \right ),\textup{a.e. }x\in E$ ），则： $\forall \delta > 0$ ， $\exists$ 可测子集 $E_\delta \subset E$ 有 $m\left ( E_\delta \right )< \delta$ ，使得 $f_{k}\left ( x \right )$ 在 $E-E_\delta$ 上一致收敛于 $f\left ( x \right )$ （即 $f_{k}\left ( x \right )\rightrightarrows f\left ( x \right )\left ( k\rightarrow \infty \right ),x\in E-E_\delta$ ）；
注意事项：

叶戈罗夫定理里的 $m\left ( E \right )< +\infty$ 条件不能去掉，比如 $f_n\left ( x \right )=\left\{\begin{matrix} 1, &x> n \\ 0, &0\leqslant x< n \end{matrix}\right.$ ；假如说条件去掉叶戈罗夫定理成立，这里 $\exists E_\delta \subset E= \left [ 0,+\infty \right ),m\left ( E_\delta \right )< \delta$ ，然后有 $f_{n}\left ( x \right )\rightrightarrows f\left ( x \right )=0\left ( n\rightarrow \infty \right ),x\in E-E_\delta$ ；问题在于，是不是 $\forall n> 0,E-E_\delta \subset \left [ 0,n \right ]$ ？并不是，因为 $m\left ( E \right )=+\infty$ ， $m\left ( E-E_\delta \right )=+\infty$ ，此时任何一个有限的区间都无法包含 $E-E_\delta$ ，即不满足 $E-E_\delta \subset \left [ 0,n \right ]$ ；
对于 $m\left ( E \right )=+\infty$ 的情况，结论这样描述： $\forall M> 0$ ， $\exists E_M\subset E$ 有 $m\left ( E_M \right )> M$ ，使得 $f_{k}\left ( x \right )$ 在 $E_M$ 上一致收敛于 $f\left ( x \right )$ （即 $f_{k}\left ( x \right )\rightrightarrows f\left ( x \right )\left ( k\rightarrow \infty \right ),x\in E_M$ ）；
已知 $f\left ( x \right ),f_{1}\left ( x \right ),f_{2}\left ( x \right ),\cdots ,f_{k}\left ( x \right ),\cdots$ 为可测集 $E\subset \mathbb{R}^{n}$ 上几乎处处有限（即 $\left | f\left ( x \right ) \right |< \infty ,\left | f_i\left ( x \right ) \right |< \infty,\textup{a.e. }x\in E$ ）的可测函数，且 $\left \{ f_{k}\left ( x \right ) \right \}$ 在 $E$ 上是几乎处处收敛于 $f\left ( x \right )$ 的（ $f_{k}\left ( x \right )\rightarrow f\left ( x \right ),\textup{a.e. }x\in E$ ），则： $\forall \delta >0$ ， $\exists$ 可测子集 $E_i\subset E$ 有 $m\left ( E-\bigcup_{i=1}^{\infty }E_i \right )=0$ ，使得 $f_{k}\left ( x \right )$ 在每个 $E_i$ 上一致收敛于 $f\left ( x \right )$ （即 $f_{k}\left ( x \right )\rightrightarrows f\left ( x \right )\left ( k\rightarrow \infty \right ),x\in E_i$ ）；

4、卢津（Лузин，亦称鲁津）定理：

背景：可测函数作为一般可测集上的函数，其结构比较复杂，故我们想知道能否用一些简单的函数（比如连续函数、初等函数等）来描述这类函数，这对于了解可测函数的结构及性质比较重要；而由于可测函数定义在一般的可测集上，故连续函数的概念需要推广；
$f\left ( x \right )$ 相对于点集 $E$ 连续：已知 $E\subset \mathbb{R}^n$ 为点集， $f\left ( x \right )$ 为定义在 $E$ 上的函数，其中 $x_0\in E$ ；若 $\forall \varepsilon > 0$ ， $\exists \delta > 0$ ，当 $x\in E\cap O\left ( x_0,\delta \right )$ 时，有 $\left | f\left ( x \right )-f\left ( x_0 \right ) \right |< \varepsilon$ ，则 $f\left ( x \right )$ 在 $x_0$ 点处相对于点集 $E$ 连续；由此可知，若 $x_0$ 为 $E$ 的孤立点， $f\left ( x \right )$ 一定在 $x_0$ 点处相对于点集 $E$ 连续；
$f\left ( x \right )$ 在点集 $E$ 上处处连续/为连续函数： $\forall x\in E$ ，在 $x$ 点相对于 $E$ 连续，则 $f\left ( x \right )$ 在 $E$ 上处处连续/为连续函数；由其定义可知，可测集上任一连续函数都可用简单函数来逼近，则连续函数一定是可测函数；
$f\left ( x \right )$ 在点集 $E$ 上几乎处处连续： $\exists E_{0}\subset E,m\left ( E_{0} \right )=0$ ， $\forall x\in E-E_0$ ，在 $x$ 点相对于 $E$ 连续，则 $f\left ( x \right )$ 在 $E$ 上几乎处处连续；
$f\left ( x \right )$ 在闭集 $E$ 上连续：已知 $F\subset \mathbb{R}^n$ 为闭集， $f_n\left ( x \right )$ 为 $F$ 上的连续函数列，且有 $f_n\left ( x \right )\rightrightarrows f\left ( x \right ),x\in F$ ，则 $f\left ( x \right )$ 在 $F$ 上连续；
卢津定理的第一形式：若 $f\left ( x \right )$ 为有限测度集 $E\subset \mathbb{R}^{n}$ 上的几乎处处有限的可测函数，则 $\forall \varepsilon > 0$ ， $\exists$ 闭集 $F\subset E$ ，有 $m\left ( E-F \right )<\varepsilon$ ，且有 $f\left ( x \right )$ 为 $F$ 上的连续函数；
卢津定理的第二形式：若 $f\left ( x \right )$ 为有限可测集 $E\subset \mathbb{R}$ 上的几乎处处有限的可测函数，则 $\forall \varepsilon > 0$ ， $\exists$ 闭集 $F\subset E$ 以及连续函数 $g\left ( x \right ),x\in \mathbb{R}$ ，有 $m\left ( E-F \right )<\varepsilon$ ，且有 $\forall x\in F,f\left ( x \right )=g\left ( x \right )$ ；此外，若 $\forall x\in E,\left | f\left ( x \right ) \right |\leqslant M\left ( M>0 \right )$ ，则 $\forall x\in \mathbb{R},\left | g\left ( x \right ) \right |\leqslant M$ ；
卢津定理的第三形式： 若 $f\left ( x \right )$ 为 $E\subset \mathbb{R}^{n}$ 上的可测函数，则 $\forall \varepsilon > 0$ ， $\exists$ 连续函数 $g\left ( x \right ),x\in \mathbb{R}$ ，有 $m\left \{ x\mid x\in E,f\left ( x \right )\neq g\left ( x \right ) \right \}< \varepsilon$ ；

5、依测度收敛/概收敛：

背景：根据卢津定理，任意可测函数都可以用连续函数在某种意义下进行逼近，或者直接看卢津定理的第三形式；由卢津定理第三形式得出的表达式，我们很自然的会想到： $\forall n$ ，有 $m\left \{ x\mid x\in E,f\left ( x \right )\neq g\left ( x \right ) \right \}=m\left \{x\mid x\in E,\left |f\left ( x \right )- g\left ( x \right ) \right |\geqslant \frac{1}{n} \right \}< \varepsilon$ ，那么 $\forall \delta > 0$ ，进一步就有 $m\left \{x\mid x\in E,\left |f\left ( x \right )- g\left ( x \right ) \right |\geqslant \delta \right \}< \varepsilon$ ，取单调 $\rightarrow 0$ 的正数序列 $\varepsilon _n$ ，则： $\exists$ 连续函数 $g_n\left ( x \right ),x\in \mathbb{R}$ ，有 $m\left \{x\mid x\in E,\left |f\left ( x \right )- g_n\left ( x \right ) \right |\geqslant \delta \right \}< \varepsilon_n\rightarrow 0\left ( n\rightarrow \infty \right )$ ，这样就得到了与之前几乎处处收敛不同的概念；
$f_n\left ( x \right )$ 在 $E$ 上依测度收敛/概收敛 $f_n\Rightarrow f$ ：已知 $f\left ( x \right ),f_{1}\left ( x \right ),f_{2}\left ( x \right ),\cdots ,f_{k}\left ( x \right ),\cdots$ 为可测集 $E\subset \mathbb{R}^{n}$ 上几乎处处有限（即 $\left | f\left ( x \right ) \right |< \infty ,\left | f_i\left ( x \right ) \right |< \infty,\textup{a.e. }x\in E$ ）的可测函数，若 $\forall \varepsilon > 0$ ，有 $\lim_{n\rightarrow \infty }m\left \{x\mid x\in E,\left |f_n\left ( x \right )- f\left ( x \right ) \right |\geqslant \varepsilon \right \}=0$ ，则称在 $f_n\left ( x \right )$ 在 $E$ 上依测度收敛/概收敛到 $f\left ( x \right )$ ；
依测度收敛和几乎处处收敛的关系：依测度收敛要求的是点集里不收敛点的总数少到几乎没有，而几乎处处收敛则需要排除出一个零测集，这个零测集上的点个数不仅要少到几乎没有而且这个集合本身还得是固定的，看起来几乎处处收敛的要求要比依测度收敛高一些，即几乎处处收敛强于依测度收敛；
依测度收敛的相关定理：

已知 $f_n\left ( x \right ),f\left ( x \right ),g\left ( x \right )$ 为 $E$ 上的可测函数， $\left \{ f_n\left ( x \right )\Rightarrow f\left ( x \right ) \right \},\left \{ f_n\left ( x \right )\Rightarrow g\left ( x \right ) \right \}\Rightarrow f\left ( x \right )=g\left ( x \right ),\textup{ a.e.}x\in E$ （即 $f\left ( x \right ),g\left ( x \right )$ 对等/几乎处处相等）；
已知 $f\left ( x \right ),f_{1}\left ( x \right ),f_{2}\left ( x \right ),\cdots ,f_{k}\left ( x \right ),\cdots$ 为有限测度可测集 $E\subset \mathbb{R}^{n}\left (mE< \infty \right )$ 上几乎处处有限（即 $\left | f\left ( x \right ) \right |< \infty ,\left | f_i\left ( x \right ) \right |< \infty,\textup{a.e. }x\in E$ ）的可测函数，则 $f_{n}\left ( x \right )\rightarrow f\left ( x \right ),\textup{a.e. }x\in E\Rightarrow \left \{ f_n\Rightarrow f \right \}$ （即几乎处处收敛蕴含依测度收敛，也就是说，在可测集测度有限的前提下，几乎处处收敛可以推出依测度收敛）；
已知 $f\left ( x \right ),f_{1}\left ( x \right ),f_{2}\left ( x \right ),\cdots ,f_{k}\left ( x \right ),\cdots$ 为 $E\subset \mathbb{R}^{n}$ 上几乎处处有限（即 $\left | f\left ( x \right ) \right |< \infty ,\left | f_i\left ( x \right ) \right |< \infty,\textup{a.e. }x\in E$ ）的可测函数，若 $\forall \delta > 0$ ， $\exists E_\delta \subset E$ 使得 $m\left ( E_\delta \right )< \delta$ ，同时 $f_k\left ( x \right ) \rightrightarrows f\left ( x \right ),x\in E-E_\delta$ （一致收敛），则有 $f_k\left ( x \right )\Rightarrow f\left ( x \right ),x\in E$ （依测度收敛）；若 $mE< \infty$ ，则 $f_{k}\left ( x \right )\rightarrow f\left ( x \right ),\textup{a.e. }x\in E$ （几乎处处收敛）；
里斯（Riesz）定理：已知 $f_n\left ( x \right ),f\left ( x \right )$ 为 $E$ 上的可测函数，若 $f_n\left ( x \right )\Rightarrow f\left ( x \right )$ ，则 $\exists$ 函数列的子列 $\left \{ f_{n_{i}}\left ( x \right ) \right \}$ ，有 $f_{n_{i}}\left ( x \right )\rightarrow f\left ( x \right ),\textup{a.e. }x\in E$ ；

部分参考资料：

科学网—说课（6）（从逐点收敛到一致收敛）--实变函数 - 曹广福的博文 (sciencenet.cn)

科学网—说课（7）(叶果洛夫定理的威力)—实变函数 - 曹广福的博文 (sciencenet.cn)

科学网—说课（8）（依测度（概率）收敛）--实变函数 - 曹广福的博文 (sciencenet.cn)

几乎处处收敛和依测度收敛的区别是什么呢？ - 知乎 (zhihu.com)