



下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、第六章习题答案2. 设P = < 1, 2 >, < 2, 4 >, < 3, 3 >,Q = < 1, 3 >, < 2, 4 >, < 4, 2 >找出PÈQ, PÇQ, dom(P), dom(Q), ran(P)及ran(Q),并证明:dom(P È Q) = dom(P) È dom(Q)ran(PÇ Q) Í ran(P) Ç ran(Q)解 P È Q =< 1, 2 >, < 2, 4 >, < 3
2、, 3 >, < 1, 3 >, < 4, 2 >,P Ç Q =< 2, 4 >dom(P)=1, 2, 3,dom(Q)= 1, 2, 4,ran(P) = 2, 3, 4,ran(Q) = 2, 3, 4。xÎ dom(PÈQ)Û$y (< x, y > Î P È Q)Û$y (< x, y > Î P Ú < x, y > Î Q)Û$y (< x, y > Î P)
3、8; $y (< x, y > Î Q)Û xÎ dom(P) Ú xÎ dom(Q)Û xÎ dom(P) È dom(Q)yÎ ran(PÇ Q)Û$x (< x, y > Î PÇQ)Û$x (< x, y > Î P Ù < x, y > Î Q)Þ$x (< x, y > Î P) Ù $x (< x, y >
4、206; Q)Û yÎ ran(P) Ù yÎ ran(Q)Û yÎ ran(P) Ç ran(Q)如上例,ran(PÇ Q) = 4 Ì 2, 3, 4 = ran(P) Ç ran(Q)3. 若关系R和S自反的,对称的和传递的,证明:RÇS也是自反的,对称的和传递的。证明 设R和S是集合A上的关系。因为R和S是自反的,所以,对于A中的任意元素x,有< x, x >ÎR和< x, x >ÎS。因此< x, x >ÎR&
5、#199;S,即RÇS是自反的。因为R和S是对称的,所以对于任意< x, y >, < x, y >ÎRÇSÛ < x, y >ÎR Ù < x, y >ÎSÛ < y, x >ÎR Ù < y, x >ÎSÛ < y, x >ÎRÇS因此,RÇS是对称的。因为R和S是传递的,所以对于任意< x, y >和< y, z >,< x,
6、y >ÎRÇS Ù < y, z >Î RÇSÛ < x, y >ÎR Ù < x, y >ÎS Ù < y, z >Î R Ù < y, z >Î SÛ (< x, y >ÎR Ù < y, z >Î R) Ù ( < x, y >ÎS Ù< y, z >Î S)Þ
7、; < x, z >ÎR Ù < x, z >Î SÛ < x, z >ÎRÇS因此,RÇS是传递的。5设A = 1, 2, 3,A上的关系R1, R2, R3, R4, R5分别由图6.17给出,试问:R1, R2, R3, R4, R5各有哪些性质?解R1:自反、对称、反对称、传递。R2:对称。R3:反自反、反对称。R4:反自反、对称、反对称、传递。R5:自反、传递。8. 设R1和R2是集合X = 0, 1, 2, 3上的关系,而R1 = < i, j > | j = i
8、+ 1或j = i /2,R2 = < i, j > | i = j + 2求复合关系:(1) R1 ° R2(2) R2 ° R1(3) R1 ° R2 ° R1(4)并给出各复合关系的关系矩阵。解 R1 = < 0, 1>, < 1, 2 >, < 2, 3 >, < 0, 0 >, < 2, 1 >R2 = < 2, 0 >, < 3, 1 >R1 ° R2 = < 1, 0 >, < 2, 1 >R2 ° R
9、1 = < 2, 0 >, < 2, 1 >, < 3, 2 >R1 ° R2 ° R1 =< 1, 1 >, < 1, 0 >, < 2, 2 >= < 1, 1 >, < 0, 0 >, < 0, 2 >, < 2, 2 >, < 0, 1 >, < 1, 3 >13. 求R2的自反、对称、传递闭包的关系图。R2及其自反、对称、传递闭包的关系图从左至右排列如下。14. 令R1, R2是集合A上的二元关系,并设R1 Í
10、R2,试证明下列关系式。(3) t (R1) Í t (R2)证明 R1 Í R2 Í t (R2),t(R2)是包含R1的传递关系,由传递闭包定义知道,t(R1)是包含R1的最小传递关系,所以,t(R1)Í t(R2)。15. 设R1, R2是A上的二元关系,试证明(3) t (R1 È R2) Ê t (R1) È t (R2)并用反例说明t (R1ÈR2) = t (R1) È t (R2) 不一定成立。证明 因为R1 Í R1 ÈR2 ,所以t(R1)Í t(R1
11、200;R2)。因为R2 Í R1ÈR2 ,所以t(R2)Í t(R1ÈR2)。因此,t (R1) È t (R2) Í t (R1ÈR2)。令A =1, 2,R1 =< 1, 2 >,R2 =< 2, 1 >。因为R1是传递的,故t (R1) = R1。因为R2是传递的,故t(R2)= R2。因此,t (R1) È t (R2) = R1 ÈR2 =< 1, 2 >, < 2, 1 >,而t (R1ÈR2) = < 1, 2 >, &
12、lt; 2, 1 >, < 1, 1 >, < 2, 2 >。18. 对于下列集合上的整除关系,画出哈斯图。(1) A = 1, 2, 3, 4, 6, 8, 12, 24(2) B = 1, 2, 3, 121213264824481263712510911(1) 2, 3, 4没有最大元、最小元,极大元为3和4,极小元为2和3,上界为12和24,上确界为12,下界为1,下确界为1。(2) 2, 3, 4没有最大元、最小元,极大元为3和4,极小元为2和3,上界为12,上确界为12,下界为1,下确界为1。20. 图6.21上给出了集合A = 1, 2, 3, 4上的四个偏序关系,试画出它们的哈斯图。并判别哪一个是全序或良序关系。(a) 去掉关系图中的自环,没有进入顶点4的有向边,将4画在最下面,去掉从4发出的有向边,没有进入顶点1的有向边,将1画在第二层,去掉从1发出的有向边,剩下两个孤立点2和3,将2和3画在最上面。连接4和1,1和2,1和3,得到哈斯图。224444111122333323. 令T是笛卡尔平面 R´R
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 职业女性心理健康课件
- 2025年湖南省中考数学模拟试卷(二)
- 政治必修一第四课:生产与经济制度
- 初级审计考试题库及答案
- 2024年纺织品设计师职业发展与成长路径试题及答案
- 共享学院面试题及答案
- 保险后勤面试题目及答案
- 广告设计师在不同文化背景下的设计试题及答案
- 小学数学AI教学应用手册
- 华为光芯片笔试题及答案
- 江苏省苏州市(2024年-2025年小学六年级语文)部编版小升初真题(下学期)试卷及答案
- 乳酸性酸中毒护理
- 部编版小学语文四年级下册教师教学用书
- DB36T 540-2017 汽车维修连锁经营服务规范
- 《海航集团案例》课件
- 电力系统继电保护课后习题解析(第二版)-张保会-尹项根主编
- 体育讲座培训课件
- GB/T 42151.3-2024电力自动化通信网络和系统第3部分:通用要求
- 机动车鉴定评估技能竞赛考试题库500题(含答案)
- 室内装修合同范本之家装
- 在线教育课程资源共享平台建设合同
评论
0/150
提交评论