r03关系a技术总结.ppt

* 离 散 数 学 主讲 鱼亮lyu@xidian.edu.cn 西安电子科技大学计算机学院 * 关系的概念及运算 关系的性质 关系的闭包运算 等价关系 序关系 关系 * 关系的基本概念 A×B的子集称为A到B的一个二元关系(a relation from A to B)。 A×B有多少个子集，就有多少种二元关系。 关系通常用R表示，二元关系是由序偶构成的集合， 若〈a,b〉∈R, 称a,b有关系R，记为aRb。 若〈a,b〉? R, 称a,b没有关系R，记为 。 A1×A2×...×An的子集称为A1×A2×...×An上的一个n元关系(relation)。 An＝A×A×...×A(n个A)的子集称为A上的n元关系。特别的， A2＝A×A的子集称为A上的二元关系。 换句话讲，求关系R，就是求对应的序偶集合。 * 关系的基本概念 例1 .设H={a, b, c, d}表示一个家庭中的父、母、子、女四个 人构成的集合。从集合H到H上有以下二元关系： H1：同一家庭成员关系 H2：互不相识的关系 H3：长幼关系 求H1、H2、H3 。 解： H1=H×H H2=? H3={a, c, a, d, b, c, b,d} * 关系的基本概念 思考：对于A1×A2×...×An，若每个集合Ai是有限的，且 |Ai|=ri，则A1×A2×...×An上不同的n元关系有多少个？ 关系相等的定义：设R1是A1×A2×...×An上的n元关系， R2是B1×B2×...×Bm上的m元关系，那么R1＝R2，当且仅当n＝m，且对一切i，1≤ i≤ n，Ai＝Bi，并且R1和R2是相等的有序n重组集合。 * 二元关系 最重要的关系是二元关系，本章主要讨论二元关系。 令R为集合A到B的二元关系，由x,y∈R的所有x组成的集合domR称为R的定义域(domain)，即 由x,y∈R的所有y组成的集合ranR称为R的值域(range)，即 集合A称为R的前域(predomain)，集合B称为R的陪域(codomain)。 * 二元关系 domR?X ranR?Y y4 y5 X1 X2 X5 X4 X3 y3 y2 y1 domR ranR X到Y的关系 * 二元关系 例2：设A＝{1,2,3,5}，B＝{1,2,4}，A到B的一个关系 H＝{1,2,1,4,2,4,3,4}，求domH, ranH. 例3：设X＝{1,2,3,4}，求X上的大于关系和dom , ran 。 解：domH={1,2,3} ranH={2,4} 解：={2,1,3,1,4,1,3,2,4,2,4,3} domH={2,3,4} ranH={1,2,3} * 二元关系 设IX是X上的二元关系，且满足IX ={x,x|x∈X}，则称IX(或EX)是X上的相等关系。 设R是A1×A2×...×An上的n元关系，如果R＝Φ，则称R为空关系。如果R＝ A1×A2×...×An，则称R为全域关系(U)。 几种特殊的关系： * 关系的表示 关系的矩阵表示： 设给定两个有限集合X={x1,x2,...xm}，Y={y1,y2,...,yn}，R为从X到Y的一个二元关系。则对应于关系R有一个关系矩阵(relation matrix) MR=[rij]m×n。其中， 例4：设X＝{1,2,3,4}，求X上的大于关系及其关系矩阵。 解：={2,1,3,1,4,1,3,2,4,2,4,3} * 关系的表示 关系的图形表示： 设给定两个有限集合X={x1,x2,...xm}，Y={y1,y2,...,yn}，R为从X到Y的一个二元关系。首先在平面上作出m个结点分别记为x1,x2,...,xm，然后另外作出n个结点分别记为y1,y2,...,yn，如果xiRyj，则可自结点xi至结点yj处作一有向弧，其箭头指向yj。这种方法联结起来的图就称为R的关系图(relation graph) 。 如果X和Y是同一个集合，可以只画出一个集合的结点。 例5：设A＝{1,2,3,5}，B＝{1,2,4}，A到B的一个关系 H＝{1,2,1,4,2,4,3,4}，求H的关系图。 * 例6.A={1,2,3},画出, ≤, ,UA和EA的关系图。 ： ≤： ： UA： EA： 1 2 3 1 2 3 1 2 3 1 2 3 关系的表示