梁晓荣
- 作品数：5 被引量：11H指数：3
- 供职机构：太原理工大学理学院数学系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学更多>>
- 拟代数Domain性质及其它Domain结构的研究
- 自从20世纪70年代D.S.Scott首次提出Domain概念以来,Domain理论受到众多数学家和理论计算机科学家的关注。1983年,作为连续Domain和广义连续格的推广,G.Gierz,J.D.Lawson和A.S...
- 梁晓荣
- 关键词：连续DOMAIN
- 文献传递
- 拟代数Domain的若干性质被引量：3
- 2005年
- 基于拟连续Domain的等价定义及其构造,研究了拟代数Domain的一系列性质,并且给出了它的等价刻画,由此得到拟代数Domain一定是拟连续Domain.通过讨论Scott连续闭包算子保持集合与集合之间的Way below关系这一特性,证明了拟代数Domain在Scott连续闭包算子下的像仍是拟代数Domain;得到了拟代数Domain上赋予Scott拓扑构成Baire空间,拟代数格上赋予Lawson拓扑构成Priestley空间等结论.
- 赵彬梁晓荣
- 关键词：拟连续DOMAIN
- 相容连续Domain上的序同态被引量：4
- 2011年
- 首先给出相容定向极小集的概念,讨论它的性质及与相容连续Domain的关系;其次给出相容连续Domain基的概念,得到它的等价刻画。最后,引入了相容连续Domain上的序同态,同时研究了它的性质,并得出相应的扩张定理。
- 梁晓荣
- 关键词：序同态
- Quantale矩阵的行列式的若干性质被引量：4
- 2006年
- 基于Q uan ta le矩阵的定义,本文讨论了Q uan ta le矩阵的行列式的若干性质。在交换Q uan ta le情形下,得到AB≥A B,AB≤A+B,AA*≤A,其中A*表示Q uan ta le上的矩阵A的伴随矩阵。
- 梁晓荣赵彬
- 关键词：QUANTALE行列式伴随矩阵
- 连通代数domain上相容紧元及范畴的研究
- 2010年
- 基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了连通代数domain满足升链条件。研究了连通完备偏序集A中的每个元是相容紧元的充要条件是A与A的c-理想格同构。最后,证明了连通代数domain范畴与偏序集范畴等价。
- 梁晓荣
