《离散数学》课程PPT教学课件(讲稿)第4章 二元关系与函数(4.1-4.2)集合的笛卡儿积和二元关系、关系的运算

第4章二元关系与函数 41集合的笛卡儿积与二元关系 42关系的运算 43关系的性质 44关系的闭包 45等价关系和偏序关系 46函数的定义和性质 47函数的复合和反函数
1 第4章 二元关系与函数 ◼ 4.1 集合的笛卡儿积与二元关系 ◼ 4.2 关系的运算 ◼ 4.3 关系的性质 ◼ 4.4 关系的闭包 ◼ 4.5 等价关系和偏序关系 ◼ 4.6 函数的定义和性质 ◼ 4.7 函数的复合和反函数

41集合的笛卡儿积和二元关系 ■有序对 ■笛卡儿积及其性质 ■二元关系的定义 ■二元关系的表示
2 4.1 集合的笛卡儿积和二元关系 ◼ 有序对 ◼ 笛卡儿积及其性质 ◼ 二元关系的定义 ◼ 二元关系的表示

有序对 定义由两个客体x和y,按照一定的顺序组成的 二元组称为有序对,记作≠x>(当xy时) xx,y>与==,求x,p 解3y-4=2,x+5=y→y=2,x=-3
3 有序对 定义 由两个客体 x 和 y,按照一定的顺序组成的 二元组称为有序对,记作 实例:点的直角坐标(3,−4) 有序对性质 有序性 (当x y时) 与 相等的充分必要条件是 = x=u y=v 例1 = ,求 x, y. 解 3y− 4 = 2, x+5 = y y = 2, x = − 3

有序n元组 定义一个有序n(n23)元组是一个 有序对,其中第一个元素是一个有序n-1元组,即 ,x 当n=1时,形式上可以看成有序1元组 实例n维向量是有序n元组
4 有序 n 元组 定义 一个有序 n (n3) 元组 是一个 有序对,其中第一个元素是一个有序 n-1元组,即 = , xn> 当 n=1时, 形式上可以看成有序 1 元组. 实例 n 维向量是有序 n元组

笛卡儿积 定义设A,B为集合,A与B的笛卡儿积记作AxB, A×B={≤xy>|xeAy∈B 例2A={1,2,3},B={a,b,c} A×B={,,1C>,2,①>,2,b>,2,>, ,3,b>,,,C,1>,,2>,,C,2> ,,c,3>} A={∞},P(4)x4={
5 笛卡儿积 定义 设A,B为集合,A与B 的笛卡儿积记作AB, 即 AB ={ | xA yB } 例2 A={1,2,3}, B={a,b,c} AB ={,,,,,, ,,} BA ={,,,,,, , ,} A={}, P(A)A={, }

笛卡儿积的性质 不适合交换律 AxB2BxA4(A≠B,A≠,B≠D) 不适合结合律(A×B)xC≠4x(BxC)(4≠,B≠) 对于并或交运算满足分配律 A×(B∪O=(4×B)(4×C) (BCx4=(B×A(C×4) A×(BO)=(4×B)(4×C (BnCx4=(B×A(C×4) 若A或B中有一个为空集,则AB就是空集 A×=c×B= 若|4|=m,|B|=n,则|AXB=mn
6 笛卡儿积的性质 不适合交换律 ABBA (AB, A, B) 不适合结合律 (AB)CA(BC) (A, B) 对于并或交运算满足分配律 A(BC)=(AB)(AC) (BC)A=(BA)(CA) A(BC)=(AB)(AC) (BC)A=(BA)(CA) 若A或B中有一个为空集,则AB就是空集. A=B= 若|A|=m, |B|=n, 则 |AB|=mn

性质的证明 证明A×(BO=(4xB∪(4xC) 证任取x少> xy>∈A×(B∪C) 分x∈A∧y∈B∪C 台x∈A∧∈BVy∈C 台(x∈A∧y∈B)V(x∈A∧y∈C 分≮∈AXBV∈A×C 分≮x>∈(4XB)∪(4×O) 所以有AX(B∪C=(4×B)∪(4XO
7 性质的证明 证明 A(BC)=(AB)(AC) 证 任取 ∈A×(B∪C) x∈A∧y∈B∪C x∈A∧(y∈B∨y∈C) (x∈A∧y∈B)∨(x∈A∧y∈C) ∈A×B∨∈A×C ∈(A×B)∪(A×C) 所以有A×(B∪C) = (A×B)∪(A×C)

例题 例3(1)证明A=B∧C=D→AxC=BXD (2)AxC=BxD是否推出A=B∧C=D?为什么? 解(1)任取 xy>∈A×Cx∈A∧yeC 分x∈B∧yeD分≮x2∈BxD (2)不一定.反例如下 A={1},B={2},C=D=,则AXC=BXD但是A≠B
8 例题 解 (1) 任取 AC xA yC xB yD BD 例3 (1) 证明 A=B C=D AC=BD (2) AC=BD是否推出 A=B C=D ? 为什么? (2) 不一定. 反例如下: A={1},B={2}, C=D=, 则 AC=BD 但是 AB

元关系的定义 定义如果一个集合满足以下条件之 (1)集合非空,且它的元素都是有序对 (2)集合是空集 则称该集合为一个二元关系,简称为关系,记作R 如∈R,可记作xRy;如果gR,则记作x累y 实例:R={1,2>,a,b>},S={,n,b} R是二元关系,当a,b不是有序对时,S不是二元关系 根据上面的记法,可以写1R2,aRb,dQc等
9 二元关系的定义 定义 如果一个集合满足以下条件之一: (1)集合非空, 且它的元素都是有序对 (2)集合是空集 则称该集合为一个二元关系, 简称为关系,记作R. 如∈R, 可记作 xRy;如果R, 则记作x y 实例:R={,}, S={,a,b}. R是二元关系, 当a, b不是有序对时,S不是二元关系 根据上面的记法,可以写 1R2, aRb, a c 等

从A到B的关系与A上的关系 定义设AB为集合,AXB的任何子集所定义的二元 关系叫做从4到B的二元关系,当A=B时则叫做A上 的二元关系 例4A={0,1},B={1,2,3},R1={0,2>},R2=A×B, R3=,R4={}那么R1,R2,R3,R4是从A到B 的二元关系,R3和R4同时也是A上的二元关系 计数 4|=n,|4×A=n2,A×A的子集有2个所以A上有 22个不同的二元关系 例如||=3,则A上有=512个不同的二元关系 10
10 从A到B的关系与A上的关系 定义 设A,B为集合, A×B的任何子集所定义的二元 关系叫做从A到B的二元关系, 当A=B时则叫做 A上 的二元关系. 例4 A={0,1}, B={1,2,3}, R1={}, R2=A×B, R3=, R4={}. 那么 R1 , R2 , R3 , R4是从 A 到 B 的二元关系, R3和R4同时也是 A上的二元关系. 计数 |A|=n, |A×A|=n 2 , A×A的子集有 个. 所以 A上有 个不同的二元关系. 例如 |A|=3, 则 A上有=512个不同的二元关系. 2 2 n 2 2 n
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 《离散数学》课程PPT教学课件(讲稿)第3章 集合的基本概念和运算.ppt
- 《离散数学》课程PPT教学课件(讲稿)第10章 组合分析初步.ppt
- 《离散数学》课程PPT教学课件(讲稿)第11章 形式语言和自动机初步(11-4)图灵机(2/2).ppt
- 《离散数学》课程PPT教学课件(讲稿)第11章 形式语言和自动机初步(11-4)图灵机(1/2).ppt
- 《离散数学》课程PPT教学课件(讲稿)第11章 形式语言和自动机初步(11.2-11.3)有穷自动机、有穷自动机和正则文法 的等价性.ppt
- 《离散数学》课程PPT教学课件(讲稿)第11章 形式语言和自动机初步(11-1)形式语言与形式文法.ppt
- 《离散数学》课程PPT教学课件(讲稿)第9章 树.ppt
- 《离散数学》课程PPT教学课件(讲稿)第8章 一些特殊的图(8.4)平面图.ppt
- 《离散数学》课程PPT教学课件(讲稿)第8章 一些特殊的图(8.1-8.3).ppt
- 《离散数学》课程PPT教学课件(讲稿)第7章 图的基本概念(7.2-7.3)通路、回路与图的连通性、图的矩阵表示.ppt
- 《离散数学》课程PPT教学课件(讲稿)第7章 图的基本概念(7.1)无向图及有向图.ppt
- 咸宁职业技术学院:《概率论与数理统计》教学课件_第四章 随机变量初步.ppt
- 咸宁职业技术学院:《概率论与数理统计》教学课件_第五章 数理统计初步.ppt
- 咸宁职业技术学院:《概率论与数理统计》教学课件_第三章 随机变量的熟字特征.ppt
- 咸宁职业技术学院:《概率论与数理统计》教学课件_第二章 随机变量及其分布.ppt
- 咸宁职业技术学院:《概率论与数理统计》教学课件_第一章 随机事件与概率.ppt
- 咸宁职业技术学院:《概率论与数理统计》_习题5-2.doc
- 咸宁职业技术学院:《概率论与数理统计》_习题5-5.doc
- 咸宁职业技术学院:《概率论与数理统计》_习题5-4.doc
- 咸宁职业技术学院:《概率论与数理统计》_习题5-3.doc
- 《离散数学》课程PPT教学课件(讲稿)第4章 二元关系与函数(4.3-4.4)关系的性质、关系的闭包.ppt
- 《离散数学》课程PPT教学课件(讲稿)第4章 二元关系与函数(4.5)等价关系与偏序关系.ppt
- 《离散数学》课程PPT教学课件(讲稿)第4章 二元关系与函数(4.6)函数的定义与性质.ppt
- 《离散数学》课程PPT教学课件(讲稿)第5章 代数系统的一般性质(5.1)二元运算及其性质.ppt
- 《离散数学》课程PPT教学课件(讲稿)第5章 代数系统的一般性质(5.2)代数系统及其子代数、积代数.ppt
- 《离散数学》课程PPT教学课件(讲稿)第6章 几个典型的代数系统(6.1)半群与群.ppt
- 《离散数学》课程PPT教学课件(讲稿)第6章 几个典型的代数系统(6.2)环与域.ppt
- 《离散数学》课程PPT教学课件(讲稿)第1章 命题逻辑(1.1-1.2)命题符号化及联结词、命题公式及分类.ppt
- 《离散数学》课程PPT教学课件(讲稿)第1章 命题逻辑(1.3-1.4)命题逻辑等值演算、联结词全功能集.ppt
- 《离散数学》课程PPT教学课件(讲稿)第1章 命题逻辑(1.5)对偶与范式.ppt
- 《离散数学》课程PPT教学课件(讲稿)第1章 命题逻辑(1.6)命题逻辑的推理理论.ppt
- 《离散数学》课程PPT教学课件(讲稿)第2章 一阶逻辑(2.1)一阶逻辑基本概念.ppt
- 《离散数学》课程PPT教学课件(讲稿)第2章 一阶逻辑(2.3)一阶逻辑等值式.ppt
- 《常微分方程》课程教学资源(教案讲义,共五章23讲).doc
- 池州学院:《数学分析》教学大纲.doc
- 池州学院:《数学分析》第二章 数列极限.doc
- 池州学院:《数学分析》第三章 函数极限.doc
- 池州学院:《数学分析》第四章 函数的连续性.doc
- 池州学院:《数学分析》第六章 微分中值定理及其应用.doc
- 池州学院:《数学分析》思考题集.doc