【摘 要】
：
Domain理论是D.S.Scott在70年代初提出来的,它给计算机函数式语言提供了指称语义.序结构和拓扑结构是在Domain理论中占据重要地位的数学结构,序和拓扑是可以互相生成的.本文
论文部分内容阅读
Domain理论是D.S.Scott在70年代初提出来的,它给计算机函数式语言提供了指称语义.序结构和拓扑结构是在Domain理论中占据重要地位的数学结构,序和拓扑是可以互相生成的.本文在已有的Domain理论和最新研究成果的基础上,讨论了一类新的偏序集的拓扑表示和范畴对偶;给出Z-预分配或Z-预连续偏序集的范畴间的对偶理论;研究一些非Hausdorff拓扑性质.具体内容如下:首先,我们定义了一类新的偏序集,它们是有补元的且理想分配的偏序集,我们称之为强布尔偏序集.该定义是不同于布尔偏序集对布尔格的推广.我们在所有素Frink理想集构成的偏序集上赋予一个拓扑,从而得到强布尔偏序集的Stone型的拓扑表示.讨论强布尔偏序集范畴与BP-空间范畴之间的对偶性.其次,我们进一步研究了Erne引入的Z-预分配和Z-预连续偏序集.当Z是闭子集选择时,我们重点讨论了Z-预分配和Z-预连续偏序集基于伽罗瓦联络应用的对偶定理.例如,所有的Z-预分配偏序集分别带有具有下伴随的弱Z△-连续映射和具有上伴随的保Z-below关系的映射构成的范畴Z-PDG和范畴Z-PDD是对偶的.我们引入了Z0-逼近辅助关系,并对Z-预连续性作出改进,从而可以推广domain与辅助关系之间的经典等价.众所周知拓扑空间中的sober性,良滤性和单调收敛性是在Domain理论中被广泛研究的三个重要性质.一些作者还研究了其他一些弱化形式的sober性和良滤性.这些拓扑性质的概念看起来不同.但我们通过引入(?)-fine空间的概念来将这些性质的概念统一化.同时我们还对弱良滤和弱sober空间做进一步研究.我们证明了弱良滤性和弱sober性在局部紧空间中是等价的;在第一可数空间中,弱sober性也等价于弱良滤性.最后,基于上述提到的(?)-fine空间,利用这种统一化的方法还引入了一些新的拓扑性质:PF-sober和PF-良滤.我们对PF-sober和PF-良滤空间进行探索,发现它们分别严格弱于弱sober和弱良滤空间,并且在coherence或收缩性质方面不同于其他空间.
其他文献
2020年中国政府将实现以前定下的发展目标,实现中华民族历史上从未实现的整个国家脱贫,但是全部人口的脱贫并不意味着贫困问题退出历史的舞台,相反我国农村的贫困问题将会出现很多新的特征以及不可预料的困难。为了在未来更好的推动扶贫开发工作,中国政府具有先见意识的在东部地区进行了一些扶贫试点改革。2013年中国政府决定在阜新、丽水、清远三个城市设立扶贫改革试验区,在2015年又在淄博、宿迁、三明建立第二批
本论文主要研究考察中共1948年5月进占内乡后到开始向社会主义过渡的1953年这段时期内,在内乡县如何以公安保卫网络为主来镇压、清除、监控敌对势力,以清理“旧”社会、巩固
目的:运用基于颈部解剖结构选取结筋病灶点针刺的方法治疗颈源性头痛,观察治疗前后及随访1个月的疼痛各维度自我评价及颈椎活动度的改善情况,为临床治疗本病提供一个可行的优化治疗方案。方法:本研究采用的研究方法为自身前后对照,对符合本研究纳入标准的19例颈源性头痛患者进行研究。治疗点的选择为目标肌肉肌腹处的结节、条索或压痛点。通过望诊及触诊,可选择的目标肌肉为较紧张一侧的的头后大直肌、对侧头下斜肌,乳突位
目的:探究补阳还五汤配合药盐包治疗气虚血瘀证型腰椎后路减压椎间融合内固定术后残余症状的临床疗效。方法:临床资料来源于北京中医药大学东直门医院2019年8月至2020年6月期间骨科治疗患者,严格按照纳入、排除标准选取60例患者,治疗随访过程中脱落2例,实际纳入58人,通过随机分组将病人分为两组,分别为中药结合常规治疗组以及单纯常规治疗组(即试验组采用补阳还五汤配合药盐包+营养神经、消炎镇痛治疗,对照
近年来,我国经济发展迎来新时代,各个行业面临新的变化,旅游业也不例外。随着人民生活水平的提高,旅游需求与供给间的矛盾发生变化,传统型的旅游发展模式难以迎合时代发展趋势,旅游业的转型升级和提质增效乃大势所趋。因此,对旅游业经济绩效评价是了解区域旅游发展现状,寻找影响旅游业发展的因素,扬长补短,提升旅游发展质量的重要手段,有助于促进旅游业长远发展。弥勒市是市场推动旅游业发展的非传统旅游城市,旅游的兴起
目的:近年来,随着中医体质学的发展,《中医体质量表》和相应的《中医体质分类与判定》标准已得到广泛的推广应用,成为“治未病”健康辨识的主要手段。婴幼儿体质虽与成人不同,但也存在由于先天禀赋和后天获得共同形成的体质差异,因此也“有类可分、有体可辨”,只是婴幼儿体质更加秉承于先天因素。目前,无论是儿童中医保健领域,还是儿科临床,都缺乏对婴幼儿进行中医健康测评的规范化、实用性的方法和工具。本研究依据王琦院
急性胰腺炎(acutepancreatitis,AP)是内科常见急腹症之一,是一种由胆石、酒精、高甘油三酯等因素导致的突发性胰腺外分泌炎症性疾病,可诱发全身炎症反应,造成胰腺外远隔器官
第一部分 胰岛素通过恢复UCP3表达、降低细胞能荷改善骨骼肌脂毒性目的 高脂饮食引起的能量过剩及脂质代谢紊乱是脂毒性发生的危险因素。线粒体是机体能量合成及氧化代谢的主
目的通过临床研究,总结肺纤维化的六经分布规律,研究肺纤维化六经辨证分型与一般情况、主要症状、评分指标及血瘀兼证的相关性,探讨血瘀兼证在肺纤维化六经辨证中的意义,为肺纤维化临床辨证论治提供思路延展。通过动物实验,探究大黄(?)虫丸对博来霉素诱导的肺纤维化大鼠肺功能及生存状态的影响,并从大黄(?)虫丸对TGF-β1/Smad3信号通路的影响探讨其干预肺纤维化的作用机制。方法临床部分:本研究通过调查问卷
第一部分ABO基因多态性与大动脉粥样硬化性脑梗死发病的关联性研究目的:探讨ABO基因单核苷酸多态性(Single nucleotide polymorphism,SNP)与大动脉粥样硬化性(Large artery a