[理学]离散数学之集合论2.pptVIP

离散数学之集合论（2） 上海交通大学软件学院 吴刚 2010年5月 内容 关系的概念 关系的运算 关系的性质 关系的闭包 次序关系 相容关系 等价关系 内容 关系的概念 关系的运算 关系的性质 关系的闭包 次序关系 相容关系 等价关系 关系的概念 定义2.1：从集合A到集合B的一个关系R是AxB的一个子集。 有序偶中第一个客体可取值范围的集合称为关系R的定义域D(R)，第二个客体可取值范围的集合称为关系R的值域C(R)，若D(R)=C(R)=M，则称R是集合M上的关系 定义2.2：集合X1、X2…Xn所确定的n元关系是这些集合的笛卡尔乘积的一个子集，即一些n元有序组的集合 关系的表示 集合表示法 图形表示法 矩阵表示法MR 00000 10001 10010 00000 00100 适合计算机处理 关系的表示 内容 关系的概念 关系的运算 关系的性质 关系的闭包 次序关系 相容关系 等价关系 关系的运算 交、并、补、差（关系是一个集合） 复合关系 定义2.3：设R是从X到Y的关系，S是从Y到Z的关系，则R与S的复合关系R○S定义为 R○S={(x，z) | x∈X, z∈Z, 至少存在一个y ∈Y有(x，y)∈R，(y，z)∈S} R○S是从X到Z的关系 定理2.1：设R、S、T分别是从X到Y、Y到Z、Z到U的关系，则有(R○S)○T= R○ ( S○T) 关系的运算 复合关系 定义2.4：设R是X上的关系，则Rn定义为 （1）R1=R； （2）Rn+1= Rn ○R Rm ○Rn = Rm+n (Rm)n= Rm*n 关系的运算 逆关系 定义2.5：设R是从X到Y的关系，即 R={(x，y) | x∈X，y∈Y}，则从Y到X的关系R-1（书上是另一种表示法，P20）： {(y，x) | （x，y）∈R} 称为R的逆关系 R-1的关系矩阵是MR的转置矩阵 定理2.2：(R-1)-1=R；(R○S)-1= S-1○R-1 内容 关系的概念 关系的运算 关系的性质 关系的闭包 次序关系 相容关系 等价关系 关系的性质 设 R为集合X上的二元关系。 若对任意x∈X，有(x, x)∈R，则称 R为自反的。 若对任意x∈X，有(x, x)? R，则称 R为反自反的。 对任意的 x, y∈X，若(x, y)∈R，则必有(y, x)∈R，就称 R为对称的。 对任意的x, y∈X，若(x, y)∈R 且x ≠ y，则必有(y, x) ? R，就称 R为反对称的。 对任意的 x, y,z∈X，若(x, y)∈R 且(y, z)∈R，则(x, z)∈R，就称 R 为传递的。 关系的性质 例子 1.??N上的 “ = ” 、“ ” 、“ ? ” 2.??空集 ? 上的二元空关系 ? 3.? 非空集上的二元空关系 ? 4.? 第22页图2.5 内容 关系的概念 关系的运算 关系的性质 关系的闭包 次序关系 相容关系 等价关系 关系的闭包 设R是X上的二元关系，如果X上一个二元关系R′满足： （1）R′是自反的(对称的，或传递的)； （2）R?R′； （3）若X上的二元关系R″也满足(1)和(2)，则有R′?R″。 就称R′为R的自反（对称，或传递）闭包，记为 r(R) (s(R) ,或t(R)) 求闭包的方法 关系图计算方法 求闭包的方法 R是X上的关系 r(R)=R∪Q, 其中Q={(x,x)|x∈X} 定理2.3 s(R) = R∪R-1 定理2.4 t(R) = 定理2.5 如果X为有限集合，有n个元素 定理2.6 则 (a,b)∈Rn在图形上意味着什么? 闭包的性质 设R是X上的二元关系 如果R是自反的，则r(R)=R； 如果R是对称的，则s(R)=R； 如果R是传递的，则t(R)=R。 内容 关系的概念 关系的运算 关系的性质 关系的闭包 次序关系 相容关系 等价关系 次序关系 设R是X上的二元关系 如果R是自反的，反对称的和传递的，则称R为X上的偏序关系 （或称半序） 定义2.12 如果R是反自反的和传递的，则称R为X上的拟序关系 定义2.13 通常用“≤”表示偏序，用“”表示拟序 次序关系 定理2.7：拟序都是反对称的。 定理2.8：R是集合X上的关系 （1）若R是拟序的，则r(R)是偏序的。 （2）若R是偏序的，则R-Q是拟序的。 次序关系 定义2.14：全序关系 若集合X上的关系R是偏序的，且对于任意x，y∈X，必有xRy或yRx，则称R是X上的全序关系，或称R是线性次序的。 例子： 集合X={a,b,c}上的关系R=