计算机数学基础离散数学辅导关系与函数.docVIP

  • 0
  • 0
  • 约9.6千字
  • 约 9页
  • 2023-08-21 发布于山东
  • 举报

计算机数学基础离散数学辅导关系与函数.doc

?计算机数学根基?失散数学指导(4) 第4章  二元关系与函数  (2002  级用)  中央电大  冯泰 本章要点:关系观点与其性质,等价关系和偏序关系,函数  . 一、要点内容 1.关系的观点 包含定义、关系的表示方法:会合表示、矩阵表示、图形表示 . 二元关系,是一个有序对会合,设会合 A,B,R{ x,y x A y B},记作xRy 二元关系的定义域:Dom(R) A;二元关系的值域:Ran(R) B 关系的表示方法: 会合表示法:关系是会合,有近似于会合的表示方法. 列举法,如R={1,1,1,2} ;描述法:如R{ x,yx A y B} 关系矩阵: × , R的矩阵MR (rij)mn,rij 1 aiRbj i 1,2...,m, RAB 0 aiRbj j 1,2,...,n 关系图:R是会合上的二元关系,假定aI j I 画有向弧到 j ,bR,由结点a b构成的图形. 几个特别的关系 空关系;独一是任何关系的子集的关系. 全关系 E ab ab AAA A { , , } 恒等关系IA {a,a a A},MI是单位矩阵. 关系的运算 关系的会合运算,有并、交、补、差和对称差. 复合关系 RR1?R2 { ac b使a bR1 b c R2 } ,有 , , , 复合关系矩阵:MR MR1 MR2(布尔运算),有联合律:(R?S)?T=R?(S?T) 逆关系R1 { y,x x,y R},MR1 MRT - - - 1. ,(R?S) 1 =S 1?R 4. 关系的性质 自反性 xA, x,x R;矩阵MR的主对角线元素全为 1;关系图的每个结点 都有自回路. 反自反性 x A, x,x R;矩阵MR的主对角线元素全为 0;关系图的每个结 点都没有自回路. 对称性 假定 x,y R,那么 y,x R;矩阵MR是对称矩阵,即rij rji; 关系图中有向弧成对出现 ,方向相反. 反对称性 假定 x,y R且 y,x R,那么x=y或假定 x,y R,x y, 那么 y,x R;矩阵MR不出现对称元素. 传达性 假定 a,b R且 b,c R,那么 a,c R;在关系图中,有从 a到 b的弧,有从b到c的弧,那么有从 a到c的弧.判断传达性较为困难. 能够证明:R是会合A上的二元关系, (1) R 是自反的 A ; (2) R 是反自反的 I A = ; I R R (3) R 是对称的 = -1; (4) R 是反对称的 R -1 IA; R R R (5) R 是传达的 ?. RRR 关系的性质所拥有的运算见表 4-1. 表4-1二元运算的并、交、补、差、逆、复合拥有的性质表 运算关系性质自反性反自反性对称性反对称性传达性 R-1 R1R2 R1R2 R1-R2 R1?R2 IA 由表可见,IA拥有自反性,对称性、反对称性和传达性.EAIA,EA是等价关系.拥有反 自反性、对称性、反对称性和传达性。是偏序关系. 关系性质的判定,能够用定义、关系矩阵或关系图. 传达性的判定,难度稍大.也常以下判定:不损坏传达性的定义,可以为拥有传达性.例 如可以为拥有传达性,同时拥有对称性和反对称性,可是不拥有自反性; 5.关系的闭包 设R是非空会合A上的二元关系,在关系 R中,增添最少的有序对,新关系用 R 表示,使得R具相关系的自反(对称、传达)性质,R就是R的自反(对称、传达)闭包,记作 r(R),s(R)和t(R)。闭包的求法: n 定理12:r(R)RIA;定理13:s(R)R R1;定理14的推论:t(R) Ri i1 等价关系和偏序关系极大(小)元、最大(小)元问题 等价关系和偏序关系是拥有不一样性质的两个关系. 对称性 等价关系 自反性 传达性 反对称性 偏序关系 等价关系图的特色 :每一个结点都有一个自回路;两个结点间若有有向弧线, 那么是 双向弧线,假定从a到b,从b到c各有一条有向弧线,那么从 a到c必定有有向弧线。 等价类,假定R是等价关系,与R中的某个元素等价的元素构成的会合,就是 R的 一个等价类,[a]R b A aRb}. ={b 偏序集的哈斯图 偏序集观点和偏序集的哈斯图。哈斯图的画法: (1)用空心点表示 结点,自环不画;(2) 假定ab,那么结点b画在上面,a画在下面,并画 a到b的无向弧; 假定a,b,b,c,那么a,cR,此时,a到c的有向弧不画出. 确立任一子集的最大(小)元,极大(小)元. 极大(小)元、最大(小)元、界一个子集的极大(小)元能够有多个,而最大(小)元假定有,只好唯一.且极元、最元只在该子集内;而上界与下界可在子集以外确立,最小上界是 全部上界中最小者,最小上界再小也不会小于子集中的任一元素;能够与某一元素相等,最大下界也是相同. 7.函数 函数

文档评论(0)

1亿VIP精品文档

相关文档