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

Heine-Borel海涅-博雷尔有限覆盖定理、紧集与完备集

## Heine-Borel 海涅－博雷尔有限覆盖定理
**定理（海涅－博雷尔有限覆盖定理）**  设 $F$ 是一个有界闭集， $\mathcal{M}$ 是一族开集 $\left\{U_i\right\}_{i \in \Lambda}$ ，它覆盖了 $F$（即 $F \subset \bigcup_{i \in \Lambda} U_i$ ），则 $\mathcal{M}$ 中一定存在有限多个开集 $U_1, U_2, \cdots, U_m$ ，它们同样覆盖了 $F$（即 $F \subset \bigcup_{i=1}^m U_i$ ）。

证明 因 $F$ 是有界闭集，所以在 $\mathbf{R}^n$ 中存在闭区间 $I$ 包含 $F$ ．记 $\mathscr{D}$ 为由 $\mathscr{M}$ 中的全体开集与开集 $F^c$ 一起组成的新开集族，则 $\mathscr{D}$覆盖了 $\mathbf{R}^n$ ，因此也覆盖了 $I$ 。对于 $I$ 中任一点 $P$ ，存在 $\mathscr{D}$ 中开集 $U_P$ ，使得 $P \in U_P$ ，因而存在开区间 $I_P \subset U_P$ ，并且 $P \in I_P$ ，所以开区间族 $\left\{I_P \mid P \in I\right\}$ 覆盖了 $I$ ．由数学分析中有限覆盖定理，在这族开区间中存在有限个开区间，设为 $I_{P_1}, I_{P_2}, \cdots, I_{P_m}$ ，仍然覆盖了 $I$ ，则由 $F \subset I$ ，及 $I_{P_i} \subset U_{P_i}, i=1,2, \cdots, m$ ，得 $F \subset \bigcup_{i=1}^m U_{P_i}$ ．如果开集 $F^c$ 不在这 $m$ 个开集中，则 $U_{P_1}, U_{P_2}, \cdots, U_{P_m}$ 覆盖了 $F$ ，定理得证；否则从这 $m$ 个开集中去掉 $F^c$ ，因为 $F^c$ 与 $F$ 不相交，所以剩下的 $m-1$个开集仍然覆盖了 $F$ ．

### 紧集
**定义1**  设 $M$ 是度量空间 $X$ 中一集合， $\mathcal{M}$ 是 $X$ 中任一族覆盖了 $M$ 的开集，如果必可从 $\mathcal{M}$ 中选出有限个开集仍然覆盖 $M$ ，则称 $M$ 为 $X$ 中的**紧集**．

由定理1 知 $\mathbf{R}^n$ 中的有界闭集必为紧集，反之我们有如下定理。

**定理2** 设 $M$ 是 $\mathbf{R}^n$ 中的紧集，则 $M$ 是 $\mathbf{R}^n$ 中的有界闭集．
证明 设点 $Q \in M^c$ ，对于 $M$ 中的任意一点 $P$ ，由于 $P \neq Q$ ，由邻域性质，存在 $\delta_P>0$ ，使得

$$
U\left(P, \delta_P\right) \cap U\left(Q, \delta_P\right)=\varnothing .
$$

显然开集族 $\left\{U\left(P, \delta_P\right) \mid P \in M\right\}$ 覆盖了 $M$ ，由于 $M$ 是紧集，因此存在有限个邻域 $U\left(P_i, \delta_{P_i}\right)(i=1,2, \cdots, m)$ ，使得

$$
M \subset \bigcup_{i=1}^m U\left(P_i, \delta_{P_i}\right)
$$

由此立即可知 $M$ 是有界集．又令

$$
\delta=\min \left\{\delta_{P_1}, \delta_{P_2}, \cdots, \delta_{P_m}\right\},
$$

则 $\delta>0$ ，并且 $U(Q, \delta) \cap U\left(P_i, \delta_{P_i}\right)=\varnothing(i=1,2, \cdots, m)$ ，由（＊）式得 $U(Q, \delta) \cap M=\varnothing$ ，因此 $Q$ 不是 $M$ 的聚点，所以 $M^{\prime} \cap M^c=\varnothing$ ，这说明 $M^{\prime} \subset M$ ，即 $M$ 是闭集．

定理1 及定理 2 说明，在 $\mathbf{R}^n$ 中紧集与有界闭集是一致的．但是在一般度量空间中完全与定理2 类似可以证明，紧集一定是有界闭集，但反之不然

### 自密集
定义4 设 $E \subset \mathbf{R}^n$ ，如果 $E \subset E^{\prime}$ ，就称 $E$ 是自密集．换句话说，当集合中每点都是这个集的聚点时，这个集是自密集．另一个说法是没有孤立点的集就是自密集．

例如，空集是自密集， $\mathbf{R}^1$ 中有理数全体所组成的集是自密集．

### 完备集
定义5 设 $E \subset \mathbf{R}^n$ ，如果 $E=E^{\prime}$ ，则称 $E$ 为完备集或完全集。

> 完备集就是自密闭集，也就是没有孤立点的闭集。

例如，空集是完备集， $\mathbf{R}^1$ 中的任一闭区间 $[a, b]$ 及全直线都是完备集。

表面上看来，既然一个完备集合一方面是闭集，而另一方面每一点又都是聚点，似乎它就会铺满空间的一小块，但这是一种错觉。在后面，我们将以著名的康托尔三分集作为例子来说明这一点．

## 理解：海涅－博雷尔有限覆盖定理

海涅-博雷尔定理（有限覆盖定理）：如果一个闭区间被一大堆“小开区间”像被子一样盖住了，那么你只需要从这堆被子里抽出有限几条，就足够把这个闭区间盖得严严实实的。

比喻：给一个固定长度的管道刷漆

想象一下，你有一根**长度固定 两头有盖子的金属管道**（这就是我们的 **闭区间 [a, b]** ）。现在你的任务是用油漆把它完全刷一遍，不能露出任何一点金属。

1.  **无限的开覆盖（理论上的刷法）**
    你请来一个“理论派”工程师，他说：“为了保证全覆盖，我们采用‘无限精细刷法’。我们规定，每一笔刷下去，都必须是一段**两端不刷到 只刷中间**的笔触（这就是一个 **开区间**）。而且，我们允许使用无限多笔这样的笔触，只要最终能覆盖整根管道就行。”
    这个方案在理论上是可行的，但非常繁琐，甚至不现实。

2.  **有限的子覆盖（实干家的方法）**
    这时，一个“实干派”老师傅走过来，看了一眼那个“理论派”画出的无限笔触方案，嗤之以鼻。他说：“搞那么复杂干嘛？你设计的这个方案里，虽然笔触无限多，但我**随手从中挑出有限的几笔（比如8大笔），就能把这根管道从头到尾刷完，一点不漏**。”

**海涅-博雷尔定理就是那个“实干派老师傅”。它保证：只要你那根管道是“两头封死的”（闭）且“长度固定”的（有界），那么，无论那个“理论派”设计的无限笔触方案看起来多复杂，实干派老师傅总能从中找出一个有限的解决方案。**

### 为什么这个定理很强大？

它的强大之处在于 **“化无限为有限”**。

*   **数学处理“有限”比“无限”容易得多**。你可以对这有限的几笔进行各种操作：比较它们谁长谁短，找到覆盖最稀疏的地方等等。
*   这个性质（任意开覆盖都有有限子覆盖）是 **“紧致性”** 的定义。闭区间是实数轴上最典型 最重要的“紧致集”。很多数学定理（比如“连续函数在闭区间上必有最大最小值”）的证明，最深层的根源就在于闭区间的这个“紧致”特性。

## 数轴上的例子
把数轴上的闭区间[1,3]想象成“一段1米长的绳子”（有界+闭，边界是1和3这两个端点）。

- 现在用很多“不包含边缘的小圆圈”（开集）去盖这段绳子，不管你一开始用了多少个小圆圈，总能从中选出几个（比如3个、5个），刚好把整段绳子完全罩住，没有遗漏。
- 但如果是开区间(1,3)（不闭，没包含1和3），就存在一种盖法：用无穷多个越来越小的圆圈，分别靠近1和3的端点，此时永远没法用“有限个”圆圈把它盖全（总会漏了靠近端点的细微部分）；如果是无界的(1,+∞)，更不可能用有限个圆圈盖全（因为它一直延伸到无穷远）。

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

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

免费注册

《高等数学》难点解析

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

《线性代数》难点解析

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

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

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

上一篇：开集与闭集

下一篇：完备集是什么意思

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