离散数学4..ppt

本章主要内容: 4.1 集合的笛卡尔积与二元关系 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系与划分 4.6 偏序关系 4.7 函数的定义和性质 4.8 函数的复合和反函数 本章小结 4.1 集合的笛卡儿积与二元关系 4.1.1 有序对 定义4.1 由两个元素x和y(允许x=y)按一定的顺序排列成的二元组叫做一个有序对(也称序偶),记作x,y ,其中x是它的第一元素,y是它的第二元素。 例如, 平面直角坐标系中点的坐标就是有序对, (1,-1),(2,0),(1,1), (-1,1) ,…都代表坐标系中不同的点。 有序对的特点：1. 当x?y时,x,y?y,x。 2.两个有序对相等,即 x,y＝u, v 的充分必要条件是x＝u且y＝v。 4.1 集合的笛卡儿积与二元关系 4.1.1 有序对 定义4.2 一个有序n元组(n≥3)是一个有序对,其中第一个元素是一个有序n－1元组,一个有序n元组记作x1,x2,…, xn,即 x1,x2,…, xn= x1,x2,…, xn-1, xn 例如,空间直角坐标系中点的坐标1,-1,3,2,4.5,0等都是有序3元组。 n维空间中点的坐标或n维向量都是有序n元组 特别地x1,x2,…, xn-1, xn=y1,y2,…,yn-1,yn ?(x1=y1)∧(x2=y2)∧…∧(xn=yn) 4.1.3 二元关系 常用的关系:小于等于关系、整除关系、包含关系. 例如: 设A为实数集R的某个子集, 则A上的小于等于关系定义为LA＝{x,y|x,y?A∧x≤y｝ 设B为正整数集Z＋的某个子集, 则B上的整除关系定义为 DB＝{x,y｜x,y?B∧x?y}. 例4.7 A={4,0.5,-1}, B={1,2,3,6}, 则 LA={-1,-1,-1,0.5,-1,4,0.5,0.5,0.5,4, 4,4｝ DB={1,1,1,2,1,3,1,6,2,2,2,6, 3,3,3,6, 6,6}. 4.1.4 二元关系的表示 定义4.9 设V是顶点的集合, E是有向边的集合, 令X＝{x1,x2,···,xm}, Y＝{y1,y2,···,yn},V=X∪Ｙ, 如果xiRyj, 则有向边xi,yj?E. 那么G＝V,E就是R的关系图, 记作GR. GR的表示方法： ①作出m个结点和n个结点分别表示X,Y的元素; ②若xiRyj , 则自xi至yj 作一有向弧, 箭头指向yj; ③ 若xiRyj , 则xi,yj 之间没有连接. 4.1.4 二元关系的表示 例4.9 设A={1,2,3,4}, R={1,1,1,2,2,3,2,4,4,2}是A上的关系, 用关系矩阵和关系图将R进行表示. 4.2 关系的运算 关系R的定义域,值域和域 关系的逆,合成,限制和象 关系运算的主要性质 关系R的n次幂 4.2 关系的运算 4.2.1 关系R的定义域,值域和域 定义4.8 关系R的定义域 domR,值域ranR和域fldR分别是:domR＝{x??y(x,y?R)} ranR＝{y| ?x(x,y?R)} fldR＝domR∪ranR。 即:domR就是R的所有有序对的第一个元素构成的集合, ranR就是R的所有有序对的第二个元素构成的集合. 例:实数集R上的关系 S={x,y|x,y?R∧x2+y2≤1}, domS=ranS=fldS=[－1,1］. 4.2 关系的运算 4.2.1 关系R的定义域,值域和域 例4.10 下列关系都是整数集Z上的关系,分别求出它们的定义域和值域. (1) R1={x,y｜x,y∈Z∧x≤y}； (2) R2={x,y｜x,y∈Z∧x2+y2=1}； (3) R3={x,y｜x,y∈Z∧y＝2x}； (4) R4={x,y｜x,y∈Z∧? x?＝? y?=3}。 解 (1) domR1＝ranR1＝Z. (2) R2＝{0,1 ,0,－1,1,0,－1,0} domR2＝ranR2＝{0,1,－1}. (3) domR3＝Z ranR3＝{2z|z?Z},即偶数集 (4) domR4＝ranR4＝{-3,3}. 4.2 关系的运算 4.2.1 关系R的定义域,值域和域 例4.11 设X={1,2,3,4},求X上的关系及dom, ran 解：={2,1,3,1,4,1,3,2,4,2,4,3} dom={2,3,4}, ram={1,2