粗糙模糊子群在满同态下的性质-河北师范大学学报.PDFVIP

第29卷 第6 期 河北师范大学学报(自然科学版) Vol.29 o.6 2005年　11 月 Journal of Hebei ormal University (atural Science Edition) ov.2005 粗糙模糊子群在满同态下的性质 郭增 晓 (石家庄学院数学系, 河北 石家庄　050035) 摘 要:粗糙集理论 由Plawlak 于1982年提出的, 模糊集理论 由Zadeh 于 1965 年建立的, 粗糙集与 模糊集的结合越来越受到学术界的关注.研究了群中模糊集的上、下近似, 给出了上、下近似算子的性质, 讨论 了粗糙模糊子群在满同态下的性质. 关键词:群;粗糙集;模糊集;同余关系;粗糙模糊子群 中图分类号:O 159　　　文献标识码:A 　　　文章编号:1000-5854(2005)06-0560-03 粗糙集理论 由波兰数学家Pawlak[1, 2] 于1982年提出的, 它在人工智能、数据挖掘、知识表示等方 [3] 面有着广泛的应用.模糊集理论 由Zadeh 于1965 年建立的, 它已成功应用于国民经济的几乎各个 领域.这2 种理论有很强的互补性, 因此, 许多学者致力于研究粗糙集与模糊集之间的关系与相互融合. 本文中, 笔者把这2 种集合联系起来, 应用到了代数系统中, 通过模糊子群的同余关系定义了群中非空 集合的上、下近似集合, 讨论了粗糙模糊子群在满同态下的性质. [4] 定义1 　设G 一个群, 如果群 G 上的等价关系 δ满足 x ∈ G, 若(a , b )∈ δ(a, b ∈ G), 都 有(ax , bx )∈ δ, (x a, x b )∈ δ, 则称 δ 群G 上的同余关系. [5] 定义2 　设 G 一个群, e G 的单位元, μ G 的一个模糊子集.如果 μ满足 1)μ(ab )≥ min{μ(a ), μ(b )};2)μ(a-1)≥ μ(a );3)μ(e)=1, 则称μ G 的一个模糊子群.G 的模糊子群μ称为 模糊正规子群, 如果4)μ(ab )= μ(ba ), a, b ∈ G . 定义3　设 μ G 的模糊子群, t ∈ [0, 1], 则称集合μ={(a , b )∈ G ×G:μ(ab-1)≥ t } μ t 的t 水平关系. [6] 命题1 　设μ G 的模糊子群, t ∈ [0, 1], 则 μt 群G 上的等价关系.如果μ G 的模糊正规 子群, t ∈ [0, 1], 则 μ 群G 上的同余关系. t 命题2　设μ G 的模糊正规子群, t ∈ [0, 1], 记[a] 为包含元素a 的关于同余关系μ的等价类, μ t t 则[a] [b] =[ab] (a, b ∈ G ). μ μ μ t t t 设G, K 2个群, φ:G ※K 同态映射, μ G 的模糊子群,