原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
集合论与图论课堂练习1
《集合论与图论》课堂练习1
（2013年10月23日13:30-15:00 复旦大学计算机科学技术学院2012级）
学号 姓名 成绩
填空题（30分，每格3分）
1．设A为一个集合，若 A为有限集。若 ，则称A为可列集。
2．设R是A上的二元关系，R的自反（对称，传递）闭包，记为R’，满足下列3个条件：
（1）_
_ _;
（2）_
_ ;
（3）_
_ _。
3．集合A的递归（归纳）定义由三部分组成：
（1）_
_ _;
（2）_
_ ;
（3）_
_ _。
4．设R1是从A到B的二元关系，R2是从B到C的二元关系，则从A到C的R1和R2的复合关系定义为_ _
_ 。
5. 设f1是从A到B的函数，f2是从B到C的函数，则从A到C的f1和f2的复合函数定义为_ _
_ 。
二、是非判断题（18分，每题6分，其中判断3分，论述3分）
1．自然数集合的幂集是不可列集。
（真）
2．A((B(C)=(A(B) (( A(C)
（假）
A={2, 3}，B={1, 4, 7}，C={3,5}
3．设A, B是集合，若存在A到B的满射，则|B|(|A|。
（ 真 ）
设存在A到B的满射f，对任意b(B，存在x(A，f(a)=b。
而由函数的定义，f(a1)=b1，f(a2)=b2，若b1(b2，则a1(a2。则|B|(|A|。
三、综合题（52分）
1．设R是A上的二元关系。证明R的自反闭包的对称闭包的传递闭包，是包含R的最小的等价关系。（15分）
2．R是集合A上的等价关系，|A|=n，|R|=s。对于A关于R的商集A/R，|A/R|=r。证明：rs(n2。（16分）
/*中国科学院计算所2000*/
习题解析：
( R、A和A/R三者的基数之间存在什么关系？
R是集合A上的等价关系( R对 A形成的一个划分，这个划分就是商集A/R。
取划分的一个块，若块中元素k个，则该块产生的有序对为k2个。
r个块的有序对相加，和等于s。r个块中所含元素的个数相加，和等于n。
证明思路和过程：
设A/R的r个等价类集合的元素个数分别是m1, m2, …, mr。则m1+m2+… … +mr =n，m12+m22+… … +mr2 =s。因此，问题转换为证明(m12+m22+… … +mr2)/r((( m1+m2+… … +mr)/r)2，即证明r (m12
文档评论（0）