离散数学第3章二元关系.ppt

3.1 基本概念 3.2 关系的合成 3.3 关系上的闭包运算 3.4 次序关系 3.5 等价关系和划分 3.1 基本概念 3.1.1 关系 关系的数学概念是建立在日常生活中关系的概念之上的.让我们先看两个例子 例3.1-1 设A={a,b,c,d}是某乒乓球队的男队员集合, B={e,f,g}是女队员集合.如果A和B元素之间有混双配对关系的是a和g,d和e.我们可表达为: R={〈a,g〉,〈d,e〉} 这里R表示具有混双配对关系的序偶集合.所有可能具有混双配对关系的序偶 集合是: A×B={〈x,y〉|x∈A∧y∈B} ={〈a,e〉,〈a,f〉,〈a,g〉,〈b,e〉,〈b,f〉,〈b,g〉, 〈c,e〉,〈c,f〉,〈c,g〉,〈d,e〉,〈d,f〉,〈d,g〉} 例3.1-2 设学生集合A1={a,b,c,d},选修课集合A2={日语,法语},成绩等级集合A3={甲,乙,丙}.如果四人的选修内容及成绩如下: a 日 乙 b 法 甲 c 日 丙 d 法 乙 我们可表达为S={〈a,日,乙〉,〈b,法,甲〉,〈c,日,丙〉,〈d,法,乙〉} 这里S表示学生和选修课及成绩间的关系.而可能出现的全部情况为 A1×A2×A3={〈x,y,z〉|x∈A1∧y∈A2∧z∈A3} ={〈a,日,甲〉,〈a,日,乙〉,〈a,日,丙〉,〈a,法,甲〉,〈a,法,乙〉,=〈a,法,丙〉,〈b,日,甲〉,〈b,日,乙〉,〈b,日,丙〉,〈b,法,甲〉,=〈b,法,乙〉,〈b,法,丙〉,〈c,日,甲〉,〈c,日,乙〉,〈c,日,丙〉,=〈c,法,甲〉,〈c,法,乙〉,〈c,法,丙〉,〈d,日,甲〉,〈d,日,乙〉,=〈d,日,丙〉,〈d,法,甲〉,〈d,法,乙〉,〈d,法,丙〉} 定义 3.1―1 (1)A×B的子集叫做A到B的一个二元关系. (2)A1×A2×…×An(n≥1)的子集叫做A1×A2×…×An上的一个n元关系. (3) 从定义可看出,关系是一个集合,所有定义集合的方法,都可用来定义关系 例3.1-1和例3.1-2是列举法的例子。 　　　一个谓词P(x1,x2,…,xn)可以定义一个n元关系R: 　　 R={〈x1,x2,…,xn〉|P(x1,x2,…,xn)} 例如,实数R上的二元关系＞可定义如下: ＞={〈x,y〉|x∈R∧y∈R∧x＞y} 反之,一个n元关系也可定义一个谓词: 当n=1时,R={〈x〉|P(x)}称为一元关系.它是一重组集合,表示论述域上具有性质P的元素集合,其意义与R={x|P(x)}相同,仅记法不同而已。 　　　例如,设P(x)表示“x是质数”,论述域是N,则质数集合可表示为 {〈x〉｜P(x)} 或 {x｜P(x)} 　　　关系也可归纳地定义.自然数上的小于关系可定义如下: (1) (基础)〈0,1〉∈＜ (2) (归纳)如果〈x,y〉∈＜,那么 (i)〈x,y+1〉∈＜ (ii)〈x+1,y+1〉∈＜ (3)(极小性)对一切x,y∈N,x＜y当且仅当〈x,y〉是由有限次应用条款(1)和(2)构成。 定义3.1―2　设R是 的子集,如果R=,则称R为空关系,如果 ,则称R为全域关系. 现在定义关系相等的概念,在关系相等的概念中不仅需要n重组