Domain投射空间的连续性

本文研究了Ｄｏｍａｉｎ理论中投射空间的性质．其主要结果是;若连续ｃｐｏＤ的投射空间是连续的,则 Ｄ必是代数 Ｄｏｍａｉｎ．进一步,若连续 ｃｐｏ Ｄ具有性质ｍ则其投射空间是连续 ｃｐｏ当且仅当Ｄ是代数Ｄｏｍａｉｎ并且所有由紧元构成的序稠链是单点集．     

连续Domain的遗传性及其不变性

引入Domain子空间的概念,得到Scott开集和闭集都是Domain的子空间。证明连续Domain或代数Domain对开子空间和闭子空间都是可遗传的。证明连续Domain或代数Domain在保Waybelow序的Scott连续映射下保持不变。     

拟连续Domain的若干拓扑性质

对拟连续Domain D证明了:(1)双拓扑空间(D,σ(D),(D))为两两完全正则空间;(2)若D有可数基,则(max(D),σ(D)max(D))为正则空间当且仅当它为Polish空间;(3)拓扑空间(D,σb(D))为零维Tychonoff空间,其中σb(D)为D上Scott拓扑的b-拓扑。     

环上的拓扑和偏序

在环R上引入了拓扑O[R]和偏序≤R,证明了(R,O[R])是可分的,第一可数的局部紧空间,并得出了如下结论:(1)(R*,O*[R])是T1的当且仅当O*[R]是离散的当且仅当R中的任一元r满足r=r2=-r;(2)若(R,O[R])是T0的,则U∈O[R]当且仅当U=↓U;(3)若R是伪有限的且对任意r都有〈r〉>2,则(R,≤R)是代数Domain;(4)若环R的特征数chR为2,则R是伪有限的当且仅当Rop是代数Domain。     

投射可迁环上矩阵环的若当同态

设R′是一个环,Mn′（R′）是R′上的n′×n′矩阵环.如果环R有不变基数性质并且每个有限生成的投射左R-模是自由模,则R是一个投射自由环.如果环R≌Mr（S）,其中S是一个投射自由环,则R是一个投射可迁环.当R是一个投射可迁环时,给出了从Mn′（R′）到Mn（R）（n′≥n≥2）的若当同态的代数公式.     

相容连续Domain的遗传性

定义相容Domain的子Domain与子空间等概念,得到Scott开集和Scott闭集都是相容Domain的子Domain与子空间的结论,证明了相容连续Domain或相容代数Domain对开子空间和闭子空间都是可遗传的。     

超连续domain上的投射北大核心

本文给出了一个反例说明超连续domain L在Scott连续闭包算子c下的像c(L)不一定是超连续domain,证明了若超连续domain L上的Scott连续投射p有上伴随或有下伴随,则p(L)是超连续domain;若超代数domain L上的Scott连续闭包算子c有上伴随或有下伴随,则c(L)是超代数domain.     

超连续domain上的投射

本文给出了一个反例说明超连续domain L在Scott连续闭包算子c下的像c(L)不一定是超连续domain,证明了若超连续domain L上的Scott连续投射p有上伴随或有下伴随,则p(L)是超连续domain;若超代数domain L上的Scott连续闭包算子c有上伴随或有下伴随,则c(L)是超代数domain.     

拟连续Domain及其子范畴间的伴随关系

基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL（分别地,有界完备连续Domain范畴CBD）是拟连续Domain范畴QCONT（分别地,Coherent拟连续 Domain范畴QCCOH）的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴.     

半群上的拓扑、偏序和相关Domain

在半群G上引入了半群拓扑O[G]和半群偏序≤G,研究了它们的性质和相互联系,得到如下主要结论:(1)拓扑空间(G,O[G])中开集均为偏序集(G,≤G)的下集;(2)拓扑空间(G,O[G])为T,的当且仅当O[G]是离散的,当且仅当G中任意元是幂等元;(3)在集合包含序下O[G]为代数的完全分配格;(4)若(G,O[G])是T0空间,则O[G]是偏序集(G,≤G)上的对偶Alexandrov拓扑;(5)半群G是伪有限的当且仅当偏序集(G,≤Gop)是代数Domain.