搜索到20篇“ 杨忠道定理“的相关文章
- 基于Coq的杨忠道定理形式化证明被引量：1
- 2022年
- 实现拓扑学定理的机器证明,是吴文俊院士生前的宿愿.杨忠道定理涉及一般拓扑学中的诸多基本概念,对深刻理解拓扑空间的本质有重要意义.该定理表明,拓扑空间中每一个子集的导集为闭集当且仅当此空间中的每一个单点集的导集为闭集,是一般拓扑学中的一个重要定理.基于定理证明辅助工具Coq,从公理化集合论机器证明系统出发,对一般拓扑学中的开集、闭集、邻域、凝聚点和导集等拓扑基本概念进行形式化描述,给出这些概念基本性质的形式化验证,建立了拓扑空间的形式化框架.在此基础上,实现基于Coq的杨忠道定理形式化证明.全部引理、定理和推论均完整给出Coq的形式化描述和机器证明代码,并在计算机上运行通过,体现了基于Coq的数学定理机器证明具有可读性、交互性和智能性的特点,其证明过程规范、严谨、可靠.杨忠道定理的形式化证明是一般拓扑学形式化内容的一个深刻体现.
- 严升郁文生付尧顺
- 关键词：COQ形式化证明一般拓扑杨忠道定理
- 点集拓扑学之杨忠道定理的一个机械化证明被引量：1
- 2021年
- 本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.
- 曾振柄王建林杨争峰小林英恒
- 关键词：闭集导集杨忠道定理机器证明
- 直觉I-Fuzzy拓扑空间的杨忠道定理
- 2016年
- 以L＊-格值上Lukasiewicz蕴含算子为工具引入了直觉I-Fuzzy拓扑空间中导集概念，接着给出它的一些性质，最后证明了直觉I-Fuzzy拓扑空间中导集的杨忠道定理．
- 张春芝王瑞英姚尧
- 关键词：导集杨忠道定理
- I-fuzzy拓扑中的杨忠道定理被引量：1
- 2013年
- 用L-ukasiewicz逻辑语义的方法在I-fuzzy拓扑中引入了I-fuzzy导集的概念,且研究了它的一些性质,进一步在I-fuzzy拓扑空间框架下证明了关于所提出导集的杨忠道定理。
- 王瑞英韩刚李南南
- 关键词：导集杨忠道定理
- 杨忠道定理在L-不分明化拓扑中的推广被引量：1
- 2009年
- 将L-不分明化拓扑中的L-不分明化闭包运算的概念扩充到模糊集合上;并把杨忠道定理推广到L-不分明化拓扑中。
- 邹祥福
- 关键词：非经典逻辑拓扑杨忠道定理
- 杨忠道定理在算子开集理论下的推广被引量：6
- 2004年
- 将开集理论中的杨忠道定理推广到算子开集理论中,建立了算子杨忠道定理,并讨论了它的应用。
- 钱有华陈胜敏
- 关键词：杨忠道定理拓扑学
- L-Fuzzy拓扑空间中的杨忠道定理被引量：3
- 2003年
- 本文将分明拓扑学中的杨忠道定理推广到LF拓扑学中,而对Fuzzy格L不再附加 任何条件.
- 吉智方王瑞英双龙
- 关键词：杨忠道定理L-FUZZY拓扑空间聚点导集
- 拓扑空间的若干分离性及关于杨忠道定理的两个等价条件被引量：1
- 2002年
- 在一般拓扑学中 ,有一个著名的杨忠道定理 :拓扑空间 X的任意子集的导集是闭集的充分必要条件是每个单点集的导集是闭集[1 ] .本文给出另外两个等价条件 ,并讨论 T0 ,T1 空间与我们称之为 T0 .5空间之间的关系 .
- 马米佳
- 关键词：拓扑空间分离性杨忠道定理等价条件导集拓扑学
- L-Fuzzy拓扑空间中强导集的杨忠道定理
- 2001年
- 证明 L- Fuzzy拓扑空间中强导集的点式杨忠道定理 ,并用反例表明强导集的分子式杨忠道定理不成立。
- 吉智方双龙王瑞英
- 关键词：L-FUZZY拓扑空间强导集杨忠道定理
- 关于三种导集分子式杨忠道定理不成立的反例被引量：1
- 2001年
- 给出了第二类导集、第三类导集与强导集在LF拓扑空间中分子式杨忠道定理不成立的反例 .
- 王瑞英吉智方
- 关键词：L-FUZZY拓扑空间强导集杨忠道定理
相关作者
- 王瑞英
- 作品数：49被引量：38H指数：3
- 供职机构：内蒙古师范大学数学科学学院
- 研究主题：I FUZZY拓扑空间 FUZZY拓扑 FUZZY 连续值逻辑
- 吉智方
- 作品数：17被引量：24H指数：3
- 供职机构：内蒙古师范大学数学科学学院
- 研究主题：L-FUZZY拓扑空间 I 分离性 FUZZY拓扑空间 杨忠道定理
- 邹祥福
- 作品数：15被引量：22H指数：3
- 供职机构：五邑大学数学与计算科学学院
- 研究主题：不分明化拓扑 非经典逻辑 杨忠道定理 拓扑 表现定理
- 沈继忠
- 作品数：37被引量：25H指数：2
- 供职机构：江西师范大学数学系
- 研究主题：不分明化拓扑 F 半群 FUZZY FUZZY同态
- 双龙
- 作品数：3被引量：3H指数：1
- 供职机构：内蒙古师范大学数学系
- 研究主题：L-FUZZY拓扑空间 杨忠道定理 聚点 导集 LF拓扑空间
