离散数学常考题型梳理.docVIP

离散数学常考题型梳理 第章关系的概念及运算、关系的性质与闭包运算重要关系函数等价关系 2-4偏序关系和哈斯图 2-5 函数的概念和性质 因此，在本章学习过程中希望大家要清楚地知道：所谓有序对就是指一个有顺序的数组，如 x , y ，x , y 的位置是确定的 a , b b , a 。 （2）笛卡尔积：把集合A，B合成集合A×B 由于有序对 x , y 中 x，y 的位置是确定的，因此 A×B 的记法也是确定的，不能写成 B×A 。 笛卡儿积的运算一般不 2．二元关系的概念和表示、几种特殊的关系和关系的运算 （1）二元关系的概念：二元关系是一个有序对集合，设集合 A，B ，从集合 A 到 B 的二元关系 记作xRy 二元关系的定义域：；二元关系的值域：二元关系 R 是一个有序对组成的集合．因此，一个二元关系是一个集合，可以用集合形式表示一个集合是一个二元关系，当集合是由有序对组成的，才能二元关系关系矩阵和关系图是有限集合上的二元关系的表示方法 （2）特殊的关系：空关系、全关系和恒等关系 空关系（记作）：是任何关系的子集 全关系（记作EA）： 恒等全系（记作IA）： （3）关系的集合运算、复合运算和逆运算： 关系的集合运算与普通集合运算基本相同，主要为并运算、交运算、补运算、差运算和对称差运算。 关系复合运算，描述为 复合关系满足结合律： 逆关系满足： 二元关系 R 的逆关系的关系矩阵就是关系的关系矩阵的转置，而逆关系的关系图就是把关系 R 的关系图中的有向弧的方向改变对任意，则关系R 是自反的自反关系的矩阵主对角线元素全为1图的每个结点都有自回路对则关系R 是反自反的反自反关系矩阵主对角线元素全为0；关系图的每个结点都没有自回路对则关系R 是对称的对称关系的矩阵是对称矩阵，即；关系图中有向弧成对出现，方向相反．对，则关系R 是反对称的或，则关系R 是反对称的．反对称关系的矩阵不出现对称元素关系图中任意两个顶点之间或者没有有向弧，或者仅有一条有向弧．对，则关系R 是传递的． 在传递关系的关系图中，若有从a 到b 的弧，且有从b 到c 的弧，则必有从a 到c 的弧集合法把所有的构成的有序对 a , a 添加到A 上的关系R 中，就能够获得R 的自反闭包r (R)，其中，IA是A上的恒等关系。 矩阵法若R 的关系矩阵MR ，通过公式，就能够求出R 的自反闭包r (R) 的关系矩阵Mr ，其中E 是单位矩阵图像法R 的关系图上没有自回路的结点处都添上自回路，就R 的自反闭包r (R) 的关系图集合法若Ra , b，若，把b , a添加到关系R 中，就能够获得R 的对称闭包s (R)。 矩阵法若R 的关系矩阵MR ，公式，就能够出R 的对称闭包s (R)的关系矩阵Ms ，其中的转置矩阵. 图像法R 的关系图图上所有单向弧都画为双向弧，就能R 的对称闭包s (R)的关系图．集合法先求出R2，…，Rn ，再求它们的并，就能够获得R 的传递闭包t (R)。 矩阵法若已知R 的关系矩阵MR ，通过公式，能求出R 的传递闭包t (R)的关系矩阵Mt 图像法若已知R 的关系图，从关系图的每个结点ai（i =1，2，…，n）出发，找出所有2步，3步，…，n步长的路径，设路径的终点为从aI依次用有向弧连接到，当检查完所有结点后，就画出了R 的传递闭包t (R)的关系图等价关系概念：设R是非空集合A上的二元关系，如果R是自反的、对称的和传递的，则称R是A上的等价关系。设R是一个等价关系，若a, b∈R，则称a等价于ba~b。 6.偏序关系和哈斯图 （1）偏序关系 设R是非空集合A上的二元关系，如果R是自反的、反对称的和传递的，则称R是A上的偏序关系或者简称序关系。偏序关系记作≤。a, b∈≤，则称a小于等于b，记作a ≤ b。 （2）哈斯图 作图规则：i．去掉每个结点的自回路，用空心点表示集合的元素；ii．对于集合任意元素a和b，若a≤b，则将a画在b的下方；iii．对于集合任意元素a和b，若ab，且不存在c使acb，则在a和b之间划一条弧。 （3）最小元、极小元、最大元和极大元，上界和下界 一个子集的极大(小)元可以有多个，而最大(小)元若有，只能惟一；且极元、最元只在该子集内；而上界与下界可在子集之外确定，最小上界是所有上界中最小者，最小上界再小也不会小于子集中的任一元素；可以与某一元素相等，最大下界也是同样。 7函数的概念与性质 （1）函数的概念 设 f 是集合 A 到 B 的二元关系，若任意 a∈A，存在 b∈B，且 a, b ∈ f ，Dom ( f ) = A，则 f 是一个函数（映射）．函数是一种特殊的关系。 注意：集合 A×B 的任何子集都是关系，但不一定是函数。函数要求对于定义域 A 中每一个元素 a ，B 中有且仅有一个元素