3-10等价关系及等价类.pptVIP

3-10 等价关系与等价类;复习;对称性（ symmetric ）;传递性（ transitive ）;R1 是对称的。;R2 是自反的、对称的、传递的。;摘要：等价关系是一种特殊的二元关系,体现了关系的自 反、对称和传递的性质,在计算机科学中有重要的应用。网格技术是近年来兴起的一种前沿信息技术,是一种信息社会的网络基础设施,它将互联网上的所有资源互通,更好地实现网络资源共享。网格服务是网格环境中资源的抽象和封装,它遵守网格服务规范,依据服务描述动态创建的Web Service。本文基于等价关系的理论,提出了等价网格服务关系的概念以及资源的划分问题,为服务匹配、服务组合和服务协同的研究提供了理论的支持。;等价关系与等价类的基本概念;一、定义;例如;例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〉},其有向图如图所示,;证明 　 必要性：A/R1＝{[a]R1|a ∈ A}，A/R2 ＝{[a]R2|a ∈ A} R1＝R2，对任意a ∈ A, 有[a]R1＝{x|x ∈ A,aR1x}={x|x ∈ A,aR2x}= [a]R2 所以有{[a]R1|a ∈ A}＝{[a]R2|a ∈ A}即有A/R1=A/R2 充分性：反之设{[a]R1|a ∈ A}＝{[a]R2|a ∈ A} 对任意[a]R1 ∈ A/R1则有[c]R2 ∈ A/R2,使得[a]R1＝[c]R2 所以 a,b ∈R1 a ∈ [a]R1 ∧b ∈ [a]R1 a ∈ [c]R2 ∧b ∈ [c]R2 → a,b ∈R2 所以R1是R2的子集，同理可证R2也是R1的子集。 所以R1＝R2