国家自然科学基金(11171156)
- 作品数：43 被引量：27H指数：3
- 相关作者：卢涛祝祯祯贺伟王娣高淑红更多>>
- 相关机构：淮北师范大学南京师范大学南京大学更多>>
- 发文基金：国家自然科学基金安徽省自然科学研究项目安徽省高校省级自然科学研究项目更多>>
- 相关领域：理学更多>>
- 弱连续交既约元及其性质
- 2017年
- 作为交既约元的一种推广,引入弱连续交既约元的概念,并对其在完备格上的一些性质进行讨论,得到若干结果.
- 王逸芬卢涛
- 关键词：完备格
- Pytkeev空间与弱FU空间的几个注记被引量：1
- 2016年
- 讨论了Pytkeev空间与弱FU空间几个映射的性质,得到了两类空间被连续映射保持与逆保持的几个结论,纠正了Malykhin与Tironi的两个错误证明.
- 王汉锋贺伟
- 关键词：闭映射
- 伪补格上的弱Way-below关系
- 2014年
- 本文首先给出伪补格的定义,然后根据偏序集上Way-below关系的定义在伪补格上定义了弱Waybelow关系,并给出它的等价判定,从而得到伪补格上满足弱Way-below关系的元素的相关性质.
- 祝祯祯卢涛
- 弱完全交既约元及其性质被引量：1
- 2015年
- 根据格上交既约元、完全交既约元的概念,定义了弱完全交既约元,进而得出完备格上弱交既约元的一些性质及相关结论,并给出了完全交既约元的另一种等价定义.
- 王娣卢涛
- 关于格上二元运算“-”的性质研究
- 2014年
- 在格上定义了二元运算"—",得到一些运算性质,通过给出分散完备格的概念与性质,得出分散完备格与关于"-"运算满足分配律的格的等价性的刻画,最后,并在格矩阵上也定义了二元运算"—",从而得到相关性质与结论.
- 祝祯祯卢涛
- 关键词：分配格格矩阵
- 关于格矩阵行列式的若干计算问题研究
- 2014年
- 在完全分配格上定义格矩阵以及格矩阵的行列式,给出格矩阵行列式的一些性质,并通过行列式的性质给出计算若干典型矩阵的行列式的方法.
- 祝祯祯卢涛
- 关键词：格矩阵行列式正交
- 完备格上交既约元的性质被引量：3
- 2014年
- 根据格上交既约元、完全交既约元的概念,定义了连续交既约元,给出了它们之间的联系与区别,进而得出完备格上交既约元的一些性质及相关结论.
- 祝祯祯卢涛
- 关键词：完备格
- 内部算子与内部算子格被引量：1
- 2013年
- 本文通过对拓扑空间上的内部算子及其性质的研究,给出了同一集合上的内部算子之间的偏序关系,重新定义了同一集合上的内部算子在此偏序关系上的交与并运算,并构造出同一集合上的内部算子关于此偏序关系的上下确界,进而得到了完备的内部算子格.
- 杜银玲卢涛马晶晶
- 关键词：拓扑内部算子完备格
- 半连续dcpo的局部半基的若干理论
- 2015年
- 对连续格、半连续格、半连续dcpo等的相关定义与主要性质进行比较,得到它们的联系与区别,作出一些补充,并给出半连续dcpo的局部半基的概念,从而得到一些相关性质与结论.
- 祝祯祯卢涛
- 关键词：连续格半连续格
- Topos中选择公理的一个等价刻画被引量：3
- 2015年
- 基于Topos中的偏序对象,以及相应的完备格对象定义,证明了选择公理的一个新刻画:选择公理成立当且仅当连续格对象等价于构造性连续格对象。
- 卢涛王习娟贺伟
- 关键词：TOPOS选择公理
