模糊子坡代数、模糊等价关系及模糊同余关系的序方面.pdfVIP

第25卷第5期 模糊系统与数学 V01．25，No．5 2011年10月 andMathematics Oct．。2011 FuzzySystems 文章编号：1001-7402(2011)05．0043—07 模糊子坡代数、模糊等价关系及模糊同余关系的序方面。 刘璐璐1，伏文清2，李生刚1 (1．陕西师范大学数学与信息科学学院．陕西西安710062， 2．西安工业大学数理系。陕西西安710032) 摘要：证明了坡代数(X，+，*)上所有模糊子坡代数构成的集合(SIco．I】(X，+，-)，≤)．所有模糊 1r，≤)的子完备格，所有模糊等价关系构成的集合(Equ[o．1j(X，+，-)。≤)．所有模糊同余关系构成 界和上确界的构造。 关键词：模糊子坡代数，模糊理想，模糊滤子；模糊等价关系，模糊同余关系I子完备格 中圈分类号：0159 文献标识码：A 1 基本概念及基本结果 坡代数产生于控制理论，它是由中国科学院自动化研究所的曹志强博士于1981年提出的[1]。1984 年，曹志强与K．H．Kim和F．W．Roush合作出版了专著【2]，书中系统地介绍了坡代数的基本概念、序结 构、代数结构、坡代数上的向量和矩阵、拓扑坡代数以及坡代数的应用等方面的知识。简单地说，坡代数 就是两个元素的乘积小于或等于每个因子的加法幂等半环。布尔代数、分配格等许多熟知的代数都是坡 代数的特例。坡代数及坡矩阵理论在自动机理论、控制论、图论、决策论、神经系统等领域具有很好的应 用前景。由于理想、滤子和同余关系在代数理论中的重要性，姚卫和S．C．Han在[33中研究了坡代数中 的理想、滤子及同余关系。考虑到坡代数中元素的不确定性，Y．B．Junr．]定义了模糊子坡代数、模糊理想 的概念，给出了模糊子坡代数和模糊理想的若干等价条件和性质。本文将讨论模糊子坡代数、模糊理想、 模糊滤子及模糊同余关系的序方面的性质。 定义1．1[2]设X是一个集合，若+和*是X上的两个二元运算且满足以下条件： (1)z+Y=Y+z(V．27，Y∈X)； (2)z+(y+名)=o+y)+z(Vz，Y，z∈X)； (3)z*(y*z)=(z*y)g-名(Vz，y，z∈X)， (4)z K-(y+名)=o*y)+o*z)(Vz，Y，2∈X)I (5)(y+2)*z=(y*z)+(名*z)(Vz，Y，名∈X)l ·收稿日期12010—11·22；修订日期，2011-02-28 基金资助项口(201ICXS022)#陕西省教育厅专项科研计划项目(11JK0484) 作者简介；刘璐路(1987一)，女·陆嗄西豢冬，研究生，研究方向。格上拓扑学，伏文清(1983-)。女，讲师，博士。研究方向t格上拓扑 学I李生刚(1959-)．男。教授，研究方向。格上拓扑学． 万方数据 模糊系统与数学 2011年 (6)z+z=z(Vz∈X)I (7)z+(z*y)=z(Vz，Y∈X)f (8)y+(z*y)=y(Vz，y∈X)， 注1．1 当z+y=y，则≤是X上的一个偏序关系。 a*抚 定义1．2设(x，+，*)为坡代数，A∈[o，1r，E∈[o，1r艋． 模糊子坡代数。 (4)[‘]如果E满足条件： z∈X)， (i)E(x，z)一V{E(y，名)IY，名∈X}(V z，y∈X)， (ii)E(x，y)=E(y，z)(V (iii)E(x，y)^E(y，名)≤E(x，2)(Vz，y，名∈X)， 则称E为(X，+，*)上的一个模糊等价关系。 (5)啪如果(X，+，*)的模糊等价关系E满足条件：