二元关系讲义.pptVIP

第四章 二元关系;第四章 二元关系;4.1关系的基本概念;一、关系的定义;一、关系的定义;一、关系的定义;一、关系的定义;一、关系的定义;二、关系的相等;二、关系的相等;三、关系的定义域和值域;三、关系的定义域和值域;第四章 二元关系;4.2关系的性质;4.2关系的性质;4.2关系的性质;4.2关系的性质;;;4.2关系的性质;集合的压缩和开拓;集合的压缩和开拓;第四章 二元关系;4.3关系的表示;一、关系图;一、关系图;一、关系图;;二、关系矩阵;二、关系矩阵;二、关系矩阵;二、关系矩阵;二、关系矩阵;第四章 二元关系;4.4关系的运算;4.4关系的运算;4.4关系的运算;4.4.1关系的合成;;关系的合成;试求R和S的合成关系，并给出合成关系的关系矩阵。 解: ;关系的合成;合成关系的矩阵表达;合成关系的矩阵表达和图解;关系的合成;关系的合成;证明：任取元素 当且仅当存在某一个 能使 和 ;关系的合成;关系的合成;关系的幂;关系的幂;关系的幂;关系的幂;4.4关系的运算;4.4.2关系的求逆运算;关系的求逆运算;(a)(Rc)c=R 证明：设 是R的任意元素。 于是 所以有(Rc)c=R。 ;(b)(R1∪R2)c=R1c∪R2c 证明：;关系的求逆运算;证明：因为 ，于是有;合成关系的求逆运算;合成关系的求逆运算;定理：设R是集合X中的关系， a)R自反的，当且仅当IX R b)R反自反的，当且仅当IX∩R= c)R是对称的，当且仅当 R= Rc d)R是反对称的，当且仅当 R∩Rc IX e)R是可传递的，当且仅当R○R R;即R Rc；;关系运算对性质的影响;4.4关系的运算;4.4.3关系的闭包运算;关系的闭包运算;关系的闭包运算;关系的闭包运算;关系的闭包运算;;关系的闭包运算;;;;;关系的闭包运算;关系的闭包运算;关系的闭包运算;关系的闭包运算;关系的闭包运算;关系的闭包运算;关系的闭包运算;关系的闭包运算;第四章 二元关系;4.5特殊关系;4.5.1集合的划分和覆盖;集合的划分和覆盖;集合的划分和覆盖;集合的划分和覆盖;;;4.5特殊关系;4.5.2等价关系;4.5.2等价关系;等价关系;等价关系;等价关系;等价关系;等价关系;等价类;等价类;等价类的性质;等价类的性质;等价类的性质;等价类的性质;等价??系与集合的划分;等价关系与集合的划分;等价关系与集合的划分;等价关系与集合的划分;等价关系与集合的划分;等价关系与集合的划分;等价关系与集合的划分;等价关系与集合的划分;等价关系与集合的划分;特殊的等价关系;特殊的等价关系;4.5特殊关系;4.5.3相容关系;相容关系;相容关系的表示;相容关系的表示;相容关系的表示;最大相容类;最大相容类;最大相容类;关系图法寻找最大相容类;关系图法寻找最大相容类;关系图法寻找最大相容类;关系图法寻找最大相容类;关系矩阵法寻找最大相容类;关系矩阵法寻找最大相容类;关系矩阵法寻找最大相容类;关系矩阵法寻找最大相容类;关系矩阵法寻找最大相容类;关系矩阵法寻找最大相容类;关系矩阵法寻找最大相容类;相容关系与集合的覆盖;相容关系与集合的覆盖;4.5特殊关系;4.5.4偏序关系;偏序关系;偏序关系;偏序关系;偏序集合与哈斯图 ;偏序集合与哈斯图;偏序集合与哈斯图;偏序集合与哈斯图;偏序集合与哈斯图;偏序集合与哈斯图;偏序集合与哈斯图;偏序集合与哈斯图;偏序集合与哈斯图;偏序集合与哈斯图;偏序集合与哈斯图;偏序集合与哈斯图;拟序关系;拟序关系;全序关系;全序关系;良序关系