定向空间的下幂结构

• 作者: 寇辉 谢晓林
• 来源期刊: 四川大学学报（自然科学版）
• 学科: 数学
• 关键词: 幂domain 定向空间的下幂空间 观察诱导的下幂空间
• 年，卷（期）: 2020,（2）
• 所属期刊栏目: 数学
• 页码范围: 211-217
• 页数: 7页
• 分类号: O153.1
• 字数: 8702字
• 语种: 中文
• DOI: 10.3969/j.issn.0490-6756.2020.002

摘要

定向空间范畴推广了domain理论.该推广过程为函数式程序提供了非确定性指称语义的幂domain结构.本文以自由代数的方式定义了定向空间的下幂空间,证明了每个定向空间的下幂空间存在并给出其具体构造.一般情况下,定向空间的定向下幂空间既不同于赋予Scott拓扑的定向完备偏序集的下幂domain,也不同于Battenfeld和Sch?der定义的普通拓扑空间上观察诱导的下幂空间.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	寇辉	四川大学数学学院	25	124	7.0	10.0
2	谢晓林	四川大学数学学院	1	0	0.0	0.0