原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
应用离散数学方景龙版34等价关系与划分
§3.4 等价关系与划分
习题3.4
1. 对于给定的集合和其上的二元关系，判断是否为等价关系。
（1）为实数集，，。
（2），，。
（3），即正整数集，，。
（4），集合的基数，，。
（5），集合和满足，，。
解 略
2. 设，对于上的等价关系
画出的关系图，并求出中各元素关于的等价类。
解 的关系图如下：
中各元素关于的等价类分别为：
，
3. 考虑单词的集合。和分别是由“具有同样多的字母”和“具有相同的开头字母”定义的等价关系。求由和确定的商集和。
解 略
4. 给出模6同余关系，并求出所有的模6同余类。
解 模6同余关系
所有的模6同余类为：
即
5. 设，判断下列关系是否等价关系，若是等价关系，试给出它的等价类。
（1）
（2）
解 略
6. 假如和是集合上的等价关系，问下面的关系是否一定是等价关系，是的给予证明，不是的举出反例。
（1） （2）
（3） （4）
（5） （6）
解 （1）、（2）、（3）、（4）略
（5）不一定是等价关系，例如：取集合及其上的等价关系
有，它不是对称的，从而不是等价关系。
（6）一定是等价关系，证明如下：
，因为是自反的，所以，从而，即是自反的；
，有，因为是对称的，所以，从而，即是对称的；
，有，因为是传递的，所以，从而，即是传递的；
综上所述，若是集合上的等价关系，则一定是等价关系。
7. 当我们构造一个关系的自反闭包的对称闭包的传递闭包时，一定得到一个等价关系吗？是的请证明，不是的请举出反例。
解 略
8. 假如和是集合上的等价关系，和分别是对应于和的划分。证明当且仅当是的加细。（如果在划分中的每个集合都是划分中某个集合的子集，则叫做的加细）
证明 （1）由推出是的加细，这就是要证明对于中的任何集合，在中都存在集合，使得。
因为中的任何集合是中的某个元素关于等价关系的等价类，即
现构造
它是中元素关于等价关系的等价类，从而是中的一个集合。又由于，所以有。
（2）由是的加细推出，这就是要证明如果对于中的任何集合，在中都存在集合，使得，那么。
，有，所以在中存在集合，使得。
根据条件，在中存在集合使得，从而。由于是中某个元素关于等价关系的等价类，根据等价类的定义，有。所以。
c
a
b
d
文档评论（0）