拟C-偏序集和广义完全分配偏序集的若干性质.pdfVIP

摘 要 自D．Scoff的开创性工作以来，Domain的结构理论成为计算机函数式语言的指 称语义学研究的一个关键点。从数学的角度来看，domain理论主要以满足一定 论的主要研究对象之一。 Domain理论研究的一个重要内容是尽可能地将domain理论推广到更一般的 格序结构上去。2008年，Menon在讨论连续偏序集序结构的基础上，引入了D偏 序集的概念，结果表明，D偏序集具有许多类似于连续偏序集的性质。拟连 续domain被公认为是domam的最成功推广之一，其基本思想是将“点与“点” 之间的waybelow关系推广至“集”与“集”之情形。循着Menon的思路，我们把 拟连续偏序集推广至拟D偏序集并讨论了拟D偏序集的一些性质。广义完全 分配偏序集作为一种特殊的拟连续偏序集是Menon在寻求刻画偏序集关于其 区间拓扑为紧致偏序空间时引入的，我们进一步讨论广义完全分配偏序集的 性质。D空间是Em点在研究拓扑与序之间关系时引入的一类重要空间。我们 证明了两个D空间的积空间为D空间，D空间关于相对闭集遗传等。 关键词：拟连续偏序集；C-偏序集；拟D偏序集；广义完全分配偏序集；C-空 间；偏序空间 ，，孓、 Abstract Sincethe workof structureofdomainshas pioneer D．S．Scott，the theory beenafocal fortheresearchindenotationalsemanticsfor functional point computer fromthe mathematicalresearch indomain languages．Seen angle，the objects theory mainconsistsof certainconditionsand between them． posetssatisfying morphisms Continuous oneofthemainresearch indomain dcpo(i．e．，domain)is objects theory． Oneofthe ofdomainisto asmuchas importantaspects theorycarry possible ofthe of domain continuoustoas orderstructureas theory general possible．In2008， on continuous had in