等价关系

离散数学中等价关系

等价关系的定义：设R是集合A的二元关系，若R是自反的，对称的，传递的，则称R是等价关系。

1. 由定义可知，所谓等价关系就是具有自反性，对称性和传递性的关系

2. 划分的意思是对一个集合进行分类，并且满足以下条件，划分之后的等价类不为空集，划分之后的等价类的交集必须为空集，划分之后所有等价类的并集为那个集合

3. A={1，2，3}
   则可划分为S1={{1}，{2}，{3}}，s2={{1},{2,3}},s3={{1,2},{3}}
   s4={{1,2,3}},s5={{2},{1,3}}
   例如s1的等价关系可以表示为{<1,1>,<2,2>,❤️,3>}
   其余的等价类的等价关系也可以写出来

4. 等价关系可以导出一个划分，由划分也可以写出等价关系