离散数学(3.6关系性质)解析.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.4 关系的性质(The properties of Relations) 3.4.1 集合A上关系的性质(The properties of Relations on set A) 3.4.2 由关系图、关系矩阵判别关系的性质 第三章 集合与关系(Sets Relations) 第三章 集合与关系(Sets Relations) 3.4.1 集合A上关系的性质 定义3.4.1 设 是集合A上的关系 （1）若对于所有的 ，均有 ，则称 在A上是自反的(reflexive)。 （2）若对于所有的 ，均有 ，则称 在A上是反自反的(antireflexive) 。 （3）对于所有的 ，若每当有 就必有 ，则称 在 A 上是对称的(symmetric)。 （4）对于所有的 ，若每当有 和 就必有 ，则称 在 A 上是反对称的(antisymmetric). （5）对于所有的 ，若每当有 和 就必有 ，则称 在 A 上是可传递的(transitive)。 例1 设 ，  （1）自反与反自反 自反 自反 非自反 反自反 （2）对称与反对称 对称，非反对称 非对称，反对称 非对称，非反对称 对称，反对称 （3）可传递与不可传递 可传递 不可传递 可传递 U 自反 反自反 U 对称不反对称 反对称不对称 既对称又反对称 则 例2 设 ，A上的关系 自反 对称 不是反对称 对于任意的 , ， 则 也是偶数。 因此 是可传递的。 则 是自反的、反对称的、可传递的。 例3 设 则 自反的、对称的、反对称的、可传递的。 则 自反的、反对称的、可传递的。 则 是自反的、对称的、可传递的。 例3（续） 则 反自反的、反对称的、可传递的。 则 反自反的、反对称的。 例4 是不自反、反自反的、对称的、反对称、可传递的。 例5 全关系是自反的、对称的、可传递的。 *