*等价关系与划分的一一对应商集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)