《集合的基数》PPT课件.ppt

《《集合的基数》PPT课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第6章集合的基数本章学习目标集合的基数是指集合的元素个数的多少，对有限集合来说，基数就是集合所包含元素的个数，两个有限集的“大小”相等是指它们包含的元素个数相同。对于无限集合，用等势来表示两个无限集的“大小”相等。通过本章学习，读者应该掌握以下内容：（1）函数的基本概念（2）单射、满射和双射函数（3）函数的复合运算（4）函数的逆运算第6章集合的基数6.1基数的概念6.2可数集和不可数集6.3基数的比较第6章集合的基数6.1基数的概念定义6.1设A、B为两个集合，如果存在从A到B的双射函数，则称A与B

2、是等势的，记作A≈B。例6.1验证自然数集N与非负奇数集合M是等势的。证明因为N与M的元素之间可以作一双射函数，即f（n）=2n+1所以，N≈M。第6章集合的基数6.1基数的概念定理6.1设A、B和C为任意的集合，则（1）A≈A；（2）若A≈B，则B≈A；（3）若A≈B，B≈C，则A≈C。定义6.2如果有一个从集合{0，1，…，n}到A的双射函数，则称集合A是有限的；如果集合A不是有限的，则称它是无限的。定理6.2自然数集合N是无限的。第6章集合的基数6.1基数的概念定义6.3（1）对于有限集合A，

3、称与A等势的那个唯一的自然数为A的基数，记作cardA，即cardA=nAn（2）自然数集合的基数记作א0（读作阿列夫零），即cardN=א0（3）实数集合的基数记作א（读作阿列夫），即cardR=א0第6章集合的基数6.1基数的概念定义6.3例6.3证明区间[0，1]与（0，1）基数相同。证明设集合A={0，1，，…，，…}，A[0，1]定义f：[0，1]（0，1）使得：第6章集合的基数6.1基数的概念则，f是双射函数。第6章集合的基数6.2可数集和不可数集定义6.4与自然数集合等势的任何

4、集合称为可数的。可数集合的基数也用א0（读作阿列夫零）表示。例如，{2，4，6，8，…，2n，…}{-1，-3，-7，-9，…，-2n+1，…}{x为素数}，其中xN都为可数集。定理6.3A为可数集的充分必要条件是可以把A排列成A={a1，a2，…，an，…}的形式。第6章集合的基数6.2可数集和不可数集定理6.4任意无限集，一定包含可数子集。证明设A为无限集，从A中取出一个元素，记为a1，因A为无限集，A-{a1}也为无限集，所以从A-{a1}中取出一个元素，记为a2，而A-{a1，a2}仍为无

5、限集，所以又可以取出a3，重复这个过程，可得到A的可数子集。定理6.5任意无限集，一定与它的某一真子集等势。证明设无限集为A，根据定理6.3，A中包含可数子集B={a1，a2，…，an，…}，设M=A-B，定义A到A-{a1}的函数f，使得f在M上是恒等函数，即f（x）=x，xM，在B上，使得f（an）=an+1（n=1，2，3，…）。显然f是双射函数。因此定理得证。第6章集合的基数6.2可数集和不可数集定理6.6可数集的任意无限子集是可数集。证明设A={a1，a2，…，an，…}为可数集，B为A

6、的无限子集，将在A中而不在B中的元素删去，同时注意到B是无限集合，则有B={ai1，ai2，…，ain，…}，因此，B是可数的。定理6.7可数集与有限集的并是可数集。证明设A={a1，a2，…，an，…}为可数集，B={b1，b2，…，bm}为有限集，则A∪B={b1，b2，…，bm，a1，a2，…，an，…}，不妨设am+i=ai，（i=1，2，…），a1=b1，a2=b2，…，am=bm，则A∪B={a1，a2，…，an，…}，所以A∪B为可数集。第6章集合的基数6.2可数集和不可数集定理6.8

7、可数个可数集的并集是可数集。证明设可数个可数集为：A1={a11，a12，a13，…，a1n，…}A2={a21，a22，a23，…，a2n，…}A3={a31，a32，a33，…，a3n，…}…令A=A1∪A2∪A3∪…，对A中的元素排列如下：第6章集合的基数6.2可数集和不可数集定理6.8可数个可数集的并集是可数集。第6章集合的基数6.2可数集和不可数集定理6.8可数个可数集的并集是可数集。在上面元素的排列中，由左上端开始，其每一斜线上的每一元素的两足码之和都相同，依次为2，3，4，…，各斜线上

8、元素的个数依次为1，2，3，4，…，故A的排列为：a11，a21，a12，a31，a22，a13，…所以，A的可数的。第6章集合的基数6.2可数集和不可数集定理6.9设自然数集合为N，则笛卡儿积N×N是可数集。定理6.10有理数的全体组成的集合是可数集。定理6.11全体实数集合R是不可数集。第6章集合的基数6.3基数的比较定理6.9设自然数集合为N，则笛卡儿积N×N是可数集。定义6.5设A，B为任意两个集合，（1）若存在f：AB且f是单射函数，则称B优势于A，或称A