离散数学第四章二元关系和函数.pptVIP

例题（１）设A为非空集合，A上的关系可以是自反的，反自反的，或则两者都不是．A={1,2,3}R1={1,1,2,2,3,3,1,2}(自反)R2={2,3,3,2}(反自反)R3={1,1,2,2}(两者都不是)第31页，共66页，星期日，2025年，2月5日例题（２）设A为非空集合，A上的关系可以是对称的，反对称的，或则两者都是,两者都不是．A={1,2,3}R4={1,2,2,1,3,3}(对称)R5={1,2,1,3}(反对称)R6={1,1}(两者都是)R7={1,2,2,1,1,3}(两者都不是)第32页，共66页，星期日，2025年，2月5日性质自反/反自反自反关系包含着恒等关系.即IA?R.反自反关系R一定与IA不交,即IA?R=?如果IA?R??且IA?R,则两者都不是.对称/反对称A上的对称关系满足R-1=R.反对称关系满足R?R-1?IA.如果两者都是R?IA传递满足RoR?R第33页，共66页，星期日，2025年，2月5日例题(3)判断下面关系的性质123123123第34页，共66页，星期日，2025年，2月5日关系演算后的性质自反性反自反性对称性反对称性传递性R-1?????R1?R2?????R1?R2?????R1-R2?????R1oR2?????运算原有性质第35页，共66页，星期日，2025年，2月5日证明(1)设R1,R2为A上的对称关系,证明R1?R2也是A上的对称关系.证明:对任意的x,y,x,y?R1?R2?x,y?R1?x,y?R2?y,x?R1?y,x?R2?y,x?R1?R2第36页，共66页，星期日，2025年，2月5日证明(2)R1,R2是A上的反对称关系,则R1?R2不一定是A上的反对称关系,例如A={x1,x2},R1={x1,x2},R2={x2,x1}.R1?R2={x1,x2,x2,x1}.第37页，共66页，星期日，2025年，2月5日内容提纲集合的笛卡尔积与二元关系关系的运算关系的性质关系的闭包等价关系和偏序关系函数的定义和性质函数的复合和反函数第38页，共66页，星期日，2025年，2月5日自反闭包,对称闭包,传递闭包定义4.11:设R是非空集合A上的关系,R的自反闭包(对称闭包或传递闭包)是A上的关系R’,且R’满足以下条件:R’是自反的(对称的或传递的);R?R’;对A上的任何包含R的自反关系(对称或传递关系)R’’都有R’?R’’.一般将R的自反闭包记作r(A),对称闭包s(A),传递闭包t(A)第39页，共66页，星期日，2025年，2月5日例题例4.10设A={a,b,c,d},R={a,b,b,a,b,c,c,d},则R和r(A),s(A),t(A)的关系图如下:abcdabcdabcdabcdRr(R)s(R)t(R)第40页，共66页，星期日，2025年，2月5日定理定理4.4:设R为非空集合A上的关系,则有r(R)=R?R0;s(R)=R?R-1;t(R)=R?R2?R3?....第41页，共66页，星期日，2025年，2月5日求各种闭包R={a,b,b,a,b,c,c,d},求r(A),s(A),t(A)r(A)=R?R0={a,b,b,a,b,c,c,d}?{a,a,b,b,c,c,d,d}={a,b,b,a,b,c,c,d,a,a,b,b,c,c,d,d}s(A)=R?R-1={a,b,b,a,b,c,c,d}?

{b,a,a,b,c,b,d,c}=

{a,b,b,a,b,c,c,d,c,b,d,c}t(A)=R?R2?R3={a,b,b,a,b,c,c,d}?

{a,a,b,b,a,c,b,d}?{a,b,a,d,b,a,b,c}

={a,a,a,b,a,c,a,d,b,a,b,b,b,c,b,d,c,d}第42页，共66页，星期日，2025年，2月5日采用关系矩阵求闭包设R的关系矩阵为M,求相应的自反、对称、传递闭包的矩阵为Mr，Ms，Mt，则有Mr=M+E；Ms=M+M’Mt=M+M2+M3+...E表示同阶的单位矩阵,M’为M的转置,而+均表示矩阵中对应元