3集合与关系1案例.ppt

A ∪ B 2、定理3-7.1：设R，R1和R2均是A到B的二元关系， 1 Rc c R 2 R1∪ R2 c R1c ∪ R2c 3 R1 ∩ R2 c R1c ∩ R2c 4 A×B c B×A 5 ?R c ? Rc 这里 ? R A×B - R 6 R1 - R2 c R1c - R2c 证明： 2 ? x，y ? R1∪R2 c ? y，x ?R1∪R2 ? y，x ?R1 ? y，x ?R2 ? x，y ?R1c ? x，y ?R2c ? x，y ?R1c∪R2c 3、定理3-7.2：设R是X到Y的关系，S是Y到Z的关系，则 R?S c Sc?Rc。 分析：R?S为X到Z的关系， R?S c为Z到X的关系 Sc为Z到Y的关系, Rc为Y到X的关系, Sc?Rc为Z到X的关系 证明： ? z，x ? R?S c ? x，z ?R?S ? ?y y?Y ? x，y ?R ? y，z ?S ? ?y y?Y ? y，x ?Rc ? z，y ?Sc ? z，x ?Sc?Rc 可验证： R?S c Sc?Rc 例：X x，y，z ，Y 1，2，3，4，5 ，R是X上关系，S是X到Y的关系。 R x,x , x,z , y,y , z,y , z,z ， S x,1 , x,4 , y,2 , z,4 , z,5 ，则 R?S x,1 , x,4 , x,5 , y,2 , Z,2 , z,4 , z,5 Rc x,x , y,y , y,z , z,x , z,z Sc 1,x , 2,y , 4,x , 4,z , 5,z Sc?Rc 1,x , 2,y , 2,z , 4,x , 4,z , 5,x , 5,Z R?S c 4、定理3-7.3：设R是X上的二元关系，则 1 R是对称的，当且仅当R Rc 2 R是反对称的，当且仅当R∩Rc?Ix 证明 1 证：? 因为R是对称的， 故? x,y ?R? y,x ?R? x,y ?Rc，所以R Rc。 证：? 若R Rc，因为 x,y ?R? y,x ?Rc? y,x ?R 所以R是对称的。 2 R是反对称的，当且仅当R ∩ Rc ? Ix 证明：若R是反对称的 ? x,y ?R∩Rc? x,y ?R? x,y ?Rc ? x,y ?R? y,x ?R，R是反对称的， 即x y， x,y ? Ix，故R∩Rc?Ix。 若R∩Rc?Ix，即? x,y ?R∩Rc，有 x,y ?Ix，即x y。 又任意 x,y ?R? y,x ?R，有 x,y ?Rc ? x,y ?R∩Rc?Ix ?x y 即 当 x,y ?R? y,x ?R时，有x y，故R是反对称的。 恒等关系： ?A a, a ?a ? A 称为A上的恒等关系。 5、定理：设R、S是X上的自反关系，则R∪S、R∩S、Rc也是X上的自反关系。 设R、S是X上的对称关系，则R∪S、R∩S、Rc也是X上的对称关系。 设R、S是X上的反对称关系，则R∩S、Rc也是X上的反对称关系。 本次作业 P119 4 b d 8 * * 回顾： 自反、反自反关系的特点 关系矩阵的特点 自反关系的关系矩阵的对角元素均为1， 反自反关系的关系矩阵的对角元素均为0。 关系图的特点 自反关系的关系图，每个结点均有自回路， 反自反关系的关系图，每个结点均没有自回路。 回顾： 对阵、反对称关系的特点 关系矩阵的特点 对称关系的关系矩阵是关于主对角线对称； 反对称关系的关系矩阵，rij和rji i≠j 这两个数至多一个是1，但允许两个均为0。 关系图的特点 对称关系的关系图，任何两个不同的结点之间，或者有双向两条弧，或者没有弧。 反对称关系的关系图，任何两个不同的结点之间至多有一条弧，但允许没有弧。 三、传递性 1、定义：设R是集合X上的二元关系，如果对于任意x，y，z?X，每当xRy，yRz时就有xRz，则称R是传递的。 R在X上传递 ? ?x ?y ?z x?X?y?X?z?X?xRy?yRz?xRz 例：实数集R上的“ ”、“ ”、“≤”、“≥”，集合上的“?”关系，都是传递的。 R1 x,y , z,x , z,y 是传递的， R2 x,b , c,d 也是传递的，它没有违背定义。 R3 x,b , b,x 不是传递的。 非空集合上的空关系是反自反的，对称的，反对称的和传递的，但不是自反的。 空集合上的空关系则是自反的，反自反的，对称的，反对称的和传递的。 非空集合上的全域关系是自反的，对称的和传递的，但不是反自反的和反对称的。 自反的，对称的和传递的 不是反自反的和反对称的 2、定理：设R