离散数学-第六章的完整

2．元素与集合的关系 隶属关系：或者
3．集合的树型层次结构
例如：集合A={a,{b,c},d,{{d}}} .
规定：A A
3
集合与集合
集合与集合之间的关系：, ⊈, =, , , , 定义6.1 设A，B为集合，如果B中的每个元素都是A中的元素，则称B是A 的子集合，简称子集。这时也称B被A包含，或A包含B，记作B A。如果 B不被A包含，则记作B ⊈ A。
根据集合相等的定义，有1 = 2
所以得出结论：
是惟一的
。 .
5
空集、全集和幂集
含有n个元素的集合简称n元集，它的含有m（m≤n）个元素 的子集叫做它的m元子集。任给一个n元集，怎样求出它的 全部子集呢？
例6.1 A＝{1,2,3}，将A的子集分类： 解：0元子集，也就是空集，只有一个： ； 1元子集，即单元集：{1}，{2}，{3}； 2元子集：{1,2}，{1,3}，{2,3}； 3元子集：{1,2,3}。
定义6.3 设A，B为集合，如果B A且B≠A，则称B是A的真子集，记作B A。 如果B不是A的真子集，则记作B A。 符号化表示为： B A B A B A 例如N Z Q R C，但N N。
注意： 和 是不同层次的问题，如. A={a,{a}}和{a}
4
空集、全集和幂集
.
6
空集、全集和幂集
定义6.5 幂集：设A为集合，把A的全部子集构成的集合叫 做A的幂集，记作P(A)(或PA，2A)。 符号化表示为：P(A)={ x | x A } 实例：P()={}, P({})={,{}} 计数：如果 |A|=n，则 |P(A)|=2n.
定义6.6 全集 E：包含了所有集合的集合 全集具有相对性：与问题有关，不存在绝对的全集
广义交 A= { x | z ( zA xz )}
例6.2 设 A＝{{a,b,c},{a,c,d},{a,e,f}} B＝{{a}} C＝{a,{c,d}}
则 ∪A＝{a,b,c,d,e,f},∪B＝{a}，C＝a∪{c,d}
∩A＝{a}，∩B＝{a}，∩C＝a. ∩{c,d}
12
广义运算
1. 集合的广义并与广义交
第二部分 集合论
第六章 集合代数 主要内容 集合的基本概念
属于、包含 幂集、空集 文氏图等 集合的运算 有穷集的计数 集合恒等式 集合运算的算律、恒等式的证明方法
.
1
6.1 集合的基本概念
1. 集合定义 集合没有精确的数学定义 理解：由离散个体构成的整体称为集合，称这些个体为集 合的元素 常见的数集：N, Z, Q, R, C 等分别表示自然数、整数、有 理数、实数、复数集合
2. 集合表示法
列元素法----列出集合的所有元素，所有元素之间用逗号隔 开，并把它们用花括号括起来
谓词表示法----用谓词来概括集合中元素的性质
实例：
列元素法 自然数集合 N={0,1,2,3,…}
谓词表示法 S={ x | x . R x21=0}
2
元素与集合
1. 集合的元素具有的性质 无序性：元素列出的顺序无关 相异性：集合的每个元素只计 数一次 确定性：对任何元素和集合都 能确定这个元素是否 为该集合的元素 任意性：集合的元素也可以是 集合
定义6.10 设A为集合，A的元素的元素构成的集合称为A的广 义并，记为∪A。符号化表示为
广义并 A = { x | z ( zA xz )}
定义6.11 设A为非空集合，A的所有元素的公共元素构成的 集合称为A的广义交，记为∩A。符号化表示为
符号化表示为：B A x ( xB xA ) B ⊈ A x ( xB xA )
例如N Z Q R C，但Z ⊈ N。显然对任何集合A都有A A。
定义6.2 设A，B为集合，如果A B且B A，则称A与B相等，记作A＝B。 如果A与B不相等，则记作A≠B。
符号化表示为： A = B A B B A
A B AB = AB = AB = A
.
11
广义运算
1. 集合的广义并与广义交
定义6.10 设A为集合，A的元素的元素构成的集合称为A的广 义并，记为∪A。符号化表示为
广义并 A = { x | z ( zA xz )}
定义6.11 设A为非空集合，A的所有元素的公共元素构成的 集合称为A的广义交，记为∩A。符号化表示为
.
7
6.2 集合的运算
初级运算
集合的基本运算有并，交，相对补和对称差
定义6.7 设A，B为集合，A与B的并集A∪B，交集A∩B，B 对A的相对补集A－B分别定义如下：
并
AB = {x | xA xB}
交
AB = {x | xA xB}
相对补 AB = {x | xA xB}
例如：A={a,b,c}，B={a}，C={b,d}
AB= {a,b,c},
AB ={a},
AB={b,c} ,
B-A= ,
B C=
若两个集合的交集为 ，则称.这两个集合是不交的
8
6.2 集合的运算
定义6.8 设A，B为集合，A与B的对称差集A B定义为： 对称差 AB = (AB)(BA)
另一种定义是：AB = (AB) (AB) 例如：A={a,b,c}，B={b,d},AB ={a,c,d}
定义6.4 空集 ：不含有任何元素的集合 符号化表示为： ={x | x ≠ x } 实例： { x | xR x2+1=0 }
定理6.1 空集是任何集合的子集。 证 对于任意集合A，
A x (xxA) 1(恒真命题)
推论 是惟一的
证明：假设存在空集1 和 2 ，由定理6.1有：
1 2 和 2 1
定义6.9 在给定全集E以后，A E，A的绝对补集～A定义如下： 绝对补 A = EA = {x|x∈E∧xA} = {x|x A}
例如：E＝{a，b，c，d}，A＝{a，b，c}，则～A＝{d}。
.

集合运算的表示
文氏图
A
B
AB
A
B
AB
A
B
AB .
A
B
A–B
E A
~A
10
几点说明
并和交运算可以推广到有穷个集合上，即 A1 A2 … An = { x | xA1 xA2 … xAn} A1 A2 … An = { x | xA1 xA2 … xAn}