《离散数学》第六章 集合代数上课讲义
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
n个集合的并集和交集
表示法
绝对补集
定义6.8 设E为全集,A⊆E,则称A对E 的相对补集为A的绝对补集,记作~A,即
~A=E-A={x⎜x∈E∧x∉A}. ~A={x⎜x∉A}.
例: E={0,1,2,3},A={0,1,2},B= {0,1,2,3},C=∅,则 ~A={3},~B= ∅,~C=E.
若A是n元集,则P(A)有2n个元素。
实例
全集
定义6.6 在一个具体问题中,如果所涉及的 集合都是某个集合的子集,则称这个集合为 全集,记作E(或U)
Fra Baidu bibliotek
3.2 集合的基本运算
定义6.7 设A与B为集合,A与B的并集∪ ,交集 ∩ ,B对A的相对补集-分别定义如下:
A∪B={x|(x ∈A) ∨(x ∈ B)} A∩B={X | (X ∈ A) ∧(X ∈ B)} A - B = {X | (X ∈ A) ∧(X ∉B)} 当两个集合的交集是空集时,称它们是不交的。
A=B Ù A ⊆ B ∧ B ⊆ A
如果A和B不相等,则记作A≠B。
实例
判断A=B? 1.
2.{1,2,4}和{1,2,2,4} 3.{1,2,4}和{1,4,2} 4.{{1,2},4}和{1,4,2} 5.{1,3,5,…}和{x|x是正奇数}
真子集
定义6.3 设A,B为集合,如果B⊆A且B≠A,则称B是A 的真子集。记作B⊂ A。 真子集的符号化表示为:
B⊂A Ù A ≠ B ∧ B ⊆ A 如果B不是A的真子集,记作B ⊄A 判断:{0,1}、 {1,3}、{0,1,2}是{0,1,2} 的真子集吗?
空集
定义6.4 不含任何元素的集合叫做空集,记作 ∅。空集可以符号化表示为
∅ Ù{x|x≠x }
空集是客观存在的,例如,
是方程 的实数解集,因为该方程没有实数解,所以A= ∅。
确定下列命题是否为真
(1),(3),(4)为真, (2)为假.
幂集
定义6.5 给定集合A,由集合A的所有子集为元素组 成的集合,称为集合A的幂集,记作P(A)。 设A={a,b,c},则 P(A)={ ∅, {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a,b,c}}
B ⊆ AÙ∀x(x∈B → x∈A) 对任何集合都有S,都有S ⊆ S。
从属关系与包含关系
从属关系:集合 S 的元素a 与集合 S 本身之间的 关系,
从属关系 a ∈S 包含关系:集合A与集合B之间的关系
包含关系A ⊆ B
集合相等
定义6.2 设A,B为集合,如果A ⊆ B且B ⊆ A,则称A与B相等,记作A=B,符号化表示 为
元素a属于集合A,记作a∈A。 元素a不属于集合A ,记作a∉ A
(元素无次序、不重复)
集合的特征 ¾ 确定性 ¾ 互异性 {1,2,3,2,4} = {1,2,3,4} ¾ 无序性 {4,2,1,3 } = {1,2,3,4}
A
1 {2,3} {{4}}
本书规定: 1、集合元素都是集
2 3 {4}
C={1,{2,3}},
则∪A={1,2,3,4,5},∪B={0}和∪C=1∪{2,3}。
不难证明:若R ={A1,A2,… ,An},则 ∪R = A1 ∪ A2 ∪ … ∪ An
特别强调:∪φ=φ
定义6.11 设R为非空集合,R的所有元素的公共元素构成的
集合称为R的广义交,记作∩R ,符号化表示为: ∩R ={x| ∀z(z∈R → x∈z)}
合。 2、对于任何集合A,
都有A ∉ A。
4
根据规定1,元素和集合的隶属关系可以看作处于不同层 次的集合之间的关系。下面我们考虑同一层次上的集合 之间的关系。
同一层次集合之间的关系
定义6.1 设A ,B是集合,如果B中的每个元 素都是A中的元素,则称B是A的子集合,简称 子集。这时也称B被A包含,或A包含B。记作 B⊆A。 若集合 A 不包含集合B ,可表示成 包含的符号化表示为
第六章 集合代数
厦门大学数学科学学院 金贤安
6.1 集合的基本概念
集合是不能精确定义的基本概念。直观的说,把一些 事物汇集到一起组成一个整体,就叫做集合,而这些 事物就是这个集合的元素或成员。 例:教室内的桌椅、图书馆的藏书、全国的高等学 校、自然数的全体、直线上的点、26个英文字母等 等。
元素
A∪B A
E B
A⊂B
A∩B
文氏图(john Venn)
E A
A-B
A⊕B
~A
E AB
C
(A∩B)-C
定义6.10 设R为集合, R的元素的元素构成的集合称为R
的广义并,记作∪R ,符号化表示为: ∪R ={x| ∃z(z∈R ∧x∈z)}
例如:设A={{1,2,3},{1,3,4},{1,4,5}}, B={{0}},
例如:设A={{1,2,3},{1,3,4},{1,4,5}}, B={{0}}, C={1,{2,3}}
则∩A={1},∩B={0}和∩C=1∩{2,3}。 不难证明:若R ={A1,A2,… ,An},则
∩R = A1∩A2∩ … ∩An 特别强调: φ不可以进行广义交运算。
集合运算的优先级:
集合内的对象称为元素 集合通常用大写英文字母标记。例
如,N代表自然数集合(包括0),Z 代表整数集合,Q代表有理数集合,R 代表实数集合,C代表复数集合。
集合的表示
列举法: A={a,b,c,d} 描述法: B={X∣P(x)} P(x) 是谓词,概括集合中元素属性
B={x∣x∈Z∧3<X≤6} 即B={4,5,6}
空集是一切集合的子集
定理6.1 空集是一切集合的子集. 证明:对于任何集合A,有子集定义有
∅ ⊆A Ù∀x(x∈ ∅ → x∈A) 右边的蕴涵式为真,所以∅ ⊆A也为真。
空集是唯一的
推论 空集是唯一的。 证明 假设存在空集∅1和∅2,
∅1 ⊆ ∅2和∅2 ⊆ ∅1 根据集合相等的定义得∅1=∅2
对称差
定义6.9 A与B的对称差是 A⊕B=(A∪B)-(A∩B) =(A-B)∪(B-A)
例: A={0,1,2},B={2,3}, 则有 A⊕B={0,1}∪{3}={0,1,3}
或A⊕B={0,1,2,3}-{2}= {0,1,3}
文氏图(John Venn)
E AB
A∩B=∅
E AB
E AB