第四章 有限集与无闲罗集.pptVIP

第四章 有限集与无限集;§4.1 有限集与无限集基本概念;§4.1 有限集与无限集基本概念;§4.1 有限集与无限集基本概念;§4.1 有限集与无限集基本概念;§4.1 有限集与无限集基本概念;§4.2 有限集;§4.2 有限集;§4.2 有限集;§4.2 有限集;§4.2 有限集;§4.3 无限集的性质;§4.3 无限集的性质;定理4.7;证明： 1、构造无限集M的一真子集M 。 先从M中任取一个元素m1，剩余部分为M-{m1}—无限集 再从M-{m1}中任取一元素m2，剩余部分为M-{m1，m2} … 继续下去，取出m3，m4，…，得到一个无限集合M1 M1={m1，m2 ，…，}，令M2=M-M1(若M可列，M2为空) M=M1∪M2= {m1，m2 ，…，} ∪M2 构造集合M M ={m2，m3 ，…，} ∪M2 显然M ? M;2、证明M~M M ：{m1 m2 m3 m4 … mi …}∪M2 ? ? ? ? ? ? ? ? M : {m2 m3 m4 m5 … mi+1 …}∪M2;推论;证明：设一集合M含有与其等势的真子集M 且M为有限集，设其元素个数为n个。 M也为有限集，设