离散数学集合与关系关系.ppt

例8 设有集合 ， ， A到B的关系 B到C的关系 则 2 3 4 1 2 3 1 2 3 与例7比较得 例9 设 ，A上的关系 试求 和 。 解 作出的关系矩阵 a b c d 因此 根据定理3-5 又 ，所以 因此 （3）利用关系图求复合关系 设 是有限集A上的关系，则复合关系 也是A上的关系，由复合关系的定义，对于任意的 ，当且仅当 存在，使得 ， 时，有 。 反映在关系图上，这意味着，当且仅当在 的关系图中有某一结点 存在，使得有边由 指向 ，且有边由 指向 时，在 的关系图中有边从 指向 。 类似地，对于任意正整数n，当且仅当在 的关系图中存在n-1个结点 ,使得有边由 指向 ,由 指向 ，…由 指向 时，在 的关系图中，有边由结点 指向 。 根据 的关系图构造出 的关系图： 对于 的关系图中的每一结点 ，找出从 经过长为n的路能够到达的结点，这些结点在 的关系图中，边必须由 指向它们。 例10 试利用构造 和 的关系图的方法求例9中的 和 。例中 （4）根据 和 的关系图直接写出 和 中的序偶. 解 （1）先作出 的关系图 （2）构造 的关系图。在 的关系图中寻找长为2的路。 （3）构造 的关系图。在 的关系图中寻找长为3的路. 练习3-7? 设 ，A上的关系 则用列举法表示 则复合关系 2. 设 ，A上的关系 3. 下图给出了集合 上的关系 的关系图，试画出关系 和 的关系图。 关系的性质与闭包 一、集合A上关系的性质 定义3-21 设 是集合A上的关系 （1）若对于所有的 ，均有 ，则称 在A上是自反的。 （2）若对于所有的 ，均有 ，则称 在A上是反自反的。 （3）对于所有的 ，若每当有 就必有 ，则称 在 A 上是对称的。 （4）对于所有的 ，若每当有 和 就必有 ，则称 在 A 上是反对称的。 （5）对于所有的 ，若每当有 和 就必有 ，则称 在 A 上是可传递的。 例1 设 ，  （1）自反与反自反 自反 自反 非自反 反自反 （2）对称与反对称 对称，非反对称 非对称，反对称 非对称，非反对称 对称，反对称 （3）可传递与不可传递 可传递 不可传递 可传递 例2 设 ，A上的关系 则 自反 对称 不是反对称 对于任意的 ，若 ， 则 也是偶数。 因此 是可传递的。 二、如何利用关系矩阵和关系图来判断关系的性质 1. 关系矩阵 1 2 3 4 若 是对称的，则关系矩阵关于主对角线对称。 若 是反对称的，则关系矩阵中，关于主对角线对称的元素不同时为1。 若 是自反的，则关系矩阵的主对角线上的所有元素均为1。 若 是反自反的，则关系矩阵的主对角线上所有元素均为0。 2. 关系图 若 是自反的，则关系图中每一结点引出一个指向自身的单边环。 若 是反自反的，则关系图中每一结点均没有单边环。 若 是对称的，则在关系图中，若两结点之间存在有边，则必存在两条方向相反的边。 若 是反对称的，则在关系图中，任意两个不同的结点间至多只有一条边。 若 是可传递的，则在关系图中，若每当有边由 指向 ，且又有边由 指向 ，则必有一条边由 指向 。 例3 设 ，下面分别给出集合A上三个关系的关系图，试判断它们的性质。 解 （