- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
§9等价关系与等价类 《定义》:设X是一个集合,R是X中的二元关系,若R是自反的,对称的和可传递的,则称R是等价关系。 §9等价关系与等价类 试验证R是等价关系,画出R的关系图,列出R的关系矩阵 §10相容关系 例:已知相容关系图,求出最大相容类 §10相容关系 例题选讲 例1.设A,B,C,D代表任意集合,判断以下命题是否恒真,如果不是,请举一反例。 (1)A?B ? C?D?A?C ? B?D (2)A?B ? C?D?A-D?B-C (3)A?B ? B=A?(B-A) (4)A-B=B-A ? A=B 解: (1)不为真。举反例如下: 令A={1},B={1,4},C={2},D={2,3} 则A?B且C?D,但A?C = B?D,与结论矛盾。 例题选讲 (2)由于C?D?~D?~C,又由A ?B可得 A?~D?B?~C 即A-D ?B-C成立。 (3)由于A?(B-A)=A ?B 故有: B= A?(B-A) ?B= A ?B ?A ?B 即A ?B的充要条件为B= A ?B或A=A?B或A-B=? 例题选讲 (4)易见,当A=B时,必有A-B=B-A 由A-B=B-A得(A-B)?B=(B-A)?B 即:(A?~B)?B=(B?~A) ?B 即:B-A=? ∴ B?A 同理可证:A?B 从而得到:A=B 例题选讲 例2.设:A、B是任意的集合 (1) 试证明?(A)??(B)=?(A?B) (2) ?(A)??(B)=?(A?B)成立吗?为什么? 解 : (1)证明 S??(A)??(B),则S??(A)且S??(B), 因此: S?A且S?B ∴ S? A?B 即S??(A?B) ∴ ?(A)??(B)??(A?B) 反之,设S??(A?B),则S? A?B, 例题选讲 因此 S?A且S?B ∴ S??(A)且S??(B) 于是 S??(A)??(B) ∴ ?(A?B)??(A)??(B) 由上知 ?(A)??(B)=?(A?B) (2) ?(A)??(B)??(A?B)成立。其证明如下: 设:S??(A)??(B),则S??(A)或S??(B) 因此 S?A或S?B ∴ S?A?B 即S??(A?B)故?(A)??(B)??(A?B)成立 例题选讲 ?(A?B) ? ?(A)??(B)不成立 设:S??(A?B),则S?A?B。但此时无法推断S?A,也无法推断S?B,因此既不能得出S??(A),也不能得出 S??(B)。 例如: 设 A={a,c},B={c,b} 则 A?B={a,b,c}, 设 S={a,b},则S?A?B 即 S??(A?B) 但 S??(A)且S??(B) 因此 S? ?(A)??(B) 例题选讲 例3. 设S={1,2,3,…10},≤是S上的整除关系,求 S,≤的哈斯图,并求其中的最大元,最小元。最小上界,最大下界。 分析:画哈斯图的关键在于确定结点的层次和元素间的盖住关系。 画图的基本步骤是: (1)确定偏序集A,≤中的极小元,并将这些极小元放在哈斯图的最底层; (2)若第n层的元素已确定完毕,从A中剩余的元素中选取至少能盖住第n层中一个元素的元素,将这些元素放在哈斯图的第n+1层。 例题选讲 在排列结点的位置时,注意把盖住较多元素的结点放在中间,将只盖住一个元素的结点放在两边,以减少连线的交叉; (3)将相邻两层的结点根据盖住关系进行连线。 例题选讲 在画哈斯图时应该注意下面几个问题: (1)哈斯图中不应该出现三角形,如果出现三角形,一定是盖住关系没找对。纠正的方法是重新考察这3个元素在偏序集中的顺序,然后将不满足盖住关系的那条边去掉。 (2)哈斯图中不应该出现水平线段。出现这种错误的原因在于没有将“较大”元素放在“较小”元素的上方。纠正时只要根据“大小”顺序将“较大”的元素放到更高的一层,将水平线改为斜线就可以了。 (3)哈斯图中要尽量减少线的交叉。图形中线的交叉多少主要取决于同一层结点的排列顺序, 例题选讲 如果出现交叉过多,可以适当调整结点的排列顺序。 最后,如何确定哈斯图中极大元、极小元、最大元、最小元、最小上界和最大下界。 方法如下: (1)如果图中有孤立结点,那么这个结点既是极小元,也是极大元,并且图中既无最小元,也无最大元。 (除只有唯一孤立结点的情况) (2)除了孤立结点以外,其它的极小元是图中所有向下通路的终点,其它的极大元是图中所有向上通路的终点。 例题选讲 例4.设Z+={x|x?Z?x0},?1, ?2是Z+的2个划分, ?1={{x}|x? Z+}, ?2={Z+ },
文档评论(0)