第七章关系.pptVIP

Rn的性质 命题：对于任意自然数m，n，有 Rm?Rn＝Rm+n, (Rm)n＝Rmn 实数集R上的关系及其性质 7.3 二元关系的性质 7.3.1 自反性、 反自反性、 对称性、 反对称性、 传递性 7.3.2 关于二元关系性质的判定定理 定义 设R是集合A上的一个二元关系，即R?A×A (1) 对每个x?A，有（x，x）?R，说关系R有自反性，或称R是A上的自反关系。 (2) 对每个x?A，有（x，x）?R ，说关系R有反自反性，或称R是A上的反自反关系。 (3) 对每个x,y?A，若(x，y)?R ，则有(y，x)?R，说关系R有对称性，或称R是A上的对称关系。 (4) 对每个x,y?A，若(x，y)?R且(y，x)?R，则有x＝y，说关系R有反对称性，或称R是A上的反对称关系。 (5) 对每个x,y,z?A，若(x，y)?R且(y，z)?R，则有(x,z)?R，说关系R有传递性, 或称R是A上的传递关系。 ? ? ? ? ? ? ? ? ? ? ≤ ? ? ? ? ? ≥ 自反 反自反 对称 反对称 传递 = ? ? ? ? ? ? ? ? ? ? 设A是一个任意的非空集合，不难看出: 自反 反自反 对称 反对称 传递 全关系 ? ? ? ? ? 恒等关系 ? ? ? ? ? A上的全关系具有自反性，对称性和传递性。 A上的恒等关系具有自反性、对称性、反对称性和传递性。 例1 设 A={1，2，3} ，令 R1＝{(1,1),(2,2),(3,3),(1,2)} R2＝{(2,3),(3,2)} R3＝{(1,1),(2,2),(2,3),(3,2),(3,1)}。 问R1、R2、R3具有哪些性质？ 自反 反自反 对称 反对称 传递 R1 ? ? ? ? ? R2 ? ? ? ? ? R3 ? ? ? ? ? 答： R1有自反性、传递性、反对称性； R2有反自反性、对称性； R3没有这五个性质中的任何一个。 例2 (p100)试判断下图（书上图7.2）中所表示的三个关系的性质。 答： (a)中的关系是对称的、传递的； (b)中的关系是反自反的、反对称的； (c)中的关系是自反的、反对称的、传递的。 2 定理 (p100) R是集合A上的一个二元关系，则 (1) R有自反性当且仅当 △A?R (2) R有反自反性当且仅当△A∩R＝? (3) R有对称性当且仅当 R＝R (4) R有反对称性当且仅当 R∩R?△A (5) R有传递性当且仅当 R?R?R 证明(3): R有对称性当且仅当 R＝R 设R有对称性，要证明 R=R。 　　 对于任意的(x，y)?R， 则由对称性定义,(y，x)?R， 　　 进而(x，y)?R，故 R?R。 　反之，对于任意的(x，y)?R， 则由逆关系定义，(y，x)?R， 　　 又由于对称性，有(x，y)?R，故 R?R 。 再设 R=R, 要证明Ｒ有对称性。 （在此省略） 证明(4): R有反对称性当且仅当 R∩R?△A 设 R有反对称性，要证 R∩R?△A。 　对于任意的(x,y) ?R∩R，则有(x,y) ?R且(x,y) ?R ∴ (y,x) ?R且(x,y) ?R， 由于有反对称性，知x＝y，　 ∴ (x,y)=(x,x)?△A。故 R∩R?△A 反之，若R∩R?△A，要证R有反对称性。 　　对于任意的x，y?A，若(x,y) ?R且(y,x) ?R， ∵ (y,x) ?R 　　∴ (x,y) ?R， ∴ (x,y) ?R∩R ?△A， ∴ x＝y ，即R有反对称性。 证明(5): R有传递性当且仅当 R?R?R 设 R有传递性， 要证R?R?R。 　 对于任意的 (x,y)?R?R，则存在z?A， 使得 (x,z)?R 且 (z,y)?R， 由R有传递性，∴ (x,y)?R 所以 R?R?R 反之，若R?R?R，要证R有传递性。 　对于任意的 x，y，z，若(x,y)?R 且(y,z)?R ， 　 则 (x,z)?R?R ?R， 即有(x,z)?R，故R有传递性得证。 例3 (p101 R1和R2是集合A上两个二元关系，