东南大学离散数学演示课件.ppt

7.4 关系的性质 自反性 ?a∈A，有a,a∈R，则R为A上的自反关系 反自反性 ?a∈A，有a,a ?R，R为A上的反自反关系 例 A={a,b,c} R1={a,a,b,b,c,c,a,b,c,a} R2={a,b,b,c,c,a} R3={a,a,b,c} 7.4 关系的性质 例：R是I+上的整除关系，则R具有自反性。 证明：?x∈I+，x能整除x， ∴x,x∈R，∴R具有自反性。 例：R是I上的同余关系，则R具有自反性， 证明：?x∈I，(x-x)/k=0∈I, ∴x与x同余∴x,x∈R∴R具有自反性 其它≤，≥关系，均是自反关系。 7.4 关系的性质 例：N上的互质关系是反自反关系。 证明：?x∈N，x与x是不互质的， ∴x,x ? R，∴R具有反自反关系。 实数上的＜,＞关系,均是反自反关系。 7.4 关系的性质 关系矩阵的特点 自反关系的关系矩阵的对角元素均为1， 反自反关系的关系矩阵的对角元素均为0。 关系图的特点? 定理：R是A上的关系，则： R是自反关系的充要条件是IA?R R是反自反关系的充要条件是R∩IA=Ф。 7.4 关系的性质 对称性 ?a,b∈A,如果a,b∈R,则必有b,a∈R,R为A上的对称关系。 例 R1＝{1,1,2,3,3,2} R1是对称的 R2＝{1,1,3,3} R2是对称的 R3＝{2,2,2,3,3,2,3,1} R3不是对称的 7.4 关系的性质 例：R是N上的互质关系,R具有对称性。 关系矩阵特点 对称关系的关系矩阵是对称矩阵 关系图特点？ 定理： R在A上对称当且仅当R=R-1 7.4 关系的性质 反对称性 ?a,b∈R,如果a,b∈R且b,a∈R,则必有a＝b, R是A上的反对称关系 ?a,b∈A,如a≠b,a,b∈R,则必有b,a?R。 例: A＝{a,b,c} R＝{a,a,b,b} S＝{a,b,a,c} T＝{a,c,b,a,a,b} R,S是反对称的,T不是反对称的 7.4 关系的性质 例: 实数集合上≤关系是反对称关系 ?x,y∈实数集,如x≠y,且x≤y,则y≤x不成立 例≥,,关系,均是反对称关系。 反对称关系矩阵和关系图特点？ 定理： R在A上反对称当且仅当R∩R-1 ? IA 7.4 关系的性质 传递性 ?a,b,c∈A,如果a,b∈R,b,c∈R, 必有a,c∈R, 称R为A上的传递关系 例 R1＝{x,y,z,x,z,y} 是传递关系 R2＝{a,b,c,d} 是传递关系 R3＝{a,b,b,a} 不是传递关系 7.4 关系的性质 例:整除关系DI＋是I＋上的传递关系。 ?x,y,z∈I＋,如x,y∈DI＋,y,z∈DI＋,即x能整除y,且y能整除z,则必有x能整除z, x,z∈DI＋ 例:P(A)上的包含关系?具有传递性。 若u?v,v?w,则必有u?w 例:实数集上的≤关系具有传递性。 若x≤y,y≤z必有x≤z 7.4 关系的性质 传递关系关系图特点 如果结点a能通过有向弧组成的有向路径通向结点x,则a必须有有向弧直接指向x,否则R就不是传递的 例R={a,b,b,c,c,d,a,c} 定理：R在A上传递当且仅当R·R ? R 7.4 关系的性质 7.4 关系的性质 例 X={1,2,3} R1={1,2,2,3,1,3} 7.4 关系的性质 7.4 关系的性质 X={1,2,3}, R5= ? 反自反的，对称的，反对称的，可传递的 若X= ? ，X上的空关系 自反的，反自反的，对称的，反对称的，可传递的 7.5 关系的闭包 定义 R是非空集合A上的关系，若A上另外有一个关系R’满足如下三条， R’是自反的（对称的，传递的） R?R’ A上任何一个满足以上两条的关系R”，均有R’?R”，称关系R’为R的自反（对称,传递）闭包,记作r(R),（s(R),t(R)） 7.5 关系的闭包 解释 R’是在R的基础上添加有序对 添加元素的目的是使R’具有自反性(对称性,传递性) 添加后使之具有自反性(对称性,传递性)的所有关系中R’是最小的一个 7.5 关系的闭包 7.5 关系的闭包 例R={a,b,b,a,b,c,c,d,d,e}，求R的传递闭包 7.5 关系的闭包 定理 R是非空集合A上的关系,则r(R)=R??A 证明: R?R??A R??A是自反的. 设R”满足R?R”,R”是自反的,?a,b?R??A 则a,b?R或a,b??A 如a,b?R,由R?R”知a,b?R” 如a,b??A,由R”的自反性知a,b?R”。 均有a,b?R” ?R??A?R” 7.5 关系的闭包 定理: 设R是非空集A的关系,则s(R)=R?R-1 证明: R?R?R-1满足定