标签：size 利用 emma src lock img pos 技术 info
- 自反性(reflexive)
- 对称性(symmetric)
- 传递性(transitive)
这些利用图都易证
想证明某个关系，也只需证明其具有这三种性质即可
设R是定义在集合A上的等价关系。与A中的一个元素a有关系的所有元素的集合叫做a的等价类，记作:[a]R.
如果b∈[a]R，那么b叫做这个等价类的代表元.
容易知道，一个等价类的任何元素都可以作为这个类的代表元.
lemma1.
对于定义在A上的等价关系R，以下几个描述等价:
- aRb
- [a] = [b]
- [a]∩[b] = ?
lemma2.
设R是定义在A上的等价关系，那么R的所有等价类构成了A的划分/商集。反之，给定集合A的划分{Ai|i∈I}，那么存在一个等价关系R，它以集合Ai(i∈I)作为它的所有等价类.
利用逆否式(Contrapositive)证明
标签：size 利用 emma src lock img pos 技术 info
原文地址：https://www.cnblogs.com/SpicyArticle/p/11868626.html
