第四章前两节.pptVIP

* 第4章 有限集与无限集 定义4.1 一个集合S与集合 ={0,1,2，···，n-1}如存在一一对应函数，f： 则称S是有限的，并称其有基数n。 如果S不是有限的则称其为无限的。 对于有限集与无限集还可以有另一种定义方式。 定义4.2 如果存在一一对应函数f:S S使得f（S） S即f（S）是S的真子集，则S是无限的；否则，S是有限的。 例4.1 一个有n个不同元素所组成的集合，它就是基数为n的有限集。 例4.2 自然数集N是无限集。 例4.3 实数集R是无限集。 定理4.2 实数集是R无限的。 证明：设函数f:R R为 当x 0 当x0 这个函数f是一一对应，而且显然有f（R） R,所以R是无限的。 定理4.1 自然数集N是无限的。 证明：设函数f:N N定义为f（x）=2x，显然f是一一对应的，而且有f（N） N，所以N是无限的。 4.2有限集和无限集 定义4.3 有限集S的元素个数称为S的基数可记为 定理4.3 如果A和B是分离的有限集合，则有 其中“+”是普通的算术加。 证明：在计算 中元素时，先计算A中的元素，计有 个。再计算 中的其余元素。不在A中的其余元素在B中，而且由于A和B是分离的，B中也没有元素在A中，所以有 个不在A中的元素在B中。因此 当A和B不分离时， 的公式如下。 定理4.4 如果AB是有限集合，则有 其中“-”是普通的算术减。 证明：当A和B是有限集合时，显然 和 是有限集的。 ，而B和(A-B)是分离的，根据定理4.3有 另一方面， 且(A-B)和 是分离的，根据定理4.3有 故有 这一定理证明，如果直接采用文氏图的知识来推导，就显得很简单。由图4.1可得 定理4.4 如果AB是有限集合，则有 其中“-”是普通的算术减。 A S1 B S3 s2 定理4.5 对任意三个有限集合A、B、C有 证明：因为 ，由前述定理： 最后一步利用了公式 定理4.5 对任意三个有限集合A、B、C有 这一定理也可采用文氏图的方法，由图4.2可知 A S1 B S2 C S3 S4 S6 S5 S7 例4.4 假定有120个学生，其中100个学生至少要学法、德、英三种语言的一种，还假定65人学法语，45人学德语，42人学英语；20人学法语和德语，25人学法语和英语，15人学德语和英语。请问同时学三种语言的有多少人？仅学一种语言的各有多少人？ 证明：令A、B、C分别表示学法语、德语和英语的学生的集合，于是 100=65+45+42-20-25-15+ 从而得到 即有8人学三种语言。 把这种结果填在文氏图4.3上，由图4.3可直接得到：28人仅学法语，18人仅学德语，10人仅学英语，12人仅学法语和德语而不学英语，17人仅学法语和英语而不学德语，7人仅学德语和英语而不学法语。 定理4.6 设有n个有限集 有 *