1.2-关系介绍.ppt

第二节 关 系(relations) 1.2.1 关系的基本概念及其性质 1.2.2 等价关系 1.2.3 偏序关系 1.2.1 关系的基本概念及其性质 定义1.2.1 设A1,A2,?,An是n个集合， 集合A1?A2 ???An的一个子集F称为A1,A2,?,An上的一个n元关系。特别地，集合A?B中的一个子集R，称为集合A与B上的一个二元关系(binary relation)，简称为关系。 对于x?A，y?B，若(x,y)?R则称x，y有关系R，记为xRy；若(x,y)?R，则称x，y没有关系R，记为xRy。 若B=A，则R称为A上的二元关系。 关系的特点 A?A上的任一子集都是A上的一个关系； 若?A?=n，则A上的关系有 个。 A上的三个特殊关系，即空关系?；全域关系EA=A?A；相等关系IA={(x,x)?x?A}。 有序偶(a,b)=(c,d)的充要条件是a=c，b=d。 例 定义1.2.2 逆关系(inverse relation) 设R是集合A上的一个关系。令R-1 ={(y, x)?x?A, y?A, 并且有xRy，则称关系R-1为关系R的逆。 例如，小于关系的逆关系是大于关系，大于关系的逆关系是小于关系，相等关系的逆关系仍是相等关系。 定义1.2.3 自反关系(reflexive) 集合A 上的关系R称为是自反的(