湖南大学离散数学教案--集合论与关系.ppt

湖南大学离散数学教案--集合论与关系.ppt

  1. 1、本文档共61页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第三章 集合与关系 杨圣洪 3.1、集合的基本概念 不产生歧义的对象的汇集一块便构成集合. 集合常用枚举法: 湖大教学楼={复临,中楼,东楼,北楼,前进楼} 描述法:偶数集={除以2余为0的所有整数} 子集A?B:A中的每个元素都是B的元素 幂集P(A)={A的所有子集的集合}=2A. 如A={1,2,3} A000={},A001={3},A010={2},A011={2,3}, A100={1},A101={1,3},A110={1,2},A111={1,2,3} 其有23个 ,即2|A|个 3.2、集合的运算与性质 1、A?B={由同时属于A与B的元素组成} 2、A?B={由属于A或属于B的元素组成} 3、A-B={由属于A但不属于B的元素组成} 4、?A={全集U中不属于A的元素组成}=U-A 3.2、集合的运算与性质 定义3.1.1 如果集合A中任何元素都是B的元素,则称A是B的子集,记为A?B,也称B包含A,记为B?A。 定义3.2.3 设A、B是两个集合,若A?B、B?A则A=B,即两个集合相等。 以下性质可根据相等定义得到,与命题逻辑性质一样 幂等律 A?A=A, A?A=A 结合律 A?B?C= A?(B?C)= (A?B)?C A?B?C= A ?(B ? C)= (A?B)?C 交换律 A?B=B?A A?B=B?A 分配律 A?(B?C)=(A?B)?(A?C) A?(B?C)=(A?B)?(A?C) 同一/零律 A??=A A ? ?= ? 排中/矛盾律 A??A=E A ? ?A= ? 吸收律(大吃小) A?(B?A)=A, A?(B?A)=A 德摩律 ?(A?B)= ?A??B ?(A?B)= ?A ? ?B 双重否定 ? ?A=A 3.3、有穷集的计数 1、|A|=集合A的元素数 2、例题:24人中(书上缺少此条件),会英=13、日=5、德=10、法=9,同时会英日有2人,会德、法、英中任意二种有4人,会日语的不懂法德语,只会1种和3种人? 例题在[1,300]整数中能被3或5或7整除的整数的个数。 解:A3示能被3整除的数,A5能被5整除,A7能被7整除. 能被3整除的个数:|A3|=300/3=100 能被5整除的个数:|A5|=300/5=60 能被7整除的个数:|A7|=300/7=42 能被3与5同时整除的个数:|A3?A5|=300/15=20 能被3与7同时整除的个数:|A3?A7|=300/21=100/7=14 能被5与7同时整除的个数:|A5?A7|=300/35=60/7=8 能被3、5、7同时整除的个数:|A3?A5?A7|=2 能被3或被5或被7整除的个数:|A3?A5?A7| =|A3|+|A5|+|A7|-|A3?A5|-|A3?A7|-|A5?A7|+|A3?A5?A7| =100+60+42-20-14-8+2 =162 3.4、序偶 定义3.4.1 将具有次序的两对象写在一块,称为序偶即有秩序的二个对象,记为<对象1,对象2>或<x,y>。 如:<天,地>,<夫,妻>,<乾,坤>,<湖南,长沙>, <1,2> 定义3.4.2 令<x,y>与<u,v>是二个序偶,如果x=u、y=v,那么<x,y>=<u,v>即2个序偶相等。 序偶<a,b>,a代表操作码,b代表地址码,显然来自两个不同的集合。 定义3.4.3 如果<x,y>是序偶,且<<x,y>,z>也是一个序偶,则称<x,y,z>为三元组。 如<夫,妻,子>,<主,谓,宾>,<家,春,秋>,<宿舍,食堂,教室>。 定义3.4.4 如果<x1,x2,…,xn-1>是n-1 元组,而<<x1,x2,…,xn-1>,xn>是序偶,则称为<x1,x2,…,xn-1,xn>为n元组。 3.5 直积或笛卡尔积 定义3.5.1 令A、B是两个集合,称集合{<x,y>|x?A, y?B}为A与B的直积或笛卡尔积,记为A?B。 如A={1,2,3},B={a,b,c} A?B={1,2,3}?{a,b,c}={<1,a>,<1,b>,<1,c>, <2,a>,<2,b>,<2,c>,<3,a>,<3,b>,<3,c>} B?A={a,b,c}?{1,2,3}={<a,1>,<b,1>,<c,1>,<a,2>,<b,2>,<c,2>,<a,3>,<b,3>,<c,3>} 由于<1,a>?<a,1>,所以A?B?B?A 直积不满足交换律, 序偶的前后2个元素

文档评论(0)

好文精选 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档