(第13讲)二元关系.ppt

定义 设R是非空集合A上的等价关系，对任意的a?A，令 [a]R={x|x?A∧xRa}， 则称集合[a]R为a关于R的等价类，简称为a的等价类，简记为[a]。其中a为[a]R的代表元； 定义 若等价类个数有限，则称R的不同等价类的个数为R的秩，否则称R的秩是无限的。 由此，前例可表示为：[1]S＝{1，4，7} [2]S＝[5]S＝ [8]S＝ {2，5，8} [3]S＝[6]S＝ {3，6} ＝[4]S＝[7]S 由此，前例中 S的秩为3 思考：请求出 整数集合Z上的模5同余关系的等价类和秩。 　 [0]＝{0，5，10,………} [1]＝{1, 6, 11,………} [2]＝{2, 7, 12,………} [3]＝{3, 8, 13,………} [4]＝{4, 9, 14,………} 则模5同余关系的秩为5。 * 等价类具有下面的性质： 定理 设R是非空集合A上的等价关系，对任意的x,y?A，下面的结论成立。 (1). [x]≠?，且[x] ? A； (2).若xRy，则[x] = [y] ； (3).若 ，则[x]∩[y]= ? ； (4). [1]S ＝[4]S＝[7]S [1]S ?[2]S＝? [1]S?[2]S ? [3]S ＝A 4.4 关系的类型 四、次序关系 一、偏序关系 二、等价关系 三、相容关系 * 一、偏序关系 1 定义 设R是非空集A上的二元关系，如果R具有自反性、反对称性和传递性，则称R是A上的偏序关系，或称半序关系。把偏序关系R记作“ ”，如果a,b∈ ，则记作a b，读作“a小于或等于b”。 注意：定义中的“ ”不是指普通实数中的大小关系的≤，而是指的偏序关系。 * 例1 设集合A＝{a,b,c}，A上的关系 R＝{a,a,a,b,a,c,b,b,b,c,c,c} 从关系图可验证R是偏序关系： (1)每个点均有自回路，故a有自反性。 (2)每两点间最多有一条弧，故有反对称性。 (3) a能间接地通到c，a到c直接有弧。而其它没有了，故R有传递性。 故R是偏序关系。 * 2 偏序关系的哈斯图 定义 集合A和A的偏序关系R一起称为偏序集，记作(A, )或者(A,R) 。 例如 自然数集N和N上的≤关系组成偏序集，记(N,≤) 非零自然数集N和整除关系DN，组成偏序集，记(N,DN) 。 * 对于有限的偏序集(A, )可以用哈斯图来描述。 哈斯图是关系图的简化，其简化规则为: (1). 所有结点的自回路均省略，只用一个结点表示A的元素。 (2). 省略所有弧上的箭头，适当排列A中元素的位置，如a b，则a画在b的下方。 (3).如a b，b c，则必有a c。所以，如a到b有边,b到c有边,则a到c的有向弧必须省略。 * 例1 画出下列偏序集的哈斯图。 (1). ({1,2,3,4,5,6})，DA)， 其中DA为整除关系。 解 (1)：显然： DA={1,1,2,2,3,3,4,4,5,5,6,6,1,2, 1,3,1,4,1,5,1,6,2,4,2,6,3,6} 先画出DA 的关系图，然后按规则简化： 5 3 1 2 4 6 * ①将所有的自回路省略。 ②箭头省略，靠位置和边决定序关系。 ③因1到2，2到4均有边，故1到4的边省略。同样1到6的边也省略。 5 3 1 2 4 6 1 5 3 2 4 6 * 例2 已知偏序集(A, )的哈斯图如图，写出集合A和偏序关系 。  解：根据哈斯图，有：A＝{a,b,c,d,e,f,g,h} =?A ∪ {a,c,c,e, a,e, a,d, d,e, b,c,b,e, f,g} b,d, * 3、最大元、最小元、极大元、极小元 定义 设(A, )是偏序集，集合B?A，(B是A的子集)。 (1). 如存在元素b∈B，使得?x∈B，均有x b，则称b为B的最大元。 (2). 如存在元素b∈B，使得?x∈B，均有b x，则称b为B的最小元。 例:A＝{1,2,3,4,5,6}，D是整除关系，哈斯图为： 则 若 B ＝{1,2,3, 6} 6为B的最大元。 1为B的最小元。 5 3 1 2 4 6 则 若 B ＝{1,2,4} 4为B的最大元。 1为B的最小元。 6 3 1 2 1 2 4 * 有关说明: ①如果A的子集B存在最大元，则最大元是唯一的。 证明:如果b1，b2∈B均是最大元，由b1是最大元,则有b2