离散数学(3.8闭包运算)解析.ppt

* * 离散数学(Discrete Mathematics) 张捷 第三章 集合与关系 （Sets and Relations) 3.6 关系的闭包运算(Closure Operations) 3.7 集合的划分与覆盖(Partition Cover of Sets) 3.8 等价关系(Equivalent Relations) 3.9 相容关系(Compatibility　Relations) 3.10 序关系(Ordered Relations) 3.1 集合及其运算(Sets Operations with sets) 3.2 序偶与笛卡尔积(Ordered Pairs Cartesian Product) 3.3 关系 (Relations) 3.4 关系的性质(The Propeties of Relations) 3.5 复合关系与逆关系(Compound Relations Inverse Relations) 3.6 关系的闭包运算(Closure Operations) 3.6.1关系的闭包的概念(The definitions of closures of relations) 3.6.2关系的闭包的求法(How to find the closures of relations) 第三章 集合与关系(Sets Relations) 第三章 集合与关系(Sets Relations) 3.6 关系的闭包运算(Closure Operations) 3.6.1 关系的闭包的概念(The definitions of closures of relations) 例1.设 是由 A上的关系， A={1,2,3}, (1)求A上的关系 使得 且 是自反的。 (2)这样的关系共有多少个? 解: 3.6 关系的闭包运算(Closure Operations) 定义3.6.1 设 、 是集合A上的关系，如果 满足: (1) 是自反的(对称的/可传递的) (2) (3)对任何自反的(对称的/可传递的)的关系 ,若 则 ,称 为 的自反(对称/传递)闭包,记作 。 3.6 关系的闭包运算(Closure Operations) 说明:(1) 求集合A上的关系 的自反、对称、传递闭 包的运算，称为关系 的闭包运算。 (2) 的自反(对称、传递)闭包是包含 的最小 自反(对称/可传递)关系。 定理3.6.1 设 是集合A上的二元关系,则 (1) 是自反的 (2) 是对称的 (3) 是可传递的 3.6 关系的闭包运算(Closure Operations) 3.6.2关系的闭包的求法(How to find the closures of relations) 1.由定义求 的闭包 定理3.6.2 设 是集合A上的二元关系,则 (1) (2) (3) 证明:(3) 证明 （1）显然 。 故 是可传递的. （2）对任意的 ，则必存在正整数h和k，使得 ，于是 （3）设 是A上的任意一个包含 的可传递关系。 对任意 ，则存在正整数k，使 得 ，因此必存在元素 ，使得 。 因为 ，所以 。 而 是可传递的，因此 即 ，故有 。 例2.下图给出了集合 上的关系 的关系图，试画 、 和 。 解: 由关系图知: 则 定理3.6.3 设 是集合A上的二元关系,A为含有n个元素的集合,则存在某个正整数 ,使得 因此,我们有 证明: a