- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
06-L03 集合的基本运算
离散数学基础
离散数学基础
2017-11-19
• 交集与交运算
− 设有集合 A 、B,称 A∩B = {x|x ∈A ∧ x ∈B} 为 A 和 B 的交集。求交集的过程
称为交运算。
− 若 A∩B= ∅,称 A 和 B 不相交。
−例1 :设 A = { 1, 2, 3, 4, 5 }, B = { 3, 5, 6, 7, 8 }
则 A∩B = { 3, 5 }
−定理1 :
» |A∩B| ≤ min(|A|, |B| )
−定理2 :
» 设有集合 A 、B 和全集 E。则:
» A∩A=A 幂等律
» A∩B= B∩A 交换律
» (A∩B)∩C= A∩(B∩C) 结合律
» A∩∅ =∅ 零律
» A∩E =A 同一律
• 并集与并运算
− 设有集合 A 、B,称 A∪B = {x |x ∈A∨x ∈B} 为 A 和 B 的并集。求并集的过程称
为并运算。
−例2 :设 A = { 1, 2, 3, 4, 5 }, B = { 3, 5, 6, 7, 8 }
则 A∪B = { 1, 2, 3, 4, 5, 6, 7, 8 }
−定理3 :
A|+|B|
» |A∪B| ≤ |
−定理4 :
» 设有集合 A 、B 和全集 E。则:
» A∪A=A 幂等律
» A∪B= B∪A 交换律
» (A∪B)∪C= A∪(B∪C) 结合律
» A∪∅ =A 同一律
» A∪E =E 零律
−定理5 :(分配律)
» A∩(B∪C)= (A∩B)∪(A∩C)
• 证明:A∩(B∪C)
={x|x∈A ∧ x ∈(B∪C)}
= {x|x ∈A ∧ (x∈B∨x ∈C)}
= {x|(x ∈A∧x ∈B) ∨ (x∈A∧x ∈C)}
= {x|x ∈(A∩B) ∨ x ∈(A∩C)}
= (A∩B)∪(A∩C)
» A∪(B∩C)= (A∪B)∩(A∪C)
−定理6 :(吸收律)
» A∪(A∩B)=A
» A∩(A∪B)=A
• 相对补集与相对补运算
− 设有集合 A 、B,称 A–B = {x |x ∈A∧x ∉B} 为 A 和 B 的相对补集,或称 B 关
于 A 的补集。求相对补集的过程称为相对补运算。
−例3 :设 A = {1, 2, 3, 4, 5}, B = {3, 5, 6, 7, 8}
则 A − B = {1, 2, 4}
−定理7 :
» |A–B| ≥ |A|–|B|
• 补集与补运算
− 设有集合 A ,E 是论域的全集,称
~A = E–A = {x|x ∈E∧x ∉A} ,简记为 {x|x ∉A}
为集合 A 的(绝对)补集。求补集的过程称为求补运算。
− 例4 :设 A = {1, 2, 3, 4, 5}, E = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
则 ~A = {0, 6, 7, 8, 9}
− 定理8 :
» |~A| = |E|–|A|
− 定理9
(1) 设有集合 A 、B 和全
文档评论(0)