离散数学第三章关系与映射预案.ppt

第二章 关 系 与 映 射;1 二元关系;R是有序对的集合。若（x,y）?R，则也表示为x R y，即（x,y）? R ? x R y。 若R =?，则称 R 为A 到 B上空关系； 若R =A?B，称R为A 到 B上全域关系 当A =B 时，称?为A上空关系 称R =A?A为A上的全域关系 称R={（x,x）|x?A}为A上的恒等关系，记为IA。 Q= IA ;例题：实数集R上的””关系可定义为： ={（x,y）|x∈R,y∈R且xy} (35,24) ∈，但是(24, 35) ∈ 此关系中的序偶中的第一第二元素均取自相同的集合R，所以此关系为集合R上的关系 定义：从集合A到集合B的一个关系R是A×B的一个子集;定义 令R ? A ? B ，且 D (R) = { x | (?y) (x R y ) } R (R) = { y | (?x) (x R y ) } F (R) = D(R)+R(R) 则称D(R)、R(R) 和 F(R)分别是二元关系R的定义域、值域和域。 显然D(R) ? A，R(R) ? B。;例题：设A={ a , b ,甲，乙}， B={0，1，丙}, S={（a,0）,（b,0）（甲,1）（甲,丙）}, 则可知D（S）={a , b ,甲}, R（S）={0，1，丙} 例题：实数集R上的””关系可定义为： ={（x,y）|x∈R,y∈R且X小于y} D（）=R R（）=R;表达从有穷集合到有穷集合的二元关系时，矩阵和有向图都是得力的工具。 （1）关系矩阵 给定集合A={a1,a2,···,am}和B={b1,b2,···,bn}，且R?A?B，若 1 ai R bj rij= 0 否则 则称矩阵MR=(r i j) m ? n 为R的关系矩阵;例 X={1,2,3,4} ;解;优点 便于在计算机上表达,;（2）关系图 集合X上的关系R;例;2.关系的运算;2）复合关系 设 R 是从集合;关系或复合关系.;试求;定理 已知集合;定理2 已知集合;复合的幂运算;定理;定理2;3．关系的性质 关系的性质是指集合中二元关系的性质，这些性质扮演着重要角色，下面将定义这些性质，并给出它的关系矩阵和关系图的特点。 定义 令R ? A?A，若对A中每个x，都有xRx，则称R是自反的，即 A上关系R是自反的??x(x?A?xRx) 该定义表明了，在自反的关系R中，除其他有序对外，必须包括有全部由每个x?A所组成的元素相同的有序对。 ;在全集U中所有子集的集合中， 包含关系?是自反的， 相等关系=也是自反的， 但是，真包含关系?不是自反的 整数集合Z中， 关系≤是自反的， 而关系不是自反的。;定义：令R?A?A，若对于A中每个x，有xRx，则称R是反自反的，即 A上关系R是反自反的? ?x (x?A?xRx) 该定义表明了，一个反自反的关系R中，不应包括有任何相同元素的有序对。 ;由定义说明中，可知真包含关系?是反自反的，但包含关系?不是反自反的；小于关系是反自反的，而≤不是反自反的。 应该指出，任何一个不是自反的关系，未必是反自反的；反之，任何一个不是反自反的关系，未必是自反的。这就是说，存在既不是自反的也不是反自反的二元关系。书29;定义：令R?A?A，对于A中每个x和y，若xRy，则yRx，称R是对称的，即 在A上关系R是对称的 ?(?x)(?y)(x,y?A?xRy→yRx) 该定义表明了，在表示对称的关系R的有序对集合中，若有有序对x, y，则必定还会有有序对y, x。;在全集U的所有子集的集合中， 相等关系是对称的， 包含关系?和真包含关系?都不是对称的； 在整数集合Z中 相等关系=是对称的， 而关系≤和都不是对称的。 ;定义 令R?A?A，对于A中每个x和y，若xRy且yRx，则x=y，称R是反对称的，即 A上关系R是反对称的 ?(?x)(?y)(x,y?A?xRy?yRx→x=y) 该定义表明了，在表示反对称关系R的有序对集合中，若存在有序对(x, y)和(y, x)，则必定是x=y。或者说，在R中若有有序对(x, y)，则除非x=y，否则必定不会出现(y, x)。;反对称性;在全集U的所有子集的集合中，相等关系=，包含关系?和真包含关系?都是反对称的，但全域关系不是反对称的。在整数集合Z中，=，≤和也都是反对称的。 可见，有些关系既是对称的又是反对称的，如相等关系；有些关系是对称的但不是反对称的，如Z中的“绝对值相等”；有些关系是反对称的，但不是对称的，如Z中的≤和。 还有的关系既不是对称的又不是反对称的，例