期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
Domain投射空间的连续性
被引量:
1
下载PDF
职称材料
导出
摘要
本文研究了Domain理论中投射空间的性质.其主要结果是;若连续cpoD的投射空间是连续的,则 D必是代数 Domain.进一步,若连续 cpo D具有性质m则其投射空间是连续 cpo当且仅当D是代数Domain并且所有由紧元构成的序稠链是单点集.
作者
寇辉
刘应明
机构地区
四川大学数学学院
出处
《数学年刊(A辑)》
CSCD
北大核心
2000年第5期579-584,共6页
Chinese Annals of Mathematics
关键词
连续CPO
代数DOMAIN
投射空间
序稠链
连续性
分类号
O153 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
1
共引文献
0
同被引文献
6
引证文献
1
二级引证文献
2
参考文献
1
1
Liu Yingming,Topology Its Application,1996年,69卷,153页
同被引文献
6
1
Hofmann K H, Mislove M W. The lattice of kernel operators and topological algebra[J]. Mathematische Zeitschrift, 1997, 154: 175.
2
Huth M. Cartesian closed categories of domains and space Proj(D), Lecture notes in computer science 598 [M]. Berlin/New York: Springer-Verlag, 1991.
3
Huth M, Jung A, Keimel K. Linear types and approximation[J]. Math Struct in Comp Science, 2000, 10.. 719.
4
Huth M, Jung A, Keimel K. Linear types,approximation and topology[M]. USA: IEEE Computer Society Press, 1994.
5
Gierz G, Hoffmann K H, Keimel K, et al. Comtinuous lattices and domains[M]. Cambridge: Cambridge University press, 2003.
6
He W, Luo M K. Lattices of quotients of completely distributive lattices[J]. Algebra Universalis, 2005, 54(1) : 121.
引证文献
1
1
黄玉杰,寇辉.
线性FS格上的线性投射空间[J]
.四川大学学报(自然科学版),2010,47(1):27-30.
被引量:2
二级引证文献
2
1
赵浩然,寇辉.
关于概率幂domain的一个注记[J]
.四川大学学报(自然科学版),2012,49(4):743-746.
被引量:3
2
熊利平,寇辉.
L-稳定事件结构和L-domain[J]
.四川大学学报(自然科学版),2013,50(1):1-5.
1
曹喜望.
一个新的平衡不完全区组设计2-(21,6,12)[J]
.黄冈师范学院学报,1999,19(4):4-5.
被引量:1
2
彭朝英.
Bochner-Riesz算子的多线性交换子在Besov空间的连续性[J]
.长沙通信职业技术学院学报,2011,10(1):116-124.
3
李伟.
基于滤子的软拓扑空间的刻画[J]
.模糊系统与数学,2016,30(5):101-106.
被引量:2
4
尹永成.
多项式Julia集的连续性[J]
.数学学报(中文版),1995,38(1):99-102.
被引量:3
5
黄书棋,陈海燕,梁海兰,孙涛.
拓扑代数系统中的一类连续与极限[J]
.海南师范大学学报(自然科学版),2013,26(2):125-128.
6
杨金波,罗懋康.
Z-拟代数Domain[J]
.四川大学学报(自然科学版),2005,42(2):234-239.
被引量:3
7
罗淑珍,赖新兴,偶世坤.
环上的拓扑和偏序[J]
.模糊系统与数学,2012,26(4):149-154.
被引量:1
8
信秀,李生刚.
有限拟阵的确定[J]
.陕西师范大学学报(自然科学版),2007,35(4):12-14.
被引量:1
9
武利刚,樊磊,高泾萍.
R-偏序集上的cpo,代数cpo与连续cpo[J]
.数学杂志,2010,30(5):871-876.
被引量:1
10
刘妮,赵彬.
连续Domain的遗传性及其不变性[J]
.模糊系统与数学,2007,21(4):22-26.
被引量:9
数学年刊(A辑)
2000年 第5期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部