河北省自然科学基金(A2010000826)
- 作品数：9 被引量：6H指数：1
- 相关作者：姚卫路玲霞冯爽杨静梅王群更多>>
- 相关机构：河北科技大学石家庄经济学院西安科技大学更多>>
- 发文基金：河北省自然科学基金国家自然科学基金河北省教育厅科研基金更多>>
- 相关领域：理学更多>>
- 定向完备偏序集上的模糊Scott拓扑
- 2012年
- 设L是一个完备剩余格,定义了定向完备偏序集上的Hohle意义下的满层L-拓扑,称之为模糊Scott拓扑;基于满层的L-滤子,建立了相应的Scott收敛理论。证明了一个定向完备偏序集是连续的当且仅当对于每一个满层的L-滤子,其Scott收敛等价于按模糊Scott拓扑收敛。
- 路玲霞
- Heyting代数中同余关系的简化被引量：2
- 2012年
- 给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。
- 杨静梅冯爽姚卫
- 关键词：HEYTING代数滤子同余关系
- 等度连续半流性质的研究
- 2011年
- 对等度连续半流的性质进行了研究。证明了等度连续半流实际上是等度连续流,半流的等度连续性与几乎周期性等价;等度连续半流轨道的闭包是极小集,且存在一个连续映射。
- 李志从
- 关键词：等度连续性极小集
- 基于拟幂等的交换单位Quantale的模糊Domain被引量：1
- 2013年
- 基于一个拟幂等的交换单位Quantale,用模糊集的方法重新研究了量化Domain理论,主要定义了模糊DCPO上的模糊Scott拓扑,建立了满层的L-滤子的Scott收敛理论,证明了模糊DCPO范畴的笛卡尔闭性。虽然所得结论和已有文献中的基本一样,但是证明过程却有很大不同。结果表明,拟幂等的交换单位Quantale是用模糊集方法研究量化Domain的最宽泛的格。
- 姚卫李颜
- 有零元的幂等半环的理想和一种同余关系被引量：1
- 2011年
- 在有零元的幂等半环中定义了理想和正则同余,证明了所有理想和所有正则同余之间存在一一对应关系.该结果可以被用在quantale,剩余格,MV-代数和坡代数等一些代数系统的结构研究中.
- 周彬姚卫
- 关键词：同余
- 完全分配格被引量：1
- 2013年
- 对完全分配格就代数结构,序结构及其与Domain理论的关系等方面的知识进行了一个系统整理,旨在为相关领域的初学者提供一个参考.将格论、Domain理论和模糊拓扑学的各专著中的关于完全分配格的内容进行归纳总结.完全分配格可以从分配律、极小集(极大集)、三角小于关系、分子集及其上的Scott拓扑等方面进行等价描述.完全分配格是一个集代数结构,序结构及其与拓扑结构三大数学结构于一体的数学结构.
- 姚卫李海洋
- 关键词：完全分配格分子
- 条件交半格中的相对极大滤子被引量：1
- 2011年
- 引入偏序集的相对极大滤子的概念,证明在任意条件交半格中一个滤子是相对极大滤子当且仅当它是滤子格的完全交不可约元。一个格是分配的当且仅当每一个相对极大滤子都是素滤子。随后研究了Heyting代数中相对极大滤子的刻画,最后定义和研究了完全并既约生成格。
- 路玲霞王群
- 分明偏序集不能简单地当作模糊偏序集
- 2013年
- 一般而言,分明的数学结构借助于特征函数可以看成相应的模糊结构,如拓扑和模糊拓扑、群和模糊子群以及拟阵和模糊化拟阵等.对于偏序集和模糊偏序集,似乎也是这样的.但当考虑偏序集的具体性质,如(定向)完备性时,却发生了根本性的改变.文章通过例子说明分明的完备格借助于特征函数并不一定是模糊完备格,甚至连模糊DCPO都不是.由此说明,分明偏序集不能简单地直接当作模糊偏序集.
- 姚卫李尧龙吴高妮
- 基于滤子收敛的分离公理的等价刻画
- 2012年
- 在拓扑空间中,滤子是用来描述收敛的主要工具之一,也是用来研究收敛空间的主要工具。本文对拓扑空间中的滤子,定义了三个新的滤子■,*和△,并用它们刻画了拓扑空间中的T0,T1,T2,正则,完全正则和正规等分离性。
- 沈冲姚卫
- 关键词：滤子分离公理
