您的位置: 专家智库 > >

孟华

作品数:1 被引量:0H指数:0
供职机构:四川大学数学学院更多>>
发文基金:教育部“新世纪优秀人才支持计划”国家自然科学基金更多>>
相关领域:理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇函数
  • 1篇函数空间
  • 1篇DOMAIN

机构

  • 1篇四川大学

作者

  • 1篇孟华
  • 1篇寇辉

传媒

  • 1篇数学年刊(A...

年份

  • 1篇2011
1 条 记 录,以下是 1-1
排序方式:
关于交半格同态构成的函数空间与FS-交连续Domain
2011年
定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.
孟华寇辉
关键词:函数空间
共1页<1>
聚类工具0