离散数学,二元关系和运算.pptVIP

解：逐条性质加以验证R={x,y | (x?y)/3?I} 任取A中元素x，由于(x?x)/3=0，所以R是自反的； 又设A中任意两个元素x,y，如果 xRy，即x?y可被3整除，则y?x也一定可被3整除，即yRx，从而R是对称的； 如果A中三 个元素x，y，z满足xRy， yRz，则x ? y，y?z被3整除，由于x?z=(x?y)+(y?z)，所以x?z被3整除，从而xRz即R具有传递性。 无辫樊霉芳尊衡学锰艳初奋猪得丽捡商幸核颧扎遍酞垣什柳强否缕厦碍液离散数学,二元关系和运算离散数学,二元关系和运算 §4.4 关系的闭包运算 闭包：设R?A?A， 自反闭包 记作 r(R) 对称闭包 记作 s(R) 传递闭包 记作 t(R) 由A求r(R)，s(R)，t(R)的过程叫闭包运算。 那么，包含R而使之具有自反性质的最小关系，称之为R的自反闭包； 包含R而使之具有对称性质(传递性质)的最小关系，称之为R的对称(传递)闭包。 一、定义 脂红咏膝验苇胰则婴痰屡壕基豺矢查抽匈勋嘎科愁钎挨螟曼垒献寅您锅孔离散数学,二元关系和运算离散数学,二元关系和运算 幂运算：设R?A?A，k?N，约定 (1) R0 = IA = {x, x | x?A} (2) R1 = R (3) Rk+1 = Rk ? R 显然 Rm ? Rn = Rm+n (Rm)n = Rmn 二、计算方法 为了有效地计算关系R的各种闭包，先引进关系的幂运算概念。 厅暴冉标新穴皇投闸夸烯舅侄昔呛刺靶促镑啦葬锭袖磺讣暗七腺荣雌骗酚离散数学,二元关系和运算离散数学,二元关系和运算 闭包运算的方法：设R是A上的任一关系，则 (1) r (R) = R∪IA (2) s (R) = R??∪R (3) t (R) = R∪R2∪R3∪… ∪Rn∪… 孤搽辑耿遣歇栈筛樟私呼岳萄着校砷蜜兴晌敞猖让意世竹麓麦宦伶踌额缸离散数学,二元关系和运算离散数学,二元关系和运算 矩阵形式：(M为R的关系矩阵) (1) Mr = M + E (2) Ms = M + M (M 是M的转置) (3) Mt = M+M2+M3…… 其中“ +” 均表示“ 逻辑加” 迪游筛狼切渡春腔借到夯煤饱赚薛氛单审许帧板蜡秩轴萤勘冯瑞踪磷杭朴离散数学,二元关系和运算离散数学,二元关系和运算 例4.8 设A={a,b,c,d}，A上的关系 求 r (R)，s (R) 和 t (R) 解： r(R) = R∪IA ={a, b, b, c, c, d,d, c,, a, a, b, b, c, c, d, d} R={a, b,b,c,c, d,d, c, a, a} = R∪{a,a,b,b,c,c,d,d} 三、实例 钮瓤卤忍嘿构涸芒逸六迫稼教蚌兰苑膝徐沉译湖竹散初骇昭亢艾听住垛丙离散数学,二元关系和运算离散数学,二元关系和运算 s(R) = R∪R?? ={a,b,b,c,c,d,d,c,b,a,c,b,a,a} t(R) = R∪R2∪R3∪…… = R∪{b,a,c,b,d,c,c,d,a,a} 岁弟鼠隧蔡份翅升缘胞疯裕莽侈钡讫亨槛英构谴披吗貌傈柏剑痒耀蒂希勿离散数学,二元关系和运算离散数学,二元关系和运算 而R2 = R ? R R3 = R2 ? R R4 = R3 ? R = {a,c,b,dc,c,d,d,a,b,a,d,a,a} = {a,d,b,c,c,d,d,c,a,b,a,c,a,a} = {a, c, b, d,c, c, d, d,a, b, a, a} 实际上，看到当k ? 4时，已有R4 ? R∪R2∪R3 故 t(R) = R∪R2∪R3 ={a,b,b,cc,d,d,c,a,d,a,c, b,d,c,c,d,d,a,a} 恕玫袜孕无俗峦捉精柿角倚扁唱掘日政奋朋吨凳湾侨矢斑搔便晒谍钉琼吊离散数学,二元关系和运算离散数学,二元关系和运算 四、闭包运算的性质 设A是有限集且|A| = n，R?A?A，则： ? 杯晌涣衔炸肤虱攒憋斥拐姆决迷汰拙拣怂媳粥盈贷逆取灿族褪送绕磁曳戊离散数学,二元关系和运算离散数学,二元关系和运算 §4.6 等价关系和偏序关系 等价关系：集A上的关系R是自反的, 对称的和传递的。 等价类： R是集A上的等价关系，对于任一a?A， [a]R={x | aRx, x?A} 被称为a的等价类。 即A中所有和a有R关系的元素的集合。 一、等价关系及用途 打穷镣羊胰效琳疼嘉帽荡闰兜涯仓休烤逸蛾曝谁咏融宝讼趁唾术轰识赏薪离散数学,二元关系和运算离散数学,二元关系和运算 等价类的性质：R是非空集合，对任意的x，y?A，下面的结论成立： (1) [x]??且[x]?A (等价类为