杨凌云
- 作品数:4 被引量:3H指数:1
- 供职机构:扬州大学数学科学学院更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:理学自动化与计算机技术更多>>
- 函数的图像连通性
- 1999年
- 引入实数空间R上的图像连通函数的定义,并将它与连续函数进行比较,讨论它们之间的关系,同时研究了图像连通函数的一些类似于连续函数的性质:四则运算。
- 杨凌云
- 关键词:连续函数
- 形式背景的几种分离性被引量:3
- 2010年
- 利用拓扑方法定义了形式背景的T0,T1,T2分离性,探讨几种分离性之间的关系,并研究诸分离性的性质.证明了诸分离性对兼容子背景是遗传的且被满足一定条件的背景映射所保持.另外,还得到拓扑空间(X,τ)的上述几种分离性与形式背景(X,τ,∈)的相应分离性在一定条件下是一致的.
- 杨凌云徐罗山
- 关键词:分离性
- L-可定义集与L-粗糙概念格被引量:1
- 2011年
- 对基于剩余格L的L-形式背景引入了L-可定义集概念,研究L-可定义集的性质及其与L-粗糙概念之间的关系。给出L-可定义集的刻画;得到常值L-集均为L-可定义集的若干等价条件;证明全体L-可定义集在L-集包含序下是相应L-幂集格及L-粗糙概念格的子完备格;给出全体L-可定义集恰为全体L-粗糙概念外延的一个充要条件。
- 杨凌云徐罗山
- 关键词:剩余格
- 关于自然偏序集的自然连续性
- 2011年
- 在自然偏序集中引入自然way-below关系,定义自然偏序集的自然连续性。证明在自然连续的自然偏序集上,自然way-below关系具有插入性,自然Scott开集格是完全分配格。利用∑*收敛刻画了自然偏序集上的自然way-below关系,自然Scott拓扑和自然连续性。
- 李高林徐罗山杨凌云