鲁津定理, 可测函数与连续函数, 可积函数与连续函数

鲁津定理, 可测函数与连续函数

设 $\Omega$ 是 ${\mathbb{R}}^d$ 的子集, $\Omega$ 上的连续函数一定可测, 反过来不一定, 但鲁津定理告诉了我们, 可测函数基本上是连续函数.

【定理1】(鲁津定理) 设 $f$ 是 $\Omega$ 上 a.e. 有限的可测函数, 那么对任意 $\delta >0$, 存在闭子集 $F_{\delta }\subset \Omega$, s.t., $f$ 在 $F_{\delta }$ 上的连续函数, 且 $\mu (\Omega -F_{\delta })<\delta$.

证明: 用经典方法来证明.

(1) 对于简单函数 $f={\sum }_{k=1}^m{c}_k{I}_{A_i}$, 其中 $c_1,\cdots ,c_m\ge 0$ 各不相等, 且可测集 $A_1,\cdots ,A_m$ 各不相交, ${\bigcup }_{k=1}^m{A}_k=\Omega$. 显然, 只需将不连续点用很小的一个集合去除即可, 或说: 对任意 $i$, 一定存在 $F_i\subset A_i$, 使得 $f$ 在 $F_i$ 上连续, 且 $\mu (A_i-F_i)<\delta /m$, 因此结论容易成立.

(2) 对于有界可测函数 $f$. 一定存在简单函数列 ${\phi }_n(x)$ 一致收敛于 $f$, 我们先找 $F_n$ 使得 ${\phi }_n(x)$ 连续且 $\mu (\Omega -F_n)<\delta /2^n$, 则令 $F_{\delta }=\bigcap F_n$, 有 $\mu (\Omega -F_{\delta })<\delta$, 且对 $x_0\in F_{\delta }$ 上, 对任意 $\epsilon$, 找足够小 $\delta$ 和足够大 $n$, 构造邻域 $D_{x_0,\delta }=U(x_0,\delta )\cap F_{\delta }$, 当 $x\in D_{x_0,\delta }$ 时, 有
$$\begin{array}{rl}\left|f\left(x\right)-f\left(x_0\right)\right|& =\left|f\left(x\right)-{\phi }_n\left(x\right)+{\phi }_n\left(x\right)-{\phi }_n\left(x_0\right)+{\phi }_n\left(x_0\right)-f\left(x_0\right)\right|\\ & \le \left|f\left(x\right)-{\phi }_n\left(x\right)\right|+\left|{\phi }_n\left(x\right)-{\phi }_n\left(x_0\right)\right|+\left|{\phi }_n\left(x_0\right)-f\left(x_0\right)\right|\\ & \le \frac{\epsilon }{3}+\frac{\epsilon }{3}+\frac{\epsilon }{3}=\epsilon .\end{array}$$

(3) 对于一般可测函数 $f$, 不妨设其有限. 定义 $g\left(x\right)=\frac{f\left(x\right)}{1+|f\left(x\right)|}$, $g$ 成为有界可测函数, 且 $|g|<1$. 而 $f=\frac{g}{1-|g|}$, 在 $g$ 连续的集合上, $f$ 也连续.

【推论2】 对于 $\Omega$ 上 a.e. 有限的可测函数 $f$, 对任意 $\delta >0$, 一定可以找到连续函数 $g$, 使得 μ ( { f ≠ g } ) < δ \mu \left( \left\{ f\ne g \right\} \right) <\delta μ({f=g})<δ. 如果 $\Omega$ 是有界集, 则还可以使得 $g$ 具有紧支集.

【推论2’】 对于 $\Omega$ 上 a.e. 有限的可测函数 $f$, 对任意 $\delta >0$, 一定可以找到连续函数 $g$, 使得存在一个闭集 $F$, 在其上 $f=g$, 且 $\mu (\Omega -F)<\delta$, 此外
$$\underset{{\mathbb{R}}^d}{\sup }g\left(x\right)=\underset{F}{\sup }f\left(x\right),\underset{{\mathbb{R}}^d}{\inf }g\left(x\right)=\underset{F}{\inf }f\left(x\right).$$
自然, 如果 $\Omega$ 是有界集, $F$ 可以是紧的.

【推论3】设 $f$ 是 $\Omega$ 上 a.e. 有限的可测函数, 则存在 ${\mathbb{R}}^d$ 上的连续函数列 $g_n(x)$, 使得在 $\Omega$ 上 $g_n(x)\to f$, a.e.

证明: 对任意 $n$, 存在 $g_n(x)$, 使得 μ ( { g n ≠ f } ) < 1 n \mu \left( \left\{ g_n\ne f \right\} \right) <\frac{1}{n} μ({gn​=f})<n1​, 这说明 $g_n$ 依测度收敛于 $f$. 再根据 Riesz定理取一个几乎处处收敛的子列即可.

μ ( { f ≠ g } ) < δ \mu \left( \left\{ f\ne g \right\} \right) <\delta μ({f=g})<δ. 如果 $\Omega$ 是有界集, 则还可以使得 $g$ 具有紧支集.

可积函数与连续函数

可积函数类 $L(\Omega )$ 指的是满足 ${\int }_{\Omega }|f|\mathrm{d}\mu$ 的可测函数全体. 如果 $f\in L(\Omega )$, 那么它和连续函数之间也有一定关系.

【定理4】若 $f\in L(\Omega )$, 对任意 $\epsilon >0$, 存在 ${\mathbb{R}}^d$ 中具有紧支集的连续函数 $g_{\epsilon }$, s.t.
$${\int }_{\Omega }\left|f\left(x\right)-g_{\epsilon }\left(x\right)\right|\mathrm{d}\mu <\epsilon$$

证明: 考虑具有紧支集的简单函数 $\phi (x)$, s.t.
$${\int }_{\Omega }\left|f\left(x\right)-\phi \left(x\right)\right|\mathrm{d}\mu <\frac{\epsilon }{2}.$$
随后不妨设 $|\phi (x)|\le M$, 根据鲁津定理的推论, 有具有紧支集的连续函数 $g_{\epsilon }(x)$, 其中 $|g_{\epsilon }|\le M$, 且
μ ( A ) = μ ( { ∣ φ ( x ) − g ( x ) ∣ > 0 } ) < ε 4 M , \mu \left( A \right) =\mu \left( \left\{ \left| \varphi \left( x \right) -g\left( x \right) \right|>0 \right\} \right) <\frac{\varepsilon}{4M}, μ(A)=μ({∣φ(x)−g(x)∣>0})<4Mε​,
因此有
$${\int }_{\Omega }\left|\phi \left(x\right)-g_{\epsilon }\left(x\right)\right|\mathrm{d}\mu ={\int }_A\left|\phi \left(x\right)-g_{\epsilon }\left(x\right)\right|\mathrm{d}\mu \le 2M\cdot \mu \left(A\right)<\frac{\epsilon }{2}.$$

[Remark]: 对于 $f\in L(\Omega )$, 考虑分解 $f=f_1+f_2$, 其中 $f_1$ 是具有紧支集的连续函数, $|f_2|$ 在 $\Omega$ 上的积分小于 $\epsilon$.

下面这个推论是显然的, 只需令定理4中的 $\epsilon =1/n$, 然后根据推论3 即得.

【推论5】对于 $f\in L(\Omega )$, 一定存在紧支集的连续函数列 $g_n(x)\to f$, a.e., 且使得
$${\int }_{\Omega }|f(x)-g_n(x)|\mathrm{d}\mu \to 0,n\to \infty .$$

【推论6】对于 $f\in L(\Omega )$, 一定存在紧支撑集的阶梯函数列 ${\phi }_n(x)\to f$, a.e., 且使得
$${\int }_{\Omega }|f(x)-{\phi }_n(x)|\mathrm{d}\mu \to 0,n\to \infty .$$

证明: 只需利用 $\left|f\left(x\right)-{\phi }_n\left(x\right)\right|\le \left|f\left(x\right)-g_n\left(x\right)\right|+\left|g_n\left(x\right)-{\phi }_n\left(x\right)\right|$.

构造方式是: 不妨考虑 $g_n(x)$ 的紧支集是 $G$, 它一定含于某个闭方体 E = { x : − k 0 ≤ x i ≤ k 0 , i = 1 , 2 , ⋯   , d } E=\{x: -k_0\le x_i\le k_0,i=1,2,\cdots,d \} E={x:−k0​≤xi​≤k0​,i=1,2,⋯,d}, 一定存在一个阶梯函数
$${\phi }_n\left(x\right)=\sum _{i=1}^N{c}_i{I}_{E_i}\left(x\right),$$
其中 $E_i$ 是 $E$ 的子二进方体, 使得
$${\int }_E\left|g_n\left(x\right)-{\phi }_n\left(x\right)\right|\mathrm{d}\mu <\frac{\epsilon }{2}.$$
这样可以取 $\epsilon =1/n$ 使得 ${\int }_{\Omega }|f(x)-{\phi }_n(x)|\mathrm{d}\mu \to 0,n\to \infty$. 至于几乎处处收敛性, 有
μ ( { ∣ f ( x ) − φ n ( x ) ∣ > σ } ) ≤ 1 σ ∫ Ω ∣ f ( x ) − φ n ( x ) ∣ d μ → 0 , \mu \left( \left\{ \left| f\left( x \right) -\varphi _n\left( x \right) \right|>\sigma \right\} \right) \le \frac{1}{\sigma}\int_{\Omega}{\left| f\left( x \right) -\varphi _n\left( x \right) \right|\mathrm{d}\mu}\rightarrow 0, μ({∣f(x)−φn​(x)∣>σ})≤σ1​∫Ω​∣f(x)−φn​(x)∣dμ→0,
即依测度收敛, 再根据 Riesz 定理取一个子列使得 a.e. 收敛成立.