离散数学课件5二元关系.pptx

第5章 二元关系主要内容 5.1 Cartesian积5.2 关系的概念与表示5.3 关系的性质5.4 逆关系和复合关系5.5 关系的闭包5.6 有序关系5.7 相容关系与等价关系5.8 关系数据库初步5.1 Cartesian积（笛卡尔积）定义5.1.1 设a1,a2,…,an是n个元素, 其有序排列用〈a1,a2,…,an〉 表示，称为有序n元组，或简称为n元组。其中ai称为它的第i个分量两个元素a1、a2组成的序列记作〈a1,a2〉, 称为二重(元)组或序偶。a1和a2分别称为二元组〈a1,a2〉的第一和第二个分量。〈a,b〉=〈c,d〉iff a=c且b=d。序偶、二元组二元组中元素的次序是重要的例：〈 2,3〉≠〈3,2〉〈a1,a2,…,an〉=〈b1,b2,…,bn〉iff ai=bi, 1≤i≤n笛卡尔积(Cartesian product)定义5.1.2 设n?N， A1,A2,…,An是n个集合，它们的Cartesian积(直积，叉积)记为A1×A2×…×An ，定义为 A1×A2×…×An = {〈a1,a2,…,an〉|ai∈Ai∧1≤i≤n}对一切i, Ai=A时, A1×A2×…×An 可简记为An显然A?B≠ B?A(A≠B时)若存在i, Ai=Φ,则 A1×A2×…×An =Φ如果所有Ai(i=1,2,…,n)都是有限集合,