最后更新: 2025-11-09 07:19 查看: 116 次纠错评论(0) 课件开VIP

实数为什么是不可数集

## 实数为什么是不可数集
我们通常用 **康托尔的对角线论证法** 来证明实数集是不可数的。下面我将用尽可能清晰的方式解释这个证明。

![图片](/uploads/2025-11/b5b3dd.jpg){WIDTH=300PX}

### 第一步：明确目标

首先，我们要明确“可数”和“不可数”的含义。

*   **可数集**：一个集合的元素可以与正整数（1, 2, 3, ...）建立一一对应的关系。也就是说，我们可以把这个集合里的所有元素一个一个地“数”出来，排成一个无穷序列。所有有理数集就是可数集的经典例子。
*   **不可数集**：一个集合的元素多到无法与正整数建立一一对应。你无法把它们排成一个序列，总会有“漏网之鱼”。

我们的目标是：**证明实数集是不可数的**。

一个更简单、更强大的目标是：证明开区间 **(0, 1)** 内的所有实数是不可数的。因为如果 (0,1) 这个“小部分”都已经不可数了，那么整个实数集肯定也是不可数的。

### 第二步：康托尔的对角线论证

我们采用反证法。

1.  **假设反面**：我们假设区间 (0, 1) 内的所有实数是**可数的**。这意味着我们可以把它们全部列出来，排成一个无穷的列表。列表中的每一个实数都可以用无限小数表示（例如，1/2 表示为 0.500000...，1/3 表示为 0.333333...）。

假设我们的列表是这样的：
    *   $ r_1 = 0 . \mathbf{5} 0 0 0 0 0 ... $
    *   $ r_2 = 0 . 3 \mathbf{3} 3 3 3 3 ... $
    *   $ r_3 = 0 . 1 4 \mathbf{1} 5 9 2 ... $
    *   $ r_4 = 0 . 9 9 9 \mathbf{9} 9 9 ... $
    *   $ r_5 = 0 . 7 1 2 8 \mathbf{1} 8 ... $
    *   $ ... $

（注意：为了确保表示的唯一性，我们约定不使用从某一位开始全是9的循环小数，例如将 0.4999... 统一表示为 0.5000...）

2.  **构造一个“对角线”上的数**：
    现在我们关注这个列表的**对角线**上的数字（上面例子中加粗的数字）：
    *   从 $ r_1 $ 取第1位小数：5
    *   从 $ r_2 $ 取第2位小数：3
    *   从 $ r_3 $ 取第3位小数：1
    *   从 $ r_4 $ 取第4位小数：9
    *   从 $ r_5 $ 取第5位小数：1
    *   ...

我们得到一串数字：5, 3, 1, 9, 1, ...

3.  **创造一个新的数**：
    我们现在要基于这串对角线数字，创造一个新的实数 $ x $，它也在 (0,1) 区间内。创造规则是：**让新数 $ x $ 的每一位小数都与对角线上的数字不同**。

一个简单通用的规则是：**将每一位对角线数字都加1，如果遇到9就变成0**。
    *   第1位：5 -> 变成 6
    *   第2位：3 -> 变成 4
    *   第3位：1 -> 变成 2
    *   第4位：9 -> 变成 0
    *   第5位：1 -> 变成 2
    *   ...

于是，我们得到了一个新的实数：
    $ x = 0.64202... $

4.  **发现矛盾**：
    现在我们来问：这个新数 $ x $ 在我们最初假设的那个“包含了所有(0,1)实数”的列表里吗？
    *   $ x $ 不等于 $ r_1 $，因为 $ x $ 的第1位小数（6）与 $ r_1 $ 的第1位小数（5）不同。
    *   $ x $ 不等于 $ r_2 $，因为 $ x $ 的第2位小数（4）与 $ r_2 $ 的第2位小数（3）不同。
    *   $ x $ 不等于 $ r_3 $，因为 $ x $ 的第3位小数（2）与 $ r_3 $ 的第3位小数（1）不同。
    *   ...
    *   推广来说，对于列表中的第 $ n $ 个数 $ r_n $，$ x $ 的第 $ n $ 位小数都与之不同。

**所以，这个新数 $ x $ 根本不在我们最初列出的那个列表里！**

### 第三步：得出结论

这就产生了矛盾。

*   我们最初的**假设**是：我们已经成功地将 (0,1) 区间内的**所有**实数都列出来了。
*   但我们通过“对角线构造法”，总是能**创造出一个新的实数 $ x $**，它属于 (0,1) 区间，却又不在那个列表中。

这个矛盾无可辩驳地说明：我们**不可能**将 (0,1) 区间内的所有实数排成一个列表。因此，**(0,1) 区间内的实数是不可数的**。进而，**整个实数集也是不可数的**。

### 核心思想与意义

康托尔对角线法的精妙之处在于：

*   **自我参照**：它利用列表自身（对角线）来构造一个反例。
*   **构造性**：它明确地给出了一个不属于原列表的数。
*   **普适性**：无论你怎么尝试去排列那个列表，这个方法总能找出一个被你漏掉的实数。这说明“漏掉”不是偶然，而是必然。

这个证明在数学史上具有里程碑式的意义，它揭示了无穷也是有“大小”或“层级”之分的。可数无穷（如整数、有理数）只是最小的无穷，而实数则代表了一个更“大”的无穷层级。这彻底改变了数学家对“无穷”的理解，并催生了现代集合论。

## 对比：有理数是可数集

作为对边，为什么说有理数是可数集，参考下图，把所有整数排成二维表格，然后沿着对角线（叫做康托尔对角线）找数字，可以看到，任何一个有理数都在一个固定的位置（可以是无穷大，但是可以排列出来。）

![图片](/uploads/2025-11/22ab53.jpg){width=500px}

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

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

免费注册

《高等数学》难点解析

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

《线性代数》难点解析

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

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

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

上一篇：不可数集与幂集

下一篇：无最大基数定理

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