可测函数的 Lusin 定理

贡献者： JierPeter

　　 从定理 5 可知可测函数的一个性质：其下方图形是可测集。

　　 本节我们继续讨论可测函数具有哪些结构，来加深对可测函数的理解。

1. 简单函数

　　 显然，简单函数都是可测函数。你甚至可能留意到了，简单函数可以直接定义 Lebesgue 积分了：如果 $f$ 是定义 1 中所说的那种简单函数，那么可以定义其 Lebesgue 积分为：

　　 事实上，简单函数是定义 Lebesgue 积分的基础，这可以由以下定理得出：

　　 证明：

　　 定义数列 $\{a_{k,i}\}$ 为 $a_{k,i}=\arctan (\frac{\pi }{2}\cdot \frac{i}{k})$，其中 $k$ 是正整数，$i$ 是 $(-k,k)$ 中的整数。容易发现，固定 $k$ 时，$a_{k,i}$ 可以将整个 $\mathbb{R}$ 划分为 $2k+1$ 份。

　　 由于 $f$ 是可测函数，故 $f^{-1}([a_{k,i},a_{k,i+1}))$ 是可测集。定义 $E$ 上的函数 $f_k$ 如下：$f_k(x)=a_{k,i}$，如果 $f(x)\in [a_{k,i},a_{k,i+1})$。

　　 则各 $f_k$ 都是简单函数，并且 $\underset{k\to \mathrm{\infty }}{lim}{f}_k=f$ 在 $E$ 上处处成立。

　　 证毕。

　　 简单函数都是可测函数，加上定理 1 ，我们就得到可测函数的另一个定义：可测函数都是简单函数列的极限。很多与可测函数有关的问题都可以通过讨论简单函数再取极限得到可测函数来解决。

2. Lusin 定理

　　 可测函数和连续函数的关系很密切，其逻辑类似于 Egoroff 定理的对偶形式。注意观察以下 Lusin 定理和之前讲过的 Egoroff 定理逻辑上的异同。

　　 证明：

　　 只需要证明对于处处有限的可测函数的情况即可。

　　 用定理 1 证明过程中构造简单函数列的方法，构造一列简单函数 $\{f_i{\}}_{i=1}^{\mathrm{\infty }}$，它们处处趋近于 $f$。按照这个构造方法，对于 $f$ 的任意不连续点，一定存在一个 $N$，使得只要 $i>N$，那么该点也是 $f_i$ 的不连续点。

　　 根据定义，一个简单函数最多只有有限多个不连续点，因此对于每个简单函数 $f_i$，都可以从 $E$ 中减去有限个开区间¹，其总体积可以任意小，使 $f_i$ 在剩下的部分中处处连续。

　　 对简单函数 $f_i$，减去体积为 $\delta /2^{i+1}$ 的开集$U_i$。取所有减去的开集之并 $A=\bigcup _{i=1}^{\mathrm{\infty }}{U}_i$，则 $f$ 的不连续点都在 $A$ 中。因此，$f$ 在 $E-A$ 上处处连续。

　　 由于 $A$ 是开区间的并，因此 $A$ 为开集，其补集 $A^C$ 为闭集。而 $A$ 的体积小于 $\delta$。故令 $F=A^C$，定理即得证。

　　 证毕。

　　 根据定理 4 ，定理 2 中的 $E\cap F$ 总可以挖掉一个零测集后变成若干互不相交的区间的并。

　　 这些区间最多有可数个。如果一个区间不是闭区间，那么可以通过挖掉一两个任意小的开区间使剩下部分为闭区间。有了这两个因素，可知 $E\cap F$ 总可以挖掉一个测度任意小的部分后变成互不相交的闭区间的并，或者说互不相交的开集的并再取补，因此这个剩余部分是一个闭集。

　　 因此，我们进一步得到以下推论：

　　 注意，定理 1 和推论 1 的区别在于 $F$ 的定义，前者不要求 $F\subseteq E$，但这导致无法保证 $E\cap F$ 是闭集。

　　 另外，尽管定理 1 和推论 1 讨论的是一维函数的情况，但只要把区间的概念拓展为方块，就可以把结论应用到任意维的函数上。

　　 Lusin 定理揭示了可测函数与连续函数的紧密联系，使得很多有关可测函数的问题都可以简化为对连续函数的讨论。

1. ^ 虽然可以直接减去这些孤立点，但这么挖无法让讨论继续下去，所以还是挖开区间。请接着读后面的构造，你就知道为什么减去孤立点不行了。另外，减去的这个开区间不一定是 $E$ 的子集。