定向完备偏序集上的模糊Scott拓扑

设L是一个完备剩余格,定义了定向完备偏序集上的Hohle意义下的满层L-拓扑,称之为模糊Scott拓扑;基于满层的L-滤子,建立了相应的Scott收敛理论。证明了一个定向完备偏序集是连续的当且仅当对于每一个满层的L-滤子,其Scott收敛等价于按模糊Scott拓扑收敛。

相容定向完备集与相容Scott拓扑

借助S-极限的概念,在相容定向完备集上引入相容Scott拓扑和相容连续Domain。得出以下结果:上集U是相容Scott开集当且仅当U∈O(S);相容定向完备集P是相容连续Domain当且仅当S-收敛是关于相容Scott拓扑的拓扑收敛。

FS-相容Domain的定向完备化及相关范畴性质

引入FS-相容Domain概念,研究FS-相容Domain的性质,主要结果有:(1)FS-相容Domain的收缩核与连续函数空间还是FS-相容Domain;(2)FS-相容Domain是有限生成上集,从而是Scott紧的;(3)FS-相容Domain的定向完备化是FS-Domain;(4)有最大元的FS-Domain去掉最大元后是FS-相容Domain;(5)证明了以Scott连续映射为态射,FS-相容Domain为对象的范畴FS-CDOM是笛卡儿闭范畴并以FS-Domain范畴FS-DOM作为满的反射子范畴。

相容连续偏序集及其定向完备化

引入了相容连续偏序集及其定向完备化等概念 ,证明了相容连续偏序集的定向完备化是连续偏序集 ;利用主理想及 Scott拓扑刻画了相容连续偏序集 ,得到相容定向完备偏序集是相容连续的当且仅当它的任一主理想是连续偏序集也当且仅当它的 Scott拓扑是一个完全分配格 ;考察了相容连续偏序集的定向完备化的范畴意义 ,得到相容连续偏序集范畴以连续偏序集范畴作为满的反射子范畴 .

偏序集的完备化范畴研究

通过借用形式概念分析中构造粗糙概念的方法,给出偏序集的几种完备化构造,然后由偏序集诱导一个形式背景,讨论该形式背景下的粗糙概念与完备化的关系,主要讨论相容定向完备偏序集上的拓扑结构和范畴性质。

偏序集上的测度拓扑和全测度

在偏序集上引入测度拓扑和全测度概念,研究其性质以及与其它内蕴拓扑间的众多关系。主要结果有:连续偏序集的测度拓扑实际上是由其上的任一全测度所决定且可由它的定向完备化上的测度拓扑和全测度分别限制得到;当连续偏序集还是D om a in时,其上的测度拓扑与μ拓扑一致;连续偏序集有可数基当且仅当其上的测度拓扑是可分的;一个网如果测度收敛则存在最终上确界;任一ω连续偏序集上都存在全测度。

相容L-Domain及其相关范畴性质

引入了相容 L Domain概念 ,给出了相容 L Domain的多种内部的和外部的刻画 ;利用 Scott拓扑定义了相容 L Domain的定向完备化 ,证明了相容 L Domain的定向完备化是 L Domain;考察了相容L Domain范畴 ,得知稳定映射为态射的相容 L Domain范畴是 Cartesian闭范畴 ,证明了稳定映射为态射的 L Domain范畴为相容 L

代数L-domain的表示定理及其相关范畴性质

引入局部条件并半格 (简记为 L cusl)及其理想完备化等概念 .证明了 :任一代数 L domain的紧元集是 L cusl;任一代数 L domain是其紧元集赋予 Alexandrov拓扑时的 Sober化 ;任一 L cusl的理想完备化是代数 L domain,从而得到了代数 L domain的表示定理 .还证明了 Scott连续映射为态射的代数 L domain范畴为 L cusl与单调映射作成的范畴的反射子范畴 .

局部dcpo上的S-极限

在局部dcpo上引入了S极限的概念,并利用S极限来刻划Scott拓扑和连续的局部dcpo。其主要结果:证明了U是Scott开集当且仅当U∈O(S);D是连续的局部dcpo当且仅当,S收敛是关于Scott拓扑的拓扑收敛。

偏序集和连续偏序集上的Scott拓扑(英文)

本文以S-极限的方式在任意偏序集上定义了Scott拓扑,这推广了定义在dcpo上的Scott拓扑.给出了偏序集或连续偏序集上的Scott拓扑的一些性质.还证明了偏序集范畴不是Cartesian闭的,因此FS-偏序集范畴和B-偏序集范畴也不是Cartesian闭的.作为推论,指出了相容定向完备偏序集范畴CDCPO是偏序集范畴POSET的Cartesian闭的满子范畴.

相容连续偏序集的若干性质

借助相容连续偏序集的定义,研究相容连续偏序集上映射与伴随之间的关系,探讨相容定向完备偏序集上连续映射空间的若干性质.此外给出相容连续偏序集在Scott拓扑中的一些性质.