第三章 集合与关系(4--12节).pptVIP

3-11 相容关系 图4.5.1 关系矩阵 从关系图和关系矩阵中可以看出，关系R是相容关系。因为在关系图中，每个节点都有环且任意两个节点之间如有连线，必有双向线；在关系矩阵中，其对角线上各元素均为1，且关系矩阵以对角线为轴对称。 约定：相容关系的关系图上，不画出每个元素的环、每对双向线，只画出无向连线。相容关系的关系矩阵中，只画出主对角线以下的下三角矩阵。 3-11 相容关系 图4.5.2 关系图 图4.5.3 关系矩阵 3.11 相容关系 给定非空集合A，设有集合 ，其中 ，且 ， ，且 ，则称集合S为集合A的覆盖。 由覆盖可以构造相容关系。 例如，设 ， ， ，则S和T均是A的覆盖，且两者不同。 定理3.11.1 给定集合A上的一个覆盖 ，由它确定的关系 是相容关系。 从这个定理可以看出，给定集合A上的任一覆盖，就可以构造出与此覆盖相对应的一个相容关系。但是，请注意： 不同的覆盖可以构造出相同的相容关系。 相容类：设r是集合A上的相容关系，若C?A，如果对于C中任意两个元素a1,a2有a1ra2，称C是由相容关系r产生的相容类。 3-11 相容关系 定义3.11.3 设R是集合A中的相容关系，若有 ，使得对于任意的 ，必有 ，并且在 中，没有任何一个元素与 中的所有元素都有R关系，则称 是由R产生的最大相容类。 例如，例4.5.1中的相容关系有以下4个最大相容类： 由R所产生的所有最大相容类所构成的集合，称为集合A的完全覆盖。 根据任意一个给定的集合A的相容关系R，求它的完全覆盖有两种常用的方法。 在相容关系图中，最大完全多边形的顶点集合，就是最大相容类。所谓完全多边形，就是其每个顶点都与其它顶点连接的多边形。例如一个三角形是完全多边形，一个四边形加上两条对角线就是完全多边形。 3-6 关系的性质 定义3.6.1 设R是集合A上的二元关系。若对任意一个a∈A，都有aRa，即a, a ∈R ，则称R是自反的。即R是自反的 。 也就是说，在自反关系中，每个元素都和自己有关系。 例如，设R是整数集上的≥关系，则R是自反的。因为对于任意一个整数a，都有a≥a成立。 定义3.6.2 设R是集合A上的二元关系。若对任意一个a∈A , 都有 ，即 ，则称R是反自反的。即R是反自反的 。 也就是说，在反自反关系中，每个元素都和自己没有关系。 例如，设R是整数集上的 关系，则R是反自反的。因为对于任意整数a，都有a a 不成立。 一个关系不是自反的，不一定就是反自反的。同样，一个关系不是反自反的，也不一定就是自反的。例如：在集合 上定义的二元关系 既不是自反的也不是反自反的。 3-6 关系的性质 定义3.6.3 设R是集合A上的二元关系。若对任意的a, b∈A ，当a, b∈R时 ，就有b, a ∈R ，则称R是对称的 。即 R是对称的 例如，平面上各三角形集合中，三角形的相似关系是对称的。 定义3.6.4 设R是集合A上的二元关系。若对任意的a, b∈A ，当a, b∈