版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、离散数学期末考试2007年元月8日1. (6分分) 知知 A=a,a,b, B=b, a, 求求 AB, AB, P(A).解解: AB=(a,b), (a,a), (a, b), (a, a), (b, b), (b, a) AB=(A-B) (B-A)=a, b, b P(A)=, a, a, b, a, a, a,b, a,b, A.2. (4分分) 知知R1,R2是是A上的对称关系上的对称关系, R1 R2对称吗对称吗? 证明或证明或举反例阐明举反例阐明.解解: 普通地普通地, R1 R2 R1 R2. 反例反例: R1=(1,3), (3,1) 对称对称!R2=(3,2), (2,3
2、) 对称对称!R1 R2 =(1,2) 不对称不对称!3. (6分分) G是一个群是一个群, H是是G的子群的子群. g1,g2 G, (g1,g2) R g1g2-1 H. 证明证明R是是G上等价关系上等价关系.证明证明: 对于恣意的对于恣意的a G, aa-1=e H, (a,a) R,故,故R是自反的。是自反的。 对于恣意的对于恣意的a,b G,假设,假设(a,b) R, ab-1 H,(ab-1)-1=ba-1 H, (b,a) R,故,故R是对称的。是对称的。 对于恣意的对于恣意的a,b,c G,假设,假设(a,b) R,(b,c) R, ab-1 H且且 bc-1 H, (ab-1
3、)(bc-1)=ac-1 H, (a,c) R,故,故R是传送的。是传送的。4. (6分分) A=1,2,3,5,10,15,30, x,y A, x yx|y. (1) 画出画出(A, )的哈斯图的哈斯图 (2) 判别判别(A, )是格否是格否?分配格吗分配格吗?有补格有补格?布尔格吗布尔格吗?3010152531格格? 分配格分配格? ?有补格有补格? 布尔格布尔格 5. 知知 f: AB, g: BC, f是单射是单射,g是单射是单射,证明证明g f 是单射是单射. 假设假设g f是满射是满射,证明证明g是满射是满射.证明证明: (1) 对于恣意的对于恣意的x1,x2 A, 假设假设g
4、f (x1)= g f (x2), 即有即有 g(f(x1)= g(f(x2).由于由于g是单射是单射,故有故有f(x1)=f(x2). 由于由于f是单射是单射,故有故有x1=x2. 因此因此, g f 是单射是单射.(2) 对于恣意对于恣意z C, 存在存在x A, 使得使得g f (x)=z,即即 g(f(x)=z.故存在故存在 y=f(x) B, 使得使得g(y)=z.故故 g是满射是满射.6. (4分分) 知知: A是可数无限集,是可数无限集,B是有限集,是有限集, 且且AB=, 求证:求证:|A|=|AB|证明证明: 无妨记无妨记A=a1, a2, a3, ,an, B=b1, b2
5、, b3, , bm 作映射作映射 : AAB(ai)=bi (i=1,m)(ai)=ai-m (i=m+1,m+2,) 那么可以阐明那么可以阐明为为AAB的双射,的双射, 故结论得证。故结论得证。假设只用一句话说,假设只用一句话说, AB也是可数无限集,可以得也是可数无限集,可以得2分分7. (5分分) 画出画出5个顶点的自互补图。证明当个顶点的自互补图。证明当n=4k 或或4k+1时才时才有有. 假设一个图和它的补图同构,说它是自互补图。假设一个图和它的补图同构,说它是自互补图。解解: :1 12 2由于由于n n个顶点的无向完全图有个顶点的无向完全图有n(n-1)/2n(n-1)/2个边
6、,所以自个边,所以自互补图各有互补图各有n(n-1)/4n(n-1)/4个边,因此,个边,因此,n=4kn=4k或或4k+14k+1。8. (5分分) 证明证明: G或者或者G有一个是连通图。有一个是连通图。证明:由于证明:由于G不连通,那么不连通,那么G可以分为假设干连通子图可以分为假设干连通子图: G1=V1,E1,- ,Gn=Vn,En 根据根据G的补图的构造过程知的补图的构造过程知V1中每个顶点与其它中每个顶点与其它顶点集顶点集V2,- ,Vn中顶点有边相连。中顶点有边相连。 这样,这样, 在在G的补图中,有的补图中,有n 分别属于两个顶点子集分别属于两个顶点子集Vi与与Vj中的恣意两
7、个顶点中的恣意两个顶点之间有边直接相连,之间有边直接相连,n 属于同一个顶点子集属于同一个顶点子集Vi的恣意两个顶点借助顶点的恣意两个顶点借助顶点子集子集Vj的恣意一个顶点连通。的恣意一个顶点连通。n 所以,根据连通的定义知:所以,根据连通的定义知:G的补图一定连通的补图一定连通 。9. (4分) 一个有奇数条边、偶数个顶点的欧拉图,但不是哈密尔顿图。10 (6分分) 画出画出K4,4,判别,判别K4,4能否平面图能否平面图.否!11. (5分分) 证明证明: 多于一个顶点的树,至少有两片树叶。多于一个顶点的树,至少有两片树叶。证明:设证明:设 T=(V,E)是一棵树,假设是一棵树,假设T中最
8、多只需一片树叶,中最多只需一片树叶,那么有那么有d(v) 1+2(|V|-1)=2|E|+1, 这与结论这与结论 d(v) =2|E| 矛盾矛盾! 矛盾阐明矛盾阐明 T 不止一不止一片树叶。片树叶。12. (8分分) (G, )是一个群,取定是一个群,取定u G. g1,g2 G,定义:,定义: g1*g2= g1u-1g2. 证明证明: (G,*)是群。是群。证明证明: (1) 封锁性封锁性 (2) 可以结合性可以结合性 (3) 幺元幺元 e*=u.现实上现实上, g*e*=g*u=gu-1u=ge=g e*g=u*g=uu-1g=eg=g(4) 逆元逆元 对于对于g G, 在代数运算在代数
9、运算*下的逆元记为下的逆元记为g*-1于是于是, g*-1=ug-1u这里这里, g-1是在代数运算是在代数运算下的逆元下的逆元13. (5分分) G是一个群是一个群,H,K是是G正规子群正规子群. 证明证明: HK是是G正规子群正规子群.证明证明: (1) (3分分) a,b HK,就有就有a,b H, a,b K, 由于由于H, K是群是群G的子群,的子群, 所以,所以,a*b-1H,a*b-1K,因此,因此a*b-1 HK。故故 HK是是G的子群。的子群。 (2) (2分分) 对于对于a HK, gG, 就有就有a H,aK。 由于由于H,K是群是群G的正规子群,所以的正规子群,所以g*
10、a*g-1H, g*a*g-1K, 从而有从而有g*a*g-1HK, 故故HK是是G的正规子群。的正规子群。14. (4分分) 知知(G, *),(A, )是两个群,是两个群,f: GA是群同态的。是群同态的。 证明证明: (1) f(eG)=eA (eG G是幺元是幺元, eA A是幺元是幺元). (2) g G, f(g-1)=(f(g)-1.证明证明: (1) f(eGeG)f(eG), 又又f(eGeG)f(eG) f(eG),所以,所以 f(eG) f(eG)f(eG*eG) f(eG)f(eG)eA, 根据群的左消去律根据群的左消去律, 有有 f (eG) eA。 (2) 对于恣意
11、的对于恣意的g G,f(g*g-1)f(g) f(g-1), 又又f(g*g-1)f(eG)eA,所以,所以 f(g) f(g-1)eA f(g) (f(g)-1, 由左消去律,由左消去律,f(g-1) (f(g)-1。15. (4分分) 以下哪些是循环群以下哪些是循环群:(Z,+) (N, +) (Q, +) (Z6, ) 16. (4分分) 试证明结合词集合试证明结合词集合,是完备的。是完备的。证明证明: PQ= P Q PQ= ( P Q) PQ = P Q P Q 即即 , , , , 可以用可以用 , 表示出来表示出来. 所以任何公式所以任何公式均可以由集合均可以由集合 , 中的结合
12、词表中的结合词表达出来的公式与之等价。达出来的公式与之等价。 故集合故集合 , 是完备的。是完备的。17. (4分分) 试求公式试求公式 (pq)(qr)p)的主析的主析取范式和主合取范式取范式和主合取范式.解解: (pq)(qr)p) = (pq)( qr)p) = (pq)( qr) p) ( ( qr) p) = (pq)( q p)(r p) (q r) p) = p q ( q p)(r p) (q rp) = p q (q rp) = ( pqr) ( pq r) ( p qr) ( p q r) (p qr) (p q r) (pq r) =(0,1,2,3,4,5,6) =(7
13、)= p q r18. (6分分) 将以下语句化为含有量词的谓词演算公式将以下语句化为含有量词的谓词演算公式不是每个人都能干不是每个人都能干,但一定有人能干但一定有人能干.有一种气体可以腐蚀任何金属有一种气体可以腐蚀任何金属. 凡是对顶角一定相等凡是对顶角一定相等.解解: ( x(P(x) A(x) (x(P(x) A(x) x(G(x) (y(M(y) R(x,y) xy(A(x,y) (x=y)19. (5分分) 知公理知公理 A: (pq) (qp) (pq) B: ppq C: pp D: (pr) (qr) (pq) r) E: pqp 证明定理证明定理: p(pp)证明证明:(1) ppq 公理公理B(2) ppp 代入代入(3) (pr) (qr) (pq) r) 公理公理D(4) (pp) (pp) (pp) p) 代入代入(5) p p 公理公理C(6) (pp) (pp) p) (4)(5)分别分别(7) (p
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 区块链金融科技工程师面试题集
- 2025神农科技集团有限公司第一批校园招聘17人笔试参考题库附带答案详解(3卷合一版)
- 2025新疆数途科技有限公司招聘17人笔试参考题库附带答案详解(3卷)
- 2025年凤凰出版传媒集团秋季招聘笔试参考题库附带答案详解(3卷)
- 2025安徽芜湖鸠兹水务有限公司第二批人员招聘复审及笔试参考题库附带答案详解(3卷)
- 2025四川自贡市国有资本投资运营集团有限公司人员招聘笔试参考题库附带答案详解(3卷)
- 数字化校园环境下小学生数学课外活动创新设计研究教学研究课题报告
- 河北省河北省南运河河务中心2024年公开招聘工作人员笔试历年参考题库典型考点附带答案详解(3卷合一)
- 嘉兴市2024浙江嘉兴市南湖区卫生系统招聘事业单位人员41人笔试历年参考题库典型考点附带答案详解(3卷合一)
- 北京市2024全国政协办公厅直属单位招聘20人(北京)笔试历年参考题库典型考点附带答案详解(3卷合一)
- 店长岗位职责与日常管理手册
- 全球重点区域算力竞争态势分析报告(2025年)-
- 2025北京热力热源分公司招聘10人参考笔试题库及答案解析
- 2025年湖南省法院系统招聘74名聘用制书记员笔试参考题库附答案
- 2025广西机电职业技术学院招聘教职人员控制数人员79人备考题库及答案解析(夺冠)
- 2026届高考政治一轮复习:必修2 经济与社会 必背主干知识点清单
- 大学生校园创新创业计划书
- 护士职业压力管理与情绪调节策略
- 贵州国企招聘:2025贵州凉都能源有限责任公司招聘10人备考题库及答案详解(必刷)
- 招标人主体责任履行指引
- 2025-2026学年北师大版五年级数学上册(全册)知识点梳理归纳
评论
0/150
提交评论