离散数学第2章关系.ppt

三、集合A上关系的闭包 1. 闭包的定义 例4 设 ，A上的关系 ,则 显然， 是自反的。 定义2-10 设 是集合A上的关系，由下式定义的A上的关系 称为 的自反闭包。 定义2-11 设 是集合A上的关系，由下式定义的A上的关系 称为 的对称闭包。 例5 例4中的 。 它不是对称的, 则 显然， 是对称的。 定义2-12 设 是集合A上的关系，由下式定义的A上的关系 称为 的传递闭包。 当A是有限集时，A上只有有限个不同的关系，因此，存在某个正整数m，使得 事实上，可以证明，若 ，则 例6 设 ，A上的关系 则 注意到 , 则 2. 闭包的性质 集合A上关系的三个不同的闭包具有如下类似的性质。 定理2-4 设 是集合A上的关系，则 的自反闭包 具有以下性质： （1） 。 （2） 是自反的。 （3）对于A上任何关系 ，若 自反且 ，则 证明 ，所以性质（1）,（2）显然成立。 设 是A上的关系， 自反且 ， 则由 自反，可知 由 和 知 ，即 。 定理2-5 设 是集合A上的关系，则 的对称闭包 具有如下性质： （1） （2） 是对称的 （3）对于A上任何关系 ，若 对称且 ， 则 证明 所以性质（1）、（2）显然成立， 设 是A上的关系， 对称且 ,则对任意 必有 ，由 ，必有 ， 又由 的对称性，有 ，因此 。 由 和 知 ，即 。 则必存在正整数h和k，使得 ，即 ， 因此 ，故 是可传递的. 证明 根据 ，性质（1）显然成立。 于是 ， 即 ， 定理2-6 设 是集合A上的关系，则 的传递闭包 具有如下性质: （1） （2） 是可传递的 （3）对于A上任何关系 ，若 可传递且 ， 则 。 设 ， 设 是A上的任意一个包含 的可传递关系。 又设 因此必存在元素 ， 使得 因为 ，所以 。 而 是可传递的，因此 即 ，故有 。 ，则存在正整数k，使得 ，即 。 四、如何利用关系矩阵和关系图求关系的闭包 例7 设 ，A上的关系 求 。 1. 利用关系矩阵求 的闭包 (1) 因为  所以 于是 注意 是 的转置矩阵。 根据