格上拓扑学与不分明拓扑学

自从重域系与远域系引进后,不分明拓扑中“有点式研究”似乎比“无点式研究”更为成功。不分明拓扑本身是一种格上拓扑,于是这些有点式研究为发展点式格上拓扑学提供了一个模式。为了说明这一点,我们讨论了下述专题:(1)择一原则及其变种,特别它与连续格理论中基本概念way-below关系的联系。在若干构造中“点”的种种型式,如并既约元,极小族等,现在可予统一地表述。(2)紧化理论,包括空间式紧化存在性,紧化的预序及最大紧化的唯一性,Stone-(?)ech紧化及相应的映射扩充性质。本文述及结果大多是我们最近得到的。