期刊文献+

关于一致连续偏序集的权的一些性质

Some properties of the weight on uniform continuous posets
下载PDF
导出
摘要 引入了一致连续偏序集的基的概念,给出了其一些等价刻画,讨论了一致连续偏序集的权与相应一致Scott拓扑空间的权之间的关系,并且进一步讨论其与相应的一致Lawson拓扑空间的权之间的关系.最后给出了在一致连续偏序集中,有w(Λ(P))=w(P)=w((P)). The concept of basis on the uniform continuous posets was defined. The equivalent characterizations of the basis on it were given, the relations between the weight on uniform continuous posets and that on the relative uniform Scott or Lawson topological spaces were discussed. Finally a perfect equality was obtained.
机构地区 南昌大学数学系
出处 《安徽大学学报(自然科学版)》 CAS 北大核心 2008年第4期8-10,共3页 Journal of Anhui University(Natural Science Edition)
基金 国家自然科学基金资助项目(10331010) 江西省自然科学基金资助项目(0411025) 南昌大学校基金资助项目(Z03688)
关键词 一致连续偏序集 一致Scott拓扑 一致Lawson拓扑 uniform continuous posets weight basis uniform Scott topology uniform Lawson topology
  • 相关文献

参考文献11

二级参考文献41

  • 1白仲林.一致连续偏序集理论[J].西北师范大学学报(自然科学版),1996,32(2):31-33. 被引量:16
  • 2[1]Lawson J.Encounters Between Topology and Domain Theory[C]. '99 International Symposium on Domain Theory, Shanghai,China,1999;1-28 被引量:1
  • 3[2]Lawson J. Computation on Metric Spaces via Domain Theory[J].Topology and its Applications,1998;85:247-263 被引量:1
  • 4[3]Gierz G.Hofmann K.Keimel K.Lawson J.Mis-love M, Scott D.A Compendium of Continuous Lattices[M].Springer-Verlag,1980 被引量:1
  • 5[4]Engelking R. General Topology[M]. Warszawa,1977 被引量:1
  • 6[5]Jung A.Cartesian Closed Categories of Domains[M]. Darmstadt,1988 被引量:1
  • 7[6]Droste M.On stable domains[C].Theoretical Computer Science,1993;111:89-101 被引量:1
  • 8Heckmann, R., An upper power domain construction in terms of strongly compact sets[M], Lecture Notes in Computer Science, Vol.598, Springer-Verlag, New York, 1992,272-293. 被引量:1
  • 9Rudin, M. E., Directed sets with converge [A], in: Proc. Riverside Symposium on Topology and Modern Analysis [C], 1980, 305-307. 被引量:1
  • 10Hofmann, K. H. & Mislove, M., Local compactness and continuous lattices [M], Lecture Notes in Mathematics, Vol. 871, Springer-Verlag, New York, 1981, 125-158. 被引量:1

共引文献66

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部