离散数学 二章 关系 (Relation).pptVIP

第二章 关系 (Relation) 第一节 集合的叉积 第二节 关系 第三节 关系的运算 第四节 二元关系的基本性质 第五节 等价关系 第六节 半序关系 第一节 集合的叉积 定义1 设a, b是两个个体，由a, b组成的一个计较顺序的序列称为二元组，记为(a,b)。 二元组不是集合，因为二元组中的个体计较顺序。 第 i 个位置上的个体称为二元组的第 i 个坐标。 不同位置上的个体可以来自同一个集合，也可以来自不同的集合。 不同位置上的个体可以相同，也可以不相同。 定义2 设?=(a,b), ?=(c,d)。若a=c且b=d，则称?与?相等，记为(a,b)=(c,d)。 关于二元组和二元组相等的概念可以推广到m元组的情况。 定义3 设A, B是两个非空集合 A?B={ (a,b)｜a?A∧b?B } 称A?B是A与B的叉积（笛卡儿积）集合。 两个集合的叉积是一个新的集合，它的元素是一些二元组，在每个二元组中，第一个位置上的元素称为前者，第二个位置上的元素称为后者。 在A?B中，A称为前集，B称为后集。前集与后集可以相同，也可以不相同。若前集与后集相同，则记为A?A=A2 。 规定A?? = ? = ??B。由于若偶对的第一分量或第二分量不存在就没有偶对存在，故规定它们的叉积集合为空集。 由于偶对中的元素是有序的，因此一般地说