《45关系的闭包》课件.pptVIP

4.5　关系的闭包 集合Ａ上的关系Ｒ，它往往不具有4.4节中讨论过的某些性质，考虑适当扩大Ｒ以使其满足要求，这一想法就导致闭包概念的引入。 一、闭包的定义 定义4.5.1　设Ｒ是非空集合Ａ上的关系，若Ａ上的关系 满足下列条件： （1） ， （2） 是自反的(对称的、传递的)， （3）若 是自反的(对称的、传递的)且 ，就有 。 则称 是Ｒ的自反(对称、传递)闭包，记为 ( )。 闭包是包含Ｒ并且具有自反(对称、传递)性质的最小关系，并且关系Ｒ是自反(对称、传递)的当且仅当Ｒ的自反(对称、传递)闭包就是Ｒ本身。 二．闭包的结构 定理4.5.2　(自反闭包的结构)设Ｒ是非空集合Ａ上的关系，则 证. 记 ，则 满足定义4.5.1的(1)(2), 设 是自反的，且 ，往证 (3), 对 ，有二个情形： 一、若 ，则 ； 二、若 ，即 ，则 总之， ，因此 。 例4.5.1　整数集Ｚ上＜（小于）关系的自反闭包是≤（小于等于）关系； 关系的自反闭包是全关系； 空关系的自反闭包是恒等关系； Ｚ上定义关系： ，则Ｒ的自反闭包 。 定理4.5.3　(对称闭包的结构)设Ｒ是非空集合Ａ上的关系，则 证. 记 ，则 满足定义2.5.1中的条件(1) (2)。设 是对称的，下面证明 若 ，则有二种情形： 情形1， ，则 ， 情形2， ，则 ，于是 故 。 综合得， ，于是 满足条件(3)从而 就是Ｒ的对称闭包。 例4.5.2　整数集Ｚ上＜（小于）关系的对称闭包是≠（不等于）关系； ≤(小于等于)关系的对称闭包是全关系。 定理4.5.4　(传递闭包的结构)设Ｒ是非空集合Ａ上的关系，则 证. 记 ，则 满足定义2.5.1中的条件(1)。 设 ，则存在正整数 ，使 且 ，于是 ，满足条件(2)， 再设 ，则存在 使 ，于是存在 使 ，其中 ，则有 ，从而 定理4.5.5　 (有限集上的传递闭包的结构)设Ａ是ｎ个元素的集合，Ｒ是其上的关系，则 当Ａ是ｎ个元素的集合时，结合关系矩阵的定义可得关系Ｒ闭包所对应的矩阵： 例4.5.3　设 上的二元关系Ｒ为 求 解　R的关系矩阵 及 用集合形式表示为 三、闭包的性质 定理4.5.6　设R是非空集合Ａ上的关系，则 （1）如果R是自反的,那么s(R)和t(R)也是自反的； （2）如果R是对称的,那么r(R)和t(R)也是对称的； （3）如果R是传递的,那么r(R)是传递的。 证. (1)因R自反, 故 , 于是s(R)是自反的同理 t(R) 也是自反的。 (2)因R是对称的, 故 , 而 于是 r(R)是对称的； 对于 t(R) , 若 , 则存在k 使 , 而 ,于是t(R)是对称的。 (3)因R是传递的,故 ,而 于是r(R)是传递的。 定理4.5.7　设R是非空集合Ａ上的关系，则 (3)证.注意到一个事实,若关系 ,则有