离散数学-新第二章.pptVIP

例3 设 ，下面分别给出集合A上三个关系的关系图，试判断它们的性质。 解 （1） 是自反的，非对称，不是反对称，不可传递。 （2） 非自反，也不是反自反，非对称，反对称， 可传递。 （3） 是自反的，对称的，可传递的，不是反自反，也不是反对称。 三、集合A上关系的闭包 1. 闭包的定义 例4 设 ，A上的关系 ,则 显然， 是自反的。 定义2-10 设 是集合A上的关系，由下式定义的A上的关系 称为 的自反闭包。 定义2-11 设 是集合A上的关系，由下式定义的A上的关系 称为 的对称闭包。 例5 例4中的 。 它不是对称的, 则 显然， 是对称的。 定义2-12 设 是集合A上的关系，由下式定义的A上的关系 称为 的传递闭包。 当A是有限集时，A上只有有限个不同的关系，因此，存在某个正整数m，使得 事实上，可以证明，若 ，则 例6 设 ，A上的关系 则 注意到 , 则