最后更新: 2026-04-17 21:52 查看: 37 次纠错评论(0) 课件开VIP

Hausdorff 空间的紧致子集

## Hausdorff 豪斯多夫空间空间的紧致子集
下面讨论紧致和 $T_2$ 公理共同作用下能得到的结果．
**命题2.17** 若 $A$ 是 Hausdorff 空间 $X$ 的紧致子集，$x \bar{\in} A$ ，则 $x$ 与 $A$ 有不相交的邻域．
证明 $\forall y \in A$ ，则 $x \neq y$ ．$X$ 是 Hausdorff 空间，因而 $x$和 $y$ 有不相交的开邻域 $U_y$ 和 $V_y$（它们都随 $y$ 而改变）。 $\left\{V_y \mid\right. y \in A\}$ 构成 $A$ 在 $X$ 中的开覆盖，有子覆盖 $\left\{V_{y_1}, V_{y_2}, \cdots\right.$ ， $\left.V_{y_n}\right\}$ 。记 $V=\bigcup_{i=1}^n V_{y_t}$（图 2－4），则它们都是开集（ $U$ 是开集仰仗于＂有限＂），并且分别是 $A$和 $x$ 的邻域。因为 $U \cap V_{y_1} \subset U_{y_1} \cap V_{y_i}=\varnothing$ ，所以 $U \cap V=\varnothing . U$ ， $V$ 即为所求．

![图片](/uploads/2025-12/9aa31f.jpg)
 
>  **推论 Hausdorff 空间的紧致子集是闭集**．

下面是一个常用的定理．

**定理2.6** 设 $f: X \rightarrow Y$ 是连续的一一对应，其中 $X$ 紧致，$Y$是 Hausdorff 空间，则 $f$ 是同胚．

证明 要证明 $f^{-1}: Y \rightarrow X$ 连续，只须证 $f$ 是闭映射（见第一章 § 2 的习题 11）．设 $A$ 是 $X$ 的闭集，由命题 $2.15, A$ 是紧致的；由命题2．16，$f(A)$ 是 $Y$ 的紧致子集；再由命题 2.17 的推论知 $f(A)$ 是 $Y$ 的闭集．

**命题2.18** Hausdorff 空间的不相交紧致子集有不相交的邻域。

证明 用命题2．17的方法和结果．请读者自己补充证明细节．

**命题2.19** 紧致 Hausdorff 空间满足 $T_3, T_4$ 公理。

证明 只用证满足 $T_4$ 公理．设 $A$ 和 $B$ 是紧致 Hausdorff 空间 $X$ 的不相交闭子集，由命题2．15，$A, B$ 都紧致，再用命题2．18， $A$ 和 $B$ 有不相交邻域。这证明了 $X$ 满足 $T_4$ 公理。

## 3.5 乘积空间的紧致性

容易看出，紧致性没有遗传性，例如闭区间 $[a, b]$ 紧致，它的子集 $(a, b)$ 不紧致．但紧致性有可乘性，下面证明此结论．

引理 设 $A$ 是 $X$ 的紧致子集，$y$ 是 $Y$ 的一点，在乘积空间 $X \times Y$ 中，$W$ 是 $A \times\{y\}$ 的邻域．则存在 $A$ 和 $y$ 的开邻域 $U$ 和 $V$ ，使得 $U \times V \subset W$ 。

证明 $\forall x \in A$ ，则 $(x$ ， $y)$ 是 $W$ 的内点，因此可作 $x, y$ 的开邻域 $U_x, V_x$ ，使得 $U_x \times V_x \subset W .\left\{U_x \mid x \in A\right\}$ 是

![图片](/uploads/2025-12/ea6f19.jpg)
 
 $A$ 在 $X$ 中的开覆盖．而 $A$ 紧致，$\left\{U_x \mid x \in A\right\}$ 有子覆盖 $\left\{U_{x_1}, U_{x_2}\right.$ ， $\left.\cdots, U_{x_n}\right\}$ 。记 $U=\bigcup_{i=1}^n U_{x_i}, V=\bigcap_{i=1}^n V_{x_i}$（见图 2－5），则 $U$ 和 $V$ 分别是 $A$ 和 $y$ 的开邻域，并且 $U \times V \subset \bigcup_{i=1}^n\left(U_{x_i} \times V_{x_i}\right) \subset W$ 。 I

> **定理2.7 若 $X$ 与 $Y$ 都紧致，则 $X \times Y$ 也紧致**。

证明 设 $\mathscr{U}$ 是 $X \times Y$ 的开覆盖．要说明它有有限子覆盖．$\forall y \in Y$ ，则 $X \times\{y\} \cong X$ ，从而是紧致的． $\mathscr{U}$ 也是它在 $X \times Y$ 中的开覆盖，有有限子覆盖，即可选出 $\mathscr{U}$ 中有限个开集，它们的并集 $W_y$ 是 $X \times\{y\}$ 的邻域。由引理，有 $y$ 的开邻域 $V_y$ ，使得 $X \times V_y \subset W_y$ ，因而 $X \times V_y$ 被 $\mathscr{U}$ 中有限个开集所覆盖。 $\left\{V_y \mid y \in Y\right\}$ 是紧致空间 $Y$ 的开覆盖，有子覆盖 $\left\{V_{y_1}, V_{y_2}, \cdots, V_{y_n}\right\}$ ，即 $X \times Y=\bigcup_{i=1}^m\left(X \times V_{y_i}\right)$ ，其中每个 $X \times V_{y_i}$ 都被 $\mathscr{U}$ 中有限个开集覆盖。于是 $X \times Y$ 也被 $\mathscr{U}$中有限个开集所覆盖，即 $\mathscr{U}$ 有有限子覆盖。

定理的结论容易推广到有限乘积的情形。对无穷乘积情形，有 Тихонов 定理：如果规定 $\prod_{\lambda \in \Lambda} X_\lambda$ 上的拓扑是乘积拓扑，则当每个 $X_\lambda$都紧致时，$\prod_{\lambda \in A} X_\lambda$ 也紧致。这个定理的证明要用到 Zorn 引理或与之等价的逻辑命题．这里省略了．

## 疑难解答

> Q:如何理解豪斯多夫空间?

**Hausdorff 空间**（中文常译为**豪斯多夫空间**）是拓扑学中的一个基本概念，用来刻画空间中不同点之间能够被“分离”的程度。

简单来说，在一个 Hausdorff 空间里，**任意两个不同的点，都可以找到互不相交的开邻域把它们分开**。

---

### 1. 定义（精确表述）

设 $ X$ 是一个拓扑空间。如果对任意两个不同的点 $ x \neq y \in X$，总存在开集 $ U$ 和 $ V$，使得：

- $ x \in U$
- $ y \in V$
- $ U \cap V = \varnothing$

那么 $ X$ 称为 **Hausdorff 空间**，也称作 $ T_2$ 空间（分离公理中的第二级）。

---

### 2. 直观理解

可以把 Hausdorff 性质理解为：空间中的任意两个不同点，都能被“两个不重叠的小区域”完全隔离开。  
这类似于现实生活中两个分开的物体，你可以在它们周围画两个互不相交的圈把它们各自包起来。

非 Hausdorff 空间的例子：比如“有两个原点的直线”——把实数轴上的 0 复制成两个不同的点 0₁ 和 0₂，并且任何包含 0₁ 的开集必然也包含 0₂ 附近的点（因为它们共享同样的邻域结构），这样 0₁ 和 0₂ 无法被两个不相交的开集分开。

---

### 3. 性质与重要性

Hausdorff 空间是拓扑学中**最常用且最基本**的分离性条件之一，因为：

- **极限唯一性**：在一个 Hausdorff 空间中，一个序列（或网）的极限点如果存在，则必定唯一。
- **紧致子集是闭集**：Hausdorff 空间中的任何紧致子集都是闭集。
- **点可闭分离**：单点集是闭集（这一点比 Hausdorff 更弱的 $ T_1$ 空间也成立，但 Hausdorff 更强）。
- **与度量空间的关系**：所有度量空间（如欧几里得空间 $ \mathbb{R}^n$、球面、圆环等）都是 Hausdorff 空间。实际上，度量空间是 Hausdorff 的一个重要来源。

---

### 4. 与其他分离公理的关系（简略）

- $ T_0$（Kolmogorov）：任意两个不同点，至少有一个开集包含其中一个而不包含另一个。
- $ T_1$（Fréchet）：任意两个不同点，每个点都有一个开邻域不包含另一个点。
- **$ T_2$（Hausdorff）**：任意两个不同点，有互不相交的开邻域。
- $ T_3, T_4$ 等更强条件（正则、正规空间）。

所以 Hausdorff 是比 $ T_1$ 更强的分离性，但弱于正规性。

> Q: 如何理解Hausdorff 空间的紧致子集

我们来具体解释一下“Hausdorff 空间的紧致子集”这个短语。它指的是：**在一个豪斯多夫（Hausdorff）拓扑空间里，某个子集（作为子空间）是紧致的。**

为了让你透彻理解，我们分三步看：先看什么是“紧致子集”，再看为什么特别强调“Hausdorff空间”，最后看一个典型结论。

---

### 一、什么是“紧致子集”？

设 $ X $ 是一个拓扑空间，$ K \subset X $。  
我们说 $ K $ 是 **紧致子集**，如果满足：

> $ K $ 的任何开覆盖都有有限子覆盖。

- **开覆盖**：一族开集 $\{U_i\}_{i \in I}$，使得 $ K \subset \bigcup_{i \in I} U_i $。
- **有限子覆盖**：存在有限个开集 $ U_{i_1}, \dots, U_{i_n} $ 仍能覆盖 $ K $。

**直观理解**：紧致 ≈ 有限性在无限情况下的推广。例如：
- 闭区间 $[0,1]$ 在 $\mathbb{R}$ 中是紧致的。
- 开区间 $(0,1)$ 不是紧致的（可取覆盖 $\{(1/n, 1)\}$ 无有限子覆盖）。
- 整个 $\mathbb{R}$ 也不是紧致的。

---

### 二、为什么特别强调“Hausdorff空间”？

在一般拓扑空间中，紧致子集的性质不太“干净”。但在 **Hausdorff 空间** 中，紧致子集会具有非常好的性质，其中最常用、最重要的一条是：

> **在 Hausdorff 空间中，紧致子集一定是闭集。**

反过来，闭子集在紧致空间中也紧致，但在一般空间中紧致子集不一定是闭的。

例子（非 Hausdorff）：
- 取一个有两个点 $a,b$ 的集合 $X=\{a,b\}$，赋予平凡拓扑（只开集 $\emptyset, X$）。
- 子集 $\{a\}$ 是紧致的（任何覆盖都包含 $X$ 这一个集就能覆盖），但 $\{a\}$ 不是闭集（它的补集 $\{b\}$ 不是开集，因为只有 $\emptyset,X$ 开）。

在 Hausdorff 空间中，这种事情不会发生。

---

### 三、Hausdorff 空间中的紧致子集的主要性质

设 $X$ 是 Hausdorff 空间，$K \subset X$ 紧致，则：

1. **$K$ 是闭集**。  
   （证明要点：对任意 $x \notin K$，用 Hausdorff 性质对每个 $y \in K$ 取不相交开邻域，再用紧致性得有限覆盖，构造出 $x$ 的开邻域与 $K$ 不交。）

2. **紧致子集的闭子集也紧致**（这在不假设 Hausdorff 时也成立：闭子集 + 紧致空间 → 紧致子集，但反之不总成立）。

3. **Hausdorff 空间中两个不相交的紧致子集可以被开集分离**（类似有限点分离推广到紧致集）。

4. **紧致子集在连续映射下的像仍紧致**（不依赖 Hausdorff 性质），但如果映射到 Hausdorff 空间，则该像是闭的。

---

### 四、举个例子：$\mathbb{R}^n$（欧氏空间，Hausdorff）

在 $\mathbb{R}^n$ 中，海涅-博雷尔（Heine–Borel）定理告诉我们：
> **子集 $K \subset \mathbb{R}^n$ 紧致 ⇔ $K$ 有界且闭。**

- 闭圆盘 $D = \{x \mid \|x\| \le 1\}$：紧致。
- 球面 $S^{n-1}$：紧致。
- 一条直线（无界）：不紧致。
- 开圆盘 $\|x\| < 1$（无界？有界，但不闭）：不紧致。

这里“紧致”自动推出“闭”，正好是 Hausdorff 空间性质的一个体现。

---

### 五、一句话总结

**Hausdorff 空间的紧致子集** = 在这个 Hausdorff 空间里，一个子集满足任何开覆盖都有有限子覆盖。  
并且，作为 Hausdorff 空间的子集，它一定是**闭集**，这让紧致子集像“有限集的某种极限推广”，便于分析（如极限唯一、连续函数有最值等）。

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

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

免费注册

《高等数学》难点解析

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

《线性代数》难点解析

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

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

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

上一篇：紧致性

下一篇：局部紧致与仿紧

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