离散数学第章课件.pptVIP

第二章 关系 (relation) §1 . 集合的叉积　n元组 §2 .关系 §3 .关系的表示　关系的性质 §4 .关系的运算 §5. 等价关系 §6. 半序关系 §1 . 集合的叉积　n元组 定义1.叉积，笛卡尔积 (cross product ,Cartesian product(1637)) 　 ? n个集合A1， A2，? ，An的 n 维叉积定义为 =A1 × A2 × ? × An ={(a1, a2, ?, an): ai? Ai(1?i ? n)} ； 　 ? n 维叉积A1 × A2 × ? × An的每个元素(a1, a2, ?, an)都称为一个n元组（n-tuple）；即，叉积是元组的集合； 　?每个n元组(a1, a2, ?, an)的第i个位置上的元素ai称为该n元组的第i个分量（坐标或投影）；元组各分量的顺序不能改变； 　 ? n 称为该叉积及其元组的维数； ?两个元组相等?它们的维数相同且对应的分量相等。即　　(a1, a2, ?, an)= (b1, b2, ?, bm) ?n=m?(?i?N)(1?i ? n)(ai = bi)； 注：笛卡尔(1596-1650 )，法国数学家， 1637年发表《方法论》之一《几何学》，首次提出坐标及变量概念。这里是其概念的推广。 定义2. ? 二个集合A，B的(二维或二重)叉积定义为 A×B ={(a, b): a? A ?b?B} ； 　?其元素——二元组(a, b)通常称为序偶或偶对(ordered pair) ； 　?二元组(a, b)的第一分量上的元素a称为前者；第二分量上的元素b称为后者； 　 ?二重叉积的A? B第一集合A称为前集；第二集合B称为后集。 一般地说，关于叉积和元组 有： (1) (a, b)? (b, a)； 　 (2) A×B ? B × A ； (3)二元组不是集合，因为二元组中的分量计较顺 序,而集合中的元素是不讲顺序的。但是 为了将所有的概念都统一于集合概念， 可采用克亚托斯基(Kazimierz Kurafowski)在1921年给出的定义　 　　　(a, b)={{a},{a, b}} 　将二元组定义为比其元素高二层的集合； 　 (4) 也可用二元组来递归的定义n元组如下： 　　　(a,b,c)=((a,b),c) ? ? ? (a1, a2, ?, an-1 , an)= ((a1, a2, ?, an-1) , an) (5) 可用二重叉积来递归的定义n维叉积如下： 　 A×B×C=(A×B)×C 　　 ? ? ? A1×A2× ?×An-1×An= (A1×A2× ?×An-1)×An (6)利用(5)所给的定义， 可以递归的定义集合的叉积幂如下： 　　　　　A2= A×A A3 = A2 ×A ? An = An-1 ×A (7) 规定空集?与任何集合A的叉积是空集? 。 即 A×? = ? = ?×A 　 定理1.设A,B,C,D是四个非空的集合。那么 　　　　A×B = C×D ? A = C ? B = D 　。 [证]. ?)：（采用逻辑法）对任何的元素a,b a?A?b?B ?(a,b)?A×B ?(a,b)?C×D (条件：A×B = C×D ） ? a?C?b?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) 。 (叉积对交)　 [证].只证(1)（采用逻辑法） 　对任何的元素a,b 　　(a,b)?A×(B∪C) 　?a?A?b? B