Frink代数偏序集.pdf

第 29卷第 2期 模 糊 系 统 与 数 学 Vo1．29。No．2 2015年 4月 FuzzySystemsandMathematics Apr．．2015 文章编号 ：1001—7402(2015)02—00—06 Frink代数偏序集 严 君，徐晓泉 (江西师范大学 数学与信息科学学院，江西 南昌 330022) 摘 要 ：引入 了Frink代数偏序集 的概念 ，讨论 了它的一些性质 ，给 出了它的若干刻画，特别地 ，证 明 了 Frink代数偏序集的正规完备化 (P)为代数格 。 关键词 ：Frink代数偏序集；正规完备化 ；Frink理想 中图分类号：O141 文献标识码 ：A 1 引言 自创立 以来 ，连续格 (Domain)理论一直受到人们 的关注[1]。为扩展 domain的理论框架和应用范 围，连续 domain的概念被推广至了更一般的偏序集情形[3]。在文E6]中，Ern6注意到domain的连续性 在正规完备化_7下不保持 。为此 ，他基于 Frink理想 引入了预连续偏序集 (precontinuousposet)的概念 ， 证 明了偏序集为预连续的当且仅当其正规完备化为连续格。 在本文中，沿用 Ern6在文[6]的思路，我们引入 了Frink代数偏序集的概念，讨论了它的一些性质， 给出了它的若干刻画，特别地，证明了Frink代数偏序集的(正规)完备化 (P)为代数格。因而，依Ern6 文[6]的意义，我们的代数性推广是一种 “好”的推广 。 2 Frink代数偏序集 设 P为偏序集 。令P 一{F P：F有限}。Vz∈P，A P，令 十z一{Y∈P：z≤ }，十A—U 十口； 对偶地可 以定义 z和 A．令 Down(P)一{A P：一 }。令 和 分别为 的全体上界和全体 下界。记 A 一( 十)‘．称 (P)一 {A ：Ac_P)(赋予集包含关系)为 P的正规 (或 Dedekind—MacNeille)完 备化 ]。Ic_p称为P的一Frink理想，若对任意有限子集 z ，有 ．令 Fid(P)是所有 Frink 理想之集 。本文涉及的记号与术语可参见文[1]。 定义 2．1[ 设P，Q是偏序集 ，厂：尸一Q，g：Q—P．映射对 (厂，g)称为是P与Q之间的一个 Galois 联络，若 厂与 g都是保序 的，且 (户，g)∈P×Q，有 厂(户)≥qC=~p≥g(g)。此时 称为是 g的上伴随 (upperadjoint)，g称为是 ，的下伴随(1oweradjoint)。 注 2．1 设P是偏序集，-厂：P—P和g：P—P均是保序映射 。则(-厂，g)是一个Galois联络当且仅当 f。g≥d／P≥g。 收稿 日期 ：2013—12—08；修 订Et期 ：2014—03—29 基金项 目：国家 自然科学基金资助项 目11161023)；全 国优秀博士学位论文作者专项资金资助项 目(2007B14)；“赣鄱 英才 555工程”领军人才培养计划项 目；江西省 自然科学基金资助项 目(20114BAB201008) 作者简介：严君 (1989一)，女，江西师范大学数学与信息科学学院研究生，研究方向：格上拓扑学，Domain理论；徐晓泉(通讯作者) (1961一)，男，江西乐平人，江西师范大学数学与信息科学学院教授 ，博士生导师，研究方 向：拓扑学，格序结构，Domain理论。 模 糊 系 统 与 数 学 命题 2．1E 设 P为偏序集。 (1)映射 (一)’：(2)。一2，A A’和 (一) ：2一 (2) ，A A 都是保序的。 (2)((一) ，(一))‘是 (2)叩和 2 之间的一对 Galoisconnection，即VA，B P，B 甘B ‘． 因此 ：2一2， A=(’)和‘ ：2r~2， ( ‘)’都为闭算子。 (3)v {C ∈E，} 2，(UC』) 一NC