论文部分内容阅读
引入了Scott相容连续映射与商相容Domain等概念,研究了Scott相容连续映射保局部基与保waybelow序及保局部基与保紧元之间的关系,证明了相容连续Domain或相容代数Domain在保局部基的Scott相容连续满映射下保持不变.
相容连续Domain的不变性
【摘 要】
：
引入了Scott相容连续映射与商相容Domain等概念,研究了Scott相容连续映射保局部基与保waybelow序及保局部基与保紧元之间的关系,证明了相容连续Domain或相容代数Domain在保局
【机 构】
：
五邑大学数理系
【出 处】
：
纯粹数学与应用数学
【发表日期】
：
2010年2期
【基金项目】
：
广东省自然科学基金（8152902001000004）, 江门市科技计划资助项目（2008[103]）
其他文献
给定广义自反矩阵R,S,即R=R=R-1,S=S=S-1,若复矩阵X满足条件RXS=X（或RXS=X）,则称其为（R,S）-对称矩阵（或（R,S）-斜对称矩阵）.分别讨论了线性流形上（R,S）-对称矩阵和（R,S）-斜对称矩阵约束下
给出了＂Hamilton圈侧枝循环＂等四个定理.它揭示了Abel群上4度Cayley图的Hamilton圈分解的特点及规律.同时,提出了Hamilton圈上＂单向通道＂的＂离合＂理论.在此基础上给出了Abel群上4度
研究了一种肿瘤生长模型中自由边界问题，该肿瘤生长模型异于其它此类模型之处就在于采用了新的方式来描述繁衍细胞和休眠细胞的运动．运用抛物型方程的Lp理论和不动点原理，证明了
本文通过油茶生物学特性、油茶防火林带营造技术措施和油茶防火林带效益分析三个部分的分析,指出了油茶作为生物防火带的主要种植物,所带来的经济、社会和生态的效益。