模糊完备格范畴中的乘积和余积

讨论了以L-模糊完备格为对象、以保任意L-模糊集并的映射为态射的L-模糊完备格范畴LSUP中的乘积和余积,给出了乘积和余积的具体结构,推广了经典完备格范畴的结论,为研究此范畴的其他性质打下了基础。     

模糊Quantale范畴的性质

引入了模糊Quantale的概念,证明了模糊Quantale范畴同构于L-代数范畴,于是从范畴论的角度说明L-代数也可以看成是Quantale的模糊化结构;给出了模糊Quantale范畴中的极限的具体结构,同时证明了该范畴是完备范畴;给出模糊Quantale范畴中逆系统的逆极限结构,引入了两个逆系统之间映射的定义,由此导出两个逆系统的逆极限之间的极限映射.     

格序环的L同态

基本同态定理是代数系中的重要定理之一,文[1](Th1.2)将群的基本同态定理推广到格序群(L-群)中,本文将它推广到格序环(L-环)与格序模(L-模)中.     

L-稳定事件结构和L-domain

在domain理论中,事件结构和信息系统是domain的逻辑表示的主要工具.通过研究事件结构和它所对应的domain结构之间的关系,作者提出了L-稳定事件结构以及L-映射的概念,证明了L-稳定事件结构和L-映射构成的范畴等价于具有性质Ⅰ的代数L-domain和稳定映射构成的范畴,由此说明了可以通过特殊的事件结构来表示具有性质Ⅰ的代数L-domain.     

L-序水平一致极限空间

基于满层L-滤子的L-包含序,提出L-序一致极限空间的概念,证明L-序一致极限空间范畴作为拓扑范畴是笛卡儿闭的.同时利用"水平结构"的思想,发现了它的水平空间,即L-序水平一致极限空间.在证明L-序水平一致极限空间范畴与L-序一致极限空间范畴是范畴同构的同时,还建立了L-序水平一致极限空间范畴是文献中L-水平一致极限空间范畴的双反射子范畴这一深入联系.     

L-序代数的内射壳

讨论L-序代数范畴的内射性, 证明L-序代数范畴中的M^≤-内射对象恰是L-并代数, 并给出L-序代数范畴中一类特殊L-序代数的M^≤-内射壳的具体形式.     

L-序代数的内射壳

讨论L-序代数范畴的内射性, 证明L-序代数范畴中的M^≤-内射对象恰是L-并代数, 并给出L-序代数范畴中一类特殊L-序代数的M^≤-内射壳的具体形式.     

EQ-代数中的L-模糊滤子与EQ-同余

利用模糊数学和格论的思想方法,在EQ-代数中引入了L-模糊滤子的概念,得到了L-模糊滤子的一个等价刻画,证明了全体L-模糊滤子之集是序完备的EQ-代数。同时还研究了L-模糊滤子与EQ-同态和EQ-同余的关系,得到了EQ-代数中的基本同态定理。文中的结果是对EQ-代数中模糊前滤子理论的补充和完善。     

L-半格的性质

格作用在半格上得到L-半格,它有自己特有的结构和性质.本文主要讨论了具有最大元的格作用在半格上得到的L-半格的分解性和平坦性.同时,还介绍了L-半格的同余关系、余直积以及张量积的一些性质.     

L-PC(CA)余反射嵌入L-SSC

构造了从概率L-收敛空间范畴到强满层的L-收敛空间范畴的一个嵌入函子,并证明了前者可以余反射嵌入后者.类似地,证明了当L=[0,1]时,收敛方式空间也可以余反射嵌入强满层的L-收敛空间.     

序凸集与锥的正规性

研究了序凸集的一些运算性质,得到了紧序凸集的序端点表示定理．定理2紧序凸集是其所有序端点的序凸包．还利用序凸集给出了正规锥的两个特征性质．定理3实Banach空间E的锥P是正规的当且仅当E的任何有界集的序凸包是有界的．定理4实Banach空间E的锥P是正规的当且仅当E是局部序凸的,即E有一个序凸的零点邻域基．     

L-模糊远域空间与L-余模糊拓扑空间

对任意完全分配格L,引入了L-模糊远域空间的概念.并且证明了它与Hhle-ostak意义下的L-余模糊拓扑在范畴意义下是同构的.     

Banach格上的序连续范数算子

根据Banach格上的序连续范数算子的等价定义,在定理(I)的基础上,进一步得出了在某些Banach格上序连续范数算子、L-弱紧算子及M-弱紧算子的一致性.同时认为序连续范数算子的对偶算子也是序连续范数算子.从而系统地阐述了L-弱紧算子、M-弱紧算子、序连续范数算子及其对偶算子之间的本质联系.     

Banach格上的序连续范数算子

根据Banach格上的序连续范数算子的等价定义,在定理(I)的基础上,进一步得出了在某些Banach格上序连续范数算子、L-弱紧算子及M-弱紧算子的一致性.同时认为序连续范数算子的对偶算子也是序连续范数算子.从而系统地阐述了L-弱紧算子、M-弱紧算子、序连续范数算子及其对偶算子之间的本质联系.     

L-拓扑空间中的SP1-连通性

在L-拓扑空间中借助于强拟闭L-集引入了SP1-连通性的概念,给出了它的一些等价的刻画,并讨论了SP1-连通性和其他连通性之间的关系.     

L-半格的正则性

将格作用在半格上得到L-半格的概念,研究了具有最大元的格作用在半格上得到L-半格的正则性。同时,得到了正则性、投射性、忠实性之间的关系。     

L-拓扑空间中的强准开集与强准连续

引进L-拓扑空间的强准开(闭)集,讨论它的性质,建立它与已有近似开集之间的结构关系.其次引进强准闭包和强准内部,论述KURATOWSKI十四集定理的推广形式.最后引进强准连续、强准开(闭)序同态,讨论它们的性质.     

模糊数值函数的凸性与可导性

基于模糊数空间的一种新的序关系,给出了可微的凸模糊数值函数、拟凸模糊数值函数的刻划定理,并讨论了它们的关系.同时,给出了凸模糊数值函数取得最小值的充分条件以及凸化一般模糊数值函数的一种方法.     

Quantale中的L-模糊滤子及其相关性质

基于完备格L,在Quantale中引入了L-模糊滤子的概念,并研究了L-模糊滤子的基本性质.在L是闭集格的条件下,得到了Quantale中的L-模糊滤子的等价刻画;在L是空间式Frame且Q是幂等左半可换Quantale的条件下,证明了LQ上的生成滤子映射是Quantale核映射,进而全体L-模糊滤子构成的Quantale FilL(Q)是LQ的幂等的商Quantale;在Quantale中定义了L-模糊滤子拓扑,并得到了Quantale同态关于相应的L-模糊滤子拓扑连续的结论.     

半序局部凸空间的对偶定理

本文给出圆凸集合V的对偶定理,并得到任一有界集的序凸包仍为有界集的半序局部凸空间的对偶特征.