位置:成果数据库 > 期刊 > 期刊详情页
连续d-cone的Sandwich性质
  • ISSN号:0490-6756
  • 期刊名称:《四川大学学报:自然科学版》
  • 时间:0
  • 分类:O159[理学—数学;理学—基础数学]
  • 作者机构:[1]四川大学数学学院,成都610064
  • 相关基金:国家自然科学基金(11371262)
中文摘要:

本文研究了连续d-cone的Sandwich性质,证明连续d-cone的Sandwich性质关于乘积和连续线性收缩封闭.特别地,本文证明了:设X是连续domain,C是连续d-cone,下述两条等价:(1)任给Scott连续映射∧q∧p,:X×C→-R+满足∧q≤∧p,若对任意x∈X,∧q(x,-),∧p(x,-):C→-R+分别是超线性的和子线性的,则存在Scott连续函数∧∧:X×C→-R+使得∧q≤∧(A)≤∧p且对任意x∈X有∧(A)(x,-):C→-R+是线性函数;(2)X是离散domain即X的任意两个不同元素不可比较.该结果回答了2009年Tix,Keimel和Plotkin提出的一个公开问题.

英文摘要:

In this paper, we investigate the Sandwich property of continuous d-cones and show that the Sandwich property of continuous d-cones is closed under products and continuous retractions. Particularly, it is proved that for a continuous domain X and a continuous d-cone C, the following conditions are e- quivalent : (1) for two continuous maps q,p:X × C → R+with q ≤p, for any x ∈X,q(x,-),p(x,-): C→R+ are superlinear and sublinear respectively, then there exists a continuous function A :X × C→ R+ such that q ≤∧ ≤p and∧(x,-).-C→ R+ is linear for all∈ E X. (2) X is a discrete domain. This result answers an open question by Tix, Keimel and Plotkin in 2009.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《四川大学学报:自然科学版》
  • 中国科技核心期刊
  • 主管单位:国家教育部
  • 主办单位:四川大学
  • 主编:刘应明
  • 地址:成都九眼桥望江路29号
  • 邮编:610064
  • 邮箱:
  • 电话:028-85410393 85412393
  • 国际标准刊号:ISSN:0490-6756
  • 国内统一刊号:ISSN:51-1595/N
  • 邮发代号:62-127
  • 获奖情况:
  • 国家“双效”期刊,四川省十佳科技期刊,教育部全国高校优秀学报二等奖(1995,1999),四川省科技优秀期刊一等奖(1996,2000)
  • 国内外数据库收录:
  • 美国化学文摘(网络版),美国数学评论(网络版),德国数学文摘,美国生物科学数据库,英国动物学记录,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:10542