关于Q_右析取语言

本文讨论了由句法右同余导出的两个反AFL即Q_-和A_-右析取语言族的性质其之间的关系。若R(L)≠φ,则L是Q_-右析取语言当且仅当R_L是R_(ees)右同余。而对及有限语言L是Q_-(A_-)右析取语言等价于说L是关于前缀序的一个有限(完全)链。     

I-析取ω-语言的几个性质

主要证明了在Xω中不存在极大和极小I-析取ω-语言,提出I-析取辖区概念并证明其是稠密语言.     

左消语言与析取语言及其推广的乘积性质

 主要解决了左消语言与析取语言及其推广的乘积是何种语言的问题.首先,证明了:当X是左消语言,Y是任意语言时,XY的主同余包含在Y的主同余中.在此基础上得到了如下关于析取语言及其推广的一些结论:当X是左消语言,Y是析取语言或是其推广时,XY也是相应的同类语言.     

拟稠密语言和拟Rf—析取语言

本文基于rf——析取语言类扩充问题的讨论,引进了拟稠密语言和拟rf——析取语言,研究了它们的特征性质,并给出一些初步结果。     

Ⅰ-析取ω-语言的几个性质

主要证明了X^ω在中不存在极大和极小Ⅰ-析取ω-语言,提出Ⅰ-析取辖区概念并证明其是稠密语言．     

P-n-右析取语言的相关性质

主要研究了P-n-右析取语言的一些相关性质，给出了P-n-析取辖的定义，得出了P-n-析取辖是稠密语言等结论。     

Fuzzy稠密语言

在《Fuzzy析取语言的若干结果》一文中,作者给出了F-析取语言的定义,并用F-代数结构的方法刻划了F-析取语言的某些特征。本文进一步讨论了F-析取语言的某些性质,并定义了F-稠密语言,讨论了F-稠密语言与F-析取语言之间的关系,最后给出了F-稠密语言的F-析取2分解。     

Fuzzy析取语言的若干结果

[1]中刻划了 F-正则语言的代数特征,并讨论了某些代数性质,本文继续[1]的工作,定义了 F-析取语言,并用 F-代数结构的方法刻划了 F-析取语言的某些特性.     

关于cf-可膨胀空间和csf-可膨胀空间的注记

文章主要给出了关于cf-可膨胀空间类的映射性质,并证明了若X=Πσ∈ΣXσ是Σ-仿紧(遗传Σ-仿紧)的,则X是cf-可膨胀(遗传cf-可膨胀)的当且仅当对F∈[Σ]相似文献   

Luxemburg范数下Orlicz-Bochner函数空间的I-凸性与Q-凸性

根据Banach空间中I-凸与Q-凸的等价定义得到了当(?,Σ,μ)为有限测度空间时,Luxemburg范数下Orlicz-Bochner函数空间■为I-凸的当且仅当M∈△_2(∞)∩▽_2(∞),且X为I-凸的;■为Q-凸的当且仅当M∈△_2(∞)∩▽_2(∞),且X为Q-凸的.     

可解BCI—代数的结构

本文引进了一般BCI—代数的换位理想的概念,并以此刻画了结合BCI—代数,进而解决了可解BCI—代数的构造问题。定义设x为BCI—代数,X中形如(x*y)*(y*x)的元称为它的一个换位子,记作〔x,y〕.令X_c为X的全体换位子的集合,称X_c在X中生成的理想为X的换位理想,记作C(X)。定理1 若X为广义结合BCI—代数,则C(X)恰由X的一切换位子所组成,并且 C(X)={x*(0*x)|x∈X}。定理2 若N为BCI—代数X的理想,则商代数X/N为结合的当且仅当C(x)N.特别地,X/C(X)是结合BCI—代数。推论 BCI—代数X为结合的当且仅当C(X)={0}。定理3 优BCI代数X是可解的当且仅当存在自然数n,使c~n(x)={0}。     

Banach-值函数的强Henstock积分与Henstock积分

讨论了Banach-值函数强Henstock积分与Henstock积分的关系,证明了在高维空间中Banach值函数的强Henstock积分与Henstock积分是等价的当且仅当Banach空间X是有限维的.     

基-ortho紧空间

引入了基ortho紧空间,并且获得了如下主要结果:(1)X是基ortho紧空间当且仅当X存在一个基B,有|B|=ω(X),由B中元素构成的X的任一覆盖U有一个B'B(或者有一个X的开覆盖)是U的内核保持加细.(2)T2空间X是遗传基ortho紧的当且仅当X的每一个开子空间是基ortho紧的.(3)基ortho紧空间在有限对一开映射下的象是基ortho紧空间.     

弱紧集的一个新特征

研究了Banach空间X中的有界闭凸集C的弱紧性与其可逼近性的关系,证明了C是弱紧的当且仅当C在每个包含它(在仿射等距的意义下)的Banach空间中均是可逼近的.而当C不是完全时,C是弱紧的当且仅当对于X的每个等价范数|.|,C在(X,|.|)中均是可逼近的.     

S-条件置换子群对有限群结构的影响

利用子群的S-条件置换性,得到了有限超可解群的一充分条件;并得到有限群G∈F的一充分必要条件. 即:设F是一个包含所有超可解群类U的饱和群系. 则有限群G∈F,当且仅当G有一个正规子群H,使得G/H∈F且F*(H)∩G的GP极大子群在G中S-条件置换.其中GP是G的非循环Sylow子群.     

关于强core紧空间的一个刻画定理

本文引入了强core紧概念,给出了强core紧空间的一个刻画定理.其主要结果是:设X是一个拓扑空间,若X是强core紧的当且仅当对每个代数L-domainD,函数空间[X→D]是代数L-domain.     

利用辛空间的子空间构作dz-析取矩阵

分组测试在医学、工业、统计等领域都有许多实际应用,近年来人们借助于复形理论、图理论、专门模型、信息渠道和容错估算来研究它.介绍了分组测试的基础知识和文章中符号的含义,利用有限域上辛空间里的子空间构作了dz-析取矩阵并证明了它的若干性质.     

几乎中紧空间

证明了:几乎中紧空间的闭子集是几乎中紧的;空间X是几乎中紧的当且仅当X的一单调开覆盖U,■X的稠密子集D和U的一开加细U',使得D中一紧集K,有(U')K是有限集;如果X=∏α∈ΛX_α是|Λ|-仿紧空间,则X是几乎中紧空间F∈[Λ]ω,∏α∈ΛX_α是几乎中紧的;几乎中紧空间X,如果是T3空间且是可数紧空间,那么它也是紧空间.     

紧致度量空间及其逆极限空间

研究了紧致度量空间X上连续映射f :X→X及其逆极限空间lim← (X ,f)上移位映射σf:lim← (X ,f) →lim← (X ,f)之间的相互关系 :f有不变集当且仅当σf 有不变集 ;f有稠密轨道当且仅当σf 有稠密轨道 ;X中有非回归点当且仅当lim← (X ,f)中有非回归点 ;f在X上是拓扑传递的当且仅当σf 在lim← (X ,f)是拓扑传递的 .     

非方的Orlicz-Bochner空间

James与Schffer分别对赋范线性空间引入了不同的非方的定义. 赋Orlicz范数与赋Luxemburg范数的Orlicz-Bochner空间是非方的充分必要条件：L_M(X)是非方的当且仅当X是非方的;L_（M）(X)是非方的当且仅当M∈Δ₂,且X是非方的. 