代数sLDomain和投射对.pdfVIP

第20卷(增刊) 模糊系统与数学 2006年9月 Volume andMathematics 2006 20(Supplement)FuzzySystems September 代数sL．Domain和投射对 郭智莲1 杨海龙2 (1．西北政法学院经济管理学院，西安710022； 2．陕西师范大学数学与信息科学学院，西安710062) 给出了予代数sL-Domain的等价刻画，子代数sL-Domain与投射对之问的关系． 关键词：代数sL-Domain；子代数sL-Domain；投射对 中图分类号：0153．1 文献标识码：A Domain理论为计算机程序设计语言指称语义学奠定了数学基础，属于格论、拓 扑学、范畴论及理论计算机科学的交叉领域．在Domain理论这一领域中，有关各 的关系． §1 预备知识 定义1．1【1】设P是偏序集，如果D是P的非空子集且对任意n，b∈D，存 在c∈D，使得o≤c且bSc，则称D是P的定向子集． 定义1．2111设P是偏序集，如果P的每个定向子集D的上确界存在(记 作VD)，则称P是定向完备偏序集，简称为Dcpo． 定义1．3阁设P是偏序集，a，b∈P，如果对于P中任意定向子集D，当b≤VD below 时有d∈D使得凸≤d，则称away b，或a双小于b，记作o《b．如果。《矾 是紧元)． 定义1．4【2l设P是Dcpo．若№∈P，U$是定向集且o=VUz，则称P是 连续Domain；若铷∈P，l zn znK(P)是定向集且z=v(iK(尸))，则称P是代 数Domain． 定义1．5设尸是连续Domain．若比∈P，Jz是并半格，则称P是sL-Domain， 若P是代数的，则称P是代数sL-Domain． 引理1．113l 1收稿日期：2006-07-03． 作者简介：郭智莲(1980-)，女，西北政法学院经济管理学院教师，主要从事格上拓扑与模糊推理的 研究 模糊系统与数学 第20卷(增刊) 中茹V。Y是X，Y在l D中的上确界，iK(P)a=p∈K(P)：b≤a)． ，’：E—·D是保定向并的映射并且，o，，≤idE，，7o，=idn．其中，称为投射，，’ 称为余投射． 引理1．2【3】设D，E是Dcpo，(，，，‘)为(D，E)上的投射对，则 (i)若(g，97)是(D，E)上的投射对，则f≤g#号，7≥9’； SY{=争，(z)≤，(可)； (ii)比，y∈D，z (iii)№∈D，Y∈E，，㈤≤Y鲁孛x≤，7(Ⅳ)； (iv)，(K(D))￡K(E)． 引理1．3【3|设D，E，F是Dcpo，则 (i)(ido，idn)是(D，D)上的投射对； 上的投射对． 定义1．7N (1)如果A是D中的定向子集，则YEA∈D，即vDA=vEA； (2)K(D)∈K(E)(等价地说，K(D)=K(E)ND)； (3)Vx∈D，X=VE(tEonK(E)nD)； (4)物∈D，a，b∈ID (5)设A是D中有限子集，如果A在曰中有上界t，则A在D中有上界8，使 得8≤t． 引理1．4f3l设P是偏序集，A∈P且s，t∈P是A的上界．如果A在l8和it 中的上确界V。A和V￡A存在且V。A≤t，则V。A—VtA． §2 代数sL-Domain 定理2．1 数sL-Domain当且仅当下列六条成立： (i)C￡Ⅳ(F)； (ii)若A是G中定向子集，则VEA∈D； (iii)Va，b∈C且{Ⅱ’6)在E中有上界P，则aVE，pb∈G；