[工学]离散数学第四讲关系.pptVIP

如果?是偏序关系，或a ? b，或b ? a，则说a和b是可比的。但偏序集中的元素不一定是都可比的，所以才称“偏序”。下面介绍的都是可比的情况。 * * 定义4.3.15 设A,?为偏序集，若对任意a,b?A，a与b都是可比的，即?a,b?A?a?b ? b?a 则称?为A上全序（或线序）关系，这时称A,?为全序集，或线序集，或链。 由定义可以看出，全序集的哈斯图为一竖立的结点序列，或者说所有结点位于竖线上。 * * 定义4.3.16 设A, ?为全序集，若A的任意非空子集都有最小元，则称?为A上的良序关系，称A, ?为良序集。 可以证明：N, ?是良序集。 * * 小结－本讲基本要求 熟练掌握关系的三种表示法 能够判定关系的性质（等价关系或偏序关系） 掌握含有关系运算的集合等式 掌握等价关系、等价类、商集、划分、哈斯图、偏序集等概念 计算A?B, dom R, ranR, fldR, R?1, R?S , Rn , r(R), s(R), t(R) 求等价类和商集A/R 给定A的划分?，求出? 所对应的等价关系 求偏序集中的极大元、极小元、最大元、最小元、上界、下界、上确界、下确界 掌握基本的证明方法 证明涉及关系运算的集合等式 证明关系的性质、证明关系是等价关系或偏序关系 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1．等价关系 定义4.3.2 设R为非空集合上的关系，如果R是自反的、对称的和传递的, 则称R为A上的等价关系。设R是一个等价关系, 若 x,y∈R, 称x等价于y, 记做x～y。 * * 实例 设 A={1,2,…,8}, 如下定义A上的关系R： R={x,y| x,y∈A∧x ≡ y(mod 3)} 其中x ≡ y(mod 3)叫做 x与 y 模3相等, 即x除以3的余数与y除以3的余数相等。 不难验证 R 为A上的等价关系, 因为 (1) ?x∈A, 有 x ≡ x (mod 3) (2) ?x,y∈A, 若x ≡ y(mod 3), 则有y ≡ x(mod 3) (3) ?x,y,z∈A, 若x ≡ y(mod 3), y ≡ z(mod 3), 则有x ≡ z(mod 3) * 另一定义：设m为一正整数而a, b?Z。若存在m，使a-b=km， 则称a与b是模m等价，记为a?b(mod m) * * 模 3 等价关系的关系图 等价关系的实例 * 定义4.3.3 设R为非空集合A上的等价关系，对?a?A，令 [a]R={x|x?A?aRx}，称[a]R为a关于R的等价类，简称a的等价类，简记为[a]。 显然，等价类[a]R非空，因为a?[a]R。 实例： A={1, 2, … , 8}上模3等价关系的等价类： [1] = [4] = [7] = {1, 4, 7} [2] = [5] = [8] = {2, 5, 8} [3] = [6] = {3, 6} * * * 等价类的性质 定理4.3.1 设R是非空集合A上的等价关系, 则 (1) ?a?A, [a]是A的非空子集 (2) ?a,b?A, 如果 aRb, 则 [a] = [b] (3) ?a,b?A, 如果 a b, 则 [a]与[b]不交（ [a] ∩ [b] =?） (4) ∪{[a] | a?A}=A 证 (1) 由定义, ?a?A有[a]?A. 又a?[a], 即[a]非空. (2) 任取 z, 则有  z∈[a] ? a,z∈R ? z,a∈R z,a?R∧a,b?R ? z,b?R ? b,z?R 从而证明了z∈[b]. 综上所述必有 [a]?[b]. 同理可证 [b]?[a]. 这就得到了[a] = [b]. * * 等价类的性质 (3) 假设 [a]∩[b]≠?, 则存在 z?[a]∩[b], 从而有z?[a]∧z?[b], 即a,z?R∧b,z?R成立. 根据R的对称性和传递性必有 a,b?R, 与 a b矛盾 (4) 先证∪{[a] | a?A} ? A. 任取b, b?∪{[a] | a?A} ? ?a(a?A∧b?[x]) ? b?[a]∧[a] ? A ? b?A 从而有∪{[a] | a∈A} ? A 再证A ? ∪{[a] | a∈A}. 任取b b?A ? b?[b]∧b?A ? b∈∪{[a] | a?A} 从而有∪{[a] | a∈A} ?