Beurling型ω-超可微函数空间的一些判别条件

本文利用Fourier—laplace变换对Beurling型超可微函数空间ε（ω）（Ω）和试验函数空间D（ω）（Ω）的性质进行了讨论,并给出了其上的一些等价的判别条件．     

Roumieu型ω-超可微的等价条件

利用Fourier-Laplace变换对Roumieu型ω-超可微函数空间D（ω）甜（R^N）进行了讨论，并给出了其上的一个等价性定理。     

Beurling型ω-超广义函数ε（ω）（Ω）中的卷积运算

文章利用Fourier-laplace变换时Beurling型ω超可微函数空间ε(ω)(Ω)的性质进行了讨论,证明了在卷积意义下,D(ω)(RN)为ε(ω)(RN)的乘子空间.     

Beurling型ω-超广义函数空间的卷积运算

超广义函数作为广义函数概念的扩张在近代偏微分算子理论的研究中起着重要作用.通过分析Beurling型ω-超广义函数空间ε'(ω)(Ω)和D'(ω)(Ω)上的卷积运算,获得了卷积分运算满足的结合律和交换律等,并找到了该运算中的单位元即δ为广义函数.     

ω-超可微函数D＊中的Paley—Wiener定理

在许多学者得到的重要结果的基础上，文章利用Fourier—Laplace变换对BeurLing型ω-超可微函数空间D{ω}和Rumieu型ω-型可微函数D{ω}进行了讨论，并且给出了Dω中的Paley-Wiener定理．     

ω-超广义函数空间D''''*的性质及其判别定理

文章讨论了Roumieu型和Beurling型ω-超广义函数空间D'{ω}(Ω)和D'(ω)(Ω)的一些性质,并给出了一些相关的判别定理.     

ω-超广义函数的卷积运算

讨论ω-超广义函数间中的卷积运算，并且给出了一些超广义函数卷积运算的公式。     

一个超可微函数空间中的稠密性问题

利用Fourier变换和Paley-wiener定理考察w-超可微函数的结构问题,证明了w-超可微函数空间D[w](Ω)在基本空间D(Ω)中是稠密的.     

ω-超广义函数空间D′＊的性质及其判别定理

文章讨论了Roumieu型和Beurling型ω-超广义函数空间D′（ω）（Ω）和D′（ω）（Ω）的一些性质，并给出了一些相关的判别定理．     

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

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

偏微分算子在超可微函数空间上存在右逆的一个必要条件

给出了代数簇B（P＋Q）满足PL（R^n，｜ω｜）时的一个必要条件。该条件可被用于线性偏微分算子在超微分函数空间ε｜ω｜是否存在连续性右逆的研究。     

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

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

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

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

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

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

用ω-Turing机计算实数函数

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

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

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

度量空间的ω-结构新刻划

本文借助ω 结构给出度量空间的一些新刻划 ,从而推广了文献 [2 ]、[3]和 [4 ]中的几个定理。     

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

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

Lω-空间的ω-强半连通性

在Lω-空间中定义了ω-强半开(闭)集,引入了一种新的连通性,称之为ω-强半连通性,给出ω-强半连通分支的定义,研究了它们的一些基本性质.结果表明这种连通性保持了一般拓扑中连通性的许多类似性质.     

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

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