离散数学第四章等价关系和偏序关系.pptxVIP

14.5等价关系与偏序关系等价关系的定义与实例等价类及其性质商集与集合的划分等价关系与划分的一一对应偏序关系偏序集与哈斯图偏序集中的特定元素

等价关系的定义与实例2定义设R为非空集合上的关系.如果R是自反的、对称的和传递的,则称R为A上的等价关系.设R是一个等价关系,若x,y∈R,称x等价于y,记做x～y.?实例设A={1,2,…,8},如下定义A上的关系R：

R={x,y|x,y∈A∧x≡y(mod3)}

其中x≡y(mod3)叫做x与y模3相等,即x除以3的余数与y除以3的余数相等.12

等价关系的验证3A验证模3相等关系R为A上的等价关系,因为B?x∈A,有x≡x(mod3)C?x,y∈A,若x≡y(mod3),则有y≡x(mod3)D?x,y,z∈A,若x≡y(mod3),y≡z(mod3),E则有x≡z(mod3)F自反性、对称性、传递性得到验证

A上模3等价关系的关系图4设A={1,2,…,8},

R={x,y|x,y∈A∧x≡y(mod3)}

等价类5定义设R为非空集合A上的等价关系,?x∈A，令1[x]R={y|y∈A∧xRy}2称[x]R为x关于R的等价类,简称为x的等价类,简3记为[x].4实例A={1,2,…,8}上模3等价关系的等价类：5=[4]=[7]={1,4,7}6=[5]=[8]={2,5,8}7=[6]={3,6}8

等价类的性质6定理1设R是非空集合A上的等价关系,则

(1)?x∈A,[x]是A的非空子集.

(2)?x,y∈A,如果xRy,则[x]=[y].

(3)?x,y∈A,如果xy,则[x]与[y]不交.

(4)∪{[x]|x∈A}=A，即所有等价类的并集就是A.

实例71A={1,2,…,8}上模3等价关系的等价类：2=[4]=[7]={1,4,7}，3=[5]=[8]={2,5,8}，4=[6]={3,6}5以上3类两两不交，6{1,4,7}?{2,5,8}?{3,6}={1,2,…,8}

商集8定义设R为非空集合A上的等价关系,以R的所有等价类作为元素的集合称为A关于R的商集,记做A/R,A/R={[x]R|x∈A}实例A={1,2,…,8},A关于模3等价关系R的商集为

A/R={{1,4,7},{2,5,8},{3,6}}

A关于恒等关系和全域关系的商集为：A/IA={{1},{2},…,{8}}A/EA={{1,2,…,8}}

集合的划分9定义设A为非空集合,若A的子集族π(π?P(A))满足下面条件：??π?x?y(x,y∈π∧x≠y→x∩y=?)

∪π=A则称π是A的一个划分,称π中的元素为A的划分块.

例题10例1设A＝{a,b,c,d},给定π1,π2,π3,π4,π5,π6如下：π1={{a,b,c},{d}}，π2={{a,b},{c},{d}}

π3={{a},{a,b,c,d}},π4={{a,b},{c}}

π5={?,{a,b},{c,d}},π6={{a,{a}},{b,c,d}}则π1和π2是A的划分,其他都不是A的划分.为什么？

等价关系与划分的一一对应11商集A/R就是A的一个划分1不同的商集对应于不同的划分2任给A的一个划分π,如下定义A上的关系R：3R={x,y|x,y∈A∧x与y在π的同一划分块中}4则R为A上的等价关系,且该等价关系确定的商集就是π.5例2给出A＝{1,2,3}上所有的等价关系6求解思路：先做出A的所有划分,然后根据划分写7出对应的等价关系.8

等价关系与划分之间的对应12π1,π2和π3分别对应等价关系R1,R2和R3.?R1={2,3,3,2}∪IA，R2={1,3,3,1}∪IA

R3={1,2,2,1}∪IAπ4对应于全域关系EA，π5对应于恒等关系IA

实例13例3设A={1,2,3,4}，在A?A上定义二元关系R：x,y,u,v?R?x+y=u+v，求