关于交半格同态构成的函数空间与FS-交连续Domain

• 作者: 孟华 寇辉
• 来源期刊: 数学年刊A辑
• 学科: 数学
• 关键词: FS-交连续 domain 有界完备 domain 函数空间 幂domain
• 年，卷（期）: 2011,（1）
• 页码范围: 107-114
• 分类号: O153.1
• 字数: 6653字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	寇辉	四川大学数学学院长江数学中心	25	124	7.0	10.0
2	孟华	四川大学数学学院	1	1	1.0	1.0