logo

您所在位置网站首页 > 海量文档  > 教学课件 > 大学课件

离散数学导论盘王元元张桂芸第五章演示文稿.ppt 88页

本文档一共被下载: ,您可全文免费在线阅读后下载本文档。

  • 支付并下载
  • 收藏该文档
  • 百度一下本文档
  • 修改文档简介
全屏预览

下载提示

1.本站不保证该用户上传的文档完整性,不预览、不比对内容而直接下载产生的反悔问题本站不予受理。
2.该文档所得收入(下载+内容+预览三)归上传者、原创者。
3.登录后可充值,立即自动返金币,充值渠道很便利
下载地址
需要金币:100    文档纠错   收藏文档   下载帮助
支付并下载
第五章 关 系 5.4 序关系 5.4.2 良基性与良序集,完备序集 若有序集合族{<Ai, Ri>?i?D}中的每一个 都是完备的,那么< , R>(R如上定义)也 是完备的。 定理5.35 第五章 关 系 5.2 关系 5.2.4 关系特性闭包 设R为A上二元关系?A?=n,那么 定理5.19 t(R)= ?Ri i=1 n 第五章 关 系 5.2 关系 *5.2.5 特殊关系运算 设R为一n元关系,P为一n元谓词公式, 那么关系R在P上的限定,表示为R[P],确定为 R[P]={<x1,…,xn>?<x1,…,xn>?R∧P(x1,…,xn)} 限定运算(restriction) 第五章 关 系 5.2 关系 *5.2.5 特殊关系运算 设R为一n元关系,A为{1,2,…,n}上的一个k 元素序列i1,…,ik。以下记< x1,…,xn >为 x, pi(x) = xi (i=1,2,…,n)。那么关系R在A上的投影, 表示为R[A],确定为 R[A]={<pi1(x),…,pik(x)> ? x?R} 投影运算(projection) 第五章 关 系 5.2 关系 *5.2.5 特殊关系运算 设R为一n元关系,S为一m元关系,那么R和S 依据条件P的连接,记为R[P]S,确定为 R[P]S={<x1,…,xn,y1,…,ym>?x?R∧y?S∧P(x1,…,xn,y1,…,ym )} 连接运算(joint) 第五章 关 系 5.2 关系 *5.2.5 特殊关系运算 设R为一n元关系,S为一m元关系,m≤n, 那么, R除以S的商,记为R?S,确定为 R?S={t?{t}*S?R} 除运算(quotient) 第五章 关 系 5.3 等价关系 5.3.1 等价关系 称集合A上关系R是等价关系(equivalent relation), 如果R为A上的自反、对称、传递的二元关系。 定义5.11 第五章 关 系 5.3 等价关系 5.3.1 等价关系 设R为集合A上的等价关系。对每一a?A, a的等价类(equivalent class),记为[a]R (或简单地记为[a]),指下列集合 [a]R={x ? x?A∧xRa} a称为[a]R的代表元素。 定义5.12 第五章 关 系 5.3 等价关系 5.3.1 等价关系 设R是集合A上的等价关系,那么,对任意a , b?A, aRb 当且仅当[a]R=[b]R 定理5.20 设R是集合A上的等价关系,那么对任意a,b?A,或者[a]R=[b]R或者[a]R∩[b]R = ?。 定理5.21 v 第五章 关 系 5.3 等价关系 5.3.2 划分与等价关系 当集合A的子集族π满足下列条件时称为A的划分(partitions): (l)对任意B?π, B ? ?。 (2)∪π=A。 (3)对任意B,B'?π,B ? B'时,B∩B'= ?。 约定A = ? 时只有划分?,称π中元素为划分的单元。 定义5.13 第五章 关 系 5.3 等价关系 5.3.2 划分与等价关系 设R为集合A上的等价关系,那么R对应 的A划分是{[x]R ?x?A}。 定理5.22 第五章 关 系 5.3 等价关系 5.3.2 划分与等价关系 设π是集合A的一个划分,则如下定义的关系R为A上的等价关系: R ={<x,y>? ?B(B?π∧x?B∧y?B)} 或者 定理5.23 ? R = B?B ( = {B?B ? B?π}) ? B?π 称R为π对应的等价关系。 第五章 关 系 5.3 等价关系 5.3.2 划分与等价关系 设π是集合A的划分,R是A上等价关系, 那么,对应π的等价关系为R, 当且仅当R对应的划分为π。 定理5.24 第五章 关 系 5.3 等价关系 5.3.2 划分与等价关系

请自觉遵守互联网相关的政策法规,严禁发布色情、暴力、反动的言论。
用户名: 验证码: 点击我更换图片

©2010-2013 max.book118.com在线文档投稿赚钱网. All Rights Reserved 蜀ICP备08101938号