连续d-cone的Sandwich性质

摘要：

本文研究了连续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提出的一个公开问题.

关键词：连续d-cone、Sandwich性质、线性函数

所属期刊栏目：51

分类号：O159(代数、数论、组合理论)

资助基金：国家自然科学基金11371262

在线出版日期：2014-11-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：863-867