首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
在Lω空间中,以文[3]为基础,进一步引入Lω-空间中的ω*-正则性、ω*-正规性、ω*Ti(i=3,4)分离性,讨论了它们与Lω-空间中已有分离性之间的关系,证明了它们是ω-闭遗传的、ω-同胚不变的以及是R.Lowen意义下的推广.  相似文献   

2.
给出了的一个子逻辑系统,并在其上初步讨论了一些重要的模型论性质,给出了的一个特征。主要结果是:如果是一强于的可有限分离的正规逻辑系统,且在上LST定理和ω_1-紧致性定理成立,则与等价。  相似文献   

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

4.
提出了一种新的语言──$-ω-语言,把语言、ω-语言和$-ω语言统一地讨论.特别对$-ω正规语言进行了详细地讨论,得到了$-ω正规语言的代数结构定理.提出了抽象正规表达式,得到了用同一个抽象正规表达式α表示正规语言V和ω-正规语言Vω的方法.  相似文献   

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

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

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

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

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

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

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

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

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

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

15.
在Lω-空间中,以文[3]为基础,进一步引入Lω-空间中的ω*-正则性、ω*-正规性、ω*Ti(i=3,4)分离性,讨论了它们与Lω-空间中已有分离性之间的关系,证明了它们是ω-闭遗传的、ω-同胚不变的以及是R.Lowen意义下的推广.  相似文献   

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

17.
已内酰与α,ω-二卤代烷在固-液相转移条件下(KOH)/K2CO3混合碱,TBAB为PTC)反应是1-(ω-卤代烷基)己内酰胺1,研究了反应温度、时间、碱及催化剂用量对1,4-二溴丁烷与已内酰胺进行单取代反应产率的影响。结果表明:当己内酰胺:1,4-二溴丁烷:氢氧化钾;碳酸钾:TBAB为1:3:1.5:3:0.05(摩尔比)时,90℃下反应,13h,产率可达75.4%,并合成了其它3个1-(ω-卤代烷基)己内酰胺,在类似的固-液相转移条件下,1与醇反应得标题化合物。  相似文献   

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

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

20.
己内酰胺与α,ω-二卤代烷在固-液相转移条件下(KOH/K2CO3混合碱,TBAB为PTC)反应得1-(ω-卤代烷基)己内酰胺1,研究了反应温度、时间、碱及催化剂用量对1,4-二溴了烷与己内酰胺进行单取代反应产率的影响.结果表明:当己内酰胺:1,4-二溴丁烷:氢氧化钾:碳酸钾:TBAB为1:3:1.5、3:0.05(摩尔比)时,90℃下反应,13h,产率可达75.4%,并合成了其它3个1-(ω-卤代烷基)己内酰胺,在类似的固-液相转移条件下,1与醇反应得标题化合物.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号