第七章二元关系.ppt

第七章: 二元关系 主要内容 有序对与笛卡儿积 二元关系的定义与表示法 关系的运算 关系的性质 关系的闭包 等价关系与划分 偏序关系 本章与后面各章的关系 是函数的基础 是图论的基础 第七章: 二元关系 第一节：有序对与笛卡儿积 7.3 关系的运算 例：R = {1, 2, 1, 3, 2,2, 2,4, 3,2}, 求： 7.3 关系的运算 优先顺序： 逆运算优先于其他运算 关系运算优先于集合运算 没有规定优先权的运算以括号决定运算顺序 7.3 关系的运算 证明 R?(S∩T)?R?S∩R?T ? x,y∈R?(S∩T)? ?t (x,t∈R∧t,y∈S∩T) ? ?t (x,t∈R∧t,y∈S∧t,y∈T)? ?t ((x,t∈R∧t,y∈S) ∧(x,t∈R∧t,y∈T))? ?t (x,t∈R∧t,y∈S) ∧?t (x,t∈R∧t,y∈T) ? x,y∈R?S∧x,y∈R?T? x,y∈R?S∩R?T 7.5 关系的闭包 关系图分别为G，Gr，Gs，Gt，那么： 考察G的每个顶点，如果没有环就加上一个环，最终得到的是Gr 考察G的每一条边，如果有一条从xi到xj的单向边，则在G中加一条xj到xi的反方向边，最终得到Gs 考察G的每个顶点xi，找出从xi出发的所有2步，3步，…，n步长的路径。设路径的终点为xj1， xj2， …， xjk。如果没有从xi到xjl的边，就加上这条边，最终得到Gt 第七章 习题课 关系的八种运算： 定义域： 值域： 域： 逆： 右复合： 限制： 像： 幂： R0 =?A；Rn+1=Rn?R 第七章 习题课 关系运算的五种性质: 第七章 习题课 关系的三种闭包： 自反闭包： r(R)=R??A 对称闭包： s(R)=R?R-1 传递闭包： t(R)= R1?R2?… 第七章 习题课 A上的等价关系： 自反的；对称的；可传递的 等价类： [x]R ={y|y∈A ? xRy} 商集： R的所有等价类构成的集合， 记为A/R：{[x]R | x? A} 划分： A的非空子集族S={A1, A2,… Am}，满足： ??S ?x?y(x, y?S?x≠y?x∩y=?) A1∪A2 ∪… ∪Am= A A上的偏序关系与偏序集 作业 4 13 15 20 25 26 36 46 基本要求 熟练掌握关系的三种表示法 能够判定关系的性质，以及等价关系、偏序关系 掌握含有关系运算的集合等式 掌握等价关系、等价类、商集、划分、哈斯图、偏序集等概念 计算A?B, dom R, ranR, fldR, R?1, R?S , Rn , r(R), s(R), t(R) 求等价类和商集A/R 给定A的划分?，求出? 所对应的等价关系 求偏序集中的极大元、极小元、最大元、最小元、上界、下界、上确界、下确界 掌握基本的证明方法 证明涉及关系运算的集合等式 证明关系的性质、证明关系是等价关系或偏序关系 练习1 1．设A = {1, 2, 3}, R = {x,y | x, y?A且x+2y ? 6 }， S = {1,2, 1,3,2,2}, 求: (1) R的集合表达式 (2) R?1 (3) dom R, ran R, fld R (4) R?S, R3 (5) r(R), s(R), t(R) 解答 (1) R = {1,1, 1,2, 2,1, 2,2, 3,1} (2) R?1 = {1,1, 2,1, 1,2, 2,2, 1,3 } (3) domR = {1, 2, 3}, ranR = {1,2}, fldR = {1, 2, 3} (4) R?S = {1,2, 1,3, 2,2, 2,3, 3,2, 3,3} R3 = {1,1, 1,2, 2,1, 2,2, 3,1, 3,2} (5) r(R) = {1,1, 1,2, 2,1, 2,2, 3,1, 3,3} s(R) = {1,1,1,2,2,1, 2,2, 3,1, 1,3} t(R) = {1,1, 1,2, 2,1, 2,2, 3,1, 3,2} 练习2 2．设A={1,2,3,4}，在A?A上定义二元关系R： x,y,u,v?R ? x+y = u+v， 求R导出的划分. A?A={