位置:成果数据库 > 期刊 > 期刊详情页
关于交半格同态构成的函数空间与FS-交连续Domain
  • ISSN号:1000-8314
  • 期刊名称:《数学年刊:A辑》
  • 时间:0
  • 分类:O153.1[理学—数学;理学—基础数学]
  • 作者机构:[1]四川大学数学学院,成都610064, [2]四川大学数学学院长江数学中心,成都610064
  • 相关基金:国家自然科学基金(No.10871137); 教育部新世纪优秀人才支持计划(No.070576)资助的项目
中文摘要:

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

英文摘要:

The authors define an order strvicture named as FS_∧-domain and investigate its(category) properties.It is shown that(1) FSVdomains are closed under the function spaces consisting of semilatticc liomomorphisms.i.e.,Scott continuous functions preserving meets;(2) Every distributive bounded complete domain which is multiplicative(about ) is an FS_∧-domain.Particularly,the Smyth powerdomain of a Lawson-compact continuous domain is an FS_∧-domain.These results show that the FS_∧-domain is the most suitable continuous semilatticc closed under the function spaces of semilatticc homomorphisms.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《数学年刊:A辑》
  • 中国科技核心期刊
  • 主管单位:国家教育部
  • 主办单位:复旦大学
  • 主编:李大潜
  • 地址:上海市长乐路746号
  • 邮编:200040
  • 邮箱:edcam@fudan.edu.cn
  • 电话:021-65642338
  • 国际标准刊号:ISSN:1000-8314
  • 国内统一刊号:ISSN:31-1328/O1
  • 邮发代号:4-298
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论(网络版),德国数学文摘,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:4264