最后更新: 2025-11-20 21:20 查看: 50 次纠错评论(0) 课件开VIP

勒贝格测度为什么使用开集而不使用闭集

## 勒贝格测度为什么使用开集而不使用闭集

这是一个非常深刻且关键的问题！在勒贝格外测度的定义中，使用开区间覆盖而不是闭区间，绝不是随意的选择，而是基于两个核心的、至关重要的数学需求：**1. 确保“外测度”是一种“外”的度量；2. 为后续的可测集理论奠定坚实的基础。**

下面我们来详细拆解这两个原因。

### 原因一：确保“从外部覆盖”的纯粹性（拓扑原因）

“外测度”这个名字本身就揭示了它的核心思想：**从集合的外部来测量它的大小。** 开区间是实现这一思想最完美的工具。

*   **开区间的特性：** 一个开区间 `(a, b)` 不包含它的两个端点。这意味着，当你用开区间去覆盖一个点集时，这个覆盖是“宽松的”，它允许集合和覆盖之间有一点点“空隙”。这是一种真正的、无争议的“从外部包裹”。
    *   **比喻：** 就像用一张比物体本身稍大的、边缘不粘黏的包装纸去包一个礼物。包装纸不会紧贴在礼物上，而是松散地包裹着它。

*   **闭区间的问题：** 一个闭区间 `[a, b]` 包含了它的端点。如果一个集合的边界点非常怪异，用闭区间覆盖可能会引发一些不必要的争议。这个闭区间到底是算作“从外部”覆盖，还是因为它包含了边界点而算是“恰好”覆盖？这会让“外部”的定义变得模糊。
    *   **关键点：** 使用开区间可以**避免任何关于边界点的争论**，确保了覆盖的“外部”属性是绝对的、无歧义的。

### 原因二：为了获得“可数子可加性”（技术原因）

这是最根本、最重要的数学原因。开区间拥有一个闭区间所不具备的优良拓扑性质：**开集的可数并仍然是开集，并且任何开集都可以表示为可数个互不相交的开区间的并。**

当我们定义外测度时，我们希望它对任何集合 `E` 的体积估计满足：
`m*(E) = inf { 所有覆盖E的开区间集的体积总和 }`

这里的下确界 `inf` 是关键。我们希望考虑 `E` 的**所有可能**的开覆盖。由于开区间在并操作下性质良好，我们可以构造出非常灵活和精细的覆盖序列，使其总长度无限逼近下确界。

**如果使用闭区间覆盖，会有什么严重问题？**

**最大的问题是会破坏“可数子可加性”的证明，甚至可能导致外测度的定义失效。**

让我们看看标准证明中开区间是如何发挥作用的：

**定理（可数次可加性）的证明思路：**
要证明 `m*(∪A_n) ≤ Σm*(A_n)`。
1.  根据外测度定义，对于每个集合 `A_n` 和任意小的 `ε/2^n`，都存在一个开区间覆盖 `{I_{n,k}}`，使得这些区间的总长度 `Σ|I_{n,k}| < m*(A_n) + ε/2^n`。
2.  现在，考虑所有 `A_n` 的并集 `∪A_n`。我们需要一个覆盖 `∪A_n` 的区间集。
3.  **关键步骤：** 将所有这些开区间 `{I_{n,k}}` (n, k 都跑遍) 放在一起，这个新的集族 `{I_{n,k}}` 自然就覆盖了 `∪A_n`。因为 `{I_{n,k}}` 是可数个开区间的可数并，它本身仍然是一个**可数**集族。
4.  那么这个大集族的总长度就是 `Σ_n Σ_k |I_{n,k}| < Σ_n [m*(A_n) + ε/2^n] = Σm*(A_n) + ε`。
5.  因为 `∪A_n` 的外测度是**所有**能覆盖它的可数开区间集的总长度的下确界，而我们刚刚找到了一个总长度不超过 `Σm*(A_n) + ε` 的覆盖，所以 `m*(∪A_n) < Σm*(A_n) + ε`。由于 `ε` 是任意的，定理得证。

**现在，想象一下如果我们强制要求使用闭区间覆盖会发生什么？**

在第3步会出问题。如果我们只能用闭区间覆盖每个 `A_n`，那么我们将得到一堆闭区间集。当我们把这些闭区间集全部并在一起，去覆盖 `∪A_n` 时，这个新的大集族仍然是可数的吗？**是的，可数集的可数并仍然是可数的，所以从数量上看没问题。**

**但真正的致命伤是：这个由闭区间构成的大集族，它的“总长度”定义可能失效！**

*   闭区间是可以彼此重叠甚至端点相接的。当你把很多不同的闭区间覆盖并在一起，它们可能会“首尾相连”地拼接起来。
*   在计算总长度时，我们需要的是这些区间所占范围的**测度**，而不是简单地把每个区间的长度加起来（那样会重复计算重叠部分）。我们需要的是这个由闭区间组成的集合的**并集**的测度。
*   然而，**一堆闭区间的并集可能是一个非常复杂的集合**，它可能不再是区间的简单并集，而是可能包含孤立点、 Cantor 集式的复杂结构等。计算这种复杂集合的“长度”本身就是一个非常困难的问题，甚至需要先定义外测度！这就陷入了循环定义的逻辑困境。

**而开区间完美地避开了这个问题：**
*   任意多个开区间的并集总是一个**开集**。
*   在实数轴上，任何一个开集都可以唯一地表示为**可数个互不相交的开区间**的并。
*   因此，一个由开区间组成的集族，其总长度可以明确定义为：先取这些开区间的并集，然后将这个并集分解为可数个互不相交的开区间，再计算这些区间长度的和。这个和是明确且良好的。

### 总结

使用开区间而不是闭区间，主要基于以下考虑：

1.  **概念纯粹性：** 开区间完美体现了“从外部覆盖”的思想，避免了边界点的歧义。
2.  **技术必要性：** 开区间良好的拓扑性质（开集的可数并仍是开集，且可分解为不相交开区间）是证明外测度核心性质（如可数次可加性）的**基石**。它保证了“总长度”计算的良定义，避免了循环定义的逻辑陷阱。
3.  **结果的等价性（ bonus ）：** 虽然定义用了开区间，但可以证明，如果用闭区间来定义，得到的外测度数值是**完全一样**的。所以，我们选择了在数学上处理起来最方便、最强大的工具——开区间。

简而言之，**开区间是保证勒贝格外测度理论大厦能够稳固建立起来的最合适的“砖块”。**

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

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

免费注册

《高等数学》难点解析

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

《线性代数》难点解析

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

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

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

上一篇：外侧度的性质

下一篇：可测集★★★★★

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