内导集与内导集运算

给出了内导集的定义,证明了其性质,并且讨论了内导集与导集之间的关系.随之定义了内导集运算,利用内导集运算定义了拓扑,并讨论了内导集运算条件之间的独立性.     

对偶导集及其应用

借助对偶范畴的思想和方法在点集拓扑学中引入了对偶导集概念,讨论了对偶导集和对偶导集运算的相关性质.并以此为基础引入了对偶连通空间的概念,讨论了对偶连通空间和连通空间之间的关系,借此给出了不连通空间的几个等价刻画.为拓扑空间的研究提供了新的途径.     

Vague集的表现定理

在Fuzzy集理论和现有Vague集理论的基础上,引入二元集合套的概念,讨论它的代数性质。在此基础上,结合Vague集的分解定理,建立Vague集的表现定理,同时得到一系列相关结果,进一步揭示Vague集与经典集合之间的联系。     

Vague集的截集及其分解定理

从Fuzzy集的基本理论出发,提出了Fuzzy集的扩展形式—vague集的截集定义和分解定理,进一步表明了Fuzzy集和vague集的相同的本质,丰富了vague集的理论体系,以期拓宽vague集的应用领域.     

集值严格集-压缩映象的一致极限的不动点指数及其应用

在本文中,我们研究了一类集值严格集-压缩映象的一致极限映象.建立了这类一致极限映象的不动点指数理论,证明了某些正不动点定理.我们的定理推广了Fitzpatrick和Petryshyn的某些最近结果.     

点集拓扑学之杨忠道定理的一个机械化证明

本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.     

集值型两个函数的极小极大定理

极小极大定理是非线性分析研究的重要内容.它已广泛应用于博弈论,数量经济学,最优化理论,变分不等式,微分方程,不动点理论等许多领域.利用非线性标量化函数得到新的集值型的两个函数的极小极大定理.     

$G$核开集,$G$核邻域与$G$ 核导集

在拓扑空间中, 在$G$方法意义下以$G$壳与$G$核为基础, 引入$G$壳闭集,$G$核开集,$G$核邻域与$G$核导集的概念, 讨论其相应的一些性质. 特别的, 定义了点式$G$方法, 提供了在此方法下$G$闭集与$G$壳闭集, $G$开集与$G$核开集, $G$邻域与$G$核邻域, $G$导集与$G$核导集的一致性, 丰富了拓扑空间中关于$G$闭集, $G$开集, $G$内部, $G$邻域和$G$导集的一些结果. 同时, 提出一些问题以供进一步研究.     

扩张原理的粗集表示

粗集、模糊集均是处理不确定信息的数据分析工具,是数据挖掘的重要方法.由Zadeh首先提出的模糊扩张原理是模糊集理论的最基本的原理之一,粗集是通过上、下近似算子来发挥作用的.本文讨论扩张原理与粗集上近似之间的关系,证明了扩张原理可以表示成粗集上近似的形式,因此,扩张原理成了粗集与模糊集之间的桥梁.此外,借助粗集上、下近似算子的公理系统解决了扩张原理的反问题.     

$\varOmega$-凸集的组合与结构性质[英文]

本文研究$\varOmega$-凸集的组合性质和结构性质. 在一定条件下, 证明关于$\varOmega$-凸集的Randon型定理, Helly型定理. Caratheodory型定理以及Minkowski型定理, 并举例说明对一般的$\varOmega$-凸集这些定理不一定成立. 文中所得结果是关于凸集的这些类型定理的推广, 同时也为有关$\varOmega$-凸函数的研究提供了理论工具.