最后更新: 2026-04-06 21:14 查看: 233 次纠错评论(0) 课件开VIP

C1可数公理与C2可数公理

## 可数公理
可数公理有两个：**第一可数公理**和**第二可数公理**，分别简称 $\boldsymbol{C}_1$ 公理和 $\boldsymbol{C}_2$ 公理（也有称作 $A_1$ 公理和 $A_2$ 公理）．满足 $C_i$ 公理的拓扑空间称为 $C_i$ 空间．$C_2$ 空间也称**完全可分空间**．

为了定义 $C_1$ 公理，先要介绍**邻域基**的概念。
设 $x \in X$ 。把 $x$ 的所有邻域的集合称为 $x$ 的**邻域系**，记作 $\mathscr{N}(x) . \mathscr{N}(x)$ 的一个子集（即 $x$ 的一族邻域） $\mathscr{U}$ 称为 $x$ 的一个邻域基，如果 $x$ 的每个邻域至少包含 $\mathscr{U}$ 中的一个成员。例如 $\mathscr{N}(x)$本身是 $x$ 的一个邻域基；$x$ 的所有开邻域构成 $x$ 的一个邻域基；若 $\mathscr{B}$ 是拓扑空间 $X$ 的拓扑基，则 $\mathscr{U}=\{B \in \mathscr{B} \mid x \in B\}$ 也是 $x$ 的邻域基．

对于度量空间 $(X, d)$ ，以 $x$ 为心的全部球形邻域的集合 $\{B(x, \varepsilon) \mid \varepsilon>0\}$ 是 $x$ 的邻域基；$\{B(x, q) \mid q$ 为正有理数 $\}$ 和 $\{B(x, 1 / n) \mid n$ 为自然数\}也都是 $x$ 的邻域基．

## $C_1$ 公理

> **$C_1$ 公理 任一点都有可数的邻域基**．

例如度量空间满足 $C_1$ 公理，$\{B(x, q) \mid q$ 是正有理数 $\}$ 和 $\{B(x, 1 / n) \mid n$ 是自然数 $\}$ 都是 $x$ 的可数邻域基．$\left(\boldsymbol{R}, \tau_f\right)$ 不是 $C_1$空间。设 $x \in \boldsymbol{R}$ ，则 $x$ 的任何可数邻域族 $\mathscr{U}$ 都不是 $x$ 的邻域基 $(\forall U \in \mathscr{U}$ 都是有限集的余集，因此 $\bigcup_{U \in \mathscr{U}} U^c$ 是可数集，取 $y \bar{\in} \bigcup_{U \in \mathscr{U}} U^c$ 且 $y \neq x$ ，则 $\forall U \in \mathscr{U}, y \in U$ ．于是 $\boldsymbol{R} \backslash\{y\}$ 是 $x$ 的开邻域，它不包含任一 $U \in \mathscr{U}$ ．）．

**命题2.5** 如果 $X$ 在 $x$ 处有可数邻域基，则 $x$ 有可数邻域基 $\left\{V_n\right\}$ ，使得 $m>n$ 时，$V_m \subset V_n$ ．

证明 先任取 $x$ 的一个可数邻域基 $\left\{U_n\right\}$ ．规定 $V_n=\bigcap_{i=1}^n U_i$ ， $\forall n \in N$ ．则 $V_n \subset U_n$ ，从而 $\left\{V_n\right\}$ 也是可数邻域基．显然，$m>n$ 时， $V_m \subset V_n$ ．

**命题2.6** 若 $X$ 是 $C_1$ 空间，$A \subset X, x \in \bar{A}$ ，则 $A$ 中存在收敛到 $x$ 的序列．
证明 取 $x$ 处的可数邻域基 $\left\{V_n\right\}$ ，使得 $m>n$ 时，$V_m \subset V_n$（见命题2．5）。因为 $x \in \bar{A}$ ，所以 $V_n \cap A \neq \varnothing$ 。取 $x_n \in V_n \cap A, \forall n$ ，得到 $A$ 中的序列 $\left\{x_n\right\}$ ．任取 $x$ 的邻域 $U$ ，则存在 $n$ ，使 $V_n \subset U$ ，从而 $V_m \subseteq U, \forall m \geqslant n$ ．于是 $x_m \in U, \forall m \geqslant n$ ．按收敛的定义，有 $x_n \rightarrow x$ ．

**推论** 若 $X$ 是 $C_1$ 空间，$x_0 \in X$ ，映射 $f: X \rightarrow Y$ 满足：当 $x_n \rightarrow x_0$ 时，$f\left(x_n\right) \rightarrow f\left(x_0\right)$ ，则 $f$ 在 $x_0$ 连续．

证明 用反证法．如果 $f$ 在 $x_0$ 不连续，则存在 $f\left(x_0\right)$ 的邻域 $V$ ，使得 $f^{-1}(V)$ 不是 $x_0$ 的邻域，即 $x_0 \in \overline{\left(f^{-1}(V)\right)^c}$ 。根据命题 2.6 ，有 $\left(f^{-1}(V)\right)^c$ 中序列 $\left\{x_n\right\}, x_n \rightarrow x_0$ ．由条件，$f\left(x_n\right) \rightarrow f\left(x_0\right)$ ．于是，对几乎所有 $n, f\left(x_n\right) \in V, x_n \in f^{-1}(V)$ ，矛盾．
##  $C_2$ 公理

> **$\boldsymbol{C}_2$ 公理 有可数拓扑基．**

这里指拓扑空间 $X$ 有可数拓扑基．$C_2$ 公理是一个很强的要求，以至某些度量空间也不是 $C_2$ 空间．例如在 $\boldsymbol{R}$ 中，规定度量 $d$为

$$
d(x, y)= \begin{cases}0, & x=y, \\ 1, & x \neq y .\end{cases}
$$

则 $(\boldsymbol{R}, d)$ 是离散拓扑空间，任何一点都是开集．于是它的任一拓扑基必须以每个单点集 $\{x\}$ 为其成员，因此一定是不可数的．
$C_2$ 空间一定也是 $C_1$ 空间．事实上，若 $X$ 有可数拓扑基 $\mathscr{B}$ ，则任意点 $x$ 有可数邻域基 $\{B \in \mathscr{B} \mid x \in B\}$ 。
$C_2$ 空间是可分空间．设 $X$ 有一可数拓扑基 $\left\{B_n\right\}$ ，在每个 $B_n$ （除非它是空集）中取一点 $x_n$ ，则集合 $\left\{x_n\right\}$ 是 $X$ 的可数稠密子集．反过来可分空间不一定是 $C_2$ 空间（习题18给出一个可分 $C_1$ 空间，但它不是 $C_2$ 空间）．

**命题 2.7** 可分度量空间是 $C_2$ 空间．

证明 设 $(X, d)$ 是可分度量空间．$A$ 是它的一个可数稠密子集。记 $\mathscr{B}=\left\{\left.B\left(a, \frac{1}{n}\right) \right\rvert\, a \in A, n\right.$ 为自然数 $\}$ ，则 $\mathscr{B}$ 是一个可数开集族。下面验证 $\mathscr{B}$ 是 $(X, d)$ 的拓扑基，为此只须说明任一开集 $U \in \overline{\mathscr{B}}$ 和 $\forall x \in U$ ，存在 $a \in A$ 和自然数 $n$ ，使得 $x \in B(a, 1 / n) \subset U$ ．取 $\varepsilon>0$ ，使得 $B(x, \varepsilon) \subset U$ ．取 $n>2 / \varepsilon, a \in A$ ，使得 $d(x, a)<1 / n$ ，则 $x \in B(a, 1 / n)$ ．若 $y \in B(a, 1 / n)$ ，则 $d(a, y) <1 / n$ ．由三角不等式知 $d(x, y)<2 / n<\varepsilon$ ，从而 $y \in B(x, \varepsilon)$ ．于 是 $B(a, 1 / n) \subset B(x, \varepsilon) \subset U$（见图 2－2）．

![图片](/uploads/2025-12/8e4759.jpg)
 
### 欧氏空间
欧氏空间 $\boldsymbol{E}^n$ 是可分的 $\left(A=\left\{\left(x_1, x_2, \cdots, x_n\right) \mid \forall i, x_i\right.\right.$ 为有理数 $\}$ 是 $\boldsymbol{E}^n$ 的可数稠密子集），因此满足 $C_2$ 公理．

例 Hilbert 空间 $E^\omega$ 是一个度量空间．在所有平方收敛的实数序列构成的线性空间中，规定内积

$$
\left(\left\{x_n\right\},\left\{y_n\right\}\right)=\sum_{n=1}^{\infty} x_n y_n,
$$

它决定度量 $\rho$ ：

$$
\rho\left(\left\{x_n\right\},\left\{y_n\right\}\right)=\sqrt{\sum_{n=1}^{\infty}\left(x_n-y_n\right)^2},
$$

得到的度量空间就是 $E^\omega$ ．
记 $A=\left\{\left\{x_n\right\} \in E^\omega \mid x_n\right.$ 为有理数，且只有有限个不是 0$\}$ ，则 $A$是 $E^\omega$ 的可数稠密集，因此 $E^\omega$ 可分，是 $C_2$ 空间．

下面的定理体现了 $C_2$ 公理的威力。

**定理 2.1（Lindelöf 定理**）若拓扑空间 $X$ 满足 $C_2, T_3$ 公理，则它也满足 $T_4$ 公理．
证明 取定 $X$ 的一个可数拓扑基 $\mathscr{B}$ ．设 $F$ 和 $F^{\prime}$ 是不相交的闭集，构造它们的不相交邻域如下：
$\forall x \in F$ ，则 $x \in F^{\prime}$ 。由 $T_3$ 公理，有 $x$ 和 $F^{\prime}$ 的不相交邻域 $W$ 和 $W^{\prime}$ ，于是 $\bar{W} \cap F^{\prime}=\varnothing$ ．取 $B \in \mathscr{B}$ ，使得 $x \in B \subset W$ ，则 $\bar{B} \cap F^{\prime}=\varnothing$ ．记 $\left\{B_1, B_2, \cdots\right\}$ 是 $\mathscr{B}$ 中所有闭包与 $F^{\prime}$ 不相交的成员，上面已证明 $F \subset \bigcup_{n=1}^{\infty} B_n$ 。记 $\left\{B_1^{\prime}, B_2^{\prime}, \cdots\right\}$ 是 $\mathscr{B}$ 中所有闭包与 $F$ 不相交的成员，则 $F^{\prime} \subset \bigcup_{n=1}^{\infty} B_n^{\prime}$ ．

记 $U_n=B_n \backslash \bigcup_{i=1}^n \bar{B}_i^{\prime}, V_n=B_n^{\prime} \backslash \bigcup_{i=1}^n \bar{B}_i(n=1,2, \cdots)$ ，则 $U_n$ 和 $V_n$ 都是开集，并且 $\forall n, m, U_n \cap V_m=\varnothing$（请读者验证）。令 $U=\bigcup_{n=1}^{\infty} U_n, V=\bigcup_{n=1}^{\infty} V_n$ ，则 $U \cap V=\bigcup_{n, m=1}^{\infty}\left(U_n \cap V_m\right)=\varnothing$ ．设
$x \in F$ ，则存在 $n$ ，使 $x \in B_n$ ，从而 $x \in U_n \subset U$ ．因此 $U$ 是 $F$ 的开邻域，同理 $V$ 是 $F^{\prime}$ 的开邻域．$U$ 和 $V$ 是 $F$ 和 $F^{\prime}$ 的不相交邻域．

## 拓扑性质的遗传性与可乘性

一种拓扑性质称为有**遗传性**的，如果一个拓扑空间具有它时，子空间也必具有它；一种拓扑性质称为有**可乘性**的，如果两个空间都具有它时，它们的乘积空间也具有它。

例如可分性是可乘的（第一章 § 3 习题5），但没有遗传性（反例见本节习题18）。在分离性中，$T_1, T_2$ 和 $T_3$ 公理都有遗传性和可乘性，证明留作习题．$T_4$ 公理这两种性质都不具有。两个可数公理也都有遗传性和可乘性．

## 疑难解答

> Q 如何理解第一可数公理和第二可数公理

拓扑学中的 **C₁ 公理（第一可数公理）** 与 **C₂ 公理（第二可数公理）** 是**可数性公理**，用来限制拓扑空间中**开集（邻域）的数量**，让空间更“好处理”。

---

### 一、C₁ 公理（第一可数公理 / First-countable）
**定义**：
拓扑空间 $ X $ **满足 C₁** ⇨ **每一点 $ x \in X $ 都有一个可数的邻域基（局部基）**。

- **邻域基**：在点 $ x $ 处，一组开集 $ \mathcal{B}_x = \{ U_1, U_2, U_3, \dots \} $（可数个）
- 满足：**任何包含 $ x $ 的开集 $ V $，一定存在某个 $ U_n \in \mathcal{B}_x $，使得 $ U_n \subseteq V $**

**直观**：每个点都能用**一列越来越小的开集**去“逼近”它。

**典型例子**：
- **所有度量空间**（$\mathbb{R}^n$、Hilbert 空间等）
  - 对任意点 $ x $，取可数邻域基：
 $$
    B(x, 1),\ B(x, \tfrac12),\ B(x, \tfrac13),\ \dots,\ B(x, \tfrac1n),\ \dots
$$

---

### 二、C₂ 公理（第二可数公理 / Second-countable）
**定义**：
拓扑空间 $ X $ **满足 C₂** ⇨ **整个空间有一个可数的拓扑基（全局基）**。

- **拓扑基**：一组**可数**开集 $ \mathcal{B} = \{ B_1, B_2, B_3, \dots \} $
- 满足：**任何开集 $ U \subseteq X $，都可以写成 $ \mathcal{B} $ 中若干成员的并**

**直观**：全空间只用**可数块“基础开集积木”**，就能拼出所有开集。

**典型例子**：
- **欧氏空间 $\mathbb{R}^n$**（通常拓扑）
  - 可数基：**所有有理中心、有理半径的开球**
  $$
  \{ B(q, r) \mid q \in \mathbb{Q}^n,\ r \in \mathbb{Q}_{>0} \}
  $$
  （有理数集可数，故这族开球可数）

---

### 三、C₁ 与 C₂ 的关系
1. **强 ⇒ 弱**
   $$
   \text{满足 C}_2 \quad \Rightarrow \quad \text{一定满足 C}_1
   $$
   - 理由：全局可数基 $ \mathcal{B} $ 中，**包含点 $ x $ 的那些基元素**，就构成 $ x $ 处的可数局部基。

2. **弱 ⇏ 强**
   - 存在 **C₁ 但不 C₂** 的空间：
     - 不可数集上的**离散拓扑**（每个单点都是开集）
       - 每点邻域基：$\{\{x\}\}$（可数，C₁）
       - 拓扑基必须包含所有单点，**不可数**（不 C₂）

---

### 四、核心性质（常用）
#### C₁ 空间关键性质
- **序列收敛可刻画闭包**：
  $ x \in \bar{A} \iff \exists \{x_n\} \subseteq A,\ x_n \to x $
- **连续 ⇨ 序列连续**：
  $ f $ 连续 ⇨ $ x_n \to x \Rightarrow f(x_n) \to f(x) $

#### C₂ 空间关键性质
- **可分**：存在**可数稠密子集**
- **Lindelöf**：任何开覆盖都有**可数子覆盖**
- 可度量化定理（Urysohn）：**C₂ + 正则 ⇒ 可度量化**

---

### 五、一句话总结
- **C₁**：**点附近**的邻域可以用**可数个**来代表
- **C₂**：**整个空间**的开集可以用**可数个基**生成

> **Q: C₁、C₂、可分、Lindelöf 对比表**

### 一、核心定义速记
| 公理/性质 | 一句话直观 | 严格定义 |
|---------|------------|---------|
| **C₁ 第一可数** | 每个点附近，都有**可数个**“越来越小”的邻域 | 每点 $x$ 存在**可数局部基**（邻域基） |
| **C₂ 第二可数** | 整个空间，只用**可数个**开集就能拼出所有开集 | 空间存在**可数拓扑基** |
| **可分 (Separable)** | 空间里有**可数个点**，到处都“挨得着” | 存在**可数稠密子集** $D\subseteq X$ |
| **Lindelöf** | 任何开覆盖，都能精简成**可数个**开集覆盖 | 任意开覆盖有**可数子覆盖** |

---

### 二、强弱关系（必背）
$$
\boxed{C_2 \implies C_1,\ C_2 \implies \text{可分},\ C_2 \implies \text{Lindelöf}}
$$

- **C₂ 最强**：满足 C₂ ⇒ 自动满足 C₁、可分、Lindelöf
- **C₁ 最弱**：只限制“每个点附近”，不限制全局
- 可分、Lindelöf 之间**一般互不蕴含**

---

### 三、典型空间判定例题（考试高频）
#### 1. 欧氏空间 $\mathbb{R}^n$（通常拓扑）
- C₁：✅ 是（度量空间都 C₁）
- C₂：✅ 是（有理中心+有理半径开球，可数基）
- 可分：✅ 是（$\mathbb{Q}^n$ 可数稠密）
- Lindelöf：✅ 是

#### 2. 不可数集上的**离散拓扑**
- C₁：✅ 是（单点集 $\{x\}$ 就是邻域基）
- C₂：❌ 否（基要含所有单点，不可数）
- 可分：❌ 否（唯一稠密是全集，不可数）
- Lindelöf：❌ 否（单点开覆盖无可数子覆盖）

#### 3. 不可数集上的**平庸拓扑**（只有 $\emptyset,X$）
- C₁：✅ 是
- C₂：✅ 是（基=$\{X\}$）
- 可分：✅ 是
- Lindelöf：✅ 是

#### 4. 不可数集上的**余可数拓扑**
- C₁：❌ 否
- C₂：❌ 否
- 可分：✅ 是（任何可数集都稠密）
- Lindelöf：✅ 是

#### 5. 任意**度量空间**
- C₁：✅ 必是
- C₂：⇔ 可分 ⇔ Lindelöf（度量空间里三者等价）

---

### 四、常用结论（直接用在证明）
1. **C₁ 空间**
   - 闭包可用**序列收敛**刻画：$x\in\overline A\iff\exists x_n\to x$
   - 连续 ⇔ 序列连续

2. **C₂ 空间**
   - 一定**可分 + Lindelöf**
   - 再加**正则** ⇒ **可度量化**（Urysohn 度量化定理）

3. **度量空间中**
   $$
   C_2 \iff \text{可分} \iff \text{Lindelöf}
   $$

---

### 五、极简口诀
- **C₁：点点可数邻域**
- **C₂：全局可数基**
- **C₂ 最强，全包 C₁、可分、Lindelöf**
- **度量空间里，可分=C₂=Lindelöf**

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

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

免费注册

《高等数学》难点解析

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

《线性代数》难点解析

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

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

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

上一篇：拓扑的性质-T1,T2,T3,T4的分离程度公理

下一篇：引理Urysohn 及其应用

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