文献类型：期刊文章

作　　者：孟华[1] 寇辉[2]

机构地区：[1]四川大学数学学院,成都610064 [2]四川大学数学学院长江数学中心,成都610064

出　　处：《数学年刊（A辑）》

基　　金：国家自然科学基金(No.10871137);教育部新世纪优秀人才支持计划(No.070576)资助的项目

年　　份：2011

卷　　号：32

期　　号：1

起止页码：107-114

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CSCD、CSCD2011_2012、EBSCO、JST、MR、ZGKJHX、ZMATH、核心刊

摘　　要：定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.

关 键 词：FS-交连续domain  有界完备domain  函数空间 幂domain  

分 类 号：O153.1[数学类]