离散数学第3章[5-6][新教材].ppt

第五节 笛卡尔积 在平面解析几何中,平面上的每个点约定用两个有序的实数对来表示,这种有序的实数对就是我们要研究的序偶的一种特殊情形。  定义5.1(二元序偶)设A,B是两个集合,x,y是分别从集合A和B这两个集合取来的任意两个元素.我们把形如x,y的符号称为一个二元序偶.或者简称为一个序偶.x称为这个序偶的第一元素,y称为这个序偶的第二元素。 注意: 一般集合中的元素间是没有次序的, 故序偶用x, y 表示．　　由定义容易看出:两个序偶相等, 当且仅当对应的元素相等, 即x, y=u, v,当且仅当x=u, y=v.; 定义5.2(笛卡尔积) 设A和B是任意的集合, 所有可能的序偶作成的集合{x, y|(x?A)?(y?B)}称为集合A和B的笛卡尔积或直积, 记作A?B.即  A?B={x, y|(x?A)?(y?B)}.(注)如果|A|=m, |B|=n, 则|A?B|=m?n=|A|?|B|,  显然, 当A=?, 或B=?, 有A?B=?, 此时  |A?B|=0.; 定义5.2’(三元序偶) 设A,B,C是三个集合,x,y,z是分别从这三个集合取来的任意三个元素.我们把形如x,y,z的符号称为一个三元序偶.为了简便起见,三元序偶x,y,z通常简写为x,y,z.;定义5.3(n元序偶的递归定义) 设 是n个集合(n?3),从每个集合中任取一个元素,记为 ,我们称符号 是一个n元序偶,如果 是一个n-1元序偶.通常我们将n元序偶 简记为 . ;; 定理5.1 设A, B, C,D均为集合, 则有下列结论成立:(1)A?(B?C)=(A?B)?(A?C), (B?C)?A=(B?A)?(C?A),(2)A?(B?C)=(A?B)?(A?C), (B?C)?A=(B?A)?(C?A),(3)A?(B-C)=(A?B)-(A?C), (B-C)?A=(B?A)-(C?A),(4)若C??,那么[1]A?B ?A?C?B?C,[2]A?B ?C?A?C?B. ;(5)设A,B,C,D均为非空集合,则有 A?B?C?D ?(A?C)?(B?D). 证明:我们只给出(1)和(3)的第一式以及(5)的证明. (1)的第一式的证明: ?x, y?A?(B?C) ?(x?A)?(y?B?C) ?(x?A)?((y?B)?(y?C)) ?((x?A)?(y?B))?((x?A)?(y?C))  ?(x, y?A?B)?(x, y?A?C) ?x, y?(A?B)?(A?C), 同理可证其余.; (3)的第一式的证明: 只证明A?(B-C)?(A?B)-(A?C). ?x, y?A?(B－C) ?(x?A)?(y?B－C) ?(x?A)?((y?B)?(y?C)) ?((x?A)?(y?B))?((x?A)?(y?C))  ?(x, y?A?B)?(x, y?A?C) ?x, y?(A?B)－(A?C), 同理可证其余.;(5)式的证明:[1]证明 A?B?C?D ?(A?C)?(B?D).证明: ?x?A,?y?B  ?x,y ?A?B.  ∵ A?B?C?D ? x,y?C?D ?(x?C)?(y?D) ?(A?C)?(B?D) . 相反的包含关系可以类似地加以证明.; 第六节 关系及其表示 在科学以及人类社会活动中，到处都有各种各样的关系存在。 在数学中当然充满了关系，例如在整数之间对于取定的一个除数有余数相同的同余关系；在实数之间有大小关系；集合之间有包含关系；在三角形之间有全等关系以及相似关系；即便在人类社会中也有数不清的关系存在，例如家庭中的长幼关系、学校中的师生关系、工作单位里的同事关系以及上下级关系等等等等。