离散数学课件：3-4 二元关系的基本概念.pptVIP

两个元素x, y构成的有序二元组x, y，叫有序对或序偶(ordered pairs) . 称x为x, y的第一元素（或第一分量），称y为x, y的第二元素（或第二分量）. 三元序组（三元组） 三元序组是一个序偶，其第一个元素本身也是一个序偶，可形式化表示为 x, y, z 约定三元序组可以记作： x, y, z. n元序组（n元组） 递归地定义n元序组a1, a2,… ,an： a1, a2; a1, a2, a3 := a1, a2, a3 ; …… a1, a2,… ,an-1, an:= a1, a2,… ,an-1, an. 第i个元素ai称作n元序组的第i个坐标. 对任意集合A1, A2,… , An， A1? A2称为集合A1, A2的笛卡尔积(Cartesian product)（或直积），定义为 A1? A2={x, y | x? A1 ? y ? A2}. 递归地定义A1 ? A2 ? … ? An： A1 ? A2 ? … ? An-1 ? An =(A1 ? A2 ? … ? An-1) ? An. 当A1 =A2 = … = An=A时， A1 ? A2 ? … ? An简记为An. 笛卡尔积不满足交换律 事实上，因为 笛卡尔积不满足结合律 事实上，因为 笛卡尔积的性质 性质1： 设A, B, C为任意集合，*表示∩, ∪或 -运算，则有如下结论： 笛卡尔积对于并、交、差运算可左分配，即 A?(B*C)= (A?B)* (A?C). 笛卡尔积对于并、交、差运算可右分配，即 (B*C)?A= (B ?A)* (C?A). 笛卡尔积的性质 性质2：若C ? ?, 则 笛卡尔积的性质 性质3：设A, B, C, D为四个非空集合，则 事物之间存在着各式各样的关系. 例如，三名学生A, B, C选修?, ?, ?, ?四门课，设A选?和? ， B选?， C选?和? ，那么，学生选课的对应关系可记为： 二元关系的概念 设R为一个二元关系， 由x, y?R的所有x组成的集合domR称为R的前域(domain)，即 domR={x|(?y)(x,y?R)} 由x, y?R的所有y组成的集合ranR称为R的值域(range)，即 ranR={y|(?x)(x,y?R)} R的前域和值域一起称作R的域(field)，记为FLDR，即 FLDR=domR∪ranR. 二元关系的概念 二元关系是两集合直积的子集 令A和B是任意两个集合，直积A?B的子集R称为A到B的二元关系. domR ? A, ranR ? B, domR ? ranR ? A?B. 二元关系的并、交、补、差运算 若Z和S是从集合X到集合Y的两个二元关系，则Z, S的并、交、补、差仍是X到Y的二元关系. 一个从集合X到Y的二元关系R可用集合（序偶的集合）来表示. 当X和Y为有限集时，R还可用关系矩阵和关系图表示. 关系矩阵：给定两个有限集合X={x1, x2, …, xm}, Y={y1, y2, …, yn}，设R为从X到Y的一个二元关系，则对应于关系R有一个矩阵MR=(rij)m?n，其中 关系图 关系图中表示元素的小圆圈，称为结点(node)； 表示元素间具有二元关系R的有向线段或有向弧，称为有向边(direct edge)； 起点和终点重合的有向边，称为环(loop)或自回路. 关系R的关系图记为GR. * * (一) 序偶 四、二元关系的基本概念 如： 平面直角坐标系中点的坐标. 在集合中{a, b}={b, a}， 对任意序偶a, b, c, d， a, b=c, d ? (a=c)?(b=d) 但对序偶a, b ? b, a. x, y,z ? x, y, z. 因为x, y, z不是三元序组! x, y, z是序偶吗？ 是 四、二元关系的基本概念 n元序组是一个序偶，其第一个分量是n-1元序组. 对任意n元序组a1, a2,… ,an , b1, b2,… ,bn, a1, a2,… ,an = b1, b2,… ,bn ? (a1=b1)? (a2=b2)? …?(an=bn) 四、二元关系的基本概念 (二)笛卡尔积 约定：若A= ? 或B= ? ，则 A ? B= ? . 四、二元关系的基本概念 当A? ? ? B? ? ? A?B时，A?B?B?A. 而当a ?b时，序偶 a, b ? b, a. A?B={a, b | a?A ? b ?B}, B?A={b, a | b ?B ? a?A }, 四、二元关系的基本概念 当A? ??B? ??C??时