离散数学集合论部分常考题.docx

PAGE PAGE 10 离散数学常考题型梳理第 2 章 关系与函数 一、题型分析 本章主要介绍关系的概念及运算、关系的性质与闭包运算、等价关系、相容关系和偏序关系三个重要关系、函数以及函数相关知识等内容。常涉及到的题型主要包括： 关系的概念理解以及关系的并、交、补、差以及复合和逆关系等运算 关系自反和反自反、对称和反对称等性质的概念理解与判定；自反、对称和传递闭包运算。 等价关系 偏序关系和哈斯图 函数的概念和性质 因此，在本章学习过程中希望大家要清楚地知道： 1．有序对和笛卡尔积 有序对：所谓有序对就是指一个有顺序的数组，如 x ,y ，x ,y 的位置是确定的，且 a,b b ,a 。 笛卡尔积：把集合 A，B 合成集合 A ×B ，规定： A B { x,y |x A且y B} 由于有序对 x,y 中 x，y 的位置是确定的，因此 A ×B 的记法也是确定的，不能写成 B ×A 。 笛卡儿积的运算一般不满足交换律。 2．二元关系的概念和表示、几种特殊的关系和关系的运算 二元关系的概念：二元关系是一个有序对集合，设集合 A，B ，从集合 A 到 B 的二元关系 R { x,y |x A且y B} 记作 xRy。 二元关系的定义域： Dom (R ) A ；二元关系的值域： Ram (R ) B 。 二元关系 R 是一个有序对组成的集合．因此，一个二元关系是一个集合， 可以用集合形式表示；反过来说，一个集合未必是一个二元关系，仅当集合是由有序对元素组成的，才能当做二元关系。 常用关系的表示法包括了集合表示法、列举法、描述法、关系矩阵法和关系图法。关系矩阵和关系图是有限集合上的二元关系的表示方法。 特殊的关系：空关系、全关系和恒等关系空关系（记作）：是任何关系的子集 全关系（记作 E ）： E { a,b |a,b A} A A A A 恒等全系（记作 I ）： I { a,a |a A} A A 关系的集合运算、复合运算和逆运算： 关系的集合运算与普通集合运算基本相同，主要为并运算、交运算、补运算、差运算和对称差运算。 关系复合运算，描述为 R R R { a,c |存在b使 a,b R 且 b,c R } 1 2 1 2 复合关系满足结合律： (R S) T R (S T ) 关系的逆运算，描述为 R 1 { x,y | y,x R} 逆关系满足： (R S) 1 S 1 R 1 二元关系 R 的逆关系可以用关系矩阵和关系图表示．并且逆关系的关系矩阵就是关系 R 的关系矩阵的转置，而逆关系的关系图就是把关系 R 的关系图中的有向弧的方向改变。 关系的性质：自反性、反自反性、对称性、反对称性、传递性 自反性：对任意 x A，有 x,x R ，则关系 R 是自反的。 自反关系的矩阵M 路。 反自反性： 主对角线元素全为 1；自反关系图的每个结点都有自回 R 对 x A，有 x.x R ，则关系 R 是反自反的。 反自反关系矩阵M 对称性： 主对角线元素全为 0；关系图的每个结点都没有自回路。 R 对 x,y R，有 y,x R ，则关系 R 是对称的。 对称关系的矩阵M 是对称矩阵，即r r ；关系图中有向弧成对出现，方 R 向相反． 反对称性： ij ji 对 x,y R，若 y,x R ，必有 x y ，则关系 R 是反对称的；或者 x,y R，必有 y,x R ，则关系 R 是反对称的． 反对称关系的矩阵M 不出现对称元素，关系图中任意两个顶点之间或者没 R 有有向弧，或者仅有一条有向弧． 传递性： 对 a,b R，若 b,c R，使得 a,c R ，则关系 R 是传递的． 在传递关系的关系图中，若有从a 到 b 的弧，且有从b 到 c 的弧，则必有从 a 到 c 的弧。 关系的自反闭包、传递闭包和对称闭包求解方法 求解关系的自反闭包 集合法：把所有的a A 构成的有序对 a ,a 添加到 A 上的关系 R 中，就 能够获得 R 的自反闭包 r (R )。即：r(R ) R I A ，其中，I A 是 A 上的恒等关系。 矩阵法：若 R 的关系矩阵 M ，通过公式M M E ，就能够求出 R 的 R r R 自反闭包 r (R ) 的关系矩阵 M ，其中 E 是单位矩阵。 r 图像法：在 R 的关系图上没有自回路的结点处都添上自回路，就得到了 R 的自反闭包 r (R ) 的关系图。 求解关系的对称闭包 集合法：若 R 上的任意关系 a ,b ，若 b,a R ，则把 b ,a 添加到关系 R 中，就能够获得 R 的对称闭包 s (R )。即： s(R ) R R 1 。 矩阵法：若 R 的关系矩阵为 M R ，利用公式M M s R M T ，就能