4.5 可数集和不可数集

第四章·函数4.5可数集和不可数集目录CONTENTS01无限集的基数分类探讨无限集的两种基本分类方式：

可数无限集与不可数无限集的本质区别。02定义、术语与例题梳理基础概念与核心术语，

结合经典例题加深对概念的理解。03核心定理集系统学习关于可数集的关键性质与定理，

掌握无限集合运算与构造的基本逻辑。04本节小结回顾本节核心知识点，

总结可数性证明的常用方法与解题技巧。无限集的基数分类1.可数无限基数CountablyInfinite/阿列夫零(ℵ₀)🔍核心定义：集合的元素能与自然数集N={0,1,2,3,...}建立双射（一一对应）关系。📚典型例子：自然数集(N)、整数集(Z)、有理数集(Q)。2.不可数无限基数UncountablyInfinite/连续统(C)🔍核心定义：无法与自然数集建立一一对应关系的无限集合，其基数严格大于ℵ₀，满足关系2^ℵ₀=C。📚典型例子：实数集(R)、任意开区间(0,1)、无理数集。定义4.13：关键定义与术语核心定义•可数无限集：与自然数集合等势的任意集合。其基数用ℵ₀表示。•不可数无限集：除可数无限集以外的所有无限集。•至多可数集：有限集和可数无限集的统称。•不可数集：即“不可数无限集”的简称。典型示例以下集合均为可数集，其势为ℵ₀：A={1,4,9,16,...,n²,...}

B={1,8,27,64,...,n³,...}

C={3,12,27,48,...,3n²,...}

D={1,1/2,1/3,1/4,...,1/n,...}例题4.13：整数集与有理数集的基数整数集Z▍结论：整数集Z是可数无限的，其基数与自然数集相同，为ℵ₀(阿列夫零)。▍证明思路：构造一个从自然数集N到整数集Z的双射函数，建立一一对应关系。

例如：将偶数映射到正整数(2n→n)，奇数映射到负整数和零(2n+1→-n)。这说明整数集可以被“数”出来。有理数集Q▍结论：有理数集Q是可数无限的，其基数同样为ℵ₀(阿列夫零)。这一结论常被称为“有理数集的可数性”。▍证明思路：经典方法为“康托尔对角线法”。将所有正有理数排列成一个二维表格，其中行和列分别代表分子和分母，然后沿着对角线方向依次遍历所有数，并跳过其中的重复值，从而证明有理数可以被一一列出。例题4.14：实数集与幂集的基数01.实数集R结论：实数集R是不可数的，其基数C严格大于自然数集的基数，即C>ℵ₀。证明思路：利用经典的“康托尔对角线论证法”（反证法）。通过构造与假设序列中每个数都不同的新实数，导出矛盾，从而证明区间[0,1]内的实数不可列。“不可数”意味着实数无法与自然数建立一一对应关系，实数的“数量”比自然数“多得多”。02.幂集的基数康托尔定理：对于任意集合A，其幂集P(A)的基数严格大于原集合A的基数，即|P(A)|>|A|。这揭示了“无穷”也存在不同的层级。重要推论：实数集的基数C恰好等于自然数集的幂集的基数，即C=|P(N)|。这建立了连续统与自然数集幂集之间的一一对应关系。定理4.8：可数集的充要条件定理内容Statement集合A为可数集的充分必要条件是A中元素可排列成如下序列形式：A={a1,a2,…,an,…}必要性(Necessity)若A是可数集，则存在从自然数集N到A的双射f

。利用此双射，可将A的元素按照自然数顺序一一对应排列出来，从而构成一个无穷序列。充分性(Sufficiency)若A的元素能排列成序列{a1,a2,…,an,…}，则可以直接构造一个映射：f(an)=n。容易验证，这是一个从集合A到自然数集N的双，故A是可数集。定理4.9&4.10：无限集的基本性质定理4.9任一无限集，必含有可数子集。证明思路：从无限集A中不断取出元素，构成序列a₁,a₂,a₃,…，这一过程可无限进行。取出的元素所构成的集合即为原集合A的一个可数子集。定理4.10任一无限集必与其某一真子集等势。核心思想：这是无限集区别于有限集的本质特征。例如，全体自然数构成的集合N与它的真子集——所有偶数构成的集合是等势的。定理4.11：可数集的子集性质01/定理内容可数集的任何无限子集是可数集。换句话说，从一个可数集中“任意挑选”出无限个元素组成的新集合，依然是可数的。02/证明思路设可数集A={a₁,a₂,...}，其无限子集为B。

只需按原序列顺序，逐一“筛选”出属于B的元素，即可得到B的一个序列排列，从而证明B也是可数集。直观理解：无限序列的“子序列”依然是序列这个定理揭示了可数集的一个关键特征：它的“无穷部分”不会比它本身“更无穷”。无论你如何从一个可数的无穷序列中筛选出无限个元素，结果都能被重新整理成一个新的可数序列。定理4.12：可数集的并集性质定理内容如果有可数个两两不相交的集合，且其中每一个集合本身都是可数集，那么它们的并集依然是可数集。集合基数表达：ℵ0+ℵ0+…=ℵ0证明思路：康托尔对角线法将每一个可数集的元素依次排列成一行，构造一个二维的元素阵列。通过“对角线遍历”的方式，将阵列中的所有元素一一列出，从而证明并集是可数的。定理4.13：自然数集的笛卡尔积定理内容自然数集N的笛卡尔积N×N是可数集。证明思路其本质与定理4.12的对角线证明法类似。我们可以将所有有序对(m,n)排列在一个二维表格中，随后通过“对角线遍历”的策略，将二维集合中的元素逐一映射到一维的自然数序列中，从而证明其可数性。定理4.14：有理数集的可数性定理内容：有理数集Q是可数集。01集合的包含关系任何一个正有理数都可以唯一表示为m/n（既约分数）的形式，因此正有理数集Q+可看作是自然数集笛卡尔积N×N的一个子集。02正有理数集的可数性由定理4.13，N×N是可数集；而可数集的任意子集也是可数集（定理4.11），因此Q+可数。03有理数集的拆分有理数集可拆分为：正有理数集Q+、负有理数集Q-和单独的元素{0}。其中Q-与Q+对等，故也可数；{0}是有限集，自然也可数。04可数集的并集性质根据定理4.12，可数个可数集的并集仍是可数集。因此，Q=Q+⋃{0}⋃Q−作为三个可数集的并集，必然是可数集。定理4.15：实数集的不可数性定理表述：全体实数构成的集合R是不可数的。01.简化问题不必考察全体实数，只需证明实数轴上的任意一个小开区间(0,1)是不可数的，即可推导至全体实数。02.反证假设假设(0,1)内的所有实数是可数的，那么我们可以将它们毫无遗漏地排列为一个无限序列，一一列出。03.构造矛盾通过“对角线法”构造一个新的实数，使其小数部分与序列中的每一个数都至少有一位不同，从而证明它不在该序列中，导出矛盾。本章小结基数分类无限集可分为两大类：•可数无限集，基数记为阿列夫零(ℵ₀)；•不可数无限集，基数记为连续统(C)。可数集定义若一个集合能与自然数集建立一一对应的