徐罗山
- 作品数:75 被引量:283H指数:11
- 供职机构:扬州大学数学科学学院更多>>
- 发文基金:国家自然科学基金江苏省高校自然科学研究项目江苏省自然科学基金更多>>
- 相关领域:理学经济管理自动化与计算机技术更多>>
- BL代数的等价刻画及更多性质被引量:11
- 2011年
- 研究了与Hájek的模糊命题演算系统BL相对应的BL代数,提出了仅涉及运算*和→的NBL代数概念并探讨了其有关性质,证明了BL代数与N-BL代数是等价的,进而得到了BL代数更多的性质。
- 朱翔徐罗山
- 关键词:模糊逻辑伴随对剩余格BL代数
- 半连续格上的半基和局部半基被引量:14
- 2010年
- 在完备格上引入了半基和局部半基的概念,给出了半基和局部半基的性质及若干等价刻画,证明了一个完备格是半连续格当且仅当它具有半基也当且仅当它每点有局部半基。在此基础上定义了半连续格的权和特征,探讨了半连续格的权和特征与其上赋予半Scott拓扑和半Lawson拓扑时的拓扑空间的权和特征的关系。解决了文献[8](赵彬,刘妮.连续Domain的特征和浓度,陕西师范大学学报,2002,30(2):1~6)中提出的一个问题。
- 李高林徐罗山陈昱
- 关键词:半连续格
- 连续poset的投射像的连续性
- 2014年
- 本文用反例说明了连续poset的保定向并的投射像不必连续,指出了《Continuous Lattices and Domains》一书中定理I-2.2的错误.证明了连续poset在保定向并的核映射下的像和连续收缩核还是连续的。
- 徐罗山栾云骏
- 关键词:收缩核
- 广义近似空间的粗糙同胚与拓扑同胚被引量:2
- 2017年
- 对广义近似空间之间的映射引入并刻画了粗糙连续性和拓扑连续性,探讨了他们的性质及相互关系.证明了两个粗糙连续映射的复合还是粗糙连续的,每个粗糙连续的映射都是拓扑连续的.在此基础上引入了粗糙同胚性质和拓扑同胚性质的概念,证明了拓扑同胚性质均为粗糙同胚性质并考察了广义近似空间的诸如分离性、连通性、紧性等的粗糙同胚不变性和拓扑同胚不变性.
- 荣宇音徐罗山
- 关键词:粗糙集
- 区间数系的内蕴拓扑及度量表示被引量:8
- 1999年
- 单位区间I上的区间数系SI在自然序下是一个完全分配格,其上的区间拓扑是连通的紧可度量拓扑,并具有不动点性质.一般地,实数集R上的区间数系SR在自然序下是局部完全分配格,其上的双Scot拓扑是第二可数的局部紧连通可度量拓扑,该拓扑是R上通常序拓扑的自然推广,还是道路连通的.其实,SR这一空间可嵌入到R2中.当考虑代数运算时,SR和SI都是拓扑格。
- 徐罗山
- 关键词:拓扑结构区间拓扑
- 软泛代数及其整体结构性质
- 2012年
- 提出了软泛代数概念,将已有的软群、软环等概念统一纳入这一框架中,从整体上研究了软泛代数的序结构性质,证明了固定指标集和T-代数后,相应的软T-代数全体以点式序形成代数格。引入了Scott连续软泛代数概念,证明了从代数紧拓扑空间到给定T-代数的Scott连续软T-代数的全体以点式序形成代数格。
- 崔靖徐罗山
- 关键词:完备格代数格
- 拓扑系统的紧性和分离性被引量:9
- 2007年
- 考察拓扑系统的两种紧性——空间式紧和locale式紧,给出紧性的若干刻画,讨论了两种紧性的相互关系,证明了拓扑系统的两种紧性都是拓扑空间紧性的良好推广,说明了紧拓扑系统的闭子拓扑系统、有限和系统以及积系统仍是紧拓扑系统。最后在拓扑系统中考察了紧性加强分离性的问题,得到了紧,(强)T2拓扑系统为(强)T3,(强)T4拓扑系统等结论,并用理想收敛刻画了拓扑系统的强T2分离性。
- 李高林徐罗山
- 关键词:拓扑系统紧性分离性LOCALE
- 格蕴涵代数的蕴涵表示定理被引量:19
- 2010年
- 在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理。极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别。为进一步研究格蕴涵代数及其与其它逻辑代数的关系提供了一个有力的工具。
- 刘春辉徐罗山
- 关键词:模糊逻辑格蕴涵代数蕴涵表示定理
- FS-相容Domain的定向完备化及相关范畴性质被引量:10
- 2005年
- 引入FS-相容Domain概念,研究FS-相容Domain的性质,主要结果有:(1)FS-相容Domain的收缩核与连续函数空间还是FS-相容Domain;(2)FS-相容Domain是有限生成上集,从而是Scott紧的;(3)FS-相容Domain的定向完备化是FS-Domain;(4)有最大元的FS-Domain去掉最大元后是FS-相容Domain;(5)证明了以Scott连续映射为态射,FS-相容Domain为对象的范畴FS-CDOM是笛卡儿闭范畴并以FS-Domain范畴FS-DOM作为满的反射子范畴。
- 王习娟徐罗山
- 内蕴拓扑与Hutton单位区间的细致化被引量:14
- 1992年
- 本文把连续格理论引入对Hutton单位区间I(L)的研究,简捷地证明了I(L)的若干性质.在此基础上,利用I(L)的承集上的内蕴拓扑对I(L)的拓扑进行了细致化,定义了一个具有诸多良好性质的新不分明单位区间I(L),称为H(λ)单位区间.我们定义了相应的H(λ)完全正则性并建立了H(λ)式 Stone-Cech紧化理论.
- 王国俊徐罗山