相容定向完备偏序集上射影算子的几个性质

摘要

在相容定向完备偏序集、相容连续偏序集及射影算子等概念的基础上,讨论了相容定向完备偏序集上射影算子、闭包算子及核算子的几个性质,证明了若L是相容定向完备偏序集,p:L→L为Scott连续的射影算子,则[Lp→L]与p(L)仍为相容定向完备偏序集以及其它几个相关定理,另外还证明了相容连续偏序集上射影算子的一个定理及一个推论.