关系与序关系.ppt

第二章关系与序关系关系的概念关系的表示关系的性质等价关系关系的运算偏序关系

2.1关系的概念[例]设A={Alice,Bob,Tom},B={Algebra,Graphs,Sets}Alice选修了Graphs,Bob选修了Algebra,Graph和Sets;Tom选修了Algebra,Graphs;R={Alice,Graphs,Bob,Algebra,Bob,Graphs,Bob,Sets,Tom,Algrbra,Tom,Graphs}?A?B,表示了学生集合A与课程集合B之间的选修关系。

2.1关系的概念[二元关系的一般性描述]一对对象之间的关系称为二元关系。[例]teachers={a,b,c}，students={x,y,z}建立教学关系T:aTxiffaTEACHINGx用序偶集合表示为：T={a,x,a,z,b,y,c,y,c,z}T?teachers?students图示为：

2.1关系的概念[例]Subroutines={a,b,c,d,e}子程序间调用关系图示为：Calling={a,a,a,b,a,d,b,a,b,c,c,c,c,e,d,d}Calling?Subroutines?Subroutines

2.1关系的概念[二元关系的集合定义]设X,Y是两个集合，X?Y的任何一个子集R都确定了一种二元关系，称为从X到Y的二元关系。x,y?R可记为xRy，显然R?X?Yx,y?R可记为x?Ry当X=Y即X与Y同一时，称R为X上的一个二元关系。

2.1关系的概念[例]F={x,y|x是y的父亲}S={x,y|x,y为正整数且x可整除y}T={y2,y|y为实数}对上述的：x，y，R，有x,y?R或x,y?R，二者必居其一。

2.1关系的概念[定义域]设二元关系S。由x,y?S的所有对象x组成的集合称为S的定义域，记为Dom(S)。[值域]由x,y?S的所有对象y组成的集合称为S的值域，记为Ran(S)(Range(S))。记F(S)=D(S)?R(S)，称为S的域。描述：Dom(S)={x|(?y)(x,y?S)}Ran(S)={y|(?x)(x,y?S)}

2.1关系的概念假设干特殊关系：①X到Y的全域关系：Ex,y=X?Y特别地：Ex,x=X?X②空关系：?③恒等关系：Ix={xi,xi|xi?X}[例]设X={1,2,3,4}，求X上的关系“”(大于)及其定义域、值域。

2.2关系的表示方法(1)集合表示法借用集合的各种描述方法对表示关系的序偶集合进行描述(2)关系矩阵设X={x1,x2,…,xm}，Y={y1,y2,…,yn}，m,n+?R是X到Y的二元关系。构造矩阵MR=[mij]m?n，mij=xi,yj?R0其它

2.2关系的表示方法[例]非0行对应元素构成D(S)非0列对应元素构成R(S)

2.2关系的表示方法(3)关系图表示法用结点表示X、Y上的元素；假设x,y?R那么从结点x到结点y画一条弧。[例]上述Teaching关系的关系图：

2.2关系的表示方法[例]设X={1,2,3,4}，X上的关系“”：

2.3关系的性质[定义]设R是X上的二元关系，那么：①R是自反的?(?x)(x?X?xRx)②R是对称的?(?x)(?y)(x,y?X?xRy?yRx)③R是传递的?(?x)(?y)(?z)(x,y,z?X?xRy?yRz?xRz)④R是反自反的?(?x)(x?X??(xRx))⑤R是反对称的?(?x)(?y)(x,y?X?xRy?yRx?x=y)

2.3关系的性质[例]整数集合上的假设干关系及其性质整除=≤＜自反性????对称性????传递性????反自反性??