一类LFuzzy完备格与LFuzzy偏序集的DedekindMacNeille完备化.pdfVIP

第20卷(增刊) 模糊系统与数学 2006年9月 Volume andMathematics 20(Supplement) 2006 FuzzySystems September 张奇业1’2樊磊3 (1．北京航空航天大学数学系，北京100083； 2．数学、信息与行为教育部重点实验室，北京100083 3．首都师范大学教育技术系，北京100037) 推广；建立了L-fuzzy偏序集的Dedekind—MacNeille完备化，并给出其特征刻画． 中图分类号：0153．1 文献标识码：A 姐 引言及预备知识 自在[21中引入了L-fuzzy偏序集，把通常偏序集上的偏序关系模糊化了．本文则 概念，由此定义了L-fuzzy完备格，证明了它是通常完备格的推广．同时，本文还建立 c 对于完备格L，记0和1分别表示L的最小元和最大元．对于A L，VA和^A 分别表示A的最小上界和最大下界． 完备格L称为frame，若它满足无限分配律： Va∈工，{筑Ii∈，}∈L，n xi) A(V孔)一V(。A iEI t∈J aA 设L是flame，o，b∈L，记a_b=V{c∈Lc≤6)． X 定义1．112l设x是非空集合，L是frame，e：XX—·二是映射(称为程度映 射)．若 1收稿日期：2006—05-12． 作者简介：张奇业(1975一)，女，讲师，博士，主要从事格上拓扑学及Domam领域的研究；樊 磊(1963一)，男，教授，硕士生导师，主要从事格上拓扑学及Donmin领域的研究 233 (E1)Vx∈X，e(茗，$)=1； (E2)、审k，y，z∈X，e(x，Y)Ae(!，，Z)≤e(z，名)； (E3)比，Y∈X，e(z，Y)=1=e(可，z)=事z=Y， ep)如下，其中L=2为二元格：比，Y∈ 偏序集(尸，兰)可以被看作工B偏序集(PI P， l Z 一 y = e Z P y ，L 、J ___J(I●-●I O ZgF 也是LF-偏序集． 本文后面所用到的L中的程度映射均指这里定义的eL． 若Vx，Y∈X，eX(z，Y)≤ey(，(z)，，(9))，则称，是L-fuzzy单调映射． 除非特别说明，在以下行文中L总表示frame．设X是非空集合，A∈X，用x^ 简记为Ln． §2 L-fuzzy完备格及其问的同态 这一节我们定义LF一完备格及其间的同态，这部分内容也可见于文献【5]． 定义2．1