最后更新: 2025-01-21 09:11 ● 参与者查看: 17 次纠错分享参与项目词条搜索

可测集的充分必要条件

定理 2.7 设 $E$ 是 $R ^n$ 的任意子集，则下列（i）和（ii）都分别是 $E$ 可测的充分必要条件：
（i）存在 $G_\delta$ 型集 $H$ 使得 $H \supset E$ ，且 $m^*(H \backslash E)=0(E$ 可测时，这样的 $H$ 与 $E$的测度相等，称为 $E$ 的等测包）；
（ii）存在 $F_\sigma$ 型集 $K$ 使得 $K \subset E$ ，且 $m^*(E \backslash K)=0(E$ 可测时，这样的 $K$ 与 $E$的测度相等，称为 $E$ 的等测核）。

证明（i）$E$ 可测时，由前一定理，对任意正整数 $k$ ，存在开集 $G_k \supset E$ ，且

$$
m\left(G_k \backslash E\right)=m^*\left(G_k \backslash E\right)<1 / k
$$

于是令 $H=\bigcap_{k=1}^{\infty} G_k$ ，则 $H$ 是 $G_\delta$ 型集，$H \supset E$ 且

$$
m(H \backslash E) \leqslant\left(G_k \backslash E\right)<1 / k(k=1,2, \cdots)
$$

故 $m(H \backslash E)=0$ ，满足定理的要求．反之，若 $H$ 为 $G_\delta$ 型集，$H \supset E$ 且 $m^*(H \backslash E)=$ 0 ，则 $H$ 和 $H \backslash E$ 都是可测集，从而 $E=H \backslash(H \backslash E)$ 也可测．
（ii）$E$ 可测时，由于 $E^c$ 也可测，故存在 $G_\delta$ 型集 $H, H \supset E^e$ 且 $m^*\left(H \backslash E^c\right)=0$ ．令 $K=H^c$ ，则 $K$ 为 $F_\sigma$ 型集，$K \subset E$ 且 $E \backslash K=H \backslash E^c$ ，因而 $m(E \backslash K)=m\left(H \backslash E^c\right)=0$ ，满足定理的要求．反之，若 $K$ 为 $F_\sigma$ 型集，$K \subset E$ 且 $m^*(E \backslash K)=0$ ，则由于 $E=K \cup(E \backslash$ $K), K$ 及 $E \backslash K$ 都可测，故 $E$ 为可测集．
用证明定理 2.7 的方法，可以得到定理 2.6 的逆定理。
定理2．8 设 $E \subset R ^n$ ，
（i）若对任意正数 $\varepsilon$ ，存在开集 $G$ ，使得 $G \supset E$ ，且 $m^*(G \backslash E)<\varepsilon$ ，则 $E$ 可测；
（ii）若对任意正数 $\varepsilon$ ，存在闭集 $F$ ，使得 $F \subset E$ 且 $m^*(E \backslash F)<\varepsilon$ ，则 $E$ 可测．证明请读者自己写出来。

简单来说，上面三个定理给出的可测集的特征就是：
（i）可测集是可以用外包于它的开集（或内含于它的闭集）逼近的点集．依外测度而言，逼近的误差（不重合处）可以任意小；
（ii）可测集是一个 $G_\delta$ 型集减去一个零测集，或是一个 $F_\sigma$ 型集并上一个零测集．

特别后一条特征还可以进一步归结为：可测集就是 Borel 集与零测集的并集或差集．由此可见 Borel 集对了解一般可测集有重要的意义。如果说 Borel 集的结构是比较明确的，那么要了解可测集，只需弄清零测集。依测度而言，零测集是最简单的了，但它的其他结构和性质却十分丰富（例如，存在 Cantor 集这样具有连续统基数的零测集），在测度理论中起关键作用。

至此，本节开始时提出的问题已经有了很好的回答．特别，我们知道 Lebes－ gue 可测集的基数是 $2^x$ 。由此看来，可测集与所有的点集是＂一样多＂，这么多的可测集对于实际应用已经足够。但是应该知道，从理论上说，仍然存在不可测集．我们把它写成一个定理：

定理 2.9 对任意 $n, R ^n$ 中存在不可测集．
定理的证明偏离课程主题太远，在此不给出了．

上一篇：可测集的特征

下一篇：没有了

本文对您是否有用？有用 (0) 无用 (0)