离散数学课件 第四章 二元关系-3rd.pdf

第四章二元关系 大连理工大学软件学院 陈志奎 教授 办公室：综合楼411 ，Tel 实验室：教学楼A318/323 ，Tel 24 Mobile: Email: zkchen@ zkchen00@ 11 回顾 •关系的定义和性质 •关系的表示方法 – 关系图 – 关系矩阵 •关系的运算 – 关系的合成 – 关系合成的规则 – 关系的幂 – 合成关系的矩阵表达与图解 •关系的逆运算 – 逆运算规则 22 四、关系的闭包运算 闭包的定义：给定集合X ，R是X 中的二元关系。 R ′ 如果有另一个关系 满足 R ′ （1） 是自反的(对称的、可传递的) ； （2 ）R ′⊇R （3 ）对于任何自反的(对称的、可传递的)关 ′′ ′′ ′′ ′ R R ⊇R R ⊇R 系 ，如果 ，则 则称关系 为R 的自反的(对称的，可传递的) 闭′ R 包。并用r(R)表示的R 自反闭包，用s(R)表示R 的对称闭包，用t(R)表示R 的可传递闭包。 33 四、关系的闭包运算 定理：给定集合X ，R是X 中的关系。于是可有 (a) 当且仅当 ，R才是自反的。 (b) 当且仅当s(R) R ，R才是对称的。 (c) 当且仅当t(R) R，R才是传递的。 证明：仅给出（a ）的证明过程 如果是R 自反的，则R具有定义给出的应具 R ′ r (R) R 备 的全部性质。因此有 。反之，如 果r (R) R ，则由定义的(1)得R是自反的。 44 四、关系的闭包运算 定理：设X 是任意集合，R是X 中的二元关系，I 是 X X 中的恒等关系。于是可有 r (R) R IX 在整数集合中，小于关系“” 的自反闭包是 “≤”；恒等关系IX 的自反闭包是IX 。不等关系 “≠”的自反闭包是全域关系；空关系的自反闭 包是恒等关系。