重庆大学二元关系().pptVIP

第4章　二元关系 §4.6 等价关系和划分 1 等价关系 定义4.22　设R是非空集合A上的等价关系，A中与x等价的所有元素组成的集合记作[x]R，简记为[x]，称之为x关于R的等价类，表示为 [x]R ＝｛y ?y ∈ A，x，y∈R｝ 定义4.21　设R是集合A上的二元关系，如果有R是自反的、 对称的和传递的，则称R是集合A上的等价关系。如果有 ＜x, y ＞ ∈R，可以记作x～y，称为x与y等价。 一般称只具有自反性和对称性的关系为相容关系。因此，等价关系都是相容关系，但相容关系不一定是等价关系 §4.6 等价关系和划分 定理4.9　设R是非空集合A上的等价关系，则 (1)任何两个等价的元素的等价类相同 (2)任何两个不等价的元素的等价类不存在公共元素 (3)所有A中的元素的等价的类的并集等于A 例　设集合A＝{1, 2, 3, 4, 5 }，R为A上的二元等价关系： R＝{1, 1，1, 2，1, 4，2, 1，2, 2，2, 4，3, 3，3, 5，4, 1，4, 2，4, 4，5, 3，5, 5}，请用等价关系对集合A分类。 解　利用等价关系对集合A分类，可得： [1]＝[2]＝[4]＝{1, 2, 4} [3]＝[5] ＝{3, 5} §4.6 等价关系和划分 定义4.23　设R是集合A上的等价关系，称由所有A中的元素的等价类组成的集合为A关于R的商集，记作A/R