离散数学第七章 关系-集合及笛卡尔积集.ppt

目录（集合论） 第六章 集合（4学时） 第七章 关系（8学时） 第八章 函数与集合的势（5学时） 第七章 关系 7.1 集合的笛卡尔积集 7.2 二元关系的基本概念 7.3 二元关系的性质 7.4 二元关系的闭包运算 7.5 等价关系和集合的划分 7.6 偏序关系和格 7.7 链与反链 7.1 集合的笛卡尔积集 笛卡尔积集 定义：设A和B是两个集合，存在一个集合，它的元素是用A中元素为第一元素，B中元素为第二元素构成的有序二元组。称它为集合A和B的笛卡尔积集，记为 A×B 。即　 A×B＝{(a,b)│a?A,b?B}。 笛卡尔 René Descartes（1596～1650） 著名的法国哲学家、数学家、物理学家，解析几何学奠基人之一。在今天，巴黎安葬民族先贤的圣日耳曼圣心堂中，庄重的大理石墓碑上镌刻着“笛卡尔，欧洲文艺复兴以来，第一个为人类争取并保证理性权利的人”。 笛卡尔积集的性质 性质1．若A和B有一个是空集，则它们的笛卡尔积集是空集，即 ?×B=A×?=? 性质2．当A≠B，且A和B均不是空集时，有 A×B≠B×A 性质3．当A，B，C均不是空集时，有 (A×B) ×C≠A×(B×C) 例１ 求证： A×(B∪C)=(A×B) ∪(A×C) 思路: 要分别证明 A×(B∪C)?(A×B)∪(A×C) (A×B)∪(A×C) ?A×(B∪C) 例１ 求证： A×(B∪C)=(A×B) ∪(A×C) 证明：对于任意的x，y， 若(x,y) ?A×(B∪C)，即有x?A且 y?B或C. 若y?B, 则 (x,y) ?A×B； 若y?C, 则 (x,y) ?A×C ， 所以(x,y) ?(A×B) ∪(A×C)，故 A×(B∪C)?(A×B)∪(A×C). 对于任意的x，y，若(x,y) ?(A×B) ∪(A×C)， 即(x,y)?A×B, 或 (x,y) ?A×C. 若(x,y)?A×B，则x?A且 y?B； 若(x,y)?A×C，则x?A且 y?C。 所以x?A且 y?B∪C, 得(x,y)?A×(B∪C)，故 (A×B)∪(A×C) ?A×(B∪C). 综上可知， A×(B∪C)=(A×B) ∪(A×C) 。 例2 A，B，C，D为任意集合，判断等式  (A∪B)×(C∪D)=(A×C) ∪(B×D) 是否成立。 有序 n元组 定义3 一个有序n(n≥3) 元组是一个有序二元组，其中第一个元素是一个有序 (n-1)元组，记为 （a1,a2,…,an-1,an ） 笛卡尔积集 第七章 关系 7.1 集合的笛卡尔积集 7.2 二元关系的基本概念 7.3 二元关系的性质 7.4 二元关系的闭包运算 7.5 等价关系和集合的划分 7.6 偏序关系和格 7.7 链与反链 定义1 a和b是两个元素，把a作为第一个元素，把b作为第二个元素，按这个顺序排列的一个二元组叫有序二元组, 简称有序对， 记为: （a，b） 特点： (1) 当a≠b时，（a，b）≠（b，a）； (2) 两个有序二元组相等，即（a，b）＝（x，y）的充分必要条件是 a＝x 且b=y。 例 A={1,2}， B={a,b,c},　 A×B＝{(1,a), (1,b), (1,c), (2,a), (2,b), (2,c)} 笛卡儿的著作，无论是数学、自然科学，还是哲学，都开创了这些学科的崭新时代。《几何学》是他公开发表的唯一数学著作，虽则只有117页，但它标志着代数与几何的第一次完美结合，使形形色色的代数方程表现为不同的几何图形，许多相当难解的几何题转化为代数题后能轻而易举地找到答案. ((a,b),c)≠(a,(b,c)) 尚未定义(a,b,c) 答：不成立。 若A=D=?，B=C={