第2-2篇 二元关系new.ppt

第2-2章 二元关系 2-2-1 集合的笛卡儿积 定理1.1 笛卡儿积运算对集合的并、交、差运算满足分配律。 如何确定矩阵MR○S中的元素？ ai ,bj∈R ∧ bj , ck∈S ai , ck∈ R○S ? rij=1 sjk=1 MR第i行， MS的第k列中至少有一个这样的j, 使rij=1且sjk=1，则MR○S中的第i行第k列的位置 上记1 (dik=1) ，否则记0 (dik=0)。 dik=1 ∧ ? MR○S= MR● MS =(dik)m×p 其中dik= 逻辑加 逻辑乘 1∨1=1， 1∨0=1， 0∨1=1， 0∨0=0 1∧1=1， 1∧ 0=0，0∧1=1， 0∧0=0 例2、设A={a,b}，B={1,2,3,4}, C={5,6,7}， R={a,1,a,2,b,3},S={2,6,3,7,4,5}， 求R○S， S○R 解：R○S ={a,6,b,7}, MR○S= MR● MS 设二元关系R? A×A，IA是A上恒等关系， 则有 R○ IA =R IA ○ R =R IA ○ IA = IA 3、关系的逆运算 定义3.2 给定关系R?A×B,R的逆关系记作Rc, Rc ={y,x|x,y∈R} 。 Rc ?B×A R 与 Rc 对应的关系图和关系矩阵的有什么联系？ 例3、 设A={1,2,3,4}，A上的关系， R＝{1,4,2,3,2,4,3,2} x,y∈R ? y,x∈Rc 关系的逆运算的性质： 定理3.4 设R和S都是从A到B的二元关系，则 (1) (Rc)c = R (2) (R∪S)c = Rc∪Sc (3) (R∩S)c = Rc ∩Sc (4) (A×B)c = B×A 证明： 任取x,y x,y∈ (Rc)c ? y,x∈ Rc ? x,y∈ R 所以 (Rc)c = R 证明： 任取x,y x,y∈ (R∪S)c ? y,x∈R∪S ? y,x∈R ∨ y,x∈ S ? x,y∈Rc ∨x,y∈Sc 所以 (R∪S)c = Rc ∪Sc ? x,y∈Rc∪Sc (7) (R－S)c = Rc － Sc 定理3.5 设R是从A到B的二元关系，S是从B到C 的二元关系，则 (R ○ S)c= Sc ○ Rc 2-2-4 关系的性质 自反、反自反、对称、反对称、传递 1、关系性质的概念 定义4.1 设R是定义在集合X上的二元关系，则 如果对于任意 x∈X，都有 x , x ∈R，称 X上的二元关系R具有自反性。 ? x(x∈X→x , x∈R) ? R在X上是自反的。 IX?R (IX 是X上的恒等关系), 例如：实数集合上的大于等于关系“≥” 集合间的包含关系；命题间的等价关系、蕴涵关系 关系图中每个顶点上都有环； 关系矩阵主对角线都是1 (2) 如果对于任意 x∈X，都有 x , x ?R，称 X上的二元关系R具有反自反性。 ? x(x∈X→x , x?R) ? R在X上是反自反的。 IX∩R=Φ 例如：实数集合上的大于关系“” 集合间的真包含关系 关系图中每个顶点上都无环；关系矩阵主对角线都是0 例 设A={1,2,3}，R1，R2，R3是A上的关系，其中 R1＝{1,1,2,2}R2＝{1,1,2,2,3,3,1,2}R3＝{1,3} 说明R1，R2和R3是否有自反性和反自反性。 自反 反自反 自反关系和反自反关系不是非此即彼，可能都不成立。 × × × √ × √ (3) 若 ?x?y(x,y∈R→y,x∈R)，则称R为X上 对称的关系。 (4) 若 ?x ?y(x,y∈R∧y,x∈R→x=y)， 则称R为X上的反对称关系。 朋友关系、兄弟关系 例如：实数集合上的大于等于关系“≥” 父子关系 R=Rc R∩Rc ?IA 关系图中不同顶点之间如果有边，都是双向边； 关系矩阵关于主对角线对称。 关系图中不同顶点之间如果有边，都是单向边； 关系矩阵中，如果rij=1且i≠j,则rij=0 。 例 设A＝{1,2,3}，R1，R2，R3和R4都是A上的关系， 其中 R1，R2，R3和R4是否为A上对称和反对称的关系。 R1＝{1,1,2,2}R2＝{1,1,1,2,2,1}R3＝{1,2,1,3}R4＝{1,2,2,1,1,3} 对称 反对称 √ √ × √ × × × √ (5) 若 ?x?y?z(x,y∈R∧y,z∈R→x,z∈R)， 则称R为X上的传递关系。 例如：实数集合上的大于等于关系“≥” 集合上的包含关系 命题的蕴涵关系，等价