离散数学集合论部分形成性考核书面作业离散数学作业2_第1页
离散数学集合论部分形成性考核书面作业离散数学作业2_第2页
离散数学集合论部分形成性考核书面作业离散数学作业2_第3页
离散数学集合论部分形成性考核书面作业离散数学作业2_第4页
离散数学集合论部分形成性考核书面作业离散数学作业2_第5页
全文预览已结束

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、姓 名: 学 号: 得 分: 教师签名: 离散数学作业2离散数学集合论部分形成性考核书面作业本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握本次形考书面作业是第一次作业,大家要认真及时地完成集合论部分的综合练习作业要求:学生提交作业有以下三种方式可供选择:1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅2. 在线提交word文档3. 自备答题纸张,

2、将答题过程手工书写,并拍照上传一、填空题 1设集合,则P(A)-P(B )= 1,2,2,3,1,3,1,2,3 ,A´ B= <1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2> 2设集合A有10个元素,那么A的幂集合P(A)的元素个数为 1024 3设集合A=0, 1, 2, 3,B=2, 3, 4, 5,R是A到B的二元关系,则R的有序对集合为<2,2>,<2,3>,<3,2>,<3,3>4设集合A=1, 2, 3, 4 ,B=6, 8, 1

3、2, A到B的二元关系R那么R1 <6,3>,<8,4> 5设集合A=a, b, c, d,A上的二元关系R=<a, b>, <b, a>, <b, c>, <c, d>,则R具有的性质是反自反性6设集合A=a, b, c, d,A上的二元关系R=<a, a >, <b, b>, <b, c>, <c, d>,若在R中再增加两个元素<c,b>,<d,c>,则新得到的关系就具有对称性7如果R1和R2是A上的自反关系,则R1R2,R1R2,R1-R2中自反

4、关系有 2 个8设A=1, 2上的二元关系为R=<x, y>|xÎA,yÎA, x+y =10,则R的自反闭包为 <1,1>,<2,2> 9设R是集合A上的等价关系,且1 , 2 , 3是A中的元素,则R中至少包含 <1,1>,<2,2>,<3,3> 等元素10设A=1,2,B=a,b,C=3,4,5,从A到B的函数f =<1, a>, <2, b>,从B到C的函数g=< a,4>, < b,3>,则Ran(g° f)= <1,a>,

5、<2,b>或<1,b>,<2,a> 二、判断说明题(判断下列各题,并说明理由)1若集合A = 1,2,3上的二元关系R=<1, 1>,<2, 2>,<1, 2>,则(1) R是自反的关系; (2) R是对称的关系解:(1)结论不成立因为关系R要成为自反的,其中缺少元素<3,3>(2)结论不成立因为关系R中缺少元素<2,1> 2设A=1,2,3,R=<1,1>, <2,2>, <1,2> ,<2,1>,则R是等价关系 解:(1)结论不成立因为关系R要成为

6、自反的,其中缺少元素<3,3>(2)结论不成立因为关系R中缺少元素<2,1>ooooabcd图一ooogefho3若偏序集<A,R>的哈斯图如图一所示,则集合A的最大元为a,最小元不存在 答:错误,按照定义,图中不存在最大元和最小元。 4设集合A=1, 2, 3, 4,B=2, 4, 6, 8,判断下列关系f是否构成函数f:,并说明理由(1) f=<1, 4>, <2, 2,>, <4, 6>, <1, 8>; (2) f=<1, 6>, <3, 4>, <2, 2>;(3)

7、 f=<1, 8>, <2, 6>, <3, 4>, <4, 2,> 答:(1)不构成函数,因为它的定义域Dom(f)A(2)也不构成函数,因为它的定义域Dom(f)A(3)构成函数,首先它的定义域Dom(f) =1,2.,3, 4=,A其次对于A中的每一个元素a,在B中都有一个唯一的元素b,使<a,b> Îf三、计算题1设,求:(1) (AÇB)ÈC; (2) (AÈB)- (BÇA) (3) P(A)P(C); (4) AÅB解:(1) (AÇB)ÈC

8、 =1È1,3,5=1,3,5(2) (AÈB)- (BÇA)=1,2,4,5-1=2,4,5(3) P(A)=,1,4,1,4P(C)=,2,4,2,4P(A)P(C)=1,1,4 (4) AÅB = (AÈB)- (BÇA)= 2,4,52设A=1,2,1,2,B=1,2,1,2,试计算(1)(A-B); (2)(AB); (3)A×B解:</,1>,</,1,2>,<2,1>,<2,2>,<2,1,2>,<1,1>,<1,2>,<

9、1,,1,2>,<2,1>,<2,2>,<2,,1,2>3设A=1,2,3,4,5,R=<x,y>|xÎA,yÎA且x+y£4,S=<x,y>|xÎA,yÎA且x+y<0,试求R,S,R·S,S·R,R-1,S-1,r(S),s(R) 解:R=<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>S=R·S =S·R=R-1=<1,1>

10、,<2,1>,<3,1>,<1,2>,<2,2>,<1,3>S-1=r(S)= <1,1>,<2,2>,<3,3>,<4,4>,<5,5>s(R)= <1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1> 4设A=1, 2, 3, 4, 5, 6, 7, 8,R是A上的整除关系,B=2, 4, 6(1) 写出关系R的表示式; (2 )画出关系R的哈斯图; (3) 求出集合B的最大元、最小元

11、 解:(1)R=<1,1>,<1,2>,<1,3>,<1,4>,<1,5>,<1,6>,<1,7>,<1,8>,<2,2>,<2,4>,<2,6>,<2,8>,<3,3>,<3,6>,<4,4>,<4,8>,<5,5>,<6,6>,<7,7>,<8,8>(2) 关系R的哈斯图(3)集合B没有最大元,最小元是2。四、证明题 1试证明集合等式:AÈ (

12、BÇC)=(AÈB) Ç (AÈC)证:设,若xÎ AÈ (BÇC),则xÎA或xÎ BÇC即xÎA或xÎB且xÎA或xÎC即xÎ AÈB且xÎ AÈC即xÎT=(AÈB) Ç (AÈC)所以AÈ (BÇC) (AÈB) Ç (AÈC)。反之,若xÎ(AÈB) Ç (AÈC),则x

13、6; AÈB且xÎ AÈC即xÎA或xÎB且xÎA或xÎC即xÎA或xÎ BÇC即xÎ AÈ (BÇC)所以(AÈB) Ç (AÈC) AÈ (BÇC)因此AÈ (BÇC)=(AÈB) Ç (AÈC)2试证明集合等式AÇ (BÈC)=(AÇB) È (AÇC)证明:设S= AÇ (BÈC),T=(A

14、ÇB) È (AÇC),若xÎS,则xÎA且xÎBC,即xÎA且xÎB或xÎA且xÎC,也即xÎ AÇB或xÎ AÇC,即xÎT,所以ST反之,若xÎT,则xÎAÇB或xÎ AÇC,即xÎA且xÎB或xÎA且xÎC也即xÎA且xÎ BÈC,即xÎS,所以TS因此T=S。 3对任意三个集合A, B和C,试证明:若AB = AC,且A,则B = C 证明:设xÎA,yÎB, 则<x,y>ÎA B, 因为A B =A C,故<x,y>ÎA C,则有yÎC,所以BC 设x

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论