Quantale上的预余核与余核研究.pdfVIP

第20卷(增刊) 模糊系统与数学 2006年9月 Volume Mathematics 2006 and 20(Supplement)FuzzySystems September Quantale上的预余核与余核 赵晔 (陕西师范大学数学与信息科学学院，西安710062) 摘要：本文给出了预余核的定义，并讨论了一些相关性质，以及预余核与余核的关系 关键词：Quantale；Quantale预余核；子Queatale；余闭包算子 中圈分类号：0153．1 文献标识码： A 背景是给量子力学提供新的数学模型【1，2】．在近20年中，Quantale的理论研究和应用 研究得到了很大的发展，其思想和方法对数学，逻辑以及理论计算机科学的若干分支 产生了较为深远的影响．Quantale可以看作是locale的一般化，加之其丰富的序结构， 代数结构和拓扑结构，因此其自身的内在结构也有极其丰富的内容．随着专著f3，4]等 一系列性质． 预余核作了一些探讨，给出了Quantale上预余核的定义，研究了其一些性质． 1 预备知识 定义l【3l设Q为完备格，＆是Q上满足结合律的二元运算．如果满足： (1)Ca，b，c∈Q，(o＆6)c=n(6c)； (2)Va∈Q，{6{)∈Q，aa(V阮)=V(o＆6t)；(Vbi)a=V(6ln)． 则称(Q，)是Quantale，简称Q是Quantale． 用0，1分别表示Q上的最小元和最大元． 分别用a一，一和a—I一表示． c． 因此Ya，b，C∈Q，abSC§a≤b_，e甘b≤血。z 命题1[3|设Q是Quantale，则Va，b，e∈Q， (1)o＆(o一，b)≤如 (2)(a_l6)＆n≤缸 1收稿日期：20(16-06-30． 作者简介：赵晔(1977-)，女，陕西师范大学硕士研究生，研究方向：格上拓扑学与摸糊推理 模糊系统与数学 第20卷(增刊) (3)b一，(a_，c)=(ab)_，c； (4)b—j(a÷_lc)=(ab)·4tc； (5)all(b}tc)=b_，(a--*tc)． 定义2吲设P为完备格，保序映射9：P—P若满足 (1)Va∈Pg(a)≤o； (2)Va∈只9(g(o))=g(o)． 则称g为余闭包算子． 口(n6)，则称g为Quantic余核． 命题2【3】设Q为Quantale，若g是Q上的余核，则锄={o∈Q9(n)=。) 是Q的子Quantale．另一方面，对Q的任意子QuantaleS，存在余核g，使仇=S． 命题3溯设Q为Quantale，g是Q上的余核，则Va，b，C∈Q，下列性质成立： (1)g(a)≤b营a(a)≤g(6)； (2)g(a一，b)≤9(o)一，g(b)≤a(a)一如； (3)9(o41b)≤g(口)—+fg(b)墨g(n)—+l6； (4)9((o6)一rc)≤g(b)一，(g(a一，c))； (5)g((n6)—·l c))． c)≤g(b)--4l(9(o*1 定义4【3l设S为QuantaleQ的非空子集，若S对任意并及运算封闭，则称S 是Q的子Quantale． 以下用到但未给出的有关Quantale的知识，请参照文([1】，[3])． 2 Quantale预余核 定义5设Q是Quantale，若映射go：0一Q满足 (1)go(x)≤z (2)若zSⅣ，贝0go(X)≤90(可)； (3)go(x)y≤go(zy)且xgo(y)Sao(xky)． 则称卯是Q上的预余核． 本文中记Q。=Fix(go)=扛∈Q