§1.4可数集合提到无限集，有两种基数是最常见的，也是最重要的，一.docVIP

§1.4 可数集合 提到无限集，有两种基数是最常见的，也是最重要的，一是正整数集的基数，记为， 另一个是实数集的基数，记为. 本节讨论和正整数集对等的那一类集合. 定义1.4.1 凡和全体正整数所成之集对等的集合都称为可数集合或可列集合. 可数集是最简单的无穷集，意思是说它是基数最小的无限集，这由下面的定理可以得到说明. 定理1.4.1 任何无限集合都至少包含一个可数子集. 证明 设是一个无限集，因，可以从中取一元素，记它为，由是无限集，则，于是又可以从中取一元素，记它为，显然且，设已从中取出个这样的互异元素，由于是无限集，故，于是又可以从中取一元素，记它为，显然且与都不相同，这样，由归纳法，我们就找到的一个无限子集，它是一个可数集. 定理1.4.2 可数集合的任何无限子集必为可数集合，从而可数集合的任何子集或者是有限集或者是可数集. 证明 设是可数集，是的一个无限子集，那么，所以. 又由于是无限集，由定理1.4.1知有可数子集，这样，所以. 由Bernstein定理. 即也是可数集. 以后为叙述方便，有限集和可数集一起称为至多可数集. 由可数集的定义，一个集合是可数集当且仅当的元素能排列成无穷序列（时）的形式. 定理1.4.3 设为可数集，为至多可数集，则为可数集. 证明 （1）先设，因是可数集，设，若是有限集，设，此时 其中. 这是一个可数集. 若是无限集，设，此时， . 其中，这是一个可数集. （2）一般情形，即，此时，令，则，并且，因为，是至多可数集，因而是至多可数集. 由（1）知，是可数集，于是是可数集. 推论1 有限个至多可数集的并集是至多可数集，但如果至少有一个是可数集，则必是可数集. 为了证明可数多个可数集的并集还是可数集这一事实，我们给出一列集合的并集表示为互不相交的一列集的并集的方法，这一结果以例题的形式给出. 例1 设是一列集合，设，，则，且. 证明 对任意的，不妨设，则，而 所以，因此是互不相交的集列. 下证. 若，则 ； 若，则包含在一些中. 设是这些之最小者，若，则 若，则 综上，. 定理1.4.4 设都是至多可数集，则是可数集. 证明 （1）先设，设 ， ， ， ， ， …… …… …… …… ……. 称为元素的高度，按高度从小到大编号，在同一高度中按的值由小到大编号，这样就可以把并集中所有的元素排成一列（即上图箭头所指顺序）： 因此，是可数集. （2）一般情形 令，则由例1知，且. 现在各都是至多可数集，若这些中只有有限个不为空集，则由定理1.4.3之推论1知是可数集（因为是可数集）. 如果有无限多个不为空集，这时，也就是有可数多个是至多可数集，由情形（1）是可数集. 定理1.4.5 有理数全体是一可数集. 证明 我们用、分别表示正有理数集和负有理数集. 设 ，则是可数集，而，由定理1.4.4知是可数集. 而，因而，是可数集. 因此是可数集.（定理1.4.3推论1） 定理1.4.6 若中每个元素可由个互相独立的记号一对一地加以决定，各记号跑遍一个可数集，即，，是可数集，. 则是可数集. 证明 用数学归纳法，当时，即中元素只由一个记号决定，设，这是一个可数集. 设时定理成立，则当时，设，又设中满足的元素全体为，则. 因为中每个元素的第个记号已经明确固定下来，所以中每个元素只由个互相独立的记号一对一地加以决定，而由归纳法假设，是可数集，而. 由定理1.4.4知是可数集. 例2 平面上坐标为有理数的点的全体所成的集为一可数集. 证明 设该集合为，平面上坐标为有理数的点形式为，其中和互相独立，各自跑遍有理数集. 于是中每个元素由2个互相独立的记号一对一地加以决定，且各记号跑遍一个可数集. 因此，由定理1.4.6知，是可数集. 例3 设，则是可数集. 证明 中每个元素由个互相独立的记号一对一地加以决定，各记号跑遍一个可数集，由定理1.4.6知，是可数集. 例4 有理系数多项式的全体是一可数集. 证明 对于每个，把次有理系数多项式全体记为，则中每一个元素由个互相独立的记号一对一地加以决定，每一个记号跑遍一个可数集，由定理1.4.6，是可数集. 而有理系数多项式的全体所成之集是，由定理1.4.4知，是可数集. 同理可证整系数多项式的全体是一可数集，进而代数数（整系数多项式的根）的全体是一可数集. 例5 凡无限集必与它的一个真子集对等. 证明 设是无限集，则由定理1.4.1，存在一个可数子集，令，则是的真子集. 作映射. 则是与之间的一一对应，因而与它的一个真子集对等. 且