《相容完备格上的保序映射》由会员分享,可在线阅读,更多相关《相容完备格上的保序映射(2页珍藏版)》请在金锄头文库上搜索。
1、相容完备格上的保序映射【摘 要】 摘要:基于相容半素理想给出了相容完备格的概念.在相容完备格上定义了相容半 Lawson 拓扑 ,研究了相容半 Scott 拓扑、相容半 Lawson 拓扑及相 关的连续映射 .【期刊名称】 江苏师范大学学报:自然科学版【年(卷),期】2016(034)003【总页数】 3【关键词】 相容半素理想 ;相容完备格 ;相容半 Lawson 拓扑 ;保序映射Scott 拓扑和 Lawson 拓扑是偏序集上最重要的 2 个内蕴拓扑 ,且在 Domain 上 有一些良好的性质 .1997 年,赵东升 1 基于半素理想 ,将连续格推广到半连续格 . 一系列结果表明 ,半连续
2、格具有许多相似于连续格的性质 2-3.2008 年,毕含宇 等4在完备格上引入了半 Lawson 拓扑 ,并讨论了其在半连续格上的一些性质 . 我们在完备格上借助相容半素理想定义了相容半连续格 5. 本文借助相容半素理 想定义相容完备格及相容半 Lawson 拓扑 ,研究相容完备格上的相容半 Scott 拓 扑、相容半 Lawson 拓扑及相关的连续映射;证明保相容半素理想的映射关于 相容半 Scott 拓扑连续当且仅当保相容半素理想并 ;给出了 Galois 联络 (g,d) 的 上伴随g保相容半素理想,d保关系? c的充分条件,从而得到了映射f关于相容 半 Lawson 拓扑连续的充分条件 .1 预备知识定义11 设L为格,1为格L的一个理想,若对于任意a,b,c 当,a A b I,a A时旳a A (b V c) 1,1则半素理想.