超連續(xù)domain上的投射
發(fā)布時間:2018-11-09 20:15
【摘要】:本文給出了一個反例說明超連續(xù)domain L在Scott連續(xù)閉包算子c下的像c(L)不一定是超連續(xù)domain,證明了若超連續(xù)domain L上的Scott連續(xù)投射p有上伴隨或有下伴隨,則p(L)是超連續(xù)domain;若超代數(shù)domain L上的Scott連續(xù)閉包算子c有上伴隨或有下伴隨,則c(L)是超代數(shù)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..
【作者單位】: 江西師范大學數(shù)學與信息科學學院;
【基金】:國家自然科學基金(11161023、11661057) “贛鄱英才555工程”領軍人才培養(yǎng)計劃項目 江西省自然科學基金(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..
【作者單位】: 江西師范大學數(shù)學與信息科學學院;
【基金】:國家自然科學基金(11161023、11661057) “贛鄱英才555工程”領軍人才培養(yǎng)計劃項目 江西省自然科學基金(20114BAB201008、20161BAB2061004)資助項目
【分類號】:O153.1
,
本文編號:2321445
本文鏈接:http://sikaile.net/kejilunwen/yysx/2321445.html
最近更新
教材專著