- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
定义3.2.4 集合A的绝对补是集合,记为~A, ~ A=U-A={x|x?U?x?A}={x|x?A} 定理3.2.5 任给集合A,则 ① A∪ ~ A=U, ② A∩ ~ A=?。 定理3.2.6 任给集合A和B,则 B= ~ A iff A∪B=U 且 A∩B=? 该定理表明了①若A的补是B,则B的补是A,即A和B互补。②补的唯一性。 推论3.2.5 ① ~ U=?,② ~ ?=U 定理3.2.7 任给集合A,则 ~ ~ A=A。 该定理表明了,A的补的补是A。 定理3.2.8 任给集合A和B,则 ① ~(A∪B)= ~ A∩ ~ B, ② ~(A∩B)= ~ A∪ ~ B。 定义3.2.5 任给集合A和B,A和B的对称差是集合,记为A?B, A?B =(A-B)∪(B-A) ={x|(x?A?x?B)?(x?B?x?A)} ={x|x?A?x?B} 定理3.2.9 任给集合A和B,则 A?B=(A∪B)∩(~ A∪ ~ B) =(A∪B) - (A∩B) 推论3.2.9 ① ~ A? ~ B=A?B ② A?B=B?A ③ A?A=? 2.集合代数与对偶原理 本小节将形式地讨论由集合、集合变元、集合运算和圆括号所构成的集合代数以及集合代数中的对偶原理。 与命题逻辑相似,对于给定集合实行集合运算,可以生成新的集合。同用大写英文字母表示确定集合一样,也用大写字母表示不确定的集合,前者称为集合常元,后者称为集合变元。集合变元用以集合常元代替后,才表示确定的集合。下面将给出集合的合式公式定义。 定义3.2.6 可按下列规则生成集合合式公式: ① 单个集合变元是集合合式公式。 ② 若A是集合合式公式,则A’也是集合合式公式。 ③ 若A和B是集合合式公式,则(A∪B),(A∩B),(A-B)和(A?B)也都是集合合式公式。 ④ 只有有限次使用①、②和③构成的符号串才是集合合式公式。 为方便计,简称集合合式公式为公式。 定义3.2.7 用任意集合常元取代两个集合公式中的各个集合变元,若所得集合是相等的,则称该二集合公式是相等的,简称等式。 因为集合公式相等,不依赖于取代集合变元的集合,故常称这些等式为集合恒等式,或集合定律。它们刻划了集合运算的某些性质,这些性质描述一个代数,称为集合代数。下面列出常用集合定律: (1)等幂律 A∪A=A A∩A=A (2)结合律 (A∪B)∪C=A∪(B∪C) (A∩B)∩C=A∩(B∩C) (3)交换律 A∪B=B∪A A∩B=B∩A (4)分配律 A∪(B∩C)=(A∪B)∩(A∪C) A∩(B∪C)=(A∩B)∪(A∩C) (5)同一律 A∪?=A A∩U=A (6)零律 A∪U=U A∩?=? (7)排中律 A∪~A=U 矛盾律 A∩~A=? (8)吸收律 A∪(A∩B)=A A∩(A∪B)=A (9)德·摩根律 ~(A∪B)=~A∩~B ~(A∩B)=~A∪~B (10)双重否定律 ~ (~A)=A 下面介绍集合代数中的对偶原理,它与命题逻辑中对偶原理也很相似。 对偶原理 设E是集合代数中等式,将E中的∪,∩,U和?的每一个出现分别代以∩,∪,?和U后得到一等式E*,称E*为E的对偶式。 显然,E也是E*的对偶式,即E与E*互为对偶。 如果E是一集合恒等式,则E*也是一集合恒等式。 可见,上述的集合定律中,凡成对的定律都是为对偶的。 3.3 集合的笛卡尔积与无序积 笛卡尔积与无序积在后面讨论关系和图论时,都有重要应用。 首先引入有序对和无序对的概念。 定义3.3.1 两个元素a,b组成二元组,若它们有次序之别,称为二元有序组,或有序对,记为a, b,称a为第一分量,b为第一分量;若它们无次序区分,称为二元无序组,或无序对, 记为(a, b)。 若a?b时,a, b?b, a。但(a, b)=(b, a)。 定义3.3.2 给定两个有序对x, y和u, v。当且仅当x=u和y=v时,有序对x, y和u, v相等,亦即 x, y=u, v iff (x=u)?(y=v) 可将有序对推广到n元有序组,它的第一分量是(n-1)元有序
文档评论(0)