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

1第1页，共25页，星期日，2025年，2月5日

等价关系的定义与实例定义设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的余数相等.2第2页，共25页，星期日，2025年，2月5日

等价关系的验证验证模3相等关系R为A上的等价关系,因为

?x∈A,有x≡x(mod3)

?x,y∈A,若x≡y(mod3),则有y≡x(mod3)

?x,y,z∈A,若x≡y(mod3),y≡z(mod3),则有x≡z(mod3)自反性、对称性、传递性得到验证3第3页，共25页，星期日，2025年，2月5日

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

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

4第4页，共25页，星期日，2025年，2月5日

等价类定义设R为非空集合A上的等价关系,?x∈A，令

[x]R={y|y∈A∧xRy}称[x]R为x关于R的等价类,简称为x的等价类,简记为[x].实例A={1,2,…,8}上模3等价关系的等价类：

[1]=[4]=[7]={1,4,7}

[2]=[5]=[8]={2,5,8}

[3]=[6]={3,6}5第5页，共25页，星期日，2025年，2月5日

等价类的性质定理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.6第6页，共25页，星期日，2025年，2月5日

实例A={1,2,…,8}上模3等价关系的等价类：

[1]=[4]=[7]={1,4,7}，[2]=[5]=[8]={2,5,8}，[3]=[6]={3,6}以上3类两两不交，{1,4,7}?{2,5,8}?{3,6}={1,2,…,8}7第7页，共25页，星期日，2025年，2月5日

商集定义设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}}8第8页，共25页，星期日，2025年，2月5日

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

(3)∪π=A

则称π是A的一个划分,称π中的元素为A的划分块.9第9页，共25页，星期日，2025年，2月5日

例题例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的划分.为什么？10第10页，共25页，星期日，2025年，2月5日

等价关系与划分的一一对应商集A/R就是A的一个划分不同的商集对应于不同的划分任给A的一个划分π,如下定义A上的关系R：

R={x,y|x,y∈A∧x与y在π的同一划分块中}

则R为A上的等价关系,且该等价关系确定的商集就是π.