基于Fuzzy关系的核及其构造.pdfVIP

维普资讯 第3卷 第 4期 南京 审计 学 院 学报 Vol_3，No．4 2006年 11月 JournalofNanjingAuditUniversity Nov．，2006 警 基于Fuzzy关系的核及其构造 吴国兵，唐 伟 (南京审计学院信息科学学院，江苏 南京 210029) [摘 要]本文在现有模糊理论的基础上，提出了模糊数学领域中关于Fuzzy二元关系的自反核、反 自反核和 对称核等新的概念，分析推导了相关核的构造定理，并结合实例进行了说明。 [关键词]模糊理论；Fuzzy关系；Fuzzy关系的核 [中图分类号]O159 [文献标识码]A [文章编号]1672—875O(2OO6)04—0046—03 一 、 引言 核是数学领域里一个运用非常广泛的重要概念，如线性变换中的核_1和抽象代数中的同态核[。等。核 在现代软计算领域中也有应用，比如粗糙集理论 中与知识约简相关的相对核_3]。本文运用模糊数学中 Fuzzy二元关系的闭包的反向思维提出了Fuzzy二元关系的自反核、反 自反核和对称核等新概念，并分析推 导了这些核的构造的有关定理。 在Fuzzy二元关系中，一个Fuzzy二元关系尺的闭包可以理解为是包含了尺的具有某种特别性质 (如 自反、对称和可传递等)的最“小”Fuzzy二元关系。本文要讨论的是包含在Fuzzy二元关系尺中的具有某种 特别性质的 “最大”Fuzzy二元关系，即基于Fuzzy二元关系尺的核。 二、预备知识 为了阐述的方便，首先引用参考文献[4]中的一些有关定义。 定义 1设X，y是两个论域，那么从X到y的Fuzzy关系尺是一个直积X×y==={ ，．yI∈X，．y∈ y)上的一个 Fuzzy集，即尺∈F(XXY)， 尺：X× —rO，1] R(x，．y)是Fuzzy关系尺的隶属函数，表示 与．y具有尺关系的程度。特别地，当X=Y时，称尺为X 上的一个 Fuzzy关系。 定义2对于任意的 ，．y∈X，X×X上的Fuzzy恒等关系 ： Ix( ，．y)一 xy ， [收稿日期]2oo6 08—03 [作者简介]吴国兵(1962 )，男，江苏东台人，南京审计学院信息科学学院讲师，主要研究方向为模糊数学和粗糙集；唐伟(1973一 )， 男，江苏阜宁人，南京审计学院信息科学学院讲师，主要研究方向为软件工程与数据库技术。 · 46 · 维普资讯 定义 3设R，SEF(X×y)，则称RnS为Fuzzy二元关系R与S的交，其中，(RnS)(z，)一R(，) 八S(z，)。这里，八为取最小值运算。 定义4设R∈F(X×y)，则称R ∈F(y×X)为R的逆，且R (，z)一R(z，) 定义5设R∈F(X×X)，则 (1)R称为 自反的，如果对于任意的：rEX，R(x，z)一1； (2)R称为反 自反的，如果对于任意的xEX，R(z，z)===O； (3)R称为对称的，如果对于任意的Z．7，yEX，R(x，)一R_。(z，)=R(，z)L4j 在以上五个重要定义的基础上，下面将对几种Fuzzy关系的核及其构造定理分别进行描述和分析。 三、自反核的定义与构造 定义6设REF(X×X)，若存在R ∈F(XxX)，R满足： (a)R R (b)R是 自反的 (c)对于X上的任意自反的Fuzzy关系 ，若 R，则 R，则称R为R的自反核，记为I(R)。 定理 1 设尺∈F(X×X)，则R存在 自反核，当且仅当R是 自反的，且 h(R)一R。 证明：充分性显然。只证必要性。 由