离散数学第2版教学课件-关系的性质.pdfVIP

4.2 关系的性质 关系的性质主要有五种 ：自反性，反 自反性，对称 性，反对称性和传递性。 4.2 关系的性质 定义4.4 设R为A上的关系， （1）若 x(x  A  x, x  R) ，则称R在A上是 自反的。 （2）若 x(x  A  x, x  R) ，则称R在A上是反 自反的。 例如以下关系是 自反的 ： A上的全域关系E ，恒等关系I ，小于等于关系L 以及整除关系D 等都是A上的 A A A A 自反关系，包含关系R 是给定集合族上的自反关系。  以下关系是反 自反的 ： 小于关系和真包含关系都是给定集合或集合族上的反 自反关系，空关系是A上的 反 自反关系。 4.2 关系的性质 自反关系与反 自反关系的关系矩阵与关系图 ： （1）若R在A上是 自反的，由定义4.4可知，R的关系矩阵M 的主对角线元素全为