杨忠道定理

作品数：13被引量：15H指数：2
导出分析报告
相关领域：理学更多>>
相关作者：王瑞英吉智方邹祥福双龙韩刚更多>>
相关机构：内蒙古师范大学江西师范大学南京师范大学浙江师范大学更多>>
相关期刊：《南京师大学报（自然科学版）》《数学的实践与认识》《模糊系统与数学》《中国科学：数学》更多>>
相关基金：内蒙古自治区自然科学基金国家自然科学基金江门市科技攻关项目广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Coq的杨忠道定理形式化证明被引量：1
《软件学报》2022年第6期2208-2223,共16页严升 郁文生 付尧顺 
国家自然科学基金(61936008)。
实现拓扑学定理的机器证明,是吴文俊院士生前的宿愿.杨忠道定理涉及一般拓扑学中的诸多基本概念,对深刻理解拓扑空间的本质有重要意义.该定理表明,拓扑空间中每一个子集的导集为闭集当且仅当此空间中的每一个单点集的导集为闭集,是一般...
关键词：COQ 形式化证明 公理化集合论 一般拓扑 拓扑空间 杨忠道定理 
点集拓扑学之杨忠道定理的一个机械化证明被引量：1
《中国科学：数学》2021年第1期257-288,共32页曾振柄 王建林 杨争峰 小林英恒 
国家自然科学基金(批准号:11471209和61772203)资助项目。
本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.
关键词：拓扑空间 开集 闭集 导集 杨忠道定理 机器证明 
直觉I-Fuzzy拓扑空间的杨忠道定理
《数学的实践与认识》2016年第7期228-234,共7页张春芝 王瑞英 姚尧 
内蒙古自然科学基金(2012MS0121)
以L＊-格值上Lukasiewicz蕴含算子为工具引入了直觉I-Fuzzy拓扑空间中导集概念，接着给出它的一些性质，最后证明了直觉I-Fuzzy拓扑空间中导集的杨忠道定理．
关键词：L*-格值逻辑 直觉I-Fuzzy拓扑空间 拟差 导集 杨忠道定理 
I-fuzzy拓扑中的杨忠道定理被引量：1
《模糊系统与数学》2013年第2期98-103,共6页王瑞英 韩刚 李南南 
内蒙古自然科学基金资助项目(2012MS0121;2010MS0118);内蒙古自治区高等学校科学技术研究项目(NJZY11033);内蒙古师范大学研究生科研创新基金资助项目(CXJJS12030)
用L-ukasiewicz逻辑语义的方法在I-fuzzy拓扑中引入了I-fuzzy导集的概念,且研究了它的一些性质,进一步在I-fuzzy拓扑空间框架下证明了关于所提出导集的杨忠道定理。
关键词：Lukasiewicz逻辑 I-fuzzy拓扑 拟差 导集 杨忠道定理 
杨忠道定理在L-不分明化拓扑中的推广被引量：1
《模糊系统与数学》2009年第2期59-63,共5页邹祥福 
广东省自然科学基金资助项目(5013321);江门市科技攻关项目
将L-不分明化拓扑中的L-不分明化闭包运算的概念扩充到模糊集合上;并把杨忠道定理推广到L-不分明化拓扑中。
关键词：非经典逻辑 拓扑 L-不分明化拓扑空间 杨忠道定理 
杨忠道定理在算子开集理论下的推广被引量：5
《浙江科技学院学报》2004年第1期1-3,共3页钱有华 陈胜敏 
浙江省重点学科经费资助项目(浙教计2002266)
将开集理论中的杨忠道定理推广到算子开集理论中,建立了算子杨忠道定理,并讨论了它的应用。
关键词：杨忠道定理 算子开集 算子邻域 算子聚点 算子导集 算子闭包 拓扑学 
L-Fuzzy拓扑空间中的杨忠道定理被引量：2
《Journal of Mathematical Research and Exposition》2003年第1期182-184,共3页吉智方 王瑞英 双龙 
内蒙古自然科学基金资助项目
本文将分明拓扑学中的杨忠道定理推广到LF拓扑学中,而对Fuzzy格L不再附加 任何条件.
关键词：杨忠道定理 L-FUZZY拓扑空间 聚点 导集 成分 
拓扑空间的若干分离性及关于杨忠道定理的两个等价条件
《新疆大学学报（自然科学版）》2002年第2期191-192,共2页马米佳 
在一般拓扑学中 ,有一个著名的杨忠道定理 :拓扑空间 X的任意子集的导集是闭集的充分必要条件是每个单点集的导集是闭集[1 ] .本文给出另外两个等价条件 ,并讨论 T0 ,T1 空间与我们称之为 T0 .5空间之间的关系 .
关键词：拓扑空间 分离性 杨忠道定理 等价条件 导集 开邻域 拓扑学 T0空间 
关于三种导集分子式杨忠道定理不成立的反例
《内蒙古师范大学学报（自然科学汉文版）》2001年第4期299-302,共4页王瑞英 吉智方 
内蒙古自然科学基金资助项目 (2 0 0 10 90 1- 0 4 )
给出了第二类导集、第三类导集与强导集在LF拓扑空间中分子式杨忠道定理不成立的反例 .
关键词：L-FUZZY拓扑空间 第二类导集 第三类导集 强导集 杨忠道定理 
L-Fuzzy拓扑空间中强导集的杨忠道定理
《模糊系统与数学》2001年第3期40-41,共2页吉智方 双龙 王瑞英 
内蒙古自然科学基金资助项目
证明 L- Fuzzy拓扑空间中强导集的点式杨忠道定理 ,并用反例表明强导集的分子式杨忠道定理不成立。
关键词：L-FUZZY拓扑空间 强导集 LF点 LF分子 杨忠道定理 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部