安徽省自然科学研究项目(KJ2012Z358)
- 作品数：18 被引量：8H指数：1
- 相关作者：卢涛祝祯祯朱润秋杜银玲马晶晶更多>>
- 相关机构：淮北师范大学河海大学南京师范大学更多>>
- 发文基金：安徽省自然科学研究项目国家自然科学基金更多>>
- 相关领域：理学更多>>
- 相容滤子完备偏序集上投射算子的几个性质被引量：1
- 2014年
- 本文从对偶地角度出发,引入了相容滤子集、相容滤子完备偏序集的概念,并研究了偏序集及相容滤子完备偏序集上投射算子的几个性质.证明了若p:L→L是偏序集L上保相容滤子交的投射算子,则p(L)在L中对相容滤子交封闭等相关结论.
- 朱润秋卢涛
- 关键词：滤子
- 弱完全交既约元及其性质被引量：1
- 2015年
- 根据格上交既约元、完全交既约元的概念,定义了弱完全交既约元,进而得出完备格上弱交既约元的一些性质及相关结论,并给出了完全交既约元的另一种等价定义.
- 王娣卢涛
- 关于格上二元运算“-”的性质研究
- 2014年
- 在格上定义了二元运算"—",得到一些运算性质,通过给出分散完备格的概念与性质,得出分散完备格与关于"-"运算满足分配律的格的等价性的刻画,最后,并在格矩阵上也定义了二元运算"—",从而得到相关性质与结论.
- 祝祯祯卢涛
- 关键词：分配格格矩阵
- 相容连续范畴
- 2013年
- 本文给出了相容定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论了相容定向完备范畴上的way-below关系的一些性质,证明了在相容连续范畴中way-below关系满足强插值性质.最后给出了相容连续范畴的一个刻画定理,即相容定向完备范畴L是相容连续的当且仅当对任意的x∈obL,↓x是连续的.
- 朱润秋卢涛马晶晶
- 关键词：WAY-BELOW关系
- 伪相容连续Domain局部基的若干性质
- 2014年
- 本文引入了相容定向集的容元,容集,以及伪相容连续Domain的局部基的概念,在此基础上讨论了伪相容连续Domain中容元的局部基的特点,并对伪相容连续Domain的局部基的其他相关性质进行了探讨.
- 祝祯祯卢涛
- 关键词：局部基
- 弱下邻及其性质被引量：1
- 2013年
- 文章引入弱下邻的概念,借助于既约元、弱完全并既约元讨论弱下邻在并半格、完备格及dcpo不同背景下的性质.同时也给出了弱下邻的紧元的简单性质.
- 马晶晶卢涛杜银玲朱润秋
- 内部算子空间及其范畴被引量：1
- 2013年
- 文章给出内部算子空间及其之间的连续映射的定义,讨论由内部算子空间(对象)及其之间的连续映射(态射)构成的范畴,并证明内部算子空间范畴中的(有限)积的存在性.
- 杜银玲卢涛朱润秋
- 关键词：内部算子连续映射
- 广义完全分配格被引量：1
- 2013年
- 本文研究了广义完全分配格和强伪代数格的一些代数性质和拓扑性质,并给出它们的一些刻画.证明了广义完全分配格关于上拓扑是sober空间.
- 吴云标卢涛
- 关键词：超连续格上拓扑
- 局部定向完备范畴及其上的辅关系
- 2013年
- 文章从局部化的思路出发,提出局部定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论局部定向完备范畴上的辅关系,特别是way-below关系的一些性质,证明了在连续的局部定向完备范畴中way-below关系满足强插值性质.
- 朱润秋卢涛杜银玲
- 伪补格上的弱Way-below关系
- 2014年
- 本文首先给出伪补格的定义,然后根据偏序集上Way-below关系的定义在伪补格上定义了弱Waybelow关系,并给出它的等价判定,从而得到伪补格上满足弱Way-below关系的元素的相关性质.
- 祝祯祯卢涛
