电子科技大学 2025年数学分析第0题
📝 题目
12．$A$ 是由数码 0,1 组成的所有数列的集合，证明 $A$ 不可数．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/5
目标：明确集合A的定义
集合 $A$ 由所有由数码 0 和 1 组成的无穷数列构成，即每个元素是一个无穷序列 $(x_1, x_2, x_3, \dots)$，其中 $x_i \in \{0,1\}$ 对任意 $i \in \mathbb{N}^+$ 成立。
公式：A = \{ (x_1, x_2, x_3, \dots) \mid x_i \in \{0,1\}, \forall i \in \mathbb{N}^+ \}
提示：注意数列是无穷的，且每个位置只能取0或1。
步骤 2/5
目标：假设A可数，并列出所有元素
假设 $A$ 是可数集，则存在一个枚举 $a_1, a_2, a_3, \dots$ 包含了 $A$ 中的所有数列。将每个数列 $a_n$ 的第 $k$ 项记为 $a_{n,k}$，从而得到一个无限矩阵：
\[
\begin{matrix}
a_1: & a_{1,1} & a_{1,2} & a_{1,3} & \dots \\
a_2: & a_{2,1} & a_{2,2} & a_{2,3} & \dots \\
a_3: & a_{3,1} & a_{3,2} & a_{3,3} & \dots \\
\vdots & \vdots & \vdots & \vdots & \ddots
\end{matrix}
\]
公式：a_n = (a_{n,1}, a_{n,2}, a_{n,3}, \dots), \quad a_{n,k} \in \{0,1\}
提示：可数假设意味着我们可以给每个数列编号，这是对角线论证的前提。
步骤 3/5
目标：构造一个不在列表中的新数列b
定义新数列 $b = (b_1, b_2, b_3, \dots)$，其中 $b_n = 1 - a_{n,n}$。即 $b$ 的第 $n$ 位与对角线上的第 $n$ 位 $a_{n,n}$ 相反：若 $a_{n,n}=0$ 则 $b_n=1$；若 $a_{n,n}=1$ 则 $b_n=0$。显然 $b$ 的每一项都是0或1，故 $b \in A$。
公式：b_n = 1 - a_{n,n}, \quad n = 1,2,3,\dots
提示：构造的关键是利用对角线元素进行取反，确保新数列与每个已有数列至少有一处不同。
步骤 4/5
目标：证明b不在原枚举列表中
对任意正整数 $n$，$b$ 的第 $n$ 位 $b_n$ 与 $a_n$ 的第 $n$ 位 $a_{n,n}$ 不同，因此 $b \neq a_n$ 对所有 $n$ 成立。这意味着 $b$ 不在假设的枚举 $a_1, a_2, a_3, \dots$ 中。
公式：\forall n \in \mathbb{N}^+, \; b_n \neq a_{n,n} \; \Rightarrow \; b \neq a_n
提示：注意这里只比较了第n位，但已经足够说明b与每个a_n不同。
步骤 5/5
目标：得出矛盾并完成证明
我们假设 $A$ 可数，从而可以列出所有元素，但构造出的 $b$ 属于 $A$ 却不在该列表中，这与假设矛盾。因此 $A$ 不可数。
提示：矛盾源于可数假设，故原命题成立。此即康托尔对角线论证法的标准应用。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。