




已阅读5页,还剩2页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第四章 二元关系例1 设A=0,1,B=a,b,求AB , BA,AA 。 解: AB=, BA=, AA=,可见 ABBA例2、关于笛卡尔乘积的几个证明1)如果A、B都是有限集,且|A|=m, |B|=n,则 |AB |=mn. 证明:由笛卡尔积的定义及排列组合中的乘法原理,直接推得此定理。2) A=B= 3) 对和满足分配律。设A,B,C是任意集合,则 A(BC)= (AB)(AC); A(BC)= (AB)(AC); (AB)C= (AC)(BC); (AB)C= (AC)(BC)证明 :任取A(BC) xA yBC xA (yByC) ( xA yB)(xAyC)ABAC (AB)(AC) 所以式成立。4)若CF,,则AB(ACBC) (CACB).证明: 必要性:设AB,求证 ACBC任取AC xAyCxByC (因AB) BC 所以, ACBC. 充分性: 若CF, 由ACBC 求证 AB 取C中元素y, 任取 xAxAyCAC BC (由ACBC ) xByC xB 所以, AB.所以 AB(ACBC) 类似可以证明 AB (CACB).5) 设A、B、C、D为非空集合,则 ABCDACBD.证明: 首先,由ABCD 证明ACBD.任取xA,任取yB,所以 xAyBABCD (由ABCD )xCyD 所以, ACBD. 其次, 由AC,BD. 证明ABCD任取AB AB xAyB xCyD (由AC,BD)CD 所以, ABCD 证毕.例3、令A=1,2,3给定A上八个关系如下:1。2。1。2。1。2。1。2。33331。2。1。2。1。2。1。2。3333R2R1R3R4R5R6R7R8 可见这八个关系中R1、R3、R4是自反的。R2、R5、 R8、均是反自反关系。R3、R4、 R6 、 R8均是对称关系。R1、R2、R4、R5、R8均是反对称关系。R4、R8既是对称也是反对称的。有些关系既不是对称也不是反对称的:如R7 。R1、R3、R4、R5、R8均是传递的关系。性质判定:从关系的有向图从关系的矩阵自反性每个结点都有环主对角线全是1反自反性每个结点都无环主对角线全是0对称性不同结点间如果有边,则有方向相反的两条边.是以对角线为对称的矩阵反对称性不同结点间,最多有一条边.以主对角线为对称的位置不会同时为1传递性如果有边,则也有边. 或者定义的前件为假.如果aij=1,且ajk=1,则aik=1注:对于传递性的理解还不够透彻,如果出题,自己可能会出错!1。2。1。2。1。2。1。2。3333R2R1R3R4自反性 反自反性 对称性 反对称性 传递性R4R3R2R1例4、A=1,2,3,给定A中五个关系如下: R=, S=, T=, AA判断它们的性质:Y表示“是”,N表示“否”,填下表。自反性反自反性对称性反对称性传递性RNNNYYSYNYNYTNNNYNNYYYYA*AYNYNY例5、令I是整数集合,I上关系R定义为:R=|x-y可被3整除,求证R是自反、对称和传递的。证明:证自反性:任取xI, (要证出R )因 x-x=0, 0可被3整除,所以有R, 故R自反。证对称性:任取x,yI,设R, (要证出 R ) 由R定义得 x-y可被3整除, 即x-y=3n(nI), y-x=-(x-y)=-3n=3(-n), 因-nI, R, 所以R对称。证传递性:任取x,y,zI,设xRy, yRz, (要证出xRz) 由R定义得 x-y=3m, y-z=3n (m.nI)x-z= (x-y)+(y-z)=3m+3n=3(m+n), 因m+nI, 所以xRz, 所以R传递。证毕 例6、设R是集合A上的一个自反关系,求证:R是对称和传递的,当且仅当和在R中,则有也在R中。证明:必要性: 已知R是对称和传递的。分析:结论是个蕴含式,即R R R 可利用 “假设前件为真,推出后件为真 ” 方法证明。再结合已知条件:R对称、R传递。设R 又R,(要证出 R )因R对称的,故R,又已知R 由传递性得R。所以有如果和在R中,则有也在R中。充分性: 已知任意 a,b,cA, 如和在R中,则有也在R中。先证R对称:分析:即任取 a,bA 设R R 应有R R R 而已知R ,那么是否R ?任取 a,bA 设R,(要证出 R ) 因R是自反的,所以R,由R且R,根据已知条件得R ,所以R是对称的。 再证R传递:分析:即任取 a,b,cA 设R R R 应有R R R 而已知R ,那么是否R ?任取 a,b,cA 设R,R。(要证出R )由R是对称的,得R ,由R且R,根据已知条件得R , 所以R是传递的。例7、给定A=1,2,3,A中关系R和S如下:R=,S=,分别求复合关系RoS, SoR,IAoR, RoIA 。解:RoS=,SoR=,IA,IAoR=RoIA=R例8、设F表示父亲和儿子之间的关系,M表示母亲和儿子之间的关系,S表示儿子和母亲之间的关系,D表示女儿和母亲之间的关系。问:F o F,F o S,D o( D o M)分别表示什么关系?答: F o F表示祖孙关系。 F o S表示夫妻关系。 D o( D o M)表示外甥女和舅舅之间的关系。例9、证明若RAB ,SBC TCD则Ro(SoT)=(RoS)oT证明:任取Ro(SoT)$b(bBRSoT)$b(bBR$c(cCST)$b$c(bBR(cCST)$c$b(cC(bBRST)$c (cC$b(bBRS)T)$c (cC(RoS)T)(RoS)oT所以 Ro(SoT)=(RoS)oT例10、 RAB SBC TBC Ro(ST)=(RoS)(RoT) Ro(ST)(RoS)(RoT)证明 任取Ro(ST) $b(bBRST)$b(bBR(ST)$b(bBRS)(bBRT)$b(bBRS) $b(bBRT)RoSRoT(RoS)(RoT)所以Ro (ST)=(RoS)(RoT)证明 任取Ro (ST) $b(bBRST)$b(bBR(ST)$b(bBRS) (bBRT)$b(bBRS)$b(bBRT)RoS RoT(RoS)(RoT)所以 Ro (ST)(RoS)(RoT) $x(A(x)B(x) $xA(x)$xB(x)求传递闭包以及可达矩阵求t(R)的矩阵Warshall算法:|X|=n, RXX, 令MR=A R2的矩阵为A(2), Rk的矩阵为A(k) .故t(R)的矩阵记作MR+=A+A(2) +A(k)+(“+”是逻辑加)置新矩阵 A :=MR ;置 i=1;对所有 j ,如果Aj,i =1 ,则对k=1,2,nAj,k:=Aj,k+Ai,k; /*第j行+第i行,送回第j行*/ i加1; 如果in, 则转到步骤,否则停止。例11、令X=1,2,3,4, X中关系R图如图所示,用此算法求t(R)的矩阵。1。2。43A=MR=A的初值:后续过程很简单,自己按所给步骤画画。例12、给定A中关系R如上图所示,分别画出r(R)、s(R) 、t(R)、sr(R)、rs(R)、 tr(R)、rt(R)、st(R) 、ts(R) 的图。例13、X=1,2,3, A1=1,2,3, A2=1,2,3,A3=1,2,3, A4=1,2,2,3, A5=1,3,哪些是覆盖,哪些是划分?解:A1, A2 ,A3 ,A4 是覆盖。 A1, A2 ,A3也是划分。例14、A=1,2,3下面是A中关系:1。2。1。2。1。2。1。2。33331。2。1。2。1。2。1。2。3333R2R1R3R4R5R6R7R8思考题:A=1,2,3,可构造多少个A中不同的等价关系?可以根据等价关系有向图的特点来考虑。解:如果等价关系R中有三个独立子图的情形,则有1个等价关系。二个独立子图的情形时3个等价关系,一个独立子图时,1个等价关系。一共有5个不同的等价关系。 以下是关于商集的一个例子A=1,2,3,4,5,6,7 , R上模3同余关系,则商集 A/R= 1R,2R,3R =1.4.7,2,5,3,6。例15、集合A上的等价关系R,决定了A的一个划分,该划分就是商集A/R.证明:由等价类性质可得 : 1) A/R中任意元素aR,有aRA. 2) 设aR,bR是A/R的两个不同元素,有 aRbR= 3) 因为A中每个元素都属于一个等价类,所以所有等价类的并集必等于A。所以商集A/R是A的一个划分。R图中每个独立子图上的结点,构成一个等价类。不同的等价类个数=独立子图个数。例16、集合X的一个划分可以确定X上的一个等价关系。证明:假设A=A1, A2,. ,An是X的一个划分,如下构造X 上的一个等价关系R: R=A12A22An2 其中Ai2AiAi (i=1,2n). 1) 证R自反:任取aX,因为A是X的划分,必存在AiA使aAi ,于是AiAi , 又AiAi R有aRa。 2) 证R对称:任取a,bX, 设aRb,必存在AiA使得AiAi ,于是a,bAi , bRa, R是对称的。 3) 证R传递:任取a,b,cX, 设aRb,bRc, 必存在AiA使得AiAi ,AiAi , (不可能有另一个划分块AkA使得AkAk, 因为 如果这样,就使得, 既bAi又bAk ,与A是划分矛盾。)于是a,b,cAi , 所以AiAi ,又AiAi R有aRc 所以R传递。最后得R是集合X中的等价关系。关于哈斯图的画法:1.元素y盖住元素x:如果xy,且xy,且不存在zA,使得zxzyxzzy,则称元素y盖住元素x。元素y盖住x xyxy$z(zAzxzyxz zy)即元素y盖住元素x不存在zA,使得z介于x与y之间。上例中4没有盖住1,因为中间有个2, 124.2.偏序集Hasse图的画法: 令是偏序集,1).用“o”表示A中元素。2).如果xy,且xy,则结点y要画在结点x的上方。3). 如果xy,且y盖住x,x与y之间连一直线。4). 一般先从最下层结点(全是射出的边与之相连(不考虑环),逐层向上画,直到最上层结点(全是射入的边与之相连)。(采用抓两头,带中间的方法 )y是B的极小元$y(yB$x(xBxyxy) ,(在B中没有比y更小的元素了,y就是极小元) y是B的极大元$y(yB$x(xBxyyx) ,(在B中没有比y更大的元素了,y就是
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025版定制化贴壁布设计与施工管理合同
- 2025年智能编织袋设计与制造服务合同
- 2025年度生鲜超市生猪肉采购配送合同范本
- 2025版保健品企业产品国内销售代理合同范本下载
- 2025版水路危化品运输及应急处理服务合同
- 2025版酒店会议室场地租赁及会议摄影摄像服务合同
- 2025年新能源汽车销售代理合作协议书
- 2025版快递公司司机运输服务合同范本
- 2025版汽车租赁服务合同条款解析
- 2024-2025学年平远县中考三模数学试题含解析
- 2025年农业面源污染治理农业面源污染治理技术手册报告
- 中国黄金知识培训课件
- 人教PEP版(一起)一年级上册英语全册教案
- 光伏施工基本知识培训课件
- 2025贵州毕节市赫章县招聘事业单位工作人员123人笔试备考题库及参考答案详解
- GB 21256-2025粗钢生产主要工序单位产品能源消耗限额
- 2025AI办公发展现状软件市场竞争格局及未来发展前景分析报告
- 北京员工待岗管理办法
- 停工缓建项目管理办法
- 淋巴水肿健康科普
- 采购应急计划管理办法
评论
0/150
提交评论