等价关系的矩阵判别法及计算机实现.pdfVIP

第 5 卷第 1期 沈阳工程学院学报 (自然科学版 ) V ol15 N o11 2 0 0 9 年 1 月 ( ) J an. 2009 Jou rn al of Shenyang In stitute of Eng ineering N atural Sc ience 等 价 关 系 的 矩 阵 判 别 法 及 计 算 机 实 现 a 王 　敏 ,孙宪丽 ( ) 沈阳工程学院 a. 基础教学部 ; . 信息工程系 ,沈阳 110136 摘 　要 : 等价关系是集合论中的一个 非常重要的概念 , 而 等价关 系的判 定则一直是一个难点 , 并且 其判定过程比较繁 琐. 对此在判定等价关系 的一个充要条件的基础上 ,给出了等价关系的一个矩阵判别法 ,并在计算机上实现了具体算法 . 关键词 : 离散数学 ;等价关系 ;矩 阵;关系矩阵 ;算法 中图分类号 : O 158　　　　　　　文献标识码 : A　　　　　　　文章编号 : 1673 - 160 3 (2 009) 01 - 00 91 - 0 3 　　等价关系主要是研究集合中的个体即元素间的同 定义 3　设 R是集合 A上 的二元关系 ,如果 R是自 一性 问题 的重要工具. 它在模式识别 � 模糊分析 � 数 反的 、对称 的 、传递 的,则称 R 为 A上的等价关系. 字电路设计 � 数据库理论分析等众多学科中都有广泛 定理 　设 R 是集合 A上 的二元关系 ,则 的应用. 正因为如此 ,才使得等价关系在集合论中 占据 ① R 在 A上是 自反 的 Ζ 在关系矩阵中 M R , 对角 线上 的所有元素都是 1, 即 I Α R. 着举足轻重的位置. 离散数学的知识告诉我们 ,当一个 A ② R在 A上是对称 的 Ζ 关系矩阵 M 是对称 的, 即 关系 同时具有 自反性 � 对称性及传递性时 ,才能称这 R - 1 个关系为等价关系 ,也就是说 ,要判断一个关系是否为 R = R . 等价关系 ,就必须判断它是否同时具有 自反性 � 对称 ③ R在 A上是传递 的 Ζ R和 R 的复合关系仍包含 性及传递性. 而判定一个关系是否是等价关系通常有 于 R , 即 R . R = R2 Α R. 定义法、关系图