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

可列集

## 可列集
集合分为**有限集**和**无限集**。所谓有限集是指集合里的元素是有有限的数量，而所谓无限集时指集合里的元素有无穷多个。

对于有限集，只要按照顺序一个个取出来就可以了。所以对于**有限集一定是可列的**，我们更倾向关注无限集里的可列情况，所以先给出可列集的定义。

**定义1.11** 与自然数集 $N$ 对等的集合称为**可列集** 也叫 **可数集**。

由于 $N$ 可按大小顺序排成一无穷序列： 
$$
1,2,3, \cdots, n, \cdots,
$$

因此，一个集合 $A$ 是可数集合的充要条件为：$A$ 可以排成一个无穷序列：

$$
a_1, a_2, a_3, \cdots, a_n, \cdots
$$

## 无穷集合必有一个可列子集
**定理1.5  每个无穷集必包含一个可列子集**．

证明 设 $M$ 是一个无限集，因 $M \neq \varnothing$ ，总可以从 $M$ 中取一元素记为 $e_1$ ，由于 $M$ 是无限集，故 $M-\left\{e_1\right\} \neq \varnothing$ ，于是又可以从 $M- \left\{e_1\right\}$ 中取一元素，记为 $e_2$ ，显然 $e_2 \in M$ 且 $e_1 \neq e_2$ ，设已从 $M$ 中取出 $n$ 个这样的互异元素 $e_1, e_2, \cdots, e_n$ ，由于 $M$ 是无限集，故 $M-\left\{e_1, e_2, \cdots, e_n\right\} \neq \varnothing$ ，于是又可以从 $M-\left\{e_1, e_2, \cdots, e_n\right\}$ 中取一元素，记为 $e_{n+1}$ ，显然 $e_{n+1} \in M$ 且和 $e_1, e_2, \cdots, e_n$ 都不相同，这样由归纳法，我们就找到 $M$ 的一个无限子集 $\left\{e_1, e_2, e_3, \cdots, e_n, \cdots\right\}$ ，它显然是一个可数集．

该定理说明可数集的一个特征：**它在所有无限集中有最小的基数**．我们把这个基数成为 ℵ₀（**阿列夫零**）

### 理解本定理

**每个无穷集必包含一个可列子集。** （这里“可列”也常被称为“可数无限”，即与自然数集等势的集合。）

### 直观理解

这个定理的意思是：**无论一个无穷集有多大、多复杂，它里面都“藏着一个”和自然数集一样多的子集。** 可数无限（ℵ₀）是最小的一种无穷。所以，这个定理断言：**任何无穷集的基数都至少是 ℵ₀。**

### 证明思路与过程

这个定理的证明是**构造性**的，即我们通过一个具体的步骤把这个可列子集“找出来”。

**证明：**

设 $ A $ 是一个无穷集合。

1. **第一步：**
   因为 $ A $ 是无穷的，所以它不可能是空集。因此，我们可以从 $ A $ 中选取一个元素，记作 $ a_1 $。那么，集合 $ A \setminus \{a_1\} $（即从A中去掉a1后剩下的集合）仍然是无穷的（因为如果去掉一个元素就变成有限，那么原来的A就是有限集了）。

2. **第二步：**
   由于 $ A \setminus \{a_1\} $ 是无穷的，它非空。我们可以从中再选取一个元素，记作 $ a_2 $（且 $ a_2 \neq a_1 $）。同样地，集合 $ A \setminus \{a_1, a_2\} $ 仍然是无穷的。

3. **第n步：**
   假设我们已经选取了彼此不同的元素 $ a_1, a_2, a_3, ..., a_n $。由于 $ A $ 是无穷的，集合 $ A \setminus \{a_1, a_2, ..., a_n\} $ 不可能是空集（否则A就是有限集）。因此，我们可以从中再选取一个新的元素 $ a_{n+1} $。

4. **无限进行下去：**
   根据数学归纳法（或者更准确地说，依赖选择公理），我们可以将这个过程无限地进行下去。

通过以上过程，我们构造出了一个由 $ A $ 中元素组成的无限序列：
$$
a_1, a_2, a_3, ..., a_n, ...
$$
这个序列中的所有元素都是彼此不同的。

5. **构造可列子集：**
   现在我们定义一个新的集合 $ S $：
   $$
   S = \{ a_1, a_2, a_3, ... \}
   $$
   这个集合 $ S $ 是 $ A $ 的一个子集，并且我们可以建立一个明显的**一一对应**：
   $$
   f: \mathbb{N} \to S \quad \text{定义为} \quad f(n) = a_n
   $$
   这个函数是满射（因为S就是由所有这些a_n构成的），也是单射（因为我们在构造时保证了每个a_n都是新选取的，互不相同）。

**结论：**
因此，我们成功地从无穷集 $ A $ 中构造出了一个子集 $ S $，并且 $ S $ 与自然数集 $ \mathbb{N} $ 等势，即 $ S $ 是一个可列集。证毕。
 
**举个例子：**
实数集 $ \mathbb{R} $ 是不可数的无穷集，它非常大。但这个定理保证了，即使在 $ \mathbb{R} $ 中，也一定存在一个子集（例如自然数集 $ \mathbb{N} $ 本身，或者有理数集 $ \mathbb{Q} $）是可列的。事实上，我们可以构造出更奇怪的可列子集，比如在任意一个无理数区间内，都存在一个可列的子集。

## 判断一个集合是无穷集合

**定理1.6** $A$ 为无穷集的充分必要条件是 $A$ 与自己的某个真子集对等．
证明 必要性．设 $A$ 为无穷集，则存在 $a_0 \in A$ ，而 $A_0=A \backslash\left\{a_0\right\}$ 仍为无穷集，故由前一定理，存在可列子集 $\left\{a_1, a_2, \cdots, a_k, \cdots\right\} \subset A_0$ ．作映射 $f: A_0 \rightarrow A$ 如下，对于任意 $x \in A_0$ ，令

$$
f(x)=\left\{\begin{array}{cc}
a_{j-1}, & x=a_j(j=1,2, \cdots), \\
x, & \text { 其他. }
\end{array}\right.
$$

显然是 $A_0$ 到 $A$ 的一一映射，故 $A \sim A_0$ ，而 $A_0$ 是 $A$ 的真子集．
充分性显然，因为有限集不可能与它的任何真子集对等．

> **推论** 若 $A$ 是无穷集，$B$ 是可列集，$A \cup B \sim A$ ．

证明思路：

1. 因为 $A$ 是无穷集，由集合论基本定理：**任何无穷集必有一个可数无限子集** $C \subseteq A$。

2. 令 $B' = B \setminus A$（即 $B$ 中不在 $A$ 里的那部分），则 $B'$ 至多可数（因为 $B$ 可数）。

3. 于是：
   $$
   A \cup B = A \cup B'
   $$
   且 $A \cap B' = \varnothing$。

4. 在 $A$ 中取一个可数无限子集 $C$，则 $C \cup B'$ 仍为可数无限集（至多可数，且无穷）。

5. 因为 $C$ 与 $C \cup B'$ 都是可数无限，存在双射 $g: C \to C \cup B'$。

6. 定义映射 $f: A \to A \cup B'$ 如下：
   $$
   f(x) = 
   \begin{cases}
   x, & x \in A \setminus C, \\
   g(x), & x \in C.
   \end{cases}
   $$
   这个 $f$ 是双射，因为：
   - 在 $A \setminus C$ 上是恒等映射，映到自身（注意 $A \setminus C \subset A \cup B'$ 吗？要检查：$A \setminus C$ 与 $B'$ 不交，但 $A \setminus C$ 是 $A$ 的一部分，而 $A \cup B'$ 包含 $A \setminus C$，没问题）。
   - 在 $C$ 上，$g$ 是双射到 $C \cup B'$，且 $(A \setminus C) \cap (C \cup B') = \varnothing$ 吗？  
     $A \setminus C$ 与 $C$ 不交，但 $A \setminus C$ 与 $B'$ 不交（因为 $B'$ 与 $A$ 不交），所以值域划分无重叠，并且覆盖 $A \cup B'$。

7. 因此 $A \sim A \cup B' = A \cup B$。

### 理解：无穷集加一个可列集不影响基

这个推论说明： **如果 $A$ 是无穷集，$B$ 是可列集，那么 $A \cup B$ 与 $A$ 元素“一样多”。**

这有点反直觉：在有限集情况下，加一些元素会改变元素个数；但在无穷集的情况下，加上一个可数集不改变其基数。

例子理解
**例 1**  
$A = \mathbb{R}$（实数集，不可数无穷），$B = \mathbb{Q}$（有理数集，可数无限）。  
那么 $A \cup B = \mathbb{R}$，显然等势。

**例 2**  
$A = \mathbb{N}$（自然数集，可数无限），$B = \{\ldots, -2, -1, 0\}$（非正整数集，可数无限）。  
那么 $A \cup B = \mathbb{Z}$（整数集），而 $\mathbb{Z}$ 与 $\mathbb{N}$ 等势（可数无限），所以 $A \cup B \sim A$。

**例 3**  
$A = (0,1)$（不可数），$B = \{2, 3, 4, \dots\}$（可数无限，且与 $A$ 不交）。  
那么 $A \cup B$ 仍然与 $(0,1)$ 等势（可通过 Hilbert 旅馆思路构造双射）。

**定义1.12**  若 $A \sim B$ ，则称 $A$ 与 $B$ 有相同的**基数**，记为 $\overline{\bar{A}}=\overline{\bar{B}}$ ；若 $A$ 与 $B$ 的某个真子集对等，但不与 $B$ 本身对等，则称 $A$ 的基数小于 $B$ 的基数（或 $B$ 的基数大于 $A$ 的基数），记为 $\overline{\bar{A}}<\overline{\bar{B}}$（或 $\overline{\bar{B}}>\overline{\bar{A}}$ ）．

与数的不等关系类似，$\overline{\bar{A}} \leqslant \overline{\bar{B}}$ 的意思是 $\overline{\bar{A}}<\overline{\bar{B}}$ 或 $\overline{\bar{A}}=\overline{\bar{B}}$ ，即 $A$ 与 $B$ 的一个子集对等．

集合的基数是自然数的推广，它描述（或表示）集合具有多少元素．对于有限集（包括空集），它就是这个集合的元素个数，即某个自然数．例如，$\overline{\bar{\varnothing}}=0$ ，又若 $A=\{a, b, c\}$ ，则 $\overline{\bar{A}}=3$ 。对于无穷集，基数代表所有与此集合对等的集合的共同属性（元素的多少相同）。

**按此定义，基数可以比较大小，并且这种大小关系显然满足传递律：若 $\overline{\bar{A}}<\overline{\bar{B}}$ 且 $\overline{\bar{B}}<\overline{\bar{C}}$ ，则 $\overline{\bar{A}}<\overline{\bar{C}}$ ．Bernstein 定理告诉我们，不存在 $\overline{\bar{A}}<\overline{\bar{B}}$而同时 $\overline{\bar{B}}<\overline{\bar{A}}$ 的这种可能，或者说，若 $\overline{\bar{A}} \leqslant \overline{\bar{B}}$ 又 $\overline{\bar{B}} \leqslant \overline{\bar{A}}$ ，则只能 $\overline{\bar{A}}=\overline{\bar{B}}$**，

接下来讨论另外一个问题：**是否所有无穷集的基数都相同**．

从前面讨论看，可列集是最简单的无穷集，其基数也就应是最小的无穷基数，现在把它记为 **$\aleph_0$（读作阿列夫（Aleph）零）**．下面先讨论一下可列集的运算性质，看运算结果是否仍然可列。

可列集是与自然数集一一对应的，故它的全部元素必定可以排列出来（成一序列）．即若 $A$ 是可列集，则一定可以写成：

$$
A=\left\{a_1, a_2, \cdots, a_k, \cdots\right\},
$$

反之，元素可以排成序列的集合必为可列集．

## 阅读：有限集与无限集
有限集是只含有限个元素的集合，无限集就是非有限集，但什么是无限集与有限集的本质差异呢？最早作出这个发现的是**伽利略**Galileo。如图1.1所示，Galileo 发现图中左边的两个长度不同的线段 $A B$ 与 $C D$ ，可以通过右边的方法实现一一对应。于是从左边看它们所含有的点似乎不是一样多，但从右边看它们所含有的点恰恰是一样多的。
 ![图片](/uploads/2025-01/02cf20.jpg)
 Galileo 又发现正整数全体可以和它们的平方构成一一对应．所有这些都是下列定理的特例．这个定理的证明将在后面给出．
 
 **定理1.1（无限集定理）** 集合 $S$ 是无限集的充分必要条件是 $S$ 与自己的一个真子集一一对应,也称为**伽利略定理**。

希尔伯特 Hilbert曾经举出一个生动的例子来说明上述定理．这就是著名的 Hilbert 旅馆。设想一个旅馆有无限多个房间，并用所有的正整数编号。每个房间只能住一位旅客。有一天晚上，旅馆已经客满，但这时来了一位旅客要求住宿。这对于普通的旅馆是一个没法解决的问题，可是这家旅馆的老板却有办法．他说，只要请 1 号房间的客人搬到 2 号房间， 2 号房间的客人搬到 3 号房间，如此等等，那么原来的客人都有房间住，而 1 号房间却可以接待新来的旅客了。

这个故事还可以有进一步的发展．设想又来了一位旅客要求住宿，并且说，他后面还有数不清的旅客正在前来投宿．这个问题如何能解决呢？旅馆的老板又拿出了新招．他说，请 1 号的客人搬到 2 号， 2 号的客人搬到 4 号， 3 号的客人搬到 6 号，如此等等，这样就将所有奇数号的房间全部空出，再来多少旅客也没有困难了。

我们看到，第一次的方法就是令 $n$ 与 $n+1$ 对应，从而使得正整数集合 $N$ 与自己的一个真子集，即从 2 开始的正整数全体建立一一对应。第二次的方法就是令 $n$与 $2 n$ 对应，使得 $N$ 与自己的另一个真子集，即偶数全体建立一一对应．

`例`设 $A$ 与 $B$ 是两个同心圆周上的点集（如下图），显然 $A \sim B$ ．事实止，对 $A$ 上每一点 $x$ 与同心圆的圆心的连线与 $B$ 相交且只交于一点．值得注意的是，若将此两圆周展开为线段时，则这两条线段的长度并不相同。这告诉我们，一个较长的线段并不比另一个较短线段含有＂更多的点＂．无限长的＂线段＂也不比有限长的线段有＂更多的点＂．

![图片](/uploads/2025-11/8535c5.jpg)

## 本节解读

可列集，也称为可数无穷集，是指一个无限集合，并且它的所有元素可以与正整数集 {1, 2, 3, 4, ...} 建立一一对应关系。

简单来说，如果一个集合是可列集，那么它的元素可以被“一个一个地列出”（尽管永远列不完），并且每个元素都有一个唯一的“编号”（即对应的正整数）。

### 生活中的比喻

想象一下，你是一个老师，面前有一个**无限长的学生队伍**。

1.  **可列集的情况**：
    - 这些学生虽然无穷无尽，但他们**都遵守纪律，排成了一条笔直的长队**。
    - 你可以从第一个学生开始，依次给他们发号码牌：1号、2号、3号……
    - 无论你想找哪个学生，比如第10086号学生，你理论上都可以沿着队伍走下去找到他。
    - **例子**：所有整数（...-2, -1, 0, 1, 2...）的队伍。你可以这样排队：让0站第一个，1站第二个，-1站第三个，2站第四个，-2站第五个……这样每个人都能拿到一个唯一的号码牌。

![图片](/uploads/2025-11/794231.jpg){width=400px}
 
2.  **不可列集的情况**：
    - 现在想象另一群无限多的学生，但他们**没有排队，而是混乱地挤满了一个巨大的操场**。
    - 你想给他们发1、2、3……的号码牌，但你发现根本无从下手。你指定了1号，但不知道该指定谁为2号，因为没有一个“下一个”的概念。无论你怎么尝试制定发牌规则，总会剩下无数个学生永远拿不到号码牌。
    - **例子**：0到1之间的所有实数。你想想，0.1, 0.01, 0.001, 0.0001... 它们之间还有无数个其他小数，你根本无法给它们一个确定的“下一个”是谁。所以它们是无法“排队”的。

> **可列集的核心就是排队，能不能把所有元素像拉面条一样，拉成一条长长的、有先后顺序的队伍。然后能不能用自然数1,2,3...给每个元素贴上一个独一无二的标签**

`例`正整数集$\mathbb{N}^+$是可列集
   解：正整数集本身就是最简单的可列集。我们可以建立恒等对应：1→1, 2→2, 3→3, ...

`例`整数集 $\mathbb{Z}$是可列集
    整数包括负整数、零和正整数，看起来比正整数“多”，但它仍然是可列集。
    **列举方法**：我们可以这样排列：0, 1, -1, 2, -2, 3, -3, ...
    **一一对应关系**：
    - 正整数 1, 2, 3, 4, 5, 6, ...
    - 对应整数 0, 1, -1, 2, -2, 3, ...
    这样就建立了一个完美的对应关系。

`例`有理数集 $\mathbb{Q}$ 是可列集
    有理数（即所有可以表示为分数 p/q 形式的数，其中 p 和 q 是整数，且 q≠0）也是可列的。这有点反直觉，因为有理数在数轴上是“稠密”的（任意两个有理数之间都有无穷多个有理数）。
    **证明思路（康托尔对角线法）**：
    - 将所有正有理数写成一个无限的二维表格，行下标是分子 p，列下标是分母 q。
    - 按照对角线的顺序（如下图）来遍历这个表格，跳过那些不是最简分数的项（如 2/2, 4/2 等，因为它们与 1/1, 2/1 重复）。
    - 这样我们就可以将所有正有理数排成一个序列：1/1, 2/1, 1/2, 1/3, 3/1, 4/1, ...
    - 最后，仿照整数集的处理方法，在序列开头插入 0，然后交错地插入负数，就可以列出所有有理数。中间没有重复，没有遗漏。

![图片](/uploads/2025-11/ec5c98.jpg){width=400px}

`例`实数是不可列集
0到1之间的所有实数。你想想，0.1, 0.01, 0.001, 0.0001... 它们之间还有无数个其他小数，你根本无法给它们一个确定的“下一个”是谁。所以它们是无法“排队”的。事实上任何$(a,b)$之间的实数都是不可列集。

> **可列集与不可列集直观总结：可列集（如整数、有理数）的元素之间是有“间隙”的，你可以找到一个“下一个”元素。而不可列集（如实数）的元素是连续的，像一条实心的、没有缝隙的直线。你无法给一条实心直线上的每一个点都编上号，因为点与点之间是“无缝衔接”的，它们不像离散的学生那样可以一个个分开站队。**

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

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

免费注册

《高等数学》难点解析

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

《线性代数》难点解析

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

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

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

上一篇：集合的映射、特征函数与基

下一篇：伯恩斯坦Bernstein定理★★★★★

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