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

局部紧致与仿紧

## 局部紧致与仿紧
紧致性是一种很好的拓扑性质，但它毕竟太强了，连欧氏空间 $\boldsymbol{E}^n$ 也不是紧致的．现在介绍紧致性的两种推广：局部紧致和仿紧．它们在拓扑学以及微分几何等学科中都是较常用到的．但在本书中它们用得很少或不用，这里只介绍它们的定义和最基本的性质．

**定义2.4** 拓扑空间 $X$ 称为局部紧致的，如果 $\forall x \in X$ 都有紧致的邻域。

显然，紧致空间是局部紧致的； $\boldsymbol{E}^n$ 也是局部紧致的。
下面讨论局部紧致和 $T_2$ 公理配合的结果。

**命题 2.20** 设 $X$ 是局部紧致的 Hausdorff 空间，则
（1）$X$ 满足 $T_3$ 公理；
（2）$\forall x \in X, x$ 的紧致邻域构成它的邻域基；
（3）$X$ 的开子集也是局部紧致的．
证明（1）设 $x \in X, U$ 是 $x$ 的开邻域。要证明存在 $x$ 的开邻域 $V$ ，使得 $\bar{V} \subset U$ ．

取 $x$ 的紧致邻域 $F$ ，因为 $F$ 是紧致 Hausdorff 空间，所以满足 $T_3$ 公理．在 $F$ 中，$F \cap U$ 是 $x$ 的开邻域，因此有 $F$ 中开集 $W, x \in W$ ，并且 $\bar{W}_F \subset F \cap U \subset U$ ．又因为 $F$ 是 $X$ 的闭集（见命题 2.17 的推论），所以 $\bar{W}_F=\bar{W}$（见第一章 $\S 1$ 习题 12 中（1））．记 $V=\stackrel{\circ}{F} \cap W$ ，它是 $X$ 的开集，且 $x \in V, \bar{V} \subset \bar{W} \subset U . V$ 即为所求．
（2）设 $x \in X, U$ 是 $x$ 的开邻域．要证明存在 $x$ 的紧致邻域 $C \subset U$ ．

作 $x$ 的紧致邻域 $F$ ，则 $F \cap U$ 是 $x$ 的邻域．因为 $X$ 满足 $T_3$ 公理，所以有 $x$ 的邻域 $V$ ，满足 $\bar{V} \subset F \cap U \subset U$ 。令 $C=\bar{V}$ ，它是紧致空间 $F$ 的闭集，因此紧致．$C$ 即为所求．
（3）从（2）直接推出．
拓扑空间 $X$ 的覆盖 $\mathscr{U}$ 称为**局部有限的**，如果 $X$ 的每一点有邻域 $V$ ，它只同 $\mathscr{U}$ 中有限个成员相交。

设 $\mathscr{U}$ 和 $\mathscr{U}^{\prime}$ 都是 $X$ 的覆盖，如果 $\mathscr{U}^{\prime}$ 的每个成员都包含在 $\mathscr{U}$ 的某个成员中，则称 $\mathscr{U}^{\prime}$ 是 $\mathscr{U}$ 的**加细**，如果 $\mathscr{U}^{\prime}$ 还是开覆盖，则称 $\mathscr{U}^{\prime}$ 为 $\mathscr{U}$ 的**开加细**．

**定义2.5** 拓扑空间 $X$ 称为**仿紧的**，如果 $X$ 的每个开覆盖都有局部有限的开加细  。

我们只给出一些论断，不予证明．
紧致空间是仿紧的。
仿紧的 Hausdorff 空间满足 $T_4$ 公理。
局部紧致，并满足 $C_2$ 公理的 Hausdorff 空间是仿紧的．从而 $\boldsymbol{E}^n$ 是仿紧的．
度量空间是仿紧空间．

## 疑难解答
> Q 局部紧致是什么意思

在拓扑学中，**局部紧致**（locally compact）是对拓扑空间的一种刻画，它意味着空间中的每一点都有一个紧致的邻域。具体定义如下：

> 拓扑空间$ X $ 称为**局部紧致的**，如果对于任意一点$ x \in X $，存在一个开集$ U $ 和紧致集$ K $，使得  
>$ x \in U \subseteq K $。

注意：不同作者对定义有细微差异，但最常见的等价表述是：
- 每一点有一个紧致的邻域（邻域不必是开的，但包含该点的某个开集）。
- 每一点有一个紧致的闭邻域（在豪斯多夫空间中，紧致集是闭的，所以此时二者等价）。

---

### 例子与反例

**局部紧致的空间：**
- 欧几里得空间$ \mathbb{R}^n $（任意点的闭球是紧致闭邻域）。
- 离散空间（单点集是紧致的开邻域）。
- 有限维流形、紧致空间（显然，因为整个空间就是紧致邻域）。

**不是局部紧致的空间：**
- 有理数空间$ \mathbb{Q} $（带子空间拓扑，任一点的小邻域都不紧致，因为紧致子集在$ \mathbb{R} $ 中必须有界且闭，而$ \mathbb{Q} $ 中无内点的紧致集没有内部）。
- 无限维赋范线性空间（如$ \ell^2 $），因为闭单位球不是紧致的（Riesz 引理）。

---

### 为什么重要？

局部紧致性在分析、拓扑群、泛函分析中非常有用。例如：
- 在局部紧致的豪斯多夫空间中，存在**单位分解**，用于定义积分（如测度论中的 Haar 测度）。
- 它比紧致性弱，但又能保留很多紧致性的好处（如用紧致集逼近整体）。

### 紧致和局部紧致的区别

| 性质 | 关注范围 | 含义 |
|------|----------|------|
| 紧致 | 整体 | 空间不能太大（不能无限散开），必须“有限可覆盖” |
| 局部紧致 | 局部 | 空间在每一点附近看起来像“有界区域”，但整体可以非常大 |

###  关键例子说明

#### (1) 紧致 ⇒ 局部紧致？  
**是的**（在豪斯多夫空间中更显然）。  
因为如果整个空间 $ X $ 是紧致的，那么对任意点 $ x $，取 $ X $ 本身作为邻域，它就是紧致的。  
所以 **紧致空间一定是局部紧致的**（定义中的紧致邻域可取全空间）。

#### (2) 局部紧致 ⇒ 紧致？  
**不成立**。  
反例：$ \mathbb{R}^n $ 是局部紧致的（每点有闭球），但整体不是紧致的（无界）。

#### (3) 既不紧致也不局部紧致？  
**有**。  
反例：有理数集 $ \mathbb{Q} $（作为 $ \mathbb{R} $ 的子空间）。  
- 不紧致（无界且不完备）。  
- 也不局部紧致：任何开区间内的有理数集，其闭包在 $ \mathbb{Q} $ 中不是紧致的（因为紧致子集在 $ \mathbb{R} $ 中必须闭且有界，但 $ \mathbb{Q} $ 中非空开集的闭包包含无理数，因而在 $ \mathbb{Q} $ 中不是闭集？更准确地说：在 $ \mathbb{Q} $ 中，任意点的邻域与 Cantor 集性质类似，不能用有限个开覆盖覆盖其闭包内的极限点。常见证明：若 $ U $ 是 $ \mathbb{Q} $ 中的开集，其闭包在 $ \mathbb{Q} $ 中仍不紧致，因为它在 $ \mathbb{R} $ 中的闭包包含无理数，导致无内点的紧集不可能）。

更简单的反例：无限维赋范空间（如 $ \ell^2 $）也不局部紧致。

###  一个重要关系（豪斯多夫空间中）

如果 $ X $ 是**豪斯多夫空间**，那么：
- 紧致子集是闭的。
- 局部紧致 + 豪斯多夫 ⇒ 空间是 **完全正则的**（Tychonoff 空间），甚至更接近可度量化的性质。

但在非豪斯多夫空间中，局部紧致可能很奇怪（例如，有限补拓扑空间可能是紧致的但不是豪斯多夫的）。
 
###  记忆技巧

- **紧致**：整个空间“有限”。
- **局部紧致**：每一点附近“像紧致”，但整体可以无限延伸（如 $ \mathbb{R} $）。

用一句话总结：  
> 紧致是“全局有限”，局部紧致是“局部有限，全局可以无限”。

> Q: 仿紧是什么意思

**仿紧（paracompact）** 是拓扑学中比紧致更弱、但比局部紧致更强的概念（在某种意义下），它主要处理的是开覆盖的局部有限细化，而不是有限子覆盖。它在微分几何、代数拓扑和流形理论中非常重要。

---

### 1. 定义

设 $ X$ 是一个拓扑空间，称 $ X$ 是**仿紧的**，如果它的每一个开覆盖都有**局部有限的加细开覆盖**。

这里解释两个关键术语：

- **加细（refinement）**：给定开覆盖 $ \mathcal{U}$，另一个开覆盖 $ \mathcal{V}$ 称为 $ \mathcal{U}$ 的加细，如果对每个 $ V \in \mathcal{V}$，存在 $ U \in \mathcal{U}$ 使得 $ V \subseteq U$。
- **局部有限（locally finite）**：一个开覆盖 $ \mathcal{V}$ 称为局部有限的，如果对每一点 $ x \in X$，存在一个开邻域 $ W_x$ 使得 $ W_x$ 仅与 $ \mathcal{V}$ 中有限多个成员相交。

> **简而言之**：仿紧性允许你用局部有限的许多小开集来覆盖空间，而不是像紧致那样要求整体有限覆盖。

---

### 2. 与紧致、局部紧致的关系

| 空间 | 紧致 | 局部紧致 | 仿紧 |
|------|------|----------|------|
| 有限集（离散） | ✅ | ✅ | ✅ |
| $[0,1]$ | ✅ | ✅ | ✅ |
| $\mathbb{R}^n$ | ❌ | ✅ | ✅ |
| $\mathbb{Q}$（有理数） | ❌ | ❌ | ❌ |
| 无限维 Banach 空间 | ❌ | ❌ | ❌（在弱拓扑下？不，通常范数拓扑下也不是仿紧，因为不满足单位分解的存在条件，实际上无限维赋范空间**不是**局部紧致，但**是**仿紧吗？——要小心：**度量空间都是仿紧的**，所以无限维 Banach 空间（如 $\ell^2$）在范数拓扑下是度量空间，因而是仿紧的。它只是不局部紧致。所以仿紧 ≠ 局部紧致） |

### 重要纠正：上面表格中最后一行需说明：
- **度量空间都是仿紧的**（Stone 定理）。
- 无限维 Banach 空间（如 $\ell^2$）是度量空间 → 是仿紧的，但**不是**局部紧致。
- 这说明：**仿紧性不蕴含局部紧致**，也不反过来。

### 关系小结：
- 紧致 ⇒ 仿紧（因为有限覆盖当然是局部有限的）。
- 度量空间 ⇒ 仿紧（无论是否局部紧致）。
- 局部紧致 + 豪斯多夫 ⇒ 不一定仿紧（但若再加第二可数，则仿紧）。
- 仿紧 + 豪斯多夫 ⇒ 正规（normal）⇒ 完全正则。

---

### 3. 为什么仿紧很重要？

**核心应用：单位分解（partition of unity）的存在。**

在微分几何中，为了在流形上定义积分、做局部到整体的拼贴（例如，证明黎曼度量存在性，或者定义流形上的向量丛的截面），我们需要**从属与开覆盖的单位分解**。单位分解存在的充分必要条件（在豪斯多夫空间中）是空间是仿紧的。

因此：
> **微分流形定义中常要求是仿紧的**（或等价地，第二可数+豪斯多夫，这样自动仿紧），以保证可以构造单位分解。

---

###  4. 经典例子

**仿紧的例子：**
- 欧几里得空间 $\mathbb{R}^n$（度量空间）
- 紧致空间
- 任何度量空间（如 $\ell^2$、连续函数空间 $C[0,1]$ 用上确界度量）
- 可数 CW 复形
- 仿紧的乘积：仿紧 × 紧致 = 仿紧（但不是任意乘积）

**不仿紧的例子：**
- 有序集 $[0, \omega_1)$（第一个不可数序数，带序拓扑）—— 这是局部紧致但不是仿紧的经典例子。
- Sorgenfrey 直线（不是仿紧，尽管是豪斯多夫、正规、可度量？实际上 Sorgenfrey 直线是正规但不是仿紧的？更准确：Sorgenfrey 直线是仿紧的吗？查一下：它是 Lindelöf 且正则，所以是仿紧？等等，我可能混淆了——避免错误，说一个确定的反例：**开长直线（long line）** 或 **不可数序空间** 不是仿紧的，但它局部紧致、豪斯多夫、正规。）

---

### 5. 一句话记忆

> **紧致**：有限覆盖；**仿紧**：局部有限覆盖（加细）；  
> 仿紧 = 可以局部地用有限多个开集覆盖，但全局允许无限多，只要每点附近只碰到有限个。

紧致、局部紧致、仿紧、度量空间、第二可数 这几个概念之间的包含与不包含关系
 
 
 ![图片](/uploads/2026-04/7b5a48.jpg)

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

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

免费注册

《高等数学》难点解析

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

《线性代数》难点解析

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

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

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

上一篇： Hausdorff 空间的紧致子集

下一篇：连通性

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