- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
等价关系与等价类;复习;对称性(symmetric);传递性(transitive);;;;大家有疑问的,可以询问和交流;一、定义;例如;例1设T={1,2,3,4},;;
例2设A={1,2,…,8},如下定义A上的关系R:
;关系图如下图所示.
;等价类;例2可求出三个不同的等价类;;(1)a∈[a]R
(2)定理1:设给定集合A上的等价关系R,对于a,b∈A,若a,b∈R,iff[a]R=[b]R。
;(3)设R为集合A上的等价关系,则任意a,b∈A,若a,b
;证明设集合A上的一个等价关系R,则[a]R是A的一个子集,则所有这样的子集可做成商集A/R
1、A/R={[a]R|a∈A}中,∪[a]R=A
2、对任意a∈A,都有aRa,即a∈[a]R,即A中的每一个元素都属于一个分块。
3、A的每个元素只能属于一个分块
反证设a∈[b]R,a∈[c]R,且[b]R≠[c]R,则bRa,cRa成立,所以有aRc,所以bRc,即[b]R=[c]R
所以A/R是A上对应于R的一个划分。;证明:
设集合A的一个划分S={S1,S2…Sm},现定义一个关系:aRb当且仅当a,b在同一个分块中。则R是一个等价关系。
①、a与a在同一个分块中,则有aRa,即自反性
②、a与b在同一个分块中,则b与a在同一个分块中,即若aRb,有bRa,故R是对称的。
③、a与b在同一个分块中,b与c在同一个分块中,而由划分的定义b只能属于且属于一个分块,故a与c必在同一分块中,即若有aRb,bRc则必有aRc,即传递性成立。
所以R是一个等价关系。S=A/R;说明
;
R1={a,b}x{a,b}={a,ab,ba,bb,a}
R2={c}x{c}={c,c}
R3={d,e}x{d,e}={d,de,ed,ee,d}
R=R1∪R2∪R3;例4设A={a,b,c,d,e},R={〈a,a〉,〈a,b〉,〈a,c〉,〈b,b〉,〈b,a〉,〈b,c〉,〈c,c〉,〈c,a〉,〈c,b〉,〈d,d〉,〈d,e〉,〈e,e〉,〈e,d〉},其有向图如图所示,
文档评论(0)