- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
11. 设R是等价关系。若x,y,x,z∈R,则由R的对称性知, y,x ∈R。再由R的传递性有y, z∈R。 反之, 假设只要x, y, x, z ∈R,就有y, z∈R。 (1)对称性。 设 x, y ∈R,由自反性有x, x∈R。于是y, x∈R。 (2)传递性。 设x, y, y, z∈R。由对称性有y, x∈R, 再由假设有x, z∈R。 12. 而由A/R1=A/R2 ,有对任意x∈A,因为[x]R1∈ A/R2并且x ∈[x]R1 ∩[x]R2,所以[x]R1=[x]R2。产生矛盾。 13. 14. 故S是X的一个划分 15. 设 A={1,2, 3,4} , 则A上的等价关系数目即A上的划分的数目共有15个 (1) 最大划分 { {1},{2},{3},{4} } (2) 最小划分 { {1,2,3,4} } (3) 将A分成两个集合S={A1,A2},有两种可能: {{1,2},{3},{4}}, {{1,3},{2},{4}}, {{1,4},{2},{3}}, {{2,3},{1},{4}}, {{2,4},{1},{3}}, {{3,4},{1},{2}} . 设Ek表示k元集合A上的全部等价关系数目, 则 因为En是将n个元素的集合进行划分的方法数,对任何一个划分来说,b总是在划分的某一个块中,也就是某一个子集中。不妨设这个子集有k个元素(k=1,…,n),则在此子集中的另外k-1个元素将从n-1个元素中选取。然后对剩下的n-k个元素进行划分。故有 16. A1,= 15 3 5 A2,= 12 6 2 3 1 54 27 9 3 A3,= 17. (1) 最(极)大元x1, 无最小元; (2) 上界 下界 上确界 下确界 {x2, x3, x4} x1 x4 x1 x4 {x3, x4, x5} x1,x3 无 x3 无 {x1, x2, x3} x1 x4 x1 x4 18. (2)题16中的A1,=,子集{3 ,5}无最大元; (3)题16中的A2,=,子集{2,3,6}有下确界但无最小元; (4)题16中的A2,=,子集{1} 有上界2,3,6,12,但是无上确界。 19. 设A, ≤ 为全序集, 且|A| = n。 因此, B中必有最小元a.故A, ≤ 为良序集 20. ??设B是A的非空有限集。若B中不存在极大(小)元,则对任何x∈B, 则存在y∈B,使得x≤y(y≤x),如此下去,得出B为无限集.矛盾.故结论成立。 21. ??设B是A上的一个非空有限集,由上题知,B中至少有一个极大(小)元。 又因A,=为全序集,故B的极大(小)元均唯一, 且就是最大(小)元。 ? 习题二 1. (1). R={1,1,1,3,3,1,3,3} (2). R={1,0,2,1,4,2,8,3} 2. 设R是定义在集合A上的二元关系。 (1). 设A= ?,则R= ?既是自反的又是反自反的. (2). 令A={1,2},R={1,1},于是R既不是自反又不是反自反的; (3). 令A={1,2},R={1,1,2,2},于是R既是对称又是反对称的; (4). 令A={1,2,3},R={1,2,2,1,1,3}, 于是R既不是对称又不是反对称的。 3. 设A={X1,X2 ,…,Xn},于是定义在A上的二元关系R中的元素来自于下列矩阵: x1,x1 x1,x2 … x1,xn x2,x1 x2,x2 … x2,xn …. xn,x1 xn,x2 … xn,xn (1)共有2n2 种定义在A上的不同的二元关系; 说明: ∵|A|=n ∴ |A×A|=n2 ∴|β(A×A)|=2n2 (2)共有 种定义在A上的不同的自反关系;说明: ∵A上的自反关系必须满足所有形如x,x的序偶包含在关系中,而形如x,x的序偶有n个。即|A×A-{x,x}|=n2-n ∴在构造A上的自反关系的时候可以先将所有的x,x放到这些关系中再考虑其他序偶的组合。即|β(A×A-{x,x})|=2n2-n (3)共有 种定义在A上的不同的反自反关系;说明: ∵A上的反
原创力文档


文档评论(0)