最后更新: 2025-11-23 21:33 查看: 162 次反馈能力测评会员8.2元/月赞助

可测集★★★★★

## 可测集与测度理论证明
外测度虽然对所有点集都有意义，但是它不具有可加性，不能把它当成体积的推广．因此我们放弃要所有点集有测度的想法，改为寻求一个范围很广的集合类，使得外测度在其中具有可加性（即其中不相交的集合的并集的外测度，等于各自的外测度之和）．这类集合我们称为可测集．可测集有什么特点，如何用外测度来描述它们呢？为了简单起见，下面先分析一下 $R ^2$ 的情形，即分析平面点集．

外测度为什么没有可加性而只有次可加性？粗略地看是因为，它是对点集从外部用可数多边的＂多边形＂包围或覆盖的方法测量得到的＂体积＂，而点集情况复杂，这种测量难免不够准确．为了得到准确的结果，求 Jordan 测度的方法启发我们，可以再用从内部向外扩张的方法进行测量（其结果称为内测度，即内含可数边形面积的上确界，点集的 $E$ 的内测度记为 $m_* E$ ），看两种方法的结果是否一致．如果一致（即 $m^* E=m_*E$ ），就可以考虑把这种点集定义为可测集，而可测集外测度应该是可加的．Lebesgue 当年正是按照这个思路定义可测集，并建立了具有可数可加性的测度理论的．

然而，内与外本来是相对的．事实上，若 $E$ 是有界集，取开矩体 $I \supset E$ ，则从图 2.1 可以看出，如果 $\left\{I_k\right\}$ 是 $I \backslash E$ 的 $L$ 覆盖，那么 $I \backslash \bigcup_{k=1}^{\infty} I_k$ 就可以看作内含于 $E$ 的可数多边形，因而其＂体积＂的上确界

![图片](/uploads/2025-11/b1e252.jpg){width=450px}
 
 
 $$
\sup \left\{|I|-\sum_{k=1}^{\infty}\left|I_k\right| \mid\left\{I_k\right\} \text { 是 } I \backslash E \text { 的 } L \text { 覆盖 }\right\}
$$

便应该是 $E$ 的内测度 $m_* E$ ．但是因为

$$
\sup \left\{|I|-\sum_{k=1}^{\infty}\left|I_k\right|\right\}=|I|-\inf \left\{\sum_{k=1}^{\infty}\left|I_k\right| \mid\left\{I_k\right\} \text { 是 } I \backslash E \text { 的 } L \text { 覆盖 }\right\},
$$

所以

$$
m_* E=|I|-m^*(I \backslash E) .
$$

这说明，内测度可以通过外测度来定义．因而 $E$ 可测的条件 $m, E=m^* E$ 也就成了

$$
m^* E=|I|-m^*(I \backslash E),
$$

或者把这个式子再改写一下就得到：$E$ 应使得任意包含 $E$ 的矩体 $I$ 满足

$$
m^* I=m^* E+m^*(I \backslash E), ...(2)
$$

此式的特点是不出现内测度．后来，希腊数学家卡拉泰奥多里（Carathéodory）发现一个与（2）式等价且形式上很相似的条件，如果用它作为可测集的定义，在建立测度理论时，一些证明可以简化，显得十分便捷．其思想就是，在上述等式中用一般的点集 $T$ 代替矩体 $I$ ，而且 $E$ 不需有界的限制。注意，在（2）中我们假设了 $E$ $\subset I$ ，因此（2）完全等价于

$$
m^* T=m^*(T \cap E)+m^*\left\{T \cap E^c\right\}
$$

用任意集合 $T$ 代替 $I$ ，便是下面的定义．

## 可测集定义

**定义2.2** 设 $E \subset R ^n$ ，若对于任意的 $T \subset R ^n$ 有

$$
\boxed{
m^* T=m^*(T \cap E)+m^*\left(T \cap E^c\right) ...(3)
}
$$

则称 $E$ 为 Lebesgue **可测集**，简称 $E$ 可测或 $E$ 为可测集．

可测集的外测度称为 $E$的 **Lebesgue 测度**，记为 $m E$ ，简称为 $E$ 的测度．全体可测集组成的集合称为**可测集类**，记为 $A$ 。

此定义中的等式（3）称为 Carathéodory 条件，其中的 $T$ 称为**试验集**．注意，这里的 $T$ 是任意的集合，并不要求 $T \supset E$ 。

定义 2.2 在几何上表示（见图2．2）：若任意点集 $T$ 被 $E$ 分割成的在 $E$ 内的$T \cap E$ 和在 $E$ 外的 $T \cap E^c$ ，这两部分（子集）的外测度是可加的，就说 $E$ 可测．若把两个点集 $A$ 和 $B$ ，在满足 $A \subset E$ 和 $B \subset E^c$（即 $B \cap E=\varnothing$ ）时，称为被 $E$ 隔离，那么也可以说，可测集是这样的点集：任意两个被它隔离的点集，其外测度都可加．记住这个几何意义对理解可测集的定义很有好处，我们把它写成一个命题。
 
 
  ![图片](/uploads/2025-11/f21b3b.jpg){width=400px}
  
 > 上图通俗解释，给你一个集合$T$，我用$E$去切割他，得到两块$A$与$B$,如果$T$是可测的，那么$T=A+B$， 详见本文最开始的解读。
 
 
### 可测的充分必要条件
**命题2.1** $R ^n$ 中的集合 $E$ 可测的充分必要条件是对任意的 $A \subset E, B \subset$ $E^c$ ，有

$$
\boxed{
m^*(A \cup B)=m^*(A)+m^*(B)  ...(4)
}
$$

证明 必要性．设 $E$ 可测，则在（3）中取 $T=A \cup B$ ，得

$$
\begin{aligned}
m^*(T) & =m^*(A \cup B)=m^*((A \cup B) \cap E)+m^*\left((A \cup B) \cap E^c\right) \\
& =m^*(A)+m^*(B)
\end{aligned}
$$

便得（4）。
充分性．已知（4）式成立，则对任意 $T$ ，取 $A=T \cap E, B=T \cap E^c$ ，这时 $A \subset E, B$ $\s

免费注册看余下 70%

非VIP会员每天5篇文章，开通VIP 无限制查看

《高等数学》难点解析

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

高等数学测评 函数与极限一元函数微分学一元函数积分学微分方程空间向量与代数多元微分学多元积分学无穷级数

《线性代数》难点解析

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

线性代数测评 行列式矩阵向量空间

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

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

概率统计测评 事件与概率一维随机变量与事件多维随机变量与事件随机变量的数字特征大数定律与中心极限定理统计量与抽样分布参数估计假设检验

上一篇：勒贝格测度为什么使用开集而不使用闭集

下一篇：测度的性质(完全可加性)

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