Lω-空间的ω-半连续性

在Lω-空间空间中定义了ω-半开(闭)集、ω-半连续以及ω-强半连续的概念, 并且讨论了ω-连续和几种ω-半连续的关系     

Lω-空间中的ωδ-连通性

在Lω-空间中借助于ωδ-闭包引入了一种新的连通性,即ωδ-连通性,给出ωδ-连通分支的定义.研究了它们的一些基本性质,并给出了ωδ-连通性的若干等价刻画.结果表明,这种ωδ-连通性保持了Lω-空间中已有连通性的许多类似性质.     

Lω-空间的ω-完全正规分离性

在Lω-空间中定义了ω-完全正规分离性,并讨论了它的一些基本性质,如:遗传性、L-好的推广等。     

Banach空间的ω-drop凸性

利用单位球的切片定义Banach空间的ω-drop凸性,证明ω-drop凸空间是ω-强光滑的对偶空间,并给出ω-drop凸空间的一些性质.     

Lω-空间的ωS-分离性

在Lω-空间中引入了Lω-分离性的概念,主要包括ωS-1、ωS0、次Sω0分离性,讨论了它们的一些基本的拓扑性质.给出了ωS-分离性的几个等价刻划,讨论了它们之间的关系.     

Lω-空间中ω*-正则性

在Lω-空间中引入一种新的正则,即ω*-正则,证明了ω*-正则不仅蕴涵黄朝霞文献中所提出的ω-正则,而且还具有ω-正则的一些好的性质.     

Lω-空间的ω-有限覆盖性质

研究了Lω-空间的ω-有限覆盖性质问题.利用Lω-空间的ω-远域和ω-覆盖等概念,系统讨论了ω-有限覆盖的特征性质,证明了Lω-空间的ω-有限覆盖性质具有拓扑不变性和闭遗传等性质.     

LF保序算子空间的ω-局部有限性质

研究了LF保序算子空间的ω-局部有限性质问题.利用LF保序算子空间的ω-远域等概念,引进了LF保序算子空间的ω-局部有限性质、ω*-局部有限性质及强ω-局部有限性质等概念,系统讨论了这些概念的特征性质,得到强ω-局部有限性(→)ω*-局部有限性(→)ω-局部有限性.     

Lω-空间ωβ-连通性的樊畿定理

讨论了Lω-空间ωβ-连通性的刻画问题.利用ωβ-远域的概念,给出了Lω-空间中ωβ-连通性的樊畿定理,建立了ωβ-连通的几何直观性的刻画.应用樊畿定理,讨论了ωβ-连通性的一个基本性质.     

Lω-空间的Ⅰ型Lω-仿紧性

利用Lω-空间中的Lω-局部有限性质,引进了Lω-空间中的Ⅰ型Lω-仿紧性等概念,系统地研究了Ⅰ型Lω-仿紧性的基本性质,得到了Ⅰ型Lω-仿紧性在弱诱导条件下的一些等价条件.     

Lω-空间的可数ω-紧性

研究了Lω-空间的可数ω-紧性。利用Hα-ω-开覆盖等概念,引进Lω-了空间的可数ω-紧性的概念,并证明了可数ω-紧性具有有限可和、对ω-闭子集遗传、被连续的广义Zadeh型函数所保持、L-good extension等许多性质。     

Lω-空间中的ω*Ti分离性

在Lω-空间中引进一组新的分离公理。即ω^＊Ti分离公理（i=0，1，2），给出了它们的特征性质，证明了ω^＊Ti分离性具有可遗传性、可乘性和ω-同胚不变性，以及在R．Lowen意义下“好的推广”等重要性质，并且它们之间有很好的协调一致性．     

ω超线性语言

[1] 中定义了有穷转向的ω-pda 和ω-cfl,给出了它们的若干性质。本文讨论有穷转向的ω-cfl 的生成,定义ω超线性文法和ω超线性语言,证明ω超线性语言和有穷转向的ω-cfl是同一语言类。     

Lω-空间的ω-p连通性

在Lω-空间中借助于ω-p闭包引入了一种新的连通性,即ω-p连通性。研究了它的一些基本性质,并给出了ω-p连通性的若干等价刻画。结果表明该ω-p连通性保持了Lω-空间中已有连通性的许多类似性质。     

用ω-Turing机计算实数函数

实数的可计算函数是一个非常重要的概念,定义可计算实数函数有两个途径,第一个途径是先定义可计算实数的指标.一个可计算实数的指标是一个计算该实数的Turing机的Godel数.一个定义在全体可计算实数上的函数y=f(x)是可计算的,当且仅当存在一个在全体可计算实数的指标上的(部分)递归函数将x的指标对应到y的指标,这样对实数函数的研究依赖于自然函数的性质.第二个定义可计算实数的途径是基于逼近.一个实数函数是可计算的,当且仅当它既是序列可计算的也是有效地一致连续的,这个条件太强使得很多非常有用的实数函数不能成为可计算函数.根据这个定义"<"和"="都是不可计算的,因为它们的特征函数是不连续的.在这篇文章里我们讨论ω-Turing机的稳定性并且定义了在一个有限字母表的全体无限序列上的ω-可计算函数,我们也证明了ω-可计算函数的复合函数也是ω-可计算的.我们的定义没有用到Godel数或者递归函数.根据我们的定义很多常用函数特别是一些有用的不连续函数是ω-可计算函数.一个函数是否ω-可计算的验证较为容易,根据我们的定义普通Turing机的停机命题是ω-可计算的.     

Lω-空间中的ωT11/2分离性

在Lω-空间中引入ωδ-闭集、ωT11/2分离性、分子网的ωδ-收敛性、理想的ωδ--收敛性、(ω,ω1)δ-连续性、几乎(ω,ω1)δ-连续性和强(ω,ω1)δ-连续性等概念.系统地研究了ωT11/2分离性的特征,给出了ωT11/2分离性的若干等价条件.证明了ωT11/2分离性是可遗传的、(ω,ω1)δ-同胚不变的、而且是R.Lowen意义下好的推广等重要性质.讨论了ωT11/2分离性、ωT11/2分离性和ωT2分离性之间的关系.     

Lω-空间中ωδ-连通性的樊畿定理

在Lω-空间中利用ωδ-闭集引入了ωδ-远域的概念,并借助于ωδ-远域给出了ωδ-连通性的樊畿定理.最后,利用连通性的樊畿定理证明了一个重要结论.     

Lω-空间中加强了的ωT-分离性

在Lω-空间中引进加强了的ωTi(i=1,2)-分离性等概念,系统地讨论了这些概念的特征性质,得出它们保持了LF拓扑空间中Ti-分离性的主要结论,进而说明加强了的ωTi(i=1,2)-分离性是L-好的推广.     

Lω-空间中ωθ-连通性的樊畿定理

在Lω-空间中利用ωθ-闭集引入了ωθ-远域的概念,并借助于ωθ-远域给出了ωθ-连通性的樊畿定理.     

Lω-空间的ω-Lindel(o)f可数性

在Lω-空间中引入ω-Lindelbf性质和ω-LindeliSf空间等概念，给出了其等价刻画，并证明它保持L-拓扑空间中许多良好的性质，如闭遗传性L-好的推广，L值Zadeh型函数下像保持不变等．