离散数学 第1章 集合课件.ppt

离散数学 定义2. 交运算， 并运算 (intersection, union) 设X是全集。 (1)二元运算 ∩ : 　 对任何集合A,B?X ，使得　 A∩B = { x ︱ x?A?x?B } 称∩为集合的交运算。称A∩B为A与B的交集。 　 ∩ 英语读作cap（帽子）。 　若A∩B= ? ，则称A与B互不相交((pairwise)disjoint)。 离散数学 (2)二元运算 ∪: 　　　对任何集合A,B ?X ，使得　 A∪B = { x ︱ x?A?x?B } 称∪为集合的并运算。称A∪B为A与B的并集。 　∪英语读作cup（酒杯）。 　　　　 　　　　 X X A∩B A∪B A B B A 离散数学 例2. 设X={a,b,c,d,e,f}, A={a,c,d,f}, B={b,d,f}。 　则 A∩B = {d,f} 　　　A∪B = {a,b,c,d,f} 定理2. 交、并、补运算的基本定理 设X是全集，A，B，C是X的三个子集。则 (1) 幂等律：A∩A=A， A∪A=A； (2) 互补律：A∩A? = ?， A∪A? =X； (2’)零壹律：A∩X=A，A∪X=X ； (全集是交的幺元,并的零元) (2”)零壹律：A∩? = ? ，A∪? =A； (空集是交的零元,并的幺元) 离散数学 (3) 上界：A ?A∪B， B ?A∪B ； 　 下界：A∩B ?A ， A∩B ?B ； (3’)上确界： A ?C ? B ?C ? A∪B ?C； (并集A∪B是同时包含A和B的集合中最小的一个) (3”)下确界：C ?A ? C ?B? C ?A∩B； (交集A∩B是同时被A和B所包含的集合中最大的一个) 离散数学 (4)吸收律： A∩(A∪B) = A ， A∪(A∩B) = A (5)交换律：A∩B= B∩A， A∪B= B∪A； (6)结合律：(A∩B) ∩C = A∩ (B∩C)， (A∪B) ∪C = A∪ (B∪C) ； (7)分配律：A∩(B ∪C) = (A∩B) ∪(A∩C) ， A∪(B ∩C) = (A∪B) ∩(A∪C) ； 离散数学 (3’) A ?C ? B ?C ? A∪B ?C； [证明]. (采用逻辑法) 对任何元素x?X ， x?A∪B ?x?A?x?B ?x?C?x?C (已知条件：A?C，B?C) ?x?C (幂等律：p?p?p) 所以，A∪B?C　。 离散数学 { 使 x2 = 1 的实数 } ={ 1，-1 } ={ x ︱ x2 = 1 } 　 比较适合在对集合中的元素性质了解甚详，且易于用精确的数学语言来刻划时使用。 离散数学 外延(extension) ：集合{ x︱P(x) }称为性质谓词P(x) 的外延； 内涵(intension,connotation)：性质谓词P(x) 称为集合{ x︱P(x) }的内涵； 　由此看到，采用谓词法定义集合，关键是要得出内涵P(x) 。 概括原理：集合{ x︱P(x) }恰由那些满足性质谓词P(x) 的元素组成。即 　　　x?{ x︱P(x) }? （当且仅当） P(x)真　。 离散数学 悖论(paradox)： 　　 所谓悖论是指这样一个所谓的命题P，由P真立即推出P假；由P假立即推出P真；即 P真?P假 。 理发师悖论： 　　某偏远小山村仅有一位理发师。这位理发师规定：他只给那些不给自己刮脸的人刮脸。 那么要问：这位理发师的脸由谁来刮？ 　　 如果他给自己刮脸，那么，按他的规定，他不应该给自己刮脸； 　　 如果他不给自己刮脸，那么，按他的规定，他应该给自己刮脸。 离散数学 罗素悖论(Russell paradox(1902))： 罗素1902年在集合论中也发现了如下的悖论。他构造了这样一个集合 S={ x︱x?x } 　然后他提出问题： S?S　？ 如果S?S ，那么，按罗素给S的定义，则应有