Z-连通集系统一些范畴性质.pdf

2一连通集系统的一些范畴性质 摘 要 对于Z一连通集系统，本文引入了Z一连通代数偏序集的概念，讨论了Z一连通 完备偏序集的卡氏闭问题，证明了2一连通代数偏序集范畴对偶等价于强代数格 范畴的一个满子范畴，最后，在较弱的集论公理系统ZFDC.中，研究了Z一连通 连续偏序集上的Z,-Lawson拓扑人(A)，证明了它是完全正则的，且具有可数基 时 (A,A,(A))是可度量空间. 关键词:Z一连通集系统Z一连通连续偏序集Z一连通代数偏序集强代数格 基 可度量空间 2一连通集系统的 一些范畴性质 Abstract Inthispaper, foraZ-connectedsetsystem,theconceptofZ-connected algebraicposetisintroduced.CartesianclosednessofcategoryofZ-connectedposet isdiscussed.WeprovethatthecategoryofZ-connectedalgebraicposetsisdually equivalenttoafullsubcategoryofthecategory ofstronglyalgebraiclattices. Finally,usingonlytheaxiomDC,,ofccdependentchoices,westudythatthe Z-connectedcontinuousposetAiscompletelyregular,whichisequippedwitha countablebase,thespaceAwiththeZ-connectedLawsontopologyismetrizable space Keywords:Z-connectedsetsystem; Z-connectedcontinuousposet; Z-connectedalgebraicposet;stronglyalgebraiclattice;base;metrizablespace Z一连通集系统的一些范畴性质 引 言 自从上世纪七十年代以来，由于计算机科学所引起的关注和数学若千领域取 得了重要进展，计算机科学和纯数学的交叉的研究，特别是拓扑结构、格序结构、 范畴结构等在计算机科学中的应用引起了人们的极大关注.这此结构及其相互 交叉内容的研究越来越受到数学家和计算机科学家的重视. 卜世纪七十年代初，著名数学家和理论计算机科学家Scott创立了连续格理 论，为确定性程序的指称语义奠定了坚实的基础.之后，Plotkin指出，作为数 学模型，我们需要更加 一般的研究对象.因而诞生了domain这一重要的概念. 从此，domai。的结构理论成为研究形式指称语义学中至关重要的一部分m.到 了二十世纪七十年代中期，著名理论计算机科学家Plotkin,Smyth等人提出了 幂domain理论，为非确定、并发和分布式程序的指称语义学奠定了良好的基础 其后，这一理论得到了丰富和发展[[9] Domain理论发展的另一个动力来源于纯数学领域，著名数学家Hofmann, Lawson,Keimel等人由于各自的深入研究，他们从不同的途径独立地进行了连续 格理论的探究[2t.之后，对更加 般的具有某种连续性的格序结构的研究逐渐成 为国内外数学家和理论计算机科学家的研究热点，如BandeIt[2〕等人引入了Z- 连续偏序集并且讨论了一系列基本性质，Novakl14!从不同的角度研究了广义连续 偏序集. 近 _卜年来，无论是从计算机程序指称语义学的角度还是从纯数学的角度而 N,Domain理论研究的重点是将连续格理论中的定向系统推广成更加 」般的子 集系统进行研究[2,3,4,89,14,18.20.26.28.沿着前人的思想，Venugopalan将 “点”与 “点”之间的强below关系推广至 “集”对 “集”的情形[19,20[ 另外，在Domni。理论研究中，Scott拓扑和Lawson拓扑是两个很重要的拓 扑，其分离性的研究对格论的发展也起着重要的作用，因此受到了人们的关注 近来，基于文2「7」的思想，在文2「3]中，引入了一个新的Z一连通集系统，给 出了Z一连通连续偏序集