离散数学第2章关系(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。由于若偶对的第一分量或第二分量不存在就没有偶对存在，故规定它们的叉积集合为空集。 由于偶对中的元素是有序的，因此一般地说 A ? B ≠ B ? A 例1 A={ a,b,c }, B={0,1} A?B={(a,0), (a,1), (b,0), (b,1), (c,0), (c,1)} B?A={(0,a), (0,b), (0,c), (1,a), (1,b), (1,c)} 例2 A={张三,李四}，B={白狗,黄狗} A?B={(张三,白狗), (张三,黄狗), (李四,白狗), (李四,黄狗)} B?A={(白狗,张三), (白狗,李四), (黄狗,张三), (黄狗,李四)} 定理1 设A, B, C, D是四个集合，那么 A ? B = C ? D 当且仅当 A=C 且 B=D 。 定理2 设A, B, C是三个集合，则 1） A ?(B∪C) = (A ? B)∪(A ? C) 2） A ?(B∩C) = (A ? B)∩(A ? C) 3） (A∪B) ? C = (A×C)∪(B ? C) 4） (A∩B) ? C = (A×C)∩(B ? C) 第二节 关系 2.1 关系的基本概念 2.2 关系表示法 2.1 关系的基本概念 定义1 设A,B是两个非空集合， A×B 是A与B的叉积集合。若R是A×B 的子集，则称R是A与B元素之间的一个二元关系。 当 a?A 且 b?B 且 (a,b)?R 时，称a与b有关系R。 当A=B时，称R是A上的一个二元关系。 例1 设A是西安交通大学全体同学组成的集合， R={(a,b)∣ a?A ∧ b?A ∧ a与b是同乡} ? A×A 例2 设A是一个大家庭 R1 = {(a,b)∣ a?A ∧ b?A ∧ a是b的父亲或母亲} R2 = {(a,b)∣ a?A ∧ b?A ∧ a是b的哥哥或姐姐} R3 = {(a,b)∣ a?A ∧ b?A ∧ a是b的丈夫或妻子} 例3 设N是自然数集合， R= { (a,b)∣ a?N ∧ b?N ∧ a｜b } ? N×N 称R是自然数集合上的整除关系。 例4 设 X = {风，马，牛}， R = { (风,马)，(马,牛) } ? X×X 称R是X上的二元关系。 定义2 设A, B是两个非空集合，R ? A×B 1）若R = ?，则称R为空关系 ； 2）若R = A×B，则称R为全关系 ； 3）若A=B 且 R = { (a,a)∣a?A}，则称R是幺关系。 定义3 设A, B是两个非空集合， R ? A×B 1） 设 ? (R) = { a∣(?b?B)((a,b)?R) }，称? (R) 为R的前域。 2） 设 ? (R) = { b∣(?a?A)((a,b)?R) }，称 ? (R) 为R的后域。 例 A={1,2,3} B={2,4,6,8,10} R={(1,2),(2,4),(3,6)}