第四节 关系.ppt

第四章 关系 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 第四章 关系 4.4 关系的性质 4.4.3 传递性 定义4.14 设R是集合A上的二元关系，如果对于任意x，y， z∈A，当x，y∈R，y，z∈R，就有x，z∈R，则称二元 关系R在A上是传递的。 R在A上是传递的??x ?y ?z（x∈A∧y∈A∧z∈A∧x， y∈R∧y，z∈R?x，z∈R） 4.4 关系的性质 4.4.3 传递性 例4.13 设A={a，b，c}，R，S，T是A上的二元关系，其中 R={a，a，b，b，a，c} S={a，b，b，c，c，c} T={a，b} 说明R，S，T是否为A上的传递关系。 解 根据传递性的定义知，R和T是A上的传递关系，S不是A上的 传递关系，因为a，b∈R，b，c∈R，但a，c?R。 4.4 关系的性质 4.4.4 关系性质的判定 1．自反性的判定方法 定理4.9 设R是A上的二元关系，则R在A上是自反的当且仅当IA ? R。 证明 先证必要性。 任取x，y，由于R在A上是自反的，则有 x，y∈IA?x，y?A∧x=y?x，y∈R 从而证明了IA ?R。 再证充分性。任取x?A，有 x∈A? x，x∈IA?x，x∈R 因此，R在A上是自反的。 4.4 关系的性质 4.4.4 关系性质的判定 1．自反性的判定方法 R的关系矩阵为： 4.4 关系的性质 4.4.4 关系性质的判定 1．自反性的判定方法 R的关系图为： 4.4 关系的性质 4.4.4 关系性质的判定 2．反自反性的判定方法 定理4.10 设R是A上的二元关系，则R在A上是反自反的当且仅 当IA∩R=?。 例4.15 设集合A={a，b，c，d}，A上的二元关系R={a，b， a，c，b，a，b，c，c，a，c，d，d，c}，讨论R 的性质，写出R的关系矩阵，画出R的关系图。 解 由于a，a，b，b，c，c，d，d?R，即IA∩R=?， 所以R是反自反的。 4.4 关系的性质 4.4.4 关系性质的判定 2．反自反性的判定方法 R的关系矩阵为： 4.4 关系的性质 4.4.4 关系性质的判定 2．反自反性的判定方法 R的关系图为： 4.4 关系的性质 4.4.4 关系性质的判定 3．对称性的判定方法 定理4.11 设R是A上的二元关系，则R在A上是对称的当且仅当 R=R–1。 例4.16 设集合A={a，b，c，d}，A上的二元关系R={a，b， a，c，b，a，b，c，c，a，c，b，c，d，d，c， d，d}，讨论R的性质，写出R的关系矩阵，画出R的关系图。 解 因为a，a?R，所以R不是自反的。 由于d，d∈R，即IA∩R??，所以R不是反自反的。 R–1={a，b，a，c，b，a，b，c，c，a，c，b，c， d，d，c，d，d}，R=R–1，由上面的定理可知，关系R是对 称的。 4.4 关系的性质 4.4.4 关系性质的判定 3．对称性的判定方法 R的关系矩阵为： 4.4 关系的性质 4.4.4 关系性质的判定 3．对称性的判定方法 R的关系图为： 4.4 关系的性质 4.4.4 关系性质的判定 4．反对称性的判定方法 定理4.12 设R是A上的二元关系，则R在A上是反对称的当且仅 当R∩R–1?IA。 ： 例4.17 设集合A={a，b，c，d}，A上的二元关系R={a，c，b，a，b，c，c，d，d，a，d，d}，讨论R的性质，写出R的关系矩阵，画出R的关系图。 解 因为a，a?R，所以R不是自反的。 由于d，d∈R，即IA ∩R??，所以R不是反自反