离散数学第二章.doc_第1页
离散数学第二章.doc_第2页
离散数学第二章.doc_第3页
离散数学第二章.doc_第4页
全文预览已结束

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

离散数学第二章1. 有序二元组也称序偶,设 A, B 为任意集合,A 和 B 的笛卡尔积用 A B 表示,定义为 A B = (a, b) | a A, b B。2. 推广 n个集合的笛卡儿积为A1 A2 An = (x1, x2, , xn) | xi Ai, i = 1, 2, , n。3. 笛卡尔乘与交并集符号之间满足分配率: A (B C) = (A B) (A C)4. 笛卡尔积 A B 的任意一个子集 r 称为由 A 到 B 的一个二元关系,当 A = B 时,称 r 是 A 上的二元关系。5. 几种特殊的关系:空关系,全关系(普遍关系)记为UA ,恒等关系IA = (a, a) | a A。6. 关系的表示方法:集合表示法,矩阵表示法,关系图表示法(结点,单边)自环7. A,B上的关系的交,并,补,运算结果都是A到B 的关系。8. ,称为关系p的逆运算也记为p-19. 关系的复合运算:当且仅当存在元素 b B,使得 a r1 b,b r2 c 时,有 a (r1 r2) c。10. IA r = r IB =p,关系的复合满足结合律:(r1 r2) r3 = r1 (r2 r3)。11. 规定:r 0 = (a, a) | a A,即 r 0 = IA12. 复合关系的求法:定义,关系图,矩阵13. 设 A、B均是有限集,r1、r2 都是由 A 到 B 的关系,它们的关系矩阵分别为和 ,则下列关系的关系矩阵如何? r1 r2,r1 r2,r1,r1 - r2 ,r1-1。14. 设 r1, r2 是集合 A 上的任意的关系,则 (r1 r2)-1 = r2-1 r1-115. 关系的性质:自反,非自反,反自反;对称,非对称,反对称;可传递,不可传递;16. 反自反的关系一定是非自反的关系;若r是 A 上的反对称关系,则由定义知,在r中,(a, b) 与 (b, a) 至多有一个出现,其中 a b。17. (1, 2), (3, 0), (3, 2)这个关系可传递18. 设 r 为 A 上的关系,(1) r 在 A 上自反当且仅当 IA r(2) r 在 A 上反自反当且仅当 r IA = F (3) r 在 A 上对称当且仅当 r = r -1(4) r 在 A 上反对称当且仅当 r r -1 IA(5) r 在 A 上传递当且仅当 r r r 。(自证,ppt中有过程)19.利用关系矩阵判断:20.也可利用关系图判断。21.关系的性质与关系运算之间的联系,设p1,p2是A上具有相同性质的两个关系。见PPT中表格。22对给定的关系 r 和一种性质 P,包含 r 且满足性质 P 的最小关系称为 r 对于 P 的闭包,记作 P(r)23.(1)自反闭包:r(r) = r IA, (2)对称闭包:s(r) = r r 1(3)传递闭包:t(r) = r r 2 r 3 pk(证明见PPT),具体求解时找循环.24.闭包的性质,证明见PPT25. 设 r 是非空集合 A 上的关系,则(1)r 是自反的当且仅当 r(r) = r。(2)r 是对称的当且仅当 s(r) = r。(3)r 是可传递的当且仅当 t(r) = r。26设 r1 和 r2 是非空集合 A 上的关系,且 r1 r2,则(1)r(r1) r(r2);(2)s(r1) s(r2);(3)t(r1) t(r2).易证27. 设 A、B均是有限集,r1、r2 都是由 A 到 B 的关系,它们的关系矩阵分别为 和 ,则下列关系的关系矩阵如何? r1 r2,r1 r2,r1,r1 - r2,r1-128.利用矩阵(并集就布尔加,复合就布尔乘),关系图也求闭包(加单边,加方向边,加起点到终点的边)29.Warshall算法:算法(求传递闭包)(1)置新矩阵 A = Mr;(2)j = 1;(3)对所有的 i,如果 Ai, j = 1,则对 k = 1, 2, , n,作布尔加法 Ai, k = Ai, k + Aj, k,即将第 j 行加到第 i 行上去;(4)j 加 1;(5)如果 j n,则转到步骤(3),否则停止30. 若 r1 和 r2 都是 A 上的对称关系,证明 r1 r2 也是 上的对称关系。(自证)31.等价关系:自反,对称,可传递;整数集合 I 上的模 m 同余关系 r = (x, y) | x y (mod m)是等价关系。其中,x y (mod m) 叫做 x 与 y 模 m 相等,其含义是 x y 可以被 m 整除。32.元素a,b等价,ab。p是等价关系,a 生成的等价类(集合),用ar表示即ar = b | b A且a r b。33.等价类的性质:1. 对任意 a A,ar F。 2.对任意的 a, b A,若 a r b,则 ar = br 。 3.对任意 a, b A,若 a r b,则 ar br = F。4.同一个等价类中元素均相互等价。 5.不同等价类中的元素互不等价34.设r 是集合 A 上的一个等价关系,则集合 A 中所有元素产生的等价类的集合 ar | a A 是 A 的一个分划,A 上由 r 导出的等价分划35.商集:设 r 为非空集合 A 上的等价关系,以 r 的所有等价类作为元素的集合称为 A 关于 r 的商集,记做 A / r,即A / r = xr | x A。A / r 的基数( A 在 r 下的不同等价类的个数)称为 r 的秩。A 关于 r 的商集就是 r 在 A 上所导出的等价分划。36.设 P = A1, A2, , Ar 是集合 A 的一个分划,则存在 A 上的一个等价关系 r ,使得 P 是 A 上由 r 导出的等价分划。37 . 例题:设A = a, b, c, d,A上的分划,P1 = a, b, c, d,求出等价关系r1 = (a, a), (b, b), (b, c), (c, b), (c, c), (d,d) 。38. 例题:设 A = a, b, c,求出 A 上所有的等价关系。解:先求出A上有多少不同分划,一一对应即可。39. 集合 A 上的等价关系 r 还具有以下性质:(1)r2 = r一般地,对任意的正整数 n,有 r n = r;(2)r 1 = r40. A = 1, 2, 3, 4,r1 = (1, 1), (1, 2), (2, 1), (2, 2), (3, 3),p1不是等价关系。?41.相容:自反,对称42.相容类:设 r 是有限集 A 上的相容关系,C A,C F ,如果 a, b C,均有 a r b,即C中任意两个元素都由关系则称 C 为相容关系 r 的一个相容类,不存在任何相容类 D,使 C D,则称C为最大相容类,记为 Cr。43.相容关系的关系简图不画自环,用无向单线代替来回线。44.在相容关系的关系简图中,定义每个结点都与其他结点相连接的多边形为完全多边形。 关系简图中每一最大完全多边形的结点集合就是一个最大相容类。对于关系简图中只有一个孤立结点以及不是完全多边形的两个结点的连线的情况,也容易知道它们各自对应一个最大相容类。45.r 是有限集合 A上的一个相容关系,#A = n,则对任意 a A,必存在一个最大相容类 C,使得 a C.46.r 是有限集合 A 上的一个相容关系,则 r 的所有最大相容类的集合是 A 的一个覆盖,常记作 Sr(A)47.给定一个相容关系必可对应一个覆盖,给定一个覆盖也可确定一个相容关系,但二者之间不存在一对一的关系。任一覆盖可以确定一个相容关系,但可以有多个覆盖对应一个相容关系。48.所有最大相容类的集合就是最大相容类集合覆盖。49.偏序关系:自反,反对称,可传递50.研究偏序的哈斯图:(1)去掉自环;(2)用无向单边表示两元素之间有关系,且一律由下向上,下小上大(因而不应出现水平画置的边);(3)去掉传递性的第三边。51.设“ ” 是集合 A 上的一个偏序关系,对于任意 a, b A,如果有 a b 或 b a,则元素 a 和 b 称为是可比的,否则是不可比的。设 是集合 A 上的一个偏序,若对于任意元素 a, b A,a 与 b 都是可比的,则称它为 A 上的一个全序。52.一个集合 A 上的偏序,若对于 A 的每一个非空子集 S,在 S 中存在一个元素 aS(称为 S 的最小元素),使得对于所有的 s S,有 aS s,则称它为 A 上的一个良序。53. 定义在正整数集 N 上的“小于或等于”关系是 N 上的良序。但实数集 R 上的“小于或等于”关系却不是 R 上的良序。注: 一个集合 A 上的全序或良序一定是偏序,但偏序却不一定是全序或良序。 一个偏序若

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论