相容连续Domain的不变性

来源 :纯粹数学与应用数学 | 被引量 : 0次 | 上传用户:jiaonimaqubao110
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
引入了Scott相容连续映射与商相容Domain等概念,研究了Scott相容连续映射保局部基与保waybelow序及保局部基与保紧元之间的关系,证明了相容连续Domain或相容代数Domain在保局部基的Scott相容连续满映射下保持不变.
其他文献
给定广义自反矩阵R,S,即R=R=R-1,S=S=S-1,若复矩阵X满足条件RXS=X(或RXS=X),则称其为(R,S)-对称矩阵(或(R,S)-斜对称矩阵).分别讨论了线性流形上(R,S)-对称矩阵和(R,S)-斜对称矩阵约束下
铁皮石斛(Demdrobium officinale)为兰科石斛属多年生草本植物,是我国传统名贵珍稀中药材,具有益胃生津、滋阴清热等功效,并以其味甘、质重、柔韧和黏性大而被视为药材珍品.铁皮石
给出了"Hamilton圈侧枝循环"等四个定理.它揭示了Abel群上4度Cayley图的Hamilton圈分解的特点及规律.同时,提出了Hamilton圈上"单向通道"的"离合"理论.在此基础上给出了Abel群上4度
大苞兰(Sunipia scariose)产于我国产云南南部至西北部的勐腊、怒江流域一带,是一种生于海拔870~2500米的山地疏林中树干上的稀有兰花。国外的尼泊尔、锡金、印度东北部、缅甸、
研究了一种肿瘤生长模型中自由边界问题,该肿瘤生长模型异于其它此类模型之处就在于采用了新的方式来描述繁衍细胞和休眠细胞的运动.运用抛物型方程的Lp理论和不动点原理,证明了
人类莳养君子兰200年来,对其不断的进行改良.尤其是解放后,广大君子兰爱好者和育种专家对君子兰进行了深入、持续的探索、研究、培育,使君子兰叶片由窄叶变宽叶,
本文通过油茶生物学特性、油茶防火林带营造技术措施和油茶防火林带效益分析三个部分的分析,指出了油茶作为生物防火带的主要种植物,所带来的经济、社会和生态的效益。
利用R^3中卵形结果的高斯曲率不等式以及著名的等周不等式,将R^3中卵形闭曲面的高斯曲率K应用到空间曲面的等周亏格的上界估计中,得到了R^3中卵形闭曲面的等周亏格的一个新的上
在完备G-度量空间的框架下,利用尼弱交换映象的概念,证明了两对品弱交换Altman积分型自映象的一个新的公共不动点定理,并给出了结论的有效性实例.所得的结果不同于已有文献中的已