离散数学中关系性质判定方法.pdfVIP

本文为网络收集精选范文、公文、论文、和其他应用文档，如需本文，请下载 离散数学中关系性质的判定方法 本文从网络收集而来，上传到平台为了帮到更多的人，如果您需要使用本文档， 请点击下载按钮下载本文档（有偿下载） ，另外祝您生活愉快，工作顺利，万事 如意！ 离散数学中关系性质的判定方法 关系的概念是离散数学中关系的基础， 又是集合 概念的应用，因此应该真正理解并熟练掌握二元关系 的概念及关系矩阵、关系图表示。而关系的性质既是 对关系概念的加深理解与掌握，又是关系的闭包、等 价关系、半序关系的基础。对于四种性质（自反性、 对称性、反对称性、传递性） ，有如下方法加以判定： 一、依据其定义 1. 自反性： 设 R 是集合 A 上的二元关系，如果对于每一个 a A ，若有（ a，a） R，即 aRa，则称 R 在集合 A 上 具有自反性。 2.对称性： 设 R 是集合 A 上的二元关系，对于任意的 a、b A ，若有（ a，b） R，就有（ b，a） R，则称 R 在集 合 A 上具有对称性。 3.反对称性：本文由论文联盟 http://收集整理 设 R 是集合 A 上的二元关系，对于任意的 a、b 本文为网络收集精选范文、公文、论文、和其他应用文档，如需本文，请下载 本文为网络收集精选范文、公文、论文、和其他应用文档，如需本文，请下载 A ，若（a，b） R 且（ b，a） R 时，必有 a=b，则称 R 在集合 A 上具有反对称性。 4.传递性： 设 R 是集合 A 上的二元关系， 对于任意的 a、b、 c R，若（a，b） R，且（b，c） R，就有（a，c） R， 则称关系 R 在 A 上具有传递性。 二、依据关系矩阵和关系图的关系 1.关系 R 具有自反性，当且仅当在关系矩阵中， 主对角线上元素全为 1；或者在关系图中每个结点上 都有一条自回路。 2.若关系 R 具有对称性， 当且仅当关系矩阵是对 称矩阵；或者在关系图中， 若两个结点间存在有向弧， 必是成对的。 3.若关系 R 具有反对称性， 当且仅当关系矩阵中 以主对角线为对称轴的对称元素不能同时为 1 （可以 同时为 0），而主对角线上的元素是 1 或者是 0；在关 系图上，若两个结点间存在有向弧， 不可能成对出现， 结点可以有自回路。 4.若关系 R 具有传递性，关系矩阵没有明显特 征。关系图的特点是： 任意两个结点 a、b 间若能通过 一条以上的弧间接连结起来，则必有一条直接从 a 到 b 的弧。作为它的一种特殊情况，若两点间各有一条 本文为网络收集精选范文、公文、论文、和其他应用文档，如需本文，请下载 本文为网络收集精选范文、公文、论文、和其他应用文档，如需本文，请下载 直接从 a 到 b 和由 b 到 a 的弧连接时，则在这两个结 点 a、b 上必然各有一条自回路。 对于传递性的判定， 难度稍大一些，要注意两点： 一是不破坏传递性定义，可认为具有传递性。如空关 系具有传递性，同时空关系具有对称性和反对称性， 但是不具有自反性。 二是介绍一种判定传递性的 跟踪 法