超连续domain上的投射
发布时间：2018-11-09 20:15
【摘要】：本文给出了一个反例说明超连续domain L在Scott连续闭包算子c下的像c(L)不一定是超连续domain,证明了若超连续domain L上的Scott连续投射p有上伴随或有下伴随,则p(L)是超连续domain;若超代数domain L上的Scott连续闭包算子c有上伴随或有下伴随,则c(L)是超代数domain.
[Abstract]:In this paper, we give a counterexample to prove that the image c (L) of supercontinuous domain L under Scott continuous closure operator c is not necessarily supercontinuous domain, and that if Scott continuous projection p on supercontinuous domain L has upper adjoint or lower adjoint, Then p (L) is a supercontinuous domain; If the Scott continuous closure operator c on a superalgebra domain L has an upper adjoint or a lower adjoint, then c (L) is a superalgebra domain..
【作者单位】： 江西师范大学数学与信息科学学院;
【基金】：国家自然科学基金(11161023、11661057) “赣鄱英才555工程”领军人才培养计划项目 江西省自然科学基金(20114BAB201008、20161BAB2061004)资助项目
【分类号】：O153.1
，
本文编号：2321445
[Abstract]:In this paper, we give a counterexample to prove that the image c (L) of supercontinuous domain L under Scott continuous closure operator c is not necessarily supercontinuous domain, and that if Scott continuous projection p on supercontinuous domain L has upper adjoint or lower adjoint, Then p (L) is a supercontinuous domain; If the Scott continuous closure operator c on a superalgebra domain L has an upper adjoint or a lower adjoint, then c (L) is a superalgebra domain..
【作者单位】： 江西师范大学数学与信息科学学院;
【基金】：国家自然科学基金(11161023、11661057) “赣鄱英才555工程”领军人才培养计划项目 江西省自然科学基金(20114BAB201008、20161BAB2061004)资助项目
【分类号】：O153.1
，
本文编号：2321445
本文链接：https://www.wllwen.com/kejilunwen/yysx/2321445.html
