吉林网络学院在线课程.pptVIP

吉林大学远程教育课件

主讲人:杨凤杰

学时：64

(第七讲)

离散数学

第1页

1.3.3不可数集合

前面我们讨论的无穷集合都是可数集合，并且知道了在数轴上稠密的有理数集合也能够与自然数集合建立1-1相应关系，那么是不是所有的无穷集合都是可数集合呢？

定理1.3.6全体实数做成的集合是不可数集合。

证明：由定理1.3.2知,只要证明（０，１）区间内的实数不可数就能够了。

若否则，我们能够把（０，１）区间内的数排成一种序列：

第2页

０.a11a12a13…

０.a21a22a23…(2)

０.a31a32a33…

┆

我们考虑下面的数：

０.r1r2…rk…(３)

其中

１，当akk≠１

rk=

２，当akk＝１，k＝１，２，…

第3页

显然，（３）是（０，１）区间内的数,但它却不是序列(２)中的任一种数。实际上,对(２)中任一种数０.ak1ak2…akk…，因为rk