本项目利用范畴,格论与组合集论的方法研究现代拓扑中若干问题。在Locale理论研究中得到了连通Locale性质,特别是其特有的性质,给出了与连通Locale相关的对象和映射的性质;证明了一类完全分配格存在唯一的层次结构,并在此基础上建立了拓扑分子格中具有层次特点的紧性概念;在格上拓扑理论中对于一致结构,近性结构与仿紧性等的研究中取得了具有点式拓扑特点,处理方法简洁的一系列结果;在一般拓扑学研究中得到了仿紧性等一些结果;此外在Domain理论的研究中也得到了若干有趣结果,并为以后研究工作的扩展与深化奠定了基础。
英文主题词L-topological spaces;Locale;Domain