1.自反性与反自反性定义设R是A上的关系,若对于每一个1.pptVIP

1. 自反性与反自反性 定义：设R是A上的关系，若对于每一个a∈A，都有a,a∈R，则称关系R是A上的自反关系，或称R具有自反性。即：R在A上具有自反性?(?a)(a?A?aRa) 例：实数集R上，“?”，“?”都是自反关系。 特点： 具有自反性的关系矩阵主对角线元素全是1； 关系图上每个结点都有自回路。 思考： 具有自反性的关系与恒等关系有何区别和联系？ 定义：设R是A上的关系，若对于每一个a∈A，都有a,a?R，则称关系R是A上的反自反关系，或称R具有反自反性。即： R在A上具有反自反性?(?a)(a?A?a,a?R) 例：实数集R上，“”和“”是反自反的，∵?a?R,有aa不成立，aa不成立。 特点： 具有反自反性的关系矩阵主对角线元素全是0； 关系图上每个结点都没有自回路。 例：设集合A={a,b,c}上有下列关系：R1={a,a，b,b，c,c，a,b，c,a}R2={a,b，b,c，c,a}R3={a,a,b,c} (4)A上的空关系 分析它们的自反性和反自反性，并画关系图和关系矩阵。 解：R1是自反关系,关系图和关系矩阵略 R2是反自反关系，关系图和关系矩阵略 R3中缺b,b,c,c，故不是自反关系，又因R3中有a,a，故R3又不是反自反关系。关系图和关系矩阵如下： 注意： 如果R不是自反关系，则R未必一定是反自反关系，一个关系可能既不是自