南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 05 关系与函数

1 关系与函数
关系与函数 1

回顾 问题1:什么是集合? ·集合无定义,通过外延法、概括法描述 问题2:集合的基本概念有哪些? -子集、空集、幂集、自然数(归纳集)、笛卡尔积 问题3:如何进行集合运算与集合公式证明? 集合的交并补、对称差、广义并、广义交 集合定义、恒等式、逻辑推演等
回顾 问题1:什么是集合? - 集合无定义,通过外延法、概括法描述 问题2:集合的基本概念有哪些? - 子集、空集、幂集、自然数(归纳集)、笛卡尔积 问题3:如何进行集合运算与集合公式证明? - 集合的交并补、对称差、广义并、广义交 - 集合定义、恒等式、逻辑推演等

本节提要 问题1:什么是关系?如何表示关系?如何 进行关系运算? 问题2:什么是函数?什么是单射、满射函 数?如何进行函数运算?
本节提要 问题1:什么是关系?如何表示关系?如何 进行关系运算? 问题2:什么是函数?什么是单射、满射函 数?如何进行函数运算?

笛卡尔积(回顾) 4 口对任意集合A,B 笛卡尔积AxB={(a,)|a∈A,b∈B} ▣例:{1,2,3}×{a,b}={(1,a),(2,),(3,a到, (1,b),(2,b),(3,b)} ▣A={1,2},P(A)XA=? ▣|A|=m,|B1=n,|AXB1=? 口若A,B是有限集合,则|AxB=|A|×|B
笛卡尔积(回顾) 对任意集合A, B 笛卡尔积 AB = {(a, b)|aA, bB} 例:{1,2,3}{a,b} = {(1, a), (2, a) , (3, a), (1, b), (2, b), (3, b)} A={1,2}, P(A)×A=? |A|=m, |B|=n, |A×B|=? 若A,B是有限集合,则|AB|= |A||B| 4

二元关系 5 口若A,B是集合,从A到B的一个关系R是AxB的一个 子集.(RcA×B) 口关系是集合,可以是空集(空关系) 口集合的元素是有序对 口若A=B:称为“集合A上的(二元)关系” 口例如:常用的数学关系(不大于、整除、集合包 含)、网页链接、文章引用、相互认识 口n元集合上有多少种不同的关系?
二元关系 若A, B是集合,从A到B的一个关系R是AB的一个 子集. (RAB) 关系是集合, 可以是空集(空关系) 集合的元素是有序对 若A=B:称为“集合A上的(二元)关系” 例如:常用的数学关系(不大于、整除、集合包 含)、网页链接、文章引用、相互认识 n元集合上有多少种不同的关系? 5

特殊的二元关系 6 口集合A上的空关系:空关系即空集 口全域关系E4:EA={(x)|x,y∈A} 口恒等关系IA:IA={(x)|x∈A} 口函数f:A→B R={(x,()|x∈A}是一个从A到B的一个关系
特殊的二元关系 集合A上的空关系: 空关系即空集 全域关系 EA : EA ={ (x, y) | x, y A } 恒等关系 IA : IA={(x, x) | xA } 函数 f : A→B R={ (x, f(x)) | xA }是一个从A到B的一个关系 6

关系的表示 7 ▣假设A={a,b,Cd,B={&,B,/假设为有限集合 口集合表示:R1={(a,,(b,,(C,,(C)} 0-1矩阵 有向图 a B 0 1 8 a b 1 0 0 10 1 d 00 0 d A B
关系的表示 假设A={a,b,c,d}, B={α,β,γ} // 假设为有限集合 集合表示: R1={(a, β), (b, α), (c, α), (c, γ)} 0-1矩阵 有向图 7 0 0 0 1 0 1 1 0 0 a 0 1 0 b c d a d c b A B

二元关系和有向图 8 关系RCAxB 有向图(VD,ED) A和B是集合 顶点集VD=AUB 有序对集合 有向边集ED (x,y)ER 从x到y有一条边 若A=B,R中存在序列:(X1,X2), 图D中存在从x到x的长 (X2,X3),,(8n1X) 度为n-1的通路
二元关系和有向图 8 关系 RAB A和B是集合 有序对集合 (x,y)R 若A=B, R中存在序列:(x1 ,x2 ), (x2 ,x3 ),…,(xn-1 ,xn ) 有向图 (VD , ED ) 顶点集 VD = AB 有向边集ED 从x到y有一条边 图D中存在从x1 到 xn 的长 度为 n-1的通路

关系的运算(1) 9 口关系是集合,所有的集合运算对关系均适用 口例: ■自然数集合上:“”等同于⑦
关系的运算(1) 关系是集合, 所有的集合运算对关系均适用 例: ◼ 自然数集合上: “”等同于 9

关系的运算(2) 10 口与定义域和值域有关的运算 ▣domR={x|3y(x,)∈R ▣rahR={y|3x(xの∈R) ▣fHdR=dom RUran R 口R个A={(x,の|x∈AΛxR二R restriction也记作RA,R|A 口R[]={y|3x(☒∈AA(xの∈R}=ran(R个)CranR 口例: 口A={1,2,3,4,5},B={1,3,5,6},A上关系R: R={(1,2),(1,4),(2,3),(3,5),(5,2)}, 求RB、RB]
关系的运算(2) 与定义域和值域有关的运算 dom R = {x | y (x,y)R} ran R = {y | x (x,y)R} fld R = dom R ran R R A = {(x,y) | xA xRy} R restriction 也记作 𝑅 ↾ 𝐴, 𝑅|𝐴 R[A] = {y | x (xA (x,y)R)}= ran(RA) ranR 例: A={1,2,3,4,5}, B={1,3,5,6}, A上关系R: R={(1,2), (1,4),(2,3),(3,5),(5,2)}, 求 RB、R[B] 10
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 04 集合及其运算.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 03 证明方法.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 02 谓词逻辑初步.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 01 命题逻辑(主讲:姚远).pptx
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)10 matrix norm.pdf
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)09 Vector norm.pdf
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)08 Unitary Matrices.pdf
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)07 Matrix Inversion.pdf
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)06 Matrix Transposition and Related.pdf
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)05 Special matrices-matlab.pdf
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)04 Matrix space and special ones.pdf
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)03 Matrices-special matrices.pdf
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)02 Matrices Intro.pdf
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)01 Vector space.pdf
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)第五章 矩阵函数及其应用.pdf
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)第二章 向量与矩阵范数.pdf
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)第三章 矩阵分解(李厚彪).pdf
- 电子科技大学:《矩阵理论 Matrix Theory》课程教学资源(课件讲稿)第一章 线性代数基础与核心思想.pdf
- 电子科技大学:《数学物理方程与特殊函数 Mathematical Physics Equations with Special Function》课程教学资源(课件讲稿)第八章 Legendre多项式 §8.2 母函数与正交性.pdf
- 电子科技大学:《数学物理方程与特殊函数 Mathematical Physics Equations with Special Function》课程教学资源(课件讲稿)第八章 Legendre多项式 §8.1 Legendre方程与求解.pdf
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 06 集合的基数.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 07 数论基础.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 08 归纳与递归.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 09 计数.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 10 离散概率.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 11 关系的性质.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 12 等价关系与偏序关系.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 13 群伦导引.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 14 子群及其陪集.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 15 循环群与群同构.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 16 代数格.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 17 布尔代数.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 18 图论基本概念.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 19 图的连通性.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 20 欧拉图与汉密尔顿图.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 21 最短通路问题.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 22 二部图与匹配.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 23 树的基本概念.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 24 树的应用.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 25 生成树.pptx