第4章二元关系(二)范例.ppt

第4章 二元关系 第4章 二元关系 4.1 二元关系及其表示 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包运算 4.5 等价关系 4.6 相容关系 4.3 关系的性质 定义4.3.1 设R?X×X，(?x)(x?X→?x,x??R)，则称R在X上是自反的。 设R是X上的自反关系，由定义4.3.1知，R的关系矩阵MR的主对角线全为1；在关系图中每一个结点上都有自回路。 设X=?1,2,3?，X上的二元关系 R=??1,1?,?2,2?,?3,3?,?1,2?? R是自反的,它的关系图如图4.5所示，关系矩阵如下： ? MR= 定理4.3.1 设R是X上的二元关系，R是自反的当且仅当IX?R。 证明：设R在X上是自反的，下证IX?R。 ?x,y??IX?x=y??x,y??R，即IX?R。 设IX?R，下证R在X上是自反的。 ?x?X??x,x??IX??x,x??R，即R在X上是自反的。 ? 定义4.3.2 设R?X×X，(?x)(x?X→?x,x??R)，则称R在X上是反自反的。 设R是X上的反自反关系，由定义4.3.2可知，R的关