03集合和关系.pptVIP

3.3 集合的笛卡尔积与无序积 笛卡尔积与无序积在后面讨论关系和图论时，都有重要应用。 首先引入有序对和无序对的概念。 定义3.3.1 两个元素a,b组成二元组，若它们有次序之别，称为二元有序组，或有序对，记为a, b，称a为第一分量，b为第二分量；若它们无次序区分，称为二元无序组，或无序对, 记为(a, b)。 若a?b时，a, b?b, a。但(a, b)=(b, a)。 定义3.3.2 给定两个有序对x, y和u, v。当且仅当x=u和y=v时，有序对x, y和u, v相等，亦即 x, y=u, v iff (x=u)?(y=v) 可将有序对推广到n元有序组，它的第一分量是(n-1)元有序组，并记为x1,x2,···,xn-1,xn，或记为x1,x2,···,xn-1,xn。类似地定义两个n元有序组相等： x1,x2,···,xn-1,xn=y1,y2,···,yn-1,yn iff (x1=y1)?(x2=y2)?···?(xn-1=yn-1)?(xn=yn) 下面将使用有序对和无序对分别定义笛卡儿积和无序积。 定义3.3.3 给定集合A和B，若有序对的第一分量是A的元素，第二分量是B的元素，所有这些有序对的集合，称为A和B的笛卡尔积(或称为直积)，记为A?B，A?B={x,y|x?A?y?B} 定义3.3.4 给定集合A和B，若无序对是由A中元素和B中元素组成，所有这些无序对的集合，称为A和B的无序积，记为AB。 AB={(x,y)|x?A?y?B} 性质：（2） 任给集合A，B和C，则 ① A?(B∪C)=(A?B)∪(A?C) ② A?(B∩C)=(A?B)∩(A?C) ③ (A∪B)?C=(A?C)∪(B?C) ④ (A∩B)?C=(A?C)∩(B?C) 第四章 关 系 4.1 二元关系 二元关系，这里是指集合中两个元素之间的关系。 1.基本概念 定义4.1.1 给定任意集合A和B，若R?A?B，则称R为从A到B的二元关系，特别A=B时，称R为A上的二元关系。 可见，R是有序对的集合。若x,y?R，则也表为xRy，即x,y?R?xRy。 x, y?R ?xRy 也称之为x与y没有Ｒ关系，也记为xR′y。 类似地可定义n元关系。若S ? Ai，则称S为 Ai上的n元关系。特别A1=A2=···=An时，称S为A上的n元关系。 定义4.1.2 令R?A?B，且 D(R)={x|(?y)(xRy)} R(R)={y|(?x)(xRy)} F(R)=D(R)+R(R) 则称D(R)、R(R)和F(R)分别是二元关系R的定义域、值域和域。 显然D(R)?A，R(R)?B。 如 R2={ 1,1,1,2,1,3,1,4,2,2,2,3, 2,4, 3,3, 3,4,4,4} D( R2)={1,2,3,4} R( R2)={ 1,2,3,4} 由于关系是有序对的集合，对它可进行集合运算，其结果也是有序对的集合，即也是某一种二元关系。令R和S是两个二元关系，则R∪S，R∩S，R-S都分别定义了某一种二元关系，并且可表成： x(R∪S)y?xRy?xSy x(R∩S)y?xRy?xSy x(R-S)y?xRy?xS′y 4．关系的性质 关系的性质是指集合中二元关系的性质，这些性质扮演着重要角色，下面将定义这些性质，并给出它的关系矩阵和关系图的特点。 定义4.1.4 令R?A?A，若对A中每个x，都有xRx，则称R是自反的，即 A上关系R是自反的?(?x)(x?A?xRx) 该定义表明了，在自反的关系R中，除其他有序对外，必须包括有全部由每个x?A所组成的元素相同的有序对。 R是自反的当且仅当IA?R。 在全集U中所有子集的集合中，包含关系?是自反的，相等关系=也是自反的；但是，真包含关系?不是自反的。整数集合Z中，关系≤是自反的，而关系不是自反的。 定义4.1.5 令R?A?A，若对于A中每个x，有xRx，则称R是反自反的，即 A上关系R是反自反的?(?x)(x?A?xRx) 该定义表明了，一个反自反的关系R中，不应包括有任何相同元素的有序对。 由定义4.1.4 说明中，可知真包含关系?是反自反的，但包含关系?不是反自反的；小于关系是反自反的，而≤不是反自反的。 应该指出，任何一个不是自反的关系，未必是反自反的；反之，任何一个不是反自反的关系，未必是自反的。这就是说，存在既不是自反的也不是反自反的二元关系。 定义4.1.6 令R?A?A，对于A中每个x和y，若xRy，则yRx，称R是对称的，即 A上关系R是对称的 ?(?x)(?y)(x,y?A?xRy→yRx) 该定义表明了，在表示对称的关系R的有序对集合中，若有有序对x, y