离散数学第0d5讲.pptVIP

定义4.3 设A是集合，若f:Nn?A是双射函数，则称集合A是可数的；若|A|=?0，则称A是可数无穷的；若A是不可数的，则称A是不可数的或不可数无穷的。 可以证明下面一个很有用的定理： 定理4.2 若集合A1,A2,A3,···都是可数的，则 Ai 是可数的。 本定理表明了，可数集合的可数个并是可数的。其证明略去了。 在上述基数定义中，是使用两个“标准集合”Nn和N以及双射函数（或一一对应），引入了集合基数的概念。这种方式可以把基数简单地看作对集合指派一个符号，指派原则是：与Nn构成双射或一一对应的集合，指派它的基数是n，与N构成双射或一一对应的集合，指派它的基数为?0。指派空集的基数为0。 2．基数比较 在有了集合基数的基础上，可以建立相等关系和次序关系，进行基数比较和基数运算，这里仅讨论前者。 定义4.4 设A和B为任意集合。 ①若有一个从A到B的双射函数，则称A和B有相同基数（或称A与B是等势），记为|A|=|B|（或A?B）。 ②若有一个从A到B的单射函数，则称A的基数小于等于B的基数，记为|A|≤|B|。 ③若有一个从A到B的单射函数，但不存在双射函数，则称A的基数小于B的基数，记为|A||B|。 由于在复合运算下，双射函数是封闭的，双射函数的逆函数（即常说反函数）是双射函数，因此等势关系有以下性质： 定理4.3 等势是任何集合族上的等价关系。 综上