(黄)第2章二元关系(2016-3-26)资料.ppt

Ｒ是等价关系，但不直观，若用关系图表示较直观。 三个不连通的图 二元关系R是自反的，对称的，传递的，且把Ａ分成了三个等价类： {０},{１,２,３},{４,５} * 商集的元素个数|A/R|(即Ａ在Ｒ下的等价类个数) 称为Ｒ的秩, 即: 以集合A上的等价关系R确定的所有互不相同的等价类作为元素而构成的集合, 称为A关于等价关系R的商集. 即 2、等价关系R将A分成若干等价类，每个类选个代表组成新的集合称为A关于R的商集，表示为A/R。 例在上例中 A/R={{0},{1,2,3},{4,5}} ={[0]R,[1]R,[4]R} * 把集合Ａ分为若干非空子集Ａ1,Ａ2,…An满足： （1）当ｉ≠ｊ时, Ａi∩Ａj＝? （2）?ａ∈A，?ｉ，使ａ∈Ａi（ｉ=1，2，…，n）, 即: 则集合Pr(Ａ)＝{Ａ1,Ａ2,…,Ａn}称为Ａ的一个划分。 4.集合的划分 * 定理 Ａ上的等价关系Ｒ可确定了A的一种划分 注： (1) Pr(A)?P(A)(A的幂集) (2) 当且仅当A=Ф时，Pr(A)=Ф,P(A)={Ф} (3) 当A非空时, Pr(A)?P(A) * 反之,给定了集合Ａ的任一种划分Pr(Ａ), 也可确定Ａ上的一个等价关系 Pr(A)={[a]R|a∈A};