离散数学及其应用第5章-关系模型与理论(下).pptVIP

* 例 题 【例题】设集合A={1,2,3,4}，R是A上的关系，且有：R={?1,2?,?2,2?,?3,4?}. 试画出R的关系图，并根据关系图求出r(R)，s(R)和t(R). 【解】R的关系图如左图所示. 从关系图上看，如果每个结点都有自环，那么该关系就具有自反性. 故可在R的关系图的结点1，3和4处添加自环，即得到r(R)的关系图，如右图所示，故有：r(R)={?1,2?,?2,2?,?2,3?,?3,4?,?1,1?,?3,3?,?4,4?}. * 例 题 【解】如果关系图的任何一对结点之间要么有方向相反的两条边，要么没有边，那么该关系的关系就具有对称性. 故可在R的关系图中添加2到1、3到2和4到3的有向边，即得到s(R)的关系图，如下图所示，故有：s(R)={?1,2?,?2,2?,?2,3?,?3,4?,?2,1?,?3,2?,?4,3?}； * 例 题 * 总 结 关系的闭包运算 关系闭包的概念 传递闭包的构造 关系闭包的性质 * 传递闭包的构造 * 传递闭包的构造 * 例题 * 例题 * 小 结 关系的基本性质 关系的自反与反自反 关系的对称与反对称 关系的传递性 关系性质的判定 * 传递性的定义 * 例 题 * 例 题 * 例 题 * 小 结 关系的基本性质 关系的自反与反自反 关系的对称与反对称 关系的传递性 关系性质的判定 * 关系性质的判断 * 关系性质的判断 * 关系性质的判断 * 关系性质的判定 * 关系性质的判定 * 关系性质的判定 * 例 题 【例题】试举例说明下列事实： R和S是反自反、反对称和传递的，但是R°S不一定具有反自反性和反对称性；R∪S不一定具有反对称性和传递性； 【解】设A={1,2,3}，R和S是定义在A上的两个关系： R={?1,2?,?2,3?,?1,3?}； S={?3,2?,?3,1?,?2,1?} 显然R，S都是反自反的、反对称和传递的. 但R°S={?1,1?,?2,2?,?2,1?,?1,2?}不具有反自反性和反对称性；R∪S={?1,2?,?2,3?,?1,3?,?3,2?,?3,1?,?2,1?}不具有反对称性和传递性. * 例 题 【例题】试举例说明下列事实： R和S是自反、对称和传递的，但是R°S不一定具有对称性和传递性；R-S不一定具有自反性和传递性. 【解】设A={1,2,3}，R和S是定义在A上的两个关系： R={?1,1?,?2,2?,?3,3?,?1,2?,?2,1?}； S={?1,1?,?2,2?,?3,2?,?2,3?}显然R，S都是自反、对称和传递的. 但是： R°S={?1,1?,?2,2?,?3,3?,?2,3?,?3,2??1,2?,?2,1?,?1,3?}不具有对称性和传递性；R-S={?1,2?,?2,1?}不具有自反性和传递性. * 例 题 【例题】试判断下图关系的性质 【解】图a的关系在集合{1,2,3}上是对称的，因为结点1与2，1与3之间的有向边是成对出现且方向相反；因为有的点有自环，有的点没有自环，故不是自反的，也不是反自反的；因为?2,1?∈R，?1,3?∈R，若是传递关系，必有?2,3?∈R. 然而结点2没有一条指向结点3的有向边，故不是传递的；因为?2,1?∈R且?1,2?∈R，但 1≠2，故不是反对称的. * 例 题 【解】图b的关系是反自反的，因为每个顶点都没有自环；是反对称的，因为两条边都是单向边；是传递的，因为不存在顶a,b,c∈{1,2,3}，使得a到b有边，b到c有边，但a到c没有边. 同理可知，图c的关系是自反的、反对称的，但不是传递的. * 例 题 【例题】设A={1,2,3,4,6,12}，A上的整除关系记为R，则R是自反的、对称的、反自反的、反对称的、传递的吗？画出A中关系R的关系. 【解】关系R是A中的关系，所以它的关系图如下图所示. 从图中容易看出，R是自反、反对称和传递的，不是反自反的，也不是对称的. 容易验证，一般正整数集合中整除关系都具有自反性、反对称性、传递性，而不具有反自反性和对称性. * 例 题 * 例 题 * 本节内容到此结束 * 关系的基本性质 3 关系模型的应用 5 关系的性质闭包 4 本章学习内容 * 计算机应用技术研究所 * 关系的性质闭包 关系的闭包运算 关系闭包的概念 传递闭包的构造 关系闭包的性质 * 关系闭包的概念 * 构造方法 * 例 题 * 例 题 * 构造方法 * 例 题 * 例 题 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应