交大数理逻辑课件9-3 集合.pptVIP

调 课 通 知 因下周五(11月26日)为广州亚运会闭幕式官方放假时间，数理逻辑课程调到下周三(11月24日) 5,6节在310305课室上课，特告之。 第9章 集 合 9.1 集合的概念和表示方法 9.2 集合间的关系和特殊集合 9.3 集合的运算 9.4 集合的图形表示法 9.5 集合运算的性质和证明 9.6 有限集合的基数 证明集合 X?Y 的方法 命题演算法 ?x ，x?X ? … ?x?Y 包含传递法 找到集合T 满足 X?T 且 T?Y，从而有X?Y 利用包含的等价条件 X?Y ? X∪Y = Y ? X∩Y = X ? X－Y = ? 反证法 利用已知包含式并交运算 X?Y ? X?Z?Y?Z, X?Z?Y?Z 命题演算法证明X=Y 例6 证明 A?(A?B)=A （吸收律） 证 任取x, x?A?(A?B) ? x?A? x?A?B ? x?A ? (x?A ? x?B) ? x?A 等式替换证明X=Y 例7 证明A?(A?B)=A （吸收律） 证 (假设分配律、同一律、零律成立) A?(A?B) =(A?E)?(A?B) 同一律 =A?(E?B) 分配律 =A?E 零律 =A 同一律 反证法证明X=Y 例8 证明 A?B=A ? A?B=? 证: 假设 A?B??, 即 ?x?A?B， 那么 x?A且x?B. 而 x?B ? x?A?B. 从而与 A?B=A 矛盾. 集合运算法证明X=Y 例9 证明A?C=B?C ? A?C=B?C ? A=B 证: 由 A?C=B?C 和 A?C=B?C 得到 (A?C)-(A?C)=(B?C)-(B?C) 从而有 A?C=B?C 因此 A?C=B?C ? (A?C)?C =(B?C)?C ? A?(C?C) =B?(C?C) ?A??=B?? ? A=B 9.6 有限集合的基数 有限集合的基数 若?n∈N，使集合 A 与集合{x|x∈N∧xn} 的元素相同，就说集合A的基数是n， 记作: #(A)=n 或 | A |= n, 或card(A)= n, 空集的基数为0，即| ? |=0 有限集的实例： A={ a,b,c}, cardA=|A|=3； B={ x | x2+1=0, x?R}, cardB=|B|=0 9.6.2 幂集和笛卡尔积的基数 [定理9.6.1] 对有限集合A，|P(A)|=2|A| 证明: 设|A|=n∈N ， 由A的k个元素组成的子集的数目 (k=0,1,…,n) ∴ =2n= 2|A| [定理9.6.2] 对有限集合A和B，|A×B|= |A|·|B| 9.6.3 基本运算的基数 [定理9.6.3] 对有限集合A和B，有 |A∪B|≤ |A| + |B| |A∩B|≤min ( |A|, |B|) |A－B|≥ |A|－ |B| |A ? B| = |A|+|B| － 2|A∩B| 包含排斥原理（有限集合的元素个数的计数问题） [定理9.6.4]: 设A1、A2为有限集合, 有 | A1?A2|= |A1|+|A2|- | A1?A2| 证明： (1)当A1 ? A2= ?，则| A1?A2|= |A1|+|A2| (2)当A1 ? A2??， 则 | A1 |= |A1 ? - A2 |+| A1 ? A2| | A2 |= | - A1 ? A2 |+| A1 ? A2| 所以 |A1|+|A2|= |A1 ? - A2 |+ | - A1 ? A2 | + 2| A1 ? A2| = | A1?A2| + | A1?A2| 所以 | A1?A2|= |A1|+|A2|- | A1?A2| 包含排斥原理举例 某班有