2015第四章 二元关系和函数.docVIP

第四章 二元关系和函数 关系是一种被广泛使用的概念，如日常生活中的父子关系、朋友关系、债主与债户关系，自然科学中的函数关系、相似关系、对称关系。特别是计算机科学理论中关系理论的应用更为普遍：如关系数据库中数据特性关系、程序的输入与输出关系、计算机语言的字符关系、OOP编程中的类继承关系、结构化程序设计中的函数或子程序调用关系、程序的串行与并行运算关系。 关系理论与集合论、数理逻辑以及组合学、图论有很密切的联系。 4.1　集合的笛卡尔积与二元关系 4.1.1　集合的笛卡尔积 定义4.1.1 由两个元素x，y组成的有序二元组称为有序对或序偶,记作x,y。 　a，b＝c，d的充要条件是a=c 且b=d。 定义4.1.2 有序n（n1）元组x1，x2，…，xn定义如下： x1，x2，…，xn=x1，x2，…，xn-1，xn。 定义4.1.3 n个集合A1，A2，…，An的笛卡尔积A1×A2×…×An(或记为 Ai)＝{ x1，x2，…，xn| xi∈Ai，i=1,2,…,n}。称n为该笛卡尔积的维数。若A1＝A2＝…＝An＝A，则记An＝A×A×…×A。 ［例4.1.1］(1)设A={a，b，c}，B={0，1}，求A×B，B×A，A2。 (2) 设A={1,2}，求P(A)×A 4.1.2　笛卡尔积的运算性质 定理4.1.1 设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.2］　设A，B, C为集合，下列等式是否成立，为什么？ (1)(A∩B)×(C∩D)=(A×C)∩(B×D) , (对)。 (2) (A∪B)×(C∪D)=(A×C) ∪(B×D), （错：A=C=Φ,B=D={1}） (1)(A－B)×(C-D)=(A×C)－(B×D) , （错：A=C=D={1},B=Φ） (2) (AB)×(CD)=(AC)－(BD)； （错：A=C{1},B=D=Φ） ［例4.1.3］　设A，B，C，D均为集合，则A×BC×D AC且 BD。 4.1.3二元关系的定义 定义4.1.4 如果一个集合时空集或者它的元素都是有序对，则称这个集合是一个二元关系。 (1)设A,B是两个集合，RAB，则称R是从集合A到B上的二元关系。若A＝B，则称R是A上的关系。 (2)称集合dom(R)={x|y(y∈B∧x，y∈R)}为R的定义域， ran(R)={y|y∈B∧(x)(x∈A∧x，y∈R)}为R的值域。Fld(R)= dom(R) ∪ran(R) 为R的域 (3)若x，y∈R，则称元素x，y有关系R，记为xRy。若x，yR，则称元素x与y没有R关系。 ［例4.1.5］　A={1,2,3,4}，RA×A定义为：x，y∈R2|(x-y)，求R，R的定义域和值域。 若R=Φ，则称之为空关系；若R=A×B,则称R为全域关系；任一关系是笛卡尔积的子集。A上的二元关系{x，x|x∈A}称为A上的恒等关系，记IA。 ［例4.1.6］(1)设N表示自然数集，DN={x,y|x,yN,x|y},则DN是N上的整除关系 (2)设R表示实数集，L={x,y|x,yR,xy},则L是R上的小于等于关系 4.1.4关系的表示 (1)集合表示法 ［例4.1.7］　设A＝{2,3,4,6,9,12}，定义A上的关系R如下： 　　　　x,yA,xRyx|y 求R。 (2)关系矩阵表示法 设非空有限集A={ x1，x2，…，xm}，R是A上的关系，则下列n×n矩阵MR=(rij) rij= i,j=1,2,…,n 称为关系R的关系矩阵。 ［例4.1.8］　求例4.1.7中关系R的关系矩阵MR。 关系矩阵的引入是为了在计算机上实现二元关系的表示、存储和运算。 (3)关系图表示法 有限集合上的二元关系还可以用一个图来表示。一个图G可写为G＝＜V，E＞，其中V是顶点集，E是边集，V中的元素是每条边的端点。若每条边是有向线段，则称G是有向图；若G的每条边都是无向线段，则称G是无向图；以同一个顶点为两个端点的边称为自回路。 设A是非空有限集A={ a1，a2，…，an}，nI+，R，则R　可以用有向图GR＝＜A，ER＞，其中ER＝{ai, aj| ai, aj A且aiRaj }。 ［例4.1.9］　设A＝{2,3,4,6}，定义A上的关系R如下： 　　　　x,yA,xRyx|y 求关系R的关系图。 4.2　关系的运算 二元关系是集合，因而可进行集合交并差运算 4.2.1关系的并、交、差、补和逆运算 定义4.2.1 设R是二元关系，A是一个集合。 （1）R在A上