欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
本文给出了一个反例说明超连续domainL在Scott连续闭包算子c下的像c（L）不一定是超连续domain，证明了若超连续domainL上的Scott连续投射P有上伴随或有下伴随，则p（L）是超连续domain；若超代数domainL上的Scott连续闭包算子c有上伴随或有下伴随，则c（L）是超代数domain．
英文摘要：
In this paper, we give a counterexample to show that for an upper-continuous closure operator c on the hyperalgebraic domain L, c（L） is not a hypercontinuous domain. It is proved that if p is a Scott-continuous projection on a hypercontinuous domain L and p is a lower （upper） adjoint, then p（L） is a hypercontinuous domain. We also show that if c is a Scott-continuous closure operator on the hyperalgebraic domain L and c is a lower （upper） adjoint, then c（L） is a hyperalgebraic domain.
同期刊论文项目
同项目期刊论文
期刊信息
位置：