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

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

Wilson一般化定理的精确刻画 *

给定任意正整数集合K及正整数λ ,令c(K ,λ)表示最小的正整数 ,使得v∈B(K ,λ)对任意整数v≥c(K ,λ)成立 ,且满足同余关系式λv(v -1)≡ 0 (modβ(K) )和λ(v-1)≡ 0 (modα(K) ) .设K₀ 是K的等价集 ,k和k* 分别是K₀ 中最小和最大的整数 .证明了c(K ,λ)≤expexp{Q₀},这里 ,Q0 =max { 2 ( 2p(K₀) ² -k+k² log₄ k)p(K₀) ⁴,(k^k2 42^y-k-2)(^y₂) } ,p(K₀ ) =∏l∈K₀l,y =k *+k(k- 1 ) + 1 .     

δ-连通空间

利用δ-分离集,将连通空间进行了扩充,定义了一类更广泛的拓扑空间δ-连通空间,并对其性质作了讨论,得到了一些类似于连通空间的性质.同时对δ-连通分支及局部δ-连通性也作了研究,得到了一些较好的结果.     

L-fuzzy层次拓扑空间的I_r-可数性

在L-fuzzy层次拓扑空间中,引入了第一Ir-可数空间和第二Ir-可数空间等概念,分别给出了第一Ir-可数空间和第二Ir-可数空间的基本性质.讨论了这两种可数性之间的关系以及它们的应用.证明了这两种可数性都是可遗传的、可数可乘的、而且在Dα-同胚序同态下都保持不变等性质.     

Lω-空间中的拟ωδ-Lindel(o)ff性质

在Lω-空间中引入拟ωδ-Lindel(o)ff性质和拟ωδ-Lindel(o)ff空间的概念,研究了它们的基本性质.得到拟ωδ-Lindel(o)ff性质是ωδ-闭遗传的,是弱拓扑不变的等结论.     

L-保序算子空间的ω-可数性

在L-保序算子空间中引入第一ω-可数空间和第二ω-可数空间等概念，分别给出了第一ω-可数空间和第二ω-可数空问的基本性质。证明了第一ω-可数性和第二ω-可数性都是可数可乘、可遗传的，而且在(ω1,ω2)-同胚序同态下都保持不变等重要性质。讨论了这两种L-保序算子空间之间的关系以及它们的若干应用。     

L-fuzzy拓扑空间的Dα-层连通性

在L-fuzzy拓扑空间中,利用Dα-闭集定义了Dα-层连通性,讨论了这种连通性的基本性质,并将其与其它连通性进行了比较.     

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

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

关于LF拓扑空间的正则闭分离性

利用正则闭集概念在LF拓扑空间中引入RC-正则(正规)分离性概念,给出了它们的刻画,并利用广义Zadeh型函数证明了它们是LF拓扑性质,在LF拓扑空间的半正则化中RC-正则(正规)分离性与正则(正规)分离性是等价的.