王戈平
- 作品数:22 被引量:83H指数:6
- 供职机构:徐州师范大学数学科学学院更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:理学自然科学总论更多>>
- Domain上的扩张定理被引量:2
- 2003年
- 对定向极小集进行了进一步的研究,给出了Domain中保定向极小集映射与保定向并和《映射之间的等价刻 画及其有关的性质,在此基础上得到了关于保定向极小集映射的两个相应的扩张定理.
- 周立涛王戈平
- 关键词:扩张定理定向极小集DOMAIN
- I(L)型诱导空间与良紧性被引量:11
- 1989年
- 诱导空间在不分明拓扑中是十分重要的。众所周知,任一拓扑空间(X,Y)上取值于I=[0,1]的下半连续函数全体对任意上确界与有限下确界关闭,因此这些下半连续函数构成X上的一个不分明拓扑,记为ω(Y)。(I^x,ω(Y))称为由拓扑空间(X,Y)诱导的不分明拓扑空间。
- 王戈平
- φ-拓扑
- 1990年
- §1 φ-函子在连续格理论中存在着一类具有共性的函子,如函子φ_s:范畴COM_s(对象完备格,态射保任意交)→集范畴SET,φ_(L)为L的全体单点集;φ_D:范畴COM_D(对象为完备格,态射保任意交、有向并)→SET,φ_D(L)为L的全体有向集;φ_c:范畴COM_c(对象为完备格,态射保任意交、并)→SET,φ_c(L)为L的幂集P(L)。诸如此类的函子,我们给出定义如下:
- 时根保王戈平
- 关键词:保序映射
- 完全分配格与点格被引量:16
- 1993年
- 本文第一部分利用完备格上的上拓扑子基,给出完全分配格与点格的若干新刻划,并讨论其上的 Scott 拓扑与 Lawson 拓扑的基与子基的构造.第二部分讨论点格与代数格的关系,证明了 L 是点格当且仅当 L 为代数格且 L^(op)为完全 Heyting代数,并证明了代数偏序集范畴与点格范畴是等价的.
- 王戈平时根保
- 关键词:完全分配格SCOTT拓扑
- 局部dcpo和相容dcpo的交连续性被引量:5
- 2005年
- 在局部dcpo和相容dcpo中引入了交连续的概念,并证明了它们在半格情况下等价.本文的主要结果是定理1,定理2,定理3.
- 徐爱军王戈平
- 关键词:连续性定理等价半格
- 相容双有限domain及相关范畴性质被引量:3
- 2005年
- 将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题.并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴.还讨论了相容定向完备偏序集及相容代数domain上的几个性质.
- 张滦云王戈平
- 诱导I(L)-拓扑空间中网的收敛性及其应用(英文)
- 2004年
- 本文给出了诱导I(L)-拓扑空间中网的收敛性的一个刻画,利用它得到了良紧性是I(L)-“好的推广”的一个简洁的证明.
- 王戈平陈莉
- 关键词:收敛性良紧性
- LSC(X,R~*)上Way-Below关系的一个注(英文)
- 1999年
- 本文指出文献[1]中关于下半连续函数格LSC(X,R*)上Way-below关系的一个结论是错误的,并且给出一个修正的命题及其证明.
- 王戈平
- 关键词:WAY-BELOW关系拓扑空间
- φ—序同态及其在φ—连续格理论中的应用被引量:3
- 1992年
- 作为极小集概念的推广,王国俊在[2]中定义了(?)—极小集概念.但由于(?)(L)可具有任意性,不同的完备格上的(?)—极小集之间难以比较.为此,本文中我们引进相容(?)—集的概念,给出了(?)—序同态的的定义,它是广义序同态概念的推广.然后我们给出了(?)—序同态的某些特征性质,并讨论(?)—序同态与(?)—连续格、(?)—代数格理论之间的联系.
- 王戈平胡兰芳
- φ-归纳集范畴与偏序集的一个分类定理被引量:12
- 1993年
- 本文引进了φ-归纳集范畴φIP,证明了当Φ西函子是并完备时,φIP与偏序集范畴P是等价的,并且利用Galois连接序列,给出偏序集的一个分类定理,它是文[4]中的分类定理在φ是任意并完备的Φ-函子情形下的推广。
- 王戈平时根保
- 关键词:偏序集分类定理