离散数学-- 集合代数

1
n
n
2015-1-13
12
计算机科学学院
刘芳
6.1 集合的基本概念
证明（方法2）：
设A＝{a1,a2,……，an}，则：
一方面：对于A的任何子集S可以表示为一个 n位二进制数b1b2……bn，其中
0 bi 1
ai S ai S , n)
13
(i 1, 2,
2015-1-13
A
可以看出
B
A∪ E＝ E
A∪ B＝ B∪ A (A∪B)∪ C＝ A∪(B ∪ C)
A∪(B∩ C)＝ (A ∪ B ) ∩ (A ∪ C)
A∩(B∪ C)＝ (A ∩ B ) ∪(A ∩ C) A∪(A∩ B)＝ A
A A B, B A B
2015-1-13
A∩(A∪ B)＝ A
20
计算机科学学院
方法2： 找到一个集合T，满足：P T，T31
计算机科学学院
刘芳
6.2 集合的基本运算及恒等式
集合的证明方法
2.证明 P＝Q
方法1： 对任意的x， x ∈P ………… x ∈Q 方法2：反证法 方法3：集合恒等式代入法
2015-1-13
刘芳
6.2 集合的运算及恒等式
1.交集的定义
A∩B＝{x|x∈A∧x∈B}
性质
A
可以看出
B
A B A, A B B
2015-1-13
A∩ A ＝ A A∩φ＝φ A∩ E ＝ A A∩ B ＝ B∩ A （ A∩ B ） ∩ C＝ A∩ （ B ∩ C）
15
计算机科学学院
独特的地位，其基本概念已渗透到数学的所有领域。 说集合论正是构成这座大厦的基石。
集合论广泛地应用于计算机科学领域
如：形式语言、自动机理论、人工智能、数据库等。
2015-1-13 2
计算机科学学院
刘芳
第6章 集合代数
6.1 集合的基本概念
6.2 集合的基本运算及恒等式
6.3 集合中元素的计数
本章小结
i 1
2015-1-13 22
Ai A 1
A2
计算机科学学院
刘芳
6.2 集合的基本运算及恒等式
集合广义并
定义 6.10
设：A={A1,A2,…,An}
A A1 A2 An
2015-1-13
23
计算机科学学院
刘芳
6.2 集合的基本运算及恒等式
3.集合的相对补（差集）
A－B＝{x|x∈A∧x B}
2015-1-13
B)
(A
C)
21
由x的任意性知:A∩ (B ∪C)＝ (A ∩B ) ∪(A∩C)成立
计算机科学学院
刘芳
6.2 集合的基本运算及恒等式
集合的并运算的推广
A1∪A2∪…∪An＝{x|x∈A1∨x∈A2∨…∨x∈An}
记做：
n i 1
Ai A 1
A2
An
也可推广到无穷多个集合：
设A、B是任意两个集合
1. A B x(x ∈A → x ∈B) 2. A＝B A B ∧ BA x(x ∈A x ∈B) 3. A≠B x(x ∈A∧ x B ）∨ x(x ∈B∧ x A ）
4.A B (x)( x A x B) (y)( y B y A) A B A B
6.2 集合的基本运算及恒等式
集合广义交
定义 6.11
设：A={A1,A2,…,An}
A A 1 A2 An
2015-1-13
19
计算机科学学院
刘芳
6.2 集合的基本运算及恒等式
2.并集的定义
A∪B＝{x|x∈A∨x∈B} A∪A＝ A
性质

A∪ φ ＝ A
计算机科学学院
刘芳
第二部分 集合论
引言 第6章 集合代数 第7章 二元关系 第8章 函数
2015-1-13 1
计算机科学学院
刘芳
集合论
集合论：
研究集合的数学理论
起源
George Cantor (1845-1918，德国)
重要性
如果把现代数学比作一座无比辉煌的大厦，那么可以 它是数学的一个基本分支，在数学中占据着一个极其
解：
设A、B分别表示熟悉C#和JAVA语言的程序员的集合，
则 法1：根据容斥原理求解 法2：使用文氏图求解
2015-1-13 34
计算机科学学院
刘芳
6.3 有穷集的计数
例 2：
设|A|=3，|P(B)|=64， |P(A∪B)|=256，
求|B|，|A∩B|，|A－B|， |A⊕B|。
2015-1-13 9
计算机科学学院
刘芳
6.1 集合的基本概念
显然：
(1) φ A (2) A A (3) 若A B ∧ BC ，那么A C
推论：
空集是唯一的。
2015-1-13
10
计算机科学学院
刘芳
6.1 集合的基本概念
幂集：
设A为一个集合，A的幂集ρ(A)是A的所有子集的集合，
2015-1-13 11
计算机科学学院
刘芳
6.1 集合的基本概念
定理：若|A|＝n, 则|ρ(A)|＝2n；
证明（方法1）
∵对每个i(0≤i≤n)，A的恰有i个元素的子集的个数即是从
A的n个元素中选取i个元素的组合数.
∴
( A) C n C n C n 2
0
26
答： (1) { { 1 , 2}, }
计算机科学学院
刘芳
6.2 集合的基本运算及恒等式
思考：
下列等式可能成立吗？若可能，刻画等式出现的全部
条件。 A－B＝A
A－B＝B
A－B＝B－A A－B＝
答： A∩B＝ ；
A＝B；
2015-1-13
A＝B＝ ；
AB
27
计算机科学学院
练习:
(1) { a , b }＝{ a, b, c} (2) { a, b, a }＝{a,b} (3) { {a, }, b, {c} }＝{ {} }
求使得下列集合等式成立时，a, b, c, d应该满足的条件：
答：
(1) a＝c或c＝b
(3) a＝c＝,且b＝{}
2015-1-13 7
2015-1-13
17
计算机科学学院
刘芳
6.2 集合的基本运算及恒等式
集合的交运算的推广
A1∩A2∩…∩An＝{x|x∈A1∧x∈A2∧…∧x∈An} 记做： n
Ai A 1
A2
An
i 1
也可推广到无穷多个集合：
i 1
2015-1-13 18
Ai A 1
A2
计算机科学学院
刘芳
性质
A
2015-1-13
B
A－B
A －A ＝ φ A －φ＝A φ－A ＝φ
24
计算机科学学院
刘芳
6.2 集合的基本运算及恒等式
例 1：
设 A＝{1，2，4 ，5}, B＝{3，4，6} 计算：
A－B B－A A－A A－φ φ－A
2015-1-13 25
计算机科学学院
2015-1-13
计算机科学学院
刘芳
6.1 集合的基本概念
集合的元素的性质:
确定性
设a为任意元素，S为任意集合， 则a∈S或a S，二者必居其一，且只居其一。
集合中的元素是互异的; 集合中的元素无次序和大小之分; 抽象性
2015-1-13
6
计算机科学学院
刘芳
6.1 集合的基本概念
刘芳
6.2 集合的基本运算及恒等式
4.集合的绝对补的定义：
A ＝{x|x∈E∧x A}
＝ {x|x A}
A A A A
A E A B A B A B B
28
A A
A
2015-1-13
A
计算机科学学院
刘芳
6.2 集合的基本运算及恒等式
5.对称差的定义：
A⊕B＝（A－B）∪（B－A）
2015-1-13
16
计算机科学学院
刘芳
6.2 集合的基本运算及恒等式
证：对任意的元素x
x∈(A∩B )∩ C x∈(A∩B) ∧x∈C
(x∈ A ∧x∈B) ∧x∈C x∈ A ∧(x∈B ∧x∈C )
x∈A ∧x∈(B∩C )
x∈A∩(B ∩ C) 由x的任意性，知 (A∩B )∩ C＝ A∩(B ∩ C)成立。
解：
A－B＝{ 1，5 } B－A＝{ 4 } A⊕B＝{1,4,5}
2015-1-13 30
计算机科学学院
刘芳
6.2 集合的基本运算及恒等式
集合的恒等式（集合的算律）（P92）
集合运算性质的重要结果（P94）
证明方法
（1）证明 P Q
方法1： 对任意的x， x ∈P ………… x ∈Q
即：ρ(A)＝{B|B A}
例：
若A＝ φ，则ρ(A)={φ}； 若A＝ {a}，则ρ(A)={φ,{a}}； 若A＝ {a,b}，则ρ(A)={φ,{a},{b},{a,b}}； 若A＝ {a,b,c}，则
ρ(A)={φ,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}};
2015-1-13 3
计算机科学学院