南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 12 等价关系与偏序关系

1 等价关系与偏序关系
等价关系与偏序关系 1

回顾 口问题1:关系具有哪些重要性质? 口自反性、对称性/反对称性、传递性 ▣问题2:如果计算关系的闭包? a 自反闭包(R=RUIA、对称闭包s(R=RUR1、传递闭 包的Warshal算法
问题1:关系具有哪些重要性质? 自反性、对称性/反对称性、传递性 问题2:如果计算关系的闭包? 自反闭包r(R) = RIA 、对称闭包s(R) = RR-1 、传递闭 包的Warshall算法 回顾

本节提要 3 口1:等价关系与等价类 口2:偏序关系、偏序集、偏序格
本节提要 1:等价关系与等价类 2:偏序关系、偏序集、偏序格 3

等价关系 口满足性质:自反、对称、传递。 “等于”关系的推广 口例子 口模3同余关系:RC ZxZ,xRy当且仅当 x-y 是整数。 3 口RcxN,xRy iff存在正整数kl,使得x=。 ■自反:若x是任意自然数,当然k=; ■对称:若有k以使x=;也就有k使=x, ■传递:若有k以使x=;并有m,n,使=;则有x如=ml
等价关系 满足性质:自反、对称、传递。 “等于”关系的推广 例子 模3同余关系: RZZ,xRy 当且仅当 是整数。 RNN,xRy iff 存在正整数k,l,使得x k=y l 。 ◼ 自反: 若x是任意自然数,当然x k=x k ; ◼ 对称:若有k,l, 使x k=y l;也就有l,k, 使y l=x k; ◼ 传递:若有k,l, 使x k=y l;并有m, n, 使y n=z m;则有 x kn=z ml 3 x − y

等价类 口R是非空集合A上的等价关系,x∈A,等价类 [☒R={U川EA∧xR 口每个等价类是A的一个非空子集。 口例:模3同余关系:R二xZ,xRy当且仅当 -y 是整数。 口3个等价类:[0]={…,-6,-3,0,3,6,9,…} [1]={…,-5,-2,1,4,7,…}; [2]={…,-4,-1,2,5,8,11,…}
等价类 R是非空 集合A上的等 价关系,xA,等价 类 [x]R={y| yA xRy} 每个等价类是A的一个非空子集。 例:模3同余关系: RZZ,xRy 当且仅当 是整数。 3个等价类: [0]={…, -6, -3, 0, 3, 6, 9, …}; [1]={…, -5, -2, 1, 4, 7, …}; [2]={…, -4, -1, 2, 5, 8, 11, …} 3 x − y

等价类的代表元素 对于等价类[国{y|EAAXRY},x称为这个等 价类的代表元素 口其实,该等价类的每个元素都可以做代表元素: 若xRy,则[图=[ 口证明:对任意元素若t[☒,则xR:根据R的对称性与传 递性,且xRy可得R:因此t[☑,[国小;同理可得 [c[☒
等价类的代表元素 对于等价类[x]R={ y | yA xRy },x称为这个等 价类的代表元素. 其实,该等价类的每个元素都可以做代表元素: 若xRy,则[x]=[y] 证明:对任意元素t, 若t[x], 则xRt, 根据R的对称性与传 递性,且xRy, 可得yRt, 因此 t[y], [x][y]; 同理可得 [y][x]

例 口R,R2分别是集合X,上的等价关系。定义X×上的关系S: (☒12)S(U1,)当且仅当x1R11且x2R22 0 证明:S是X×上的等价关系 口[自反性]对任意(区の∈X1×X2,由R1,R2满足自反性可知,(☒,)∈R1, (の∈R2;∴.(x)Sx防S自反。 口[对称性]假设(1,)S(2),由S的定义以及R1,R2满足对称性可 知:(12)S(1,;S对称。 口[传递性]假设(☒1)S(1,),且(1,)S(1,),则x1R1,1R1么, 2R22,2R22,由R1,R2满足传递性可知:1R1,且R22,于是: (x1,x)S(21,22;S传递
例 R1 ,R2分别是集合X1 ,X2上的等价关系。定义X1X2上的关系S: (x 1 ,x 2 )S (y 1 ,y2 ) 当且仅当x 1R1 y 1且 x 2R2 y 2 证明:S是X1X2上的等价关系 [自反性] 对任意(x,y)X1X2 , 由R1 ,R2满足自反性可知, (x,x)R1 , ( y,y) R2 ; (x,y)S(x,y); S自反。 [对称性] 假设( x 1 ,x2 )S ( y 1 ,y 2 ), 由S的定义以及R1 ,R2满足对称性可 知: ( y 1 ,y 2 )S (x 1 ,x2 ); S对称。 [传递性] 假设(x 1 ,x 2 )S ( y 1 ,y2 ), 且( y 1 ,y2 )S ( z 1 ,z 2 ), 则x 1R1y 1 , y 1R1z1 , x 2R2y2 , y 2R2z 2 , 由R1 ,R2满足传递性可知:x 1R1z1 , 且x 2R2z2 , 于是: (x 1 ,x2 )S (z 1 ,z 2 ); S传递

商集 R是非空集合A上的等价关系,x∈A,则其所有等价 类的集合称为商集,记为A/R 口例子 口集合A={a1,2,…,a}上的恒等关系是等价关系,商集 A/Ia={a1},{a2},…,{an} 口整数集上的模3同余关系是等价关系,其商集为{{…, -6,-3,0,3,6,9,…},{…,-5,-2,1,4,7,…},{…,-4,-1,2, 5,8,11,…}}
商集 R是非空集合A上的等价关系,xA,则其所有等价 类的集合称为商集,记为A/R 例子 集合A={a 1 ,a 2 , …, a n}上的恒等关系IA是等价关系,商集 A/IA={{a1}, {a 2},…, {a n}} 整数集上的模3同余关系是等价关系,其商集为{ {…, -6, -3, 0, 3, 6, 9, …}, {…, -5, -2, 1, 4, 7, …}, {…, -4, -1, 2, 5, 8, 11, …} }

例 口定义自然数集的笛卡儿乘积上的关系R (a,b)R(c,d当且仅当a+d=b+c 证明这是等价关系,并给出其商集. 口定义在N上的二元关系R:xRy iff x=2ky(k为 整数) (1)试证明R是等价关系; (2)给出商集N/R,并证明N与N/R等势
例 定义自然数集的笛卡儿乘积上的关系R: (a, b)R(c,d) 当且仅当 a+d=b+c 证明这是等价关系,并给出其商集. 定义在ℕ上的二元关系𝑅: x𝑅y iff 𝑥 = 2 𝑘𝑦 (k为 整数). (1)试证明𝑅是等价关系; (2)给出商集ℕ/𝑅,并证明ℕ与ℕ/𝑅等势

集合的划分 集合A的划分,元,是A的一组非空 A 子集的集合,即p(,且满足: A 1.对任意x∈A,存在某个A∈兀,使 得x∈A: As ie.4=4 2.对任意A,A∈乃,如果j,则: A3 A,∩A,=中
A1 A6 A5 A4 A3 A2 A 集合A的划分, , 是A的一组非空 子集的集合,即 (A), 且满足: 1. 对任意 xA, 存在某个Ai, 使 得 xAi . A A i i.e. i = 2. 对任意 Ai ,Aj,如果 ij, 则: Ai Aj = 集合的划分
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 11 关系的性质.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 10 离散概率.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 09 计数.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 08 归纳与递归.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 07 数论基础.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 06 集合的基数.pptx
- 南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 05 关系与函数.pptx
- 南京大学:《离散数学》课程教学资源(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
- 南京大学:《离散数学》课程教学资源(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
- 南京大学:《概率论与数理统计 Probability and Statistics》课程教学资源(PPT课件讲稿)Lecture 01 引言、概率论基本概念、古典概型.pptx
- 南京大学:《概率论与数理统计 Probability and Statistics》课程教学资源(PPT课件讲稿)Lecture 02 几何概型、条件概率与独立性.pptx
- 南京大学:《概率论与数理统计 Probability and Statistics》课程教学资源(PPT课件讲稿)Lecture 03 离散型随机变量.pptx
- 南京大学:《概率论与数理统计 Probability and Statistics》课程教学资源(PPT课件讲稿)Lecture 04 几个典型的离散型随机变量.pptx
- 南京大学:《概率论与数理统计 Probability and Statistics》课程教学资源(PPT课件讲稿)Lecture 05 条件期望、方差.pptx
- 南京大学:《概率论与数理统计 Probability and Statistics》课程教学资源(PPT课件讲稿)Lecture 06 概率化方法(主讲:唐斌).pptx
- 南京大学:《概率论与数理统计 Probability and Statistics》课程教学资源(PPT课件讲稿)Lecture 07 连续型随机变量.pptx