论文部分内容阅读
本文研究了Domain理论中投射空间的性质。其主要结果是：若连续cpo D的投射空间是连续的，则D必是代数Domain。进一步，若连续cpo D具有性质m,则其投射空间是连续cpo当且仅当D是代数Domain并且所有由紧元构成的序稠链是单点集。
Domain投身空间的连续性
【摘 要】
：
本文研究了Domain理论中投射空间的性质。其主要结果是：若连续cpo D的投射空间是连续的，则D必是代数Domain。进一步，若连续cpo D具有性质m,则其投射空间是连续cpo当且仅当D是代
【机 构】
：
四川大学数学学院
【出 处】
：
数学年刊：A辑
【发表日期】
：
2000年5期
其他文献
于正高和陶爱荣是各带着一个女儿的再婚夫妻．常为一点小事儿拌嘴。窗台上的5块钱不见了．于、陶又吵起来．都认为是对方给了各自的女儿。为了公平起见．于正高提议搜搜两个女儿。他
１９９７年对６种杀虫剂进行了防治小麦穗蚜田间药效试验。结果表明，４８％乐斯本乳油３００ｍｌ／ｈｍ２、３７５ｍｌ／ｈｍ２药后１ｄ校正防效分别为９１．０％和９５．６％；药后７ｄ校正防效分别为９１．９％和９２．８％；药后１０ｄ校正防效分别为９５．４％和９８．０％，田间持效期在１０ｄ以上，与对照药４０％氧化乐果７５０ｍｌ／ｈｍ２效果
颏胸粘连是典型的颈部重度疤痕挛缩,表现为下颌和胸壁间的疤痕粘结,颈部外形完全消失,呈强迫低头姿态.传统治疗方法多采用游离植皮,或皮瓣转移,供瓣区再植皮等方法.上述方法
目的提高对ICP的认识，了解ICP的处理及对围产儿的危害。方法对47例ICP病人的临床资料进行系统性回顾分析。结果95．7％的病人以全身皮肤瘙痒为首发症状，血胆汁酸水平与羊水污染率成
不久前在中国美术馆看黄永玉先生的画展，其中有一幅画着齐飞大雁的国画，空白处题一行大字：“何处是归程，长亭更短亭。”这幅画传达出的执著的乡愁，曾让我久久驻足。后来我又读到他
(括号中文字系《谚解》一书的汉语注释)[上卷] 开春打球儿.[球儿,质问云:作成木圆球.“球儿”,质问所释,疑即本国优人所弄杓铃之戏,与此节小儿之戏,恐或不同.详见下卷集览.]
第四届中国艺术节将于1994年8月在甘肃省兰州市举行。 本届艺术节的主题是团结、改革、繁荣,其宗旨是荟萃艺术精品,弘扬民族文化。 艺术节为期11天。8月18日举行开幕式,参加