第三章 集合与函数.pptVIP

计算机科学与工程学院 离散数学教研组 第三章 集合与函数 关系理论历史悠久。它与集合论、数理逻辑、组合学、图论和布尔代数都有密切的联系。 关系是日常生活以及数学中的一个基本概念，例如： 兄弟关系，师生关系、位置关系、大小关系、等于关系、包含关系等。 另外，关系理论还广泛的应用于计算机科学技术，如计算机程序的输入、输出关系；数据库的数据特性关系、数据结构本身就是一个关系等。 在某种意义下，关系是有联系的一些对象相互之间的各种比较行为。 3.3　笛卡儿积与关系 一、序偶与笛卡尔积 定义3.3.2 两个序偶相等，x,y＝u,v当且仅当x＝u,y＝v。 2、笛卡尔乘积 注意 定理3.3.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） 定理3.3.2 设A、B、C和D为四个非空集合，则 A×B ?C×D当且仅当A?C,B?D。 　日常生活中的关系：如兄弟关系，师生关系；数学中的关系：如小于关系，平行关系； 特别地 定义3.3.5 设R是二元关系，由x,y?R的所有x组 成的集合domＲ,称为R的前域. domＲ={x｜存在y，使得 x,y?R} 使得x,y?R的所有y组成ranR，称为R的值域。即： ranＲ={y｜存在x，使得 x,y?R} 并称FLDR＝domＲ∪ranR为R的域。 例3 设R1＝{x,y|(x,y?I)∧(x≤y)}； 　R2＝{x,y|(x,y?I)∧(x2+y2＝1)}； 　R3＝{x,y|(x,y?I)∧(y＝2x)}； 　R4＝{x,y|(x,y?I)∧(|x|＝|y|＝3)}。 都是定义在整数集I上的关系，求它们的前域和值域。 由于任何A×B的子集都是一个二元关系，按 照子集的定义，知A×B共有2|A|╳|B|个不同 的子集。因此，从A到B不同的关系共有 2|A|╳|B|个。 例4 3.4 关系的表示与关系性质 一、关系的表示 1.集合表示法（枚举法和叙述法） 例1 1)、设A＝{2},B＝{3},关系R＝{2,3} 2)、如定义集合N上的“小于等于”关系： R＝{x,y|(x,y?N)∧(x≤y)}。 2.关系图法（续） 特别地：R是定义在A＝a1,a2,...,an上的关系， 则R的关系图画法规定为： ①.设a1,a2,...,an为图中节点，用“ 。”表示 ②.如ai,aj?R,则从ai到aj可用有向边ai。 。bj相连。ai,aj为对应图中的有向边。 ③.如ai,ai?R,则从ai到ai用一带箭头的小圆环表示，即： ai 3.关系矩阵 A＝{a1,a2,...,an},B＝{b1,b2,...,bm},R是从A到B的一个二元关系，则对应于关系R之关系矩阵MR＝（rij)n×m。又称MR为R的邻接矩阵。其中： 例3 设A＝{2，3，4｝，B＝{1，2，4｝.考虑从A到B的“大于等于”关系R和“小于等于”关系S： R＝{2,1,2,2,3,1,3,2,4,1,4,2, 4,4}，S＝{2,2,2,4,3,4,4,4｝。 写出R，S的关系矩阵。 解： 说明 1、关系矩阵是布尔矩阵(矩阵的所有元素都是0或者1）。 2、写关系矩阵时，首先应对集合A和B中的元素进行排序，不同排序会得到不同的关系矩阵； 另外，集合以枚举法表示时，如果没有对集合的元素排序，则默认枚举的次序为元素的排序。 二关系的性质 1、自反性和反自反性 定义3.4.1设R是集合A上的二元关系， 对?x∈A,都有x,x∈R，则称R是自反的关系。例如：朋友关系。 定义3.4.1（续） 2)对?x∈A,都有x,x?R，则称R是反自反的关系。如：父子关系。 例4 设A={a,b,c,d}， 例4(续1) S={a,b,a,d,b,c,b,d,c,a,d,c} 例4(续2) T={a,a,a,b,a,c,b,d,c,a,c,c,d,c} 定义3.4.1 设R是集合A上的二元关系， 1) 对?x,y∈A,如果x,y∈R，那么y,x∈R，则称R是对称的关系。如：朋友关系。 定义3.4.1 （续） 2) 对?x,y∈A,如果x,y∈R且y,x∈R，那么 x＝y,则称R是反对称的关系。如父子关系。 例5 设A={a,b,c,d}， 例5(续1) R3={a,a,a,b,a,c,c,a} 注意 任何不是对称的关系未必一定是反对称的关系，反之亦然。即存在既不是对称的也不是反对称的关系，也存在既是对称的也是反对称的关系。 定义3.4.1设R是集合A上的二元关系 5) 对?x,y,z∈A,满足 x,y∈R∧y,z∈R?x,z∈R, 则