期刊文献+

Domain投射空间的连续性 被引量:1

下载PDF
导出
摘要 本文研究了Domain理论中投射空间的性质.其主要结果是;若连续cpoD的投射空间是连续的,则 D必是代数 Domain.进一步,若连续 cpo D具有性质m则其投射空间是连续 cpo当且仅当D是代数Domain并且所有由紧元构成的序稠链是单点集.
作者 寇辉 刘应明
出处 《数学年刊(A辑)》 CSCD 北大核心 2000年第5期579-584,共6页 Chinese Annals of Mathematics
  • 相关文献

参考文献1

  • 1Liu Yingming,Topology Its Application,1996年,69卷,153页

同被引文献6

  • 1Hofmann K H, Mislove M W. The lattice of kernel operators and topological algebra[J]. Mathematische Zeitschrift, 1997, 154: 175.
  • 2Huth M. Cartesian closed categories of domains and space Proj(D), Lecture notes in computer science 598 [M]. Berlin/New York: Springer-Verlag, 1991.
  • 3Huth M, Jung A, Keimel K. Linear types and approximation[J]. Math Struct in Comp Science, 2000, 10.. 719.
  • 4Huth M, Jung A, Keimel K. Linear types,approximation and topology[M]. USA: IEEE Computer Society Press, 1994.
  • 5Gierz G, Hoffmann K H, Keimel K, et al. Comtinuous lattices and domains[M]. Cambridge: Cambridge University press, 2003.
  • 6He W, Luo M K. Lattices of quotients of completely distributive lattices[J]. Algebra Universalis, 2005, 54(1) : 121.

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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