期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

FZ-Domain的遗传性

Hereditary properties of FZ-Domains
下载PDF
导出
摘要 引入FZ-连续子空间的概念,在此基础上得到FZ-Scott开集和Z-Scott闭集都是FZ-Domain的FZ-连续子空间.证明了FZ-Domain的FZ-连续性对FZ-Scott开集和Z-Scott闭集都是可遗传的. The concept of FZ-continuous sub-space of an FZ-Domain is given,and based on it both FZ-Scott open subsets and Z-Scott closed subsets are proved to be FZ-continuous sub-spaces.It is also showed that the FZ-continuity is hereditary for FZ-Scott open subsets and Z-Scott closed subsets.
作者 韩艳伟
机构地区 陕西师范大学数学与信息科学学院
出处 《纺织高校基础科学学报》 CAS 2011年第1期103-108,共6页 Basic Sciences Journal of Textile Universities
基金 国家自然科学基金资助项目(10871121)
关键词 FZ-Domain FZ-Scott拓扑 遗传性 FZ-Domain FZ-Scott topology heredity
分类号 O153.1 [理学—基础数学]
  • 相关文献

参考文献7

二级参考文献47

  • 1Heckmann, 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.
  • 2Rudin, M. E., Directed sets with converge [A], in: Proc. Riverside Symposium on Topology and Modern Analysis [C], 1980, 305-307.
  • 3Hofmann, K. H. & Mislove, M., Local compactness and continuous lattices [M], Lecture Notes in Mathematics, Vol. 871, Springer-Verlag, New York, 1981, 125-158.
  • 4Kou, H., Uk-admitting dcpos need not be Sober [A], in: Domain and Process [M],Kluwer Academic Publishers, 2001, 41-50.
  • 5Bernays, P., A system of axiomatic set theory Ⅲ [J], J. of Symbolic Logic, 7(1942),65-89.
  • 6Xu, X. Q., Strictly complete regularity of the Lawson topology on a continuous poset[J], Topology and its Applications, 103(2000), 37-42.
  • 7Scott, D. S., Continuous lattices [M], Lecture Notes in Math., Vol. 274, Springer-Verlag,1972, 97-136.
  • 8Lawson, J. D., Topological semilattices with small semilattices [J], J. London Math.Soc., 2(1969), 719-724.
  • 9Plotkin, G. D., A powerdomain construction [J], SIAM J. of Computing, 5(1976), 452-487.
  • 10Abramsky, S. & Jung, A., Domain theory [M], Handbook of Logic in Comuter Sci., Vol.3, Clarendon Press, Oxford, 1994.

共引文献43

纺织高校基础科学学报
2011年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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