最后更新: 2025-03-20 09:16 查看: 232 次纠错评论(0) 课件开VIP

可测集的充分必要条件

## 可测集的充分必要条件
定理 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$ 中存在不可测集．
定理的证明偏离课程主题太远，在此不给出了．

可测集的充分必要条件可以用生活中的“切蛋糕”来通俗解释：

### 一、核心条件（卡拉西奥多里条件）
可测集的**充分且必要条件**是：**任意切割（无论形状如何），蛋糕总量等于切块和蛋糕渣的量之和**。数学上表述为：
对任意集合  $ T  $ 和可测集  $ E  $，有：
 $$
m^*(T \cap E) + m^*(T \cap E^c) = m^*(T)
 $$
其中  $ E^c  $ 是  $ E  $ 的补集， $ m^*  $ 是外测度。

### 二、通俗理解
1. **必要性**：  
   如果一个集合是可测的，那么无论你如何切割它（比如用任意形状的刀切），切掉的部分（ $ E^c  $）和剩下的部分（ $ E  $）的“体积”之和必须等于整块蛋糕的“体积”。例如，切掉蛋糕的1/3，剩下的2/3体积刚好等于整块蛋糕的体积。

2. **充分性**：  
   反过来，如果一个集合满足上述条件，那么它一定是可测的。即使这个集合形状非常奇怪（比如康托集），只要满足“切割无死角”的规则，它就是可测的。

### 三、与普通“可数切割”的区别
• **普通规则**：只能处理有限次切割（如切3块），但无法应对无限次切割（如切无限薄片）。  
• **可测集规则**：允许无限次切割，只要每次切割后测度之和不变，就能保证精准计量。

### 四、生活化类比
想象用**标准刀法**切蛋糕：
• **可测集**：无论怎么切（包括无限切），每块蛋糕和碎屑的体积之和等于整块体积。  
• **非可测集**：存在一种切割方式，使得切掉的部分和剩下的部分体积之和大于整块体积（类似外测度的缺陷）。

总结来说，可测集的充要条件是“切割无死角”，这一规则让数学能处理无限复杂的集合，支撑了积分理论和概率统计的量化分析。

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇： σ代数

下一篇：博雷尔 Borel集

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