一般二元关系下粗糙集的拓扑性质.pdfVIP

第 21卷 第 1期 海南师范大学学报 (自然科学版) V01．21 No．1 2008年 3月 JournalofHainanNormalUniversity(NaturalScience) Mar．2oo8 一 般二元关系下粗糙集的拓扑性质 罗球凤 ，陈钉均 ，一，秦克云 (1．西南交通大学数学系，四川 成都 610031； 2．四川 内江师范学院，四川 内江 641200) 摘 要 ：推广 了一般二元关 系下粗糙 集的定义 。讨论 了该定义下粗糙 集的一些性质 ，证 明了 二元关系尺在满足一定条件时．粗糙集的上 、下近似分别是某个拓扑空间的闭包和 内部算子． 关键词 ：粗糙 集；上近似 ；下近似 ；内部；闭包 中图分类号 ：0 144；0189 文献标识码 ：A 文章编号 ：1671—8747(2008)O1—00O1一O4 粗糙集是一种新 的处理模糊和不确定知识 的数学工具 ，自1982年 Z．pawlak在文 【1]中提出粗糙集 的概 念 以来 ，经过二十多年的发展 ，已经在理论和应用方面取得了很大发展 ，特别是 2O世纪 8O年代末至 9O年 代初在知识发现等领域 的成功应用受到 了广泛关注．目前它 已经在人工智能、知识发现 、模式识别与分类 、 故障检测等方面取得 了成功应用 ；在理论上 ，文[2]研究了粗糙集和拓扑空间的关系．文[3-6]／iJ1：究了粗糙集 的代数结构 ，文[7]研究了粗糙集的可测结构 ，本文推广 了一般二元关系下粗糙集 的定义 ，研究了它 的拓扑 性质． 定义 1隅 设 是一个非空有限集合 ，尺是一个任意二元关系 ，称 (，尺)是一个广义近似空间．V 、 yEU，若xRy，即(，y)∈尺，则称Y为 的后继，记为R ()=f)，∈ ，xRy}．称R是串行的，若Yx∈ R () ≠ ；称R是逆串行的，若Yx∈ ，3y∈ 使得 ∈尺 (y)；称尺是 自反的，若Yx∈ ，∈尺 ()；称尺对称 的 若Yx、y∈ ，∈尺 (y)则y∈尺 ()；称R是传递的，若Yx、yEU，yER ()则R (y)C_R ()；称尺是欧 几里德的，若Yx、yEU，y∈尺 ()则R ()C_R (y)． 我们知道 Pawlak粗糙集模型近似算子 的定义有两种主要形式 ，即 f = ∈U，k_CX)， { (1) I尺 ={l∈U，knx≠ )． f鱼 =U{yly∈U／R，Y_CX}， i：u y∈懈yn ≠ ， 由于尺是等价关系，这两种定义是等价的，并且定义 中每一对上下近似构成 了对偶．那么当尺是任意 二元关系时，用 尺 (y)代替 k得到： 定义2 A=(U，R)是广义近似空间，VX U，X的下近似和上近似定义为 fapr(X)={∈ ，R ()_cx}， … [apr(X)={∈ ，R ()nx# )． 收稿 日期：2007—11—20 基金项 目：国家自然科学基金 资助项 目 2 海南师范大学学报 (自然科学版) 2008年 fapr(X)=U {Rs()；尺s()_CX}， l{