Scott闭集格的C-代数性及其应用

引入了拟C-连续偏序集的概念,利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格.证明了满足性质M的dcpo上的Scott闭集格都是C-代数格,从而给出了具有同构Scott闭集格的两dcpo同构的新的充分条件.     

Z-拟连续domain上的Scott拓扑和Lawson拓扑

对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σZ(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σZ(P)是Sober的当且仅当σZ(P)具有Rudin性质,P贼予Z-Lawson拓扑λZ(P)是pospace,且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λZ(P))为严格完全正则序空间.     

Z-拟连续domain上的Scott拓扑和Lawson拓扑

对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σ_z(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σ_z(P)是Sober的当且仅当σ_z(P)具有Rudin性质,P赋予Z-Lawson拓扑λ_z(P)是pospace;且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λ_z(P))为严格完全正则序空间。     

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构-FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.     

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.     

模糊DCPO范畴的一个笛卡尔闭的满子范畴

引入了有界完备模糊dcpo的概念,研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时,以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC-FDCPO是以模糊Scott连续映射为态射的模糊dcpo范畴FDCPO的笛卡尔闭子范畴。同时还给出了模糊完备交半格、强模糊完备交半格的定义,并研究了它们与有界完备模糊dcpo之间的关系。     

交C-连续偏序集

利用偏序集上的半拓扑结构,引入了交C-连续偏序集概念,探讨了交C-连续偏序集的性质、刻画及与C-连续偏序集、拟C-连续偏序集等之间的关系.主要结果有:(1)交C-连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)L是交C-连续的当且仅当对任意x∈L及非空Scott闭集S,当∨S存在时有x∧∨S=∨{x∧s:s∈S};(3)完备格是完备Heyting代数当且仅当它是交连续且交C-连续的;(4)有界完备偏序集是C-连续的当且仅当它是交C-连续且拟C-连续的;(5)获得了反例说明分配的完备格可以不是交C-连续格,交C-连续格也可以不是交连续格.     

交连续dcpo的遗传性和不变性

讨论了交连续dcpo的遗传性和不变性,证明了如下结论:(1)交连续dcpo对于开子空间和闭子空间都是可遗传的;(2)交连续dcpo在加最大元和去最小元运算下保持交连续性;(3)交连续dcpo的收缩核为交连续dcpo.另外,给出了交连续的主理想刻画的一个直接证明;构造了反例说明交连续dcpo对于主滤子是不可遗传的;也构造了反例说明所有主滤子都交连续的一个dcpo,自身不必是交连续的.     

关于拟连续domain以及函数空间的注记

用伴随的方式给出了拟连续domain以及其Scott闭集格(又叫广义完全分配格)的等价刻画。此外,本文证明了拟连续格关于函数空间是不封闭的,从而不能构成cartesian闭范畴。     

性质M_F与拟连续Domain中的Scott上紧集

对拟连续domain引入了关于基的性质MF,证明了对拟连续domain P,任两个Scott紧上集的交是Scott紧当且仅当P关于某一(任一)基具有性质MF.     

On k-Strictly Convex and k-Very Smooth Banach Spaces

Ｏｎｋ－ＳｔｒｉｃｔｌｙＣｏｎｖｅｘａｎｄｋ－ＶｅｒｙＳｍｏｏｔｈＢａｎａｃｈＳｐａｃｅｓＺｈａｎｇＺｉｈｏｕ（张子厚）（ＨｕａｉｎａｎＴｅｌｅｃｉｓｉｏｎＵｎｉｖｅｒｓｉｔｙ,Ｈｕａｉｎａｎ,Ａｎｈｕｉ,２３２００１）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉｓ...     

Characterizations of K-smooth Spaces and K-strongly Smooth Spaces

Some necessary and sufficient conditions for a Banach space to be K-smooth or Kstrongly smooth are obtained.     

On Commutators of Idempotents

It is shown that a pair of idempotent operators on a Banach space is triangularizable if their commutator is nilpotent. Moreover, if every operator on Hilbert space has an invariant subspace, then a pair of idempotents on Hilbert space is triangularizable if their commutator is quasinilpotent. These results are generalized from idempotents to quadratic operators.     

弱^＊局部一致凸空间的一些性质

讨论了弱^*局部一致凸空间的一些等价定义和性质,以及乘积空间的弱^*凸部一致凸的传递性。     

On Commutators of Idempotents

It is shown that a pair of idempotent operators on a Banach space is triangularizable if their commutator is nilpotent. Moreover, if every operator on Hilbert space has an invariant subspace, then a pair of idempotents on Hilbert space is triangularizable if their commutator is quasinilpotent. These results are generalized from idempotents to quadratic operators.     

相对积空间的Os-连通性

研究L-拓扑空间的相对乘积空间的Os-连通性。     

L-拓扑空间相对积空间的s-连通性

证明了s-连通性关于相对乘积运算是可乘的且是L-好推广。     

闭模糊拟阵的特征

给出Goetchel和Voxman定义的模糊拟阵成为闭模糊拟阵的三个充分必要条件。     

Very Convex Banach Spaces

ＶｅｒｙＣｏｎｖｅｘＢａｎａｃｈＳｐａｃｅｓＴｅｇｕｓｉ（特古斯）Ｓｕｙａｌａｔｕ（苏雅拉图）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＩｎｎｅｒＭｏｎｇｏｌｉａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｈｕｈｈｏｔ，０１００２２）ＬｉＹｏｎｇｊｉｎ...     

模糊粗糙线性空间

将粗糙集理论引入到线性空间与模糊线性空间中,分别给出了上粗与下粗线性空间及模糊上粗与模糊下粗线性空间的概念,并研究了它们的有关性质,获得了一系列有意义的结果。