最后更新: 2025-03-14 08:05 查看: 206 次纠错评论(0) 课件开VIP

可列集

## 可列集
在有了无限集的概念之后，我们介绍无限集中最简单的一类集合，即可列集．它是今后多次使用的一个概念。

> **定义1.1** 可列集就是能够与正整数全体一一对应的无限集．

根据定义，一个可列集 $A$ 一定可以将它的所有元素排序并表示如下：

$$
A=\left\{a_1, a_2, \cdots, a_n, \cdots\right\}  ...(1.1)
$$

其中将与 1 对应的元素记为 $a_1$ ，将与 2 对应的元素记为 $a_2, \cdots$ ，一般地将与 $n$ 对应的元素记为 $a_n$ ，如此等等。

因此，可列集就是可以将其中元素用所有正整数进行编号的集合．将 $A$ 写为（1.1）的意义就是给出 $A$ 与 $N$ 之间的一一对应，或者说表明这样的一一对应是存在的。

在前述[希尔伯特 Hilbert 旅馆](https://kb.kmath.cn/kbase/detail.aspx?id=2160) 中的所有房间的集合就是一个可列集，它通过编号与 $N$ 一一对应。而旅馆老板解决困难的两个方法就是将 $N$ 与它的两个真子集

$$
\{n \in N \mid n \geqslant 2\}, \quad\{2,4, \cdots, 2 n, \cdots\}
$$

建立一一对应．当然这两个集也都是可列集．

## 可列集的性质
下面给出可列集的基本性质：
1．任何无限集都有可列子集．
2．可列集的任何无限子集为可列集．
3．一个有限集和一个可列集的并是可列集．
4．有限个可列集的并是可列集．
5．可列个有限集的并是可列集．
6．可列个可列集的并是可列集．
其中除性质 6 之外都可以从可列集的定义直接推出．这些性质的证明留作练习题．

下面是一个重要的可列集，其中的证明方法称为**对角线方法**，它还可以用于证明可列集的上述性质 6 。

> **定理1.2** 有理数集 $Q$ 为可列集．

证 先将正有理数集

$$
Q _{+}=\left\{\left.x=\frac{q}{p} \right\rvert\, p, q \in N \right\}=\{x \in Q \mid x>0\}
$$

中的元如图1.2（a）中那样按分子 $q$ 依次排成行，然后按图1.2（b）中的线将 $Q _{+}$  排序，也就是建立它与 $N$ 之间的一一对应，但跳过此前已经出现的数，这在图中用圆圈标出．这就证明了集合 $Q _{+}$是可列集．这种方法称为**对角线方法**．这样就有

![图片](/uploads/2025-01/9ac160.jpg)
 
 $$
Q _{+}=\left\{1,2, \frac{1}{2}, \frac{1}{3}, 3,4, \frac{3}{2}, \frac{2}{3}, \frac{1}{4}, \frac{1}{5}, 5, \cdots\right\}
$$

然后将 $Q$ 中的元排序为

$$
Q =\left\{0,-1,1,-2,2,-\frac{1}{2}, \frac{1}{2}, \cdots\right\}
$$

这样就证明了 $Q$ 是可列集．

> 注： 利用可列集的性质2 ，又知道有理数$Q$ 的任何无限子集为可列集．

最后要指出，不可列的无限集是存在的。例如，实数全体所成集合 $R$ 就是不可列集．

## 伽利略定理的证明 
由于有限集与其真子集之间不可能存在一一对应，因此定理的充分性已经成立．（这一步的严格证明可以用数学归纳法，留作练习题．）

现证明必要性。若 $S$ 为无限集，则存在一个可列集 $A \subset S$ ，使得 $S=A \cup(S-A)$ ．设 $x \in A$ ，则 $A$ 与 $A-\{x\}$ 之间存在一一对应．利用这个一一对应，并令 $S-A$ 中的每个元与自身对应，如右边的图 1.3 所示，就得到在 $S$ 及 $S-\{x\}$其真子集 $S-\{x\}$ 之间的一一对应．

![图片](/uploads/2025-01/e08cd8.jpg)

其他版本
【高中数学】集合(高中)【高中数学】希尔伯特旅馆

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

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

免费注册

《高等数学》难点解析

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

《线性代数》难点解析

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

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

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

上一篇：有限集与无限集

下一篇：集合论中的术语与集合运算

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