Z-半连续格及其局部强紧空间的一些性质.pdfVIP

摘 要 近三十年来，数学与计算机科学的交叉，尤其是拓扑方法、格序结构、范 畴结构等在计算机科学中的应用引起了人们的广泛关注．二十世纪70年代初， 称语义学研究的一个关键点． 无论从数学的角度还是从计算机程序指称语义学的角度而言，Domain理论 研究的一个重要方面是尽可能地将连续格(domain)理论推广到更为一般的偏序 结构上去．上世纪八、九十年代，Gierz、Lawson、Keimel等人分别引入并研究了超连 续格、广义连续格、Z一连续偏序集和FS．格，它们属连续格(domain)最为成功的推 人引入了～类重要的domain-拟连续domain，其基本思路是将”点”与”点”之间的way below关系推广至”集”与”集”之情形．1997年，基于素理想系统，赵东升引入了半 连续格的概念． 本文的主要工作之一就是试图将连续格和半连续格理论推广至一般子集 系统z．因此，引入了广义理想子系统z、z．半连续格及强Z．连续格的概念，讨 论了它们的基本性质和Z一半连续格的函数空间的结构，给出了强Z．连续格到 方体的嵌入，证明了当子系统Z满足一定条件时，Z．半连续格范畴SCLz是笛卡 儿闭的． 本论文的另一主要工作是研究了局部强紧空间关于基的性质MF．及完全 正则性．对局部强紧空间P上两个拓扑丁，6，分别赋予序：5，=s尹=s，证明 了(1)当(P’r)满足一定条件时，任两个r紧上集的交是r紧当且仅当P关于某 V 的，特别有(P-ru(P))为完全正则的． 关键词：广义理想子系统；Z．半连续格；局部强紧空间；性质MF．；完全正 则 Abstract Intherecent interactionsof science thirtyyears，the and computer mathematics，especially the of and applicationstopologicalstructures，lattice-orderedstructures structuresin category attractedaconsiderabledealof computerscience，have attention．Inthe 1970，S，Scott，Plotkin， LawsonandHofmannestablishedthe ofcontinuous the structureof theory lattices(domains)，and has afocal domainsbeen forresearchindenotational theory point semanticseversince． Fromboththe science sideandthe mathematical computer purely side．oneof important瓣 ofdomain isto as muchas ofthe of pects theorycarry