离散数学 (第七版) 课件 耿素云 第1--5章 命题逻辑---图的基本概念 .ppt

离散数学 (第七版) 课件 耿素云 第1--5章 命题逻辑---图的基本概念 .ppt

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

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

则R为A上的等价关系,且该等价关系确定的商集就是π.例2给出A={1,2,3}上所有的等价关系求解思路:先做出A的所有划分,然后根据划分写出对应的等价关系.*等价关系与划分之间的对应π2,π3和π3分别对应等价关系R2,R3和R4.?R2={2,3,3,2}∪IA,R3={1,3,3,1}∪IA

R4={1,2,2,1}∪I

文档评论(0)

1亿VIP精品文档

相关文档