离散数论-第五章的.pptVIP

§5.2 集合间的相等和包含关系 目标要求： 掌握集合相等（=）、包含（?）的定义。 掌握 ?、=、? 之间的联系与区别。 掌握空集的性质 重点难点： 集合间的相等与包含关系 空集的性质 证明集合相等 由外延性公理可知，对于任意集合A, B, C有 1. A = A 2. A = B ? B = A 3. A = B ∧ B = C ? A = C 例：若A ?B，B ?C，则A ?C吗？(或A ?C吗？) 解：都不成立。 例如：A = {1}, B = {{1}, 2}, C = { {{1},2}, 3} , 但 A ?C 。 当 A={1}, B={{1}}, C={{{1}}, {1}} 时, 但A ?C §5.3　幂集 例：A = {a, b, c} 则 A的 0元子集： ? A的 1元子集： {a}, {b}, {c} A的 2元子集： {a, b}, {a, c}, {b, c} A的 3元子集： {a, b, c} 则 A的幂集： ρ(A) = { ? , {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a,b,c} } 可见，若 x ∈ A , 则 {x}∈ρ(A)， 若 B ? A , 则 B ∈ρ(A)，反之也成立。 证：设A有n个元素，即#A=n . 则A的m元子集有Cnm个 所以 A共有Cn 0 +Cn 1 + …… +Cn n 个子集 由二项式定理： （x+y)n = Cn 0 xn+ Cn 1 x n-1 y+ …… + Cn n yn 令 x=y=1, 则 （1+1)n = Cn 0 +Cn 1 + …… +Cn n=2 n 例. （1 ）求下列集合的幂集 ρ (?)={?} ρ ({?})={?,{?}} ρ ({a,{a}})={? ,{a },{{ a }},{ a ,{ a}} } §5.4 集合的运算 重点：集合运算及运算性质 难点：证明两个集合相等 证：根据抽象原则，对于任意 X X ∈ A－B ? X∈A∧X ? B （ － 定义） ? X∈A∧X∈~B （ ~ 定义） ? X∈A ∩ ~B （ ∩ 定义） 证：对任意X X∈A － （A ∩ B） ?X∈A ∧X?A ∩ B ?X∈A ∧┐（X∈A ∧ X∈B ） ?X∈A ∧（X ? A ∨ X ? B ） ? （X∈A ∧X ? A）∨（X∈A ∧X ? B） ? X∈A ∧X ? B ? X∈A－B 所以 A－（A ∩ B）= A－B 设集合的聚合： A=｛AS1,AS2, ······ ｝ J=｛S1,S2,S3，······｝ 则A可以简写成： A=｛Ai | i∈J｝ 其中称A为加标集合，J为标码集合。 §5.5 有穷集的计数原理 由于B∩ (A ∩～B)＝ ?，根据引理5.1得 　＃（A∪B)＝＃B＋＃（A∩～B) (1) 　又 　A＝A∩(B ∪～B) 　＝(A∩B) ∪ (A ∩～B) （分配律） 同样(A∩B) ∩ (A ∩～B)＝ ?，根据引理5.1得 ＃A＝＃（A∩B)＋ ＃（A∩～B) ＃（A∩～B)＝＃A- ＃（A∩B) 代入(1)式得 ＃（A∪B)＝ ＃A+ ＃B -＃（A∩B) §5.6 集合的归纳定义法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 集合恒等式 幂等