离散数学教学课件 作者 郝晓燕 第3章 集合.ppt

§3-2-2 特殊集合 空集:不含有任何元素的集合，记为?。可形式化为：?={x|P(x)??P(x)}，P(x)为任意谓词公式。 空集的性质如下。 ① 空集是任何集合的子集。 证明：对于任意集合A，??A?(?x)(x???x?A)?T(恒真命题) ② 空集是唯一的。 证明：假设?1和?2是两个空集，且?1≠?2，由空集的性质①可知?1??2并且?2??1，由定理3-2.1可知?1=?2与?1≠?2矛盾。 （2）全集：如果一个集合包含了所要讨论的每一个集合，则称该集合为全集，记为U或E。可形式化为：E={x|P(x)??P(x)}，其中P(x)为任何谓词公式。 类似空集性质的证明可得到全集的性质： ① 任何集合是全集的子集； ② 全集是唯一的。 注意：在实际应用中，常常把某个适当大的集合看成全集，因此全集具有相对性。 （3）幂集：设A为任意集合，把A的所有不同子集构成的集合叫做A的幂集，记为P(A)，可形式化为：P(A)={B|B?A}。 例3-2.1 求集合A的幂集。 ① A=? 解：P(A)={?} ③ A={?} 解：P(A)={?，{?}} 思考：A是有限集合，则P(A)包含多少个元素？ 2.集合的并 A∪B=﹛x︱x∈A∨x∈B﹜ 即由属于A或者属于B的元素组成的集合 A∪B A B E §3-3-1 集合的基本运算 1.集合的交 A∩B=﹛x︱x∈A∧x∈B﹜ 即由既属于A又属于B的元素组成的集合 A∩B A B E A∩B=? A B 3.集合的差 A－B=﹛x︱x∈A∧x?B﹜ 即由属于A而不属于B的元素组成的集合 A B A－B A B E 4.集合的补 ～A=﹛x︱x∈E∧x?A﹜ 即由属于E而不属于A的元素组成的集合 ～A A E 5.集合的对称差 A?B=(A－B) ∪(B－A) A?B A B E §3-3-2 集合关系的证明方法 集合关系的基本证明方法是命题演算法 （1）证X?Y 任取元素x，x?X?…?x?Y （2）证X=Y 方法一 分别证明 X?Y并且Y?X 方法二 任取元素x，x?X?…?x?Y 例3-3.3 证明A?B=?A∩B 证明：任取元素x，x?A?B，根据定义3-3.1 x?A?B ?x?A?x?B ?x?A?x??B ?x?A∩?B 因此得A?B=A∩?B 分配律(证明) A?(B?C)=(A?B)?(A?C) 证明: ?x, x?A?(B?C) ? x?A ? x?(B?C) (?定义) ? x?A ? (x?B ? x?C) (?定义) ? (x?A?x?B)?(x?A?x?C) (命题逻辑分配律) ? (x?A?B)?(x?A?C) (?定义) ? x?(A?B)?(A?C) (?定义) ? A?(B?C)=(A?B)?(A?C) 零律(证明) A?? = ? 证明: ?x, x?A?? ? x?A ? x?? (?定义) ? x?A ? 0 (?定义) ? 0 ? x?? (?定义) ? A?? = ? 排中律(证明) A?~A = E 证明: ?x, x?A?~A ? x?A ? x?~A (?定义) ? x?A ? x?A (~定义) ? x?A ? ?（x?A ） (?定义) ? 1 ? x? E (E定义) ? A?~A = E 集合运算的性质 设A，B，C为任意的集合 交换律 A∩B=B∩A A∪B=B∪A 结合律 （A∩B）∩C=A∩（B∩C） （A∪B）∪C=A∪（B∪ C） 分配律 A∩（B∪C )=（A∩B）∪（A∩C） （B∪C )∩A =（B∩A）∪（C∩A ） A∪（B∩C）=（A∪B）∩（A∪C） （B∩C )∪A =（B∪A）∩（C∪A ） 吸收律 A∩（A∪B）=A A∪（A∩B）=A 双重否定律 ～～A=A 幂等律