离散数学二元关系课件.pptVIP

定义7.1 由两个元素x 和y，按照一定的顺序组成的二元组称为有序对或序偶，记作x,y，其中x是它的第一元素，y是它的第二元素. 注：有序对具有如下性质： （1）有序性 x,y≠y,x （当x≠y 时） （2）x,y与u,v相等的充分必要条件是x=u且y=v. 这些性质是二元集{x,y}所不具备的.例如当x≠y 时有{x,y}={y,x}. ;二、笛卡儿积 定义7.2 设A,B 为集合，用A中元素为第一元素,B中的元素为第二元素构成有序对.所有这样的有序对组成的集合叫做A 与B 的笛卡儿积,记作A×B. 笛卡儿积的符号化表示为 A×B = {x,y| x∈A∧y∈B} 例 A={1,2,3}, B={a,b,c} A×B = {1,a,1,b,1,c,2,a,2,b,2,c,3,a,3,b,3,c} B×A = {a,1,b,1,c,1,a,2,b,2,c,2,a,3,b,3,c,3} ;注:笛卡儿积的性质 （1）不适合交换律 A×B ≠ B×A (A≠B, A≠?, B≠?) （2）不适合结合律 (A×B)×C ≠ A×(B×C) (A≠?, B≠?, C≠?) （3）对于并或交运算满足分配律 A×(B∪C) = (A×B)∪(A×C) (B∪C)×A = (B×A)∪(C×A) A×(B∩C) = (A×B)∩(A×C) (B∩C)×A = (B×A)∩(C×A)