一类基于分层量化的Domain上的广义Alexander拓扑

文献[8]提出了一类基于分层量化的偏序集结构(以下简称R-偏序集).此结构是sfe[5]的非对称推广,也是拟度量空间(quasi-metric spaces,qms)[3]和广义超度量空间(generalized ultrametric spaces,gums)[4]的一种特殊情形.本文定义了其上的广义Alexande...     

R-偏序集上的cpo,代数cpo与连续cpo

本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等结构,并给出了使得代数cpo和连续cpo结构得以保持的充分条件.     

分层偏序集上的广义Scott拓扑与不可约拓扑

分层偏序集指的是一个偏序集,且具有其交为已知偏序的按包含递减的偏序族[10]。本文仿照[1]的思路,在分层偏序集上定义了不可约拓扑,讨论了该拓扑的基本性质,特别是限制到偏序集上即得Scott拓扑。不同于一般偏序集上的Scott拓扑恰为Alexandroff拓扑的不可约拓扑,本文通过例子表明分层偏序集上的广义Scott拓扑并非广义Alexandroff拓扑的不可约拓扑。