




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
郭芸Email:苏州大学计算机科学与技术学院第三、四章习题课1、证明:X上的非空、对称和传递的关系不是反自反的。
2、设R是X上的自反的和传递的关系,证明:
R
R=R.3.x,y,zX,如果xRy,yRz,则有zRx.证明:若R是自反的,则R是X上的等价关系。
4、设f:X
Y和g:Y
Z是映射,使得gf是一个满射,且g是一个入射。证明f是满射。
5、设f:X
Y和g:Y
Z是映射,使得gf是一个入射,且f是一个满射。证明g是入射。思考题6、仅由0,1构成的无限序列集合是不可数的。即T={a0a1a2…an…|nN,an=0or1}为不可数集。7、将(1)推广:由0,1,2,…,9构成的无限序列集合也是不可数集。8、S={(x,y)|x,yR0<x,y<1}为不可数集。(提示:构造f:S→(0,1)为双射函数)9、证明:RR…R=Rn
是不可数集。10、II是可数集。(I为整数集)思考题证:Ex1(思考题1)X上的非空、对称和传递的关系不是反自反的。
设<x,y>R,R是X上非空、对称和传递的关系,由R对称可知,<y,x>R,由R传递可知,<x,x>,<y,y>R,所以R不是反自反的。
任取<x,z>RR,Ex2(思考题2)设R是X上的自反的和传递的关系,证明:RR=R.证:则存在yX,使得<x,y>,<y,z>R,由R是传递的知<x,z>R,故RRR.任取<x,z>R,由R是自反的知<z,z>R,再由复合关系的定义可知<x,z>RR,故RRR.综上,RR=R.x,yX,若
xRy,Ex3(思考题3)
x,y,zX,如果xRy,yRz,则有zRx.证明:若R是自反的,则R是X上的等价关系。证:由R是自反的可知yRy,再利用题设条件可得,yRx,故R是对称的。x,y,zX,如果xRy,yRz,
则由题设条件可得zRx.由R是对称的可知xRz,故R是传递的。所以R是X上的等价关系。任取yY,Ex4(思考题4)设f:XY和g:YZ是映射,使得gf是一个满射,且g是一个入射。证明f是满射。
证:因为g是映射,
故必有z=g(y)Z.由于gf是满射,
故对zZ,必有xX,使得gf(x)=z.从而有gf(x)=g(y),即g(f(x))=g(y).又因为g是入射,故有f(x)=y.所以f是满射。设g(y1)=g(y2),Ex5(思考题5)
设f:X
Y和g:Y
Z是映射,使得gf是一个入射,且f是一个满射。证明g是入射。
证:因为f是满射,
故必有x1,x2X,使f(x1)=y1,f(x2)=y2.从而有g(f(x1))=g(f(x2)),
即gf(x1)=gf(x2).又因为gf
是一个入射,所以x1=x2,从而y1=y2.所以g是入射。
从而
A=M∪D∪B,A-B=M∪D.
否则,由B是可数集且A=B∪P可得,
由定理2知P必含可数子集D,Ex6(4-5习题的(2))如果A是不可数集,B是A的可数子集,则(A-B)~A.证:记P=A-B,则P是无限集。A为可数集,与题设矛盾。因为P是无限集,记M=P-D,即P=M∪D.
因为D,B均为可数集,D∪B~D,M~M,
且M∩(D∪B)=,M∩D=,由4-4的习题(3)知M∪D∪B~M∪D,即A~A-B.Ex7(4-5习题的(4))如果A和B都是可数集,则AB也是可数集。证一:由于A和B都是可数集,可设A={a0,a1,a2,…}B={b0,b1,b2,…}作函数f:AB
NN,使得f(<am,bn>)=<m,n>,显见f是双射,从而AB~NN.又由定理5知,NN~N.所以,AB~N,即AB是可数集。Ex7(4-5习题的(4))如果A和B都是可数集,则AB也是可数集。证二:由于A和B都是可数集,所以A~N,B~N,由4-4习题的(4)知,AB~NN.又由定理5知,NN~N.所以,AB~N,即AB是可数集。考试遇到类似题目时,若要用该方法证明,则要把4-4习题的(4)补证一下。Ex8(4-5习题的(5))
设A是有限集,B是可数集,则AB也是可数集。证:设A={a0,a1,…,an},B={b0,b1,…},则A∪B={a0,a1,…,an,b0,b1,…},显见A∪B是可数集。由4-5习题的(4)知,(A∪B)B是可数集。
而AB是(A∪B)B的无限子集,由定理3知,AB也是可数集。
则T必可表示为:T={t1,t2,…},其中ti=ai1ai2…(i=1,2,…),aij=0或1(i,j=1,2,…)Ex9(思考题(6))仅由0,1构成的无限序列集合T={a0a1a2…an…|nN,an=0or1}为不可数集。构造一个T内的序列r=r1r2…,使rj=1,ajj10,ajj=1j=1,2,…因而T是不可数集。这样,rjajj,即r与所有实数t1,t2,…不同,说明rT.证:假设T是可数集,这与r为T中的序列产生矛盾。类似可证:由0,1,2,…,9构成的无限序列集合也是不可数集。Ex10(思考题(8))
S={(x,y)|x,yR0<x,y<1}为不可数集。证:(x,y)S,令x=0.a1a2…,y=0.b1b2…,ai,bi{0,1,…,9}(i=1,2,…)则0<x<1,0<y<1,作映射f:S(0,1),f((x,y))=0.a1b1a2b2…,显见f为双射。所以S~(0,1),从而S为不可数集。Ex11(思考题(9))
RR…R=Rn是不可数集。证:先证RR=R2是不可数集。
由习题4-4的(4)知,RR~(0,1)(0,1).而Rn~(0,1)n,所以,RR是不可数集。由例4.4.2知,R~(0,1),
由Ex5.5知,(0,1)(0,1)~(0,1)是不可数集,假设(0,1)n-1~(0,1),则(0,1)n=所以Rn也是不可数集.(0,1)n-1(0,1)~(0,1)(0,1)~(0,1)
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 江苏省苏州平江中学2025年初三第一次联考英语试题文试题含答案
- 浙江省湖州市吴兴区2025年初三五校联谊期中考试试卷数学试题含解析
- 上海市徐汇区2025年初三TOP20三月联考(全国II卷)生物试题含解析
- 股权无偿转移合同范本大全
- BIM技术研究与开发合同
- 辽宁省大连市中山区2019-2020学年八年级上学期期末测试物理试题【含答案】
- 人教版地理七上第五章《发展与合作》表格教学设计
- Brand KPIs for pet supply online shop Zee.Dog in Brazil-外文版培训课件(2025.2)
- 山东省烟台市黄务中学六年级历史下册 第8课 辉煌的隋唐文化(二)教学设计 鲁教版五四制
- 2024年七月三角形分类教学中的多模态资源整合
- 2025年四川绵阳新投集团含所属公司招聘笔试参考题库含答案解析
- SA8000社会责任法律法规清单一览表
- 化学-辽宁省协作体2024-2025学年度高三上学期期末考试试题试题和答案
- 2025年文化产业投资入股保密协议模板3篇
- 《公司财务决算报表》课件
- 2025年国信证券股份有限公司招聘笔试参考题库含答案解析
- 军恋对象申请书表
- 2025年山东省港口集团招聘笔试参考题库含答案解析
- 木材干燥学的课程设计
- 2025届河北省部分重点高中高三第一次模拟考试英语试卷含解析
- 社区关爱老人志愿服务活动
评论
0/150
提交评论