码与有限极大码的测度

设X是有限字母表,文献[1]以如下方式引入了X上一切语言构成的语言族么半群2~(X*)上的测度:令π是X上的一个概率分布,同态扩张π为么半群X~*到么半群[O,1](关于实数乘法)的函数,仍记为π,对任意语言L∈2~(X*),令π(L)=(?)(s),特别令π(Φ)=0,则π便是语言族么半群2~(X*)的σ有限测度。以下我们讨论语言族么半群2~(X*)上的测度,一概指X上的概率分布的这种同态扩张,并称之为概率扩张测度。     

交换封闭的理想语言及其准素分解

设X为一个有限集,X~*表示由X生成的自由么半群。X中的元素叫字母,X~*的元素与子集分别称为X上的字与语言。X~*的恒等元称为空字,记为λ。且记X~+=x~*-{λ}。 关于X上任一语言A,如下定义的X~*上的关系P_A是X~*上的同余:     

镶成右凸语言并、交、连结的超码与右凸语言幺半群的自由性

设X为有限字母表,X~*为X生成的自由幺半群。X~*的子集称为X上的语言,X~*的元素称为X上的字,X~*的恒等元1称为X上的空字,X~+=X~*-{1}。很多作者认为X~*上的嵌入序≤是一个十分重要的偏序: x≤y当且仅当x=x_1x_2…x_n,y=y_1x_1y_2x_2…y_nx_ny_(n+1)。围绕嵌入序定义了若干类语言:     

积分语言族的强可识性、半可识性与语言族的强替换性

令∑为有限字母表,∑~*为三生成的自由么半群。u∈∑~*为∑上的字,L ∑~*为∑上的语言,x L(∑)为∑上的语言族。∫XdV为关于字V的X的积分。c′(X)为X的强相容闭包。 郭聿琦等建立并讨论了语言族的强可识性,半可识性与强替换性。本文讨论积分语言族的强可识性与半可识性,建立了积分语言族强可识与半可识     

Abel正则语言的毕竟周期性

定义1 (ⅰ).关于么半群M的子集S,P_s表示M上的如下同余:xP_(sy),当且仅当(?)u,v∈M(uxv∈S(?)uyv∈S);(ⅱ).么半群M(有限集合∑生成的自由么半群∑’)的子集s(L)称为M的正则子集(∑上的正则语言),或M的Abel子集(∑上的Abel语言),如果P_s(P_L)指数有限,或商么半群M/P_s(∑~*/P_L)交换。 定义2 令∑为一有限集合,L_1,L_2为∑上的两个语言(即∑~*的两个子集)且     

L模糊矩阵的格半群幂

本文提出了L模糊矩阵的格半群(latticesemigroup)幂、它的收敛性以及L模糊矩阵的格半群传递闭包等概念,并给出求L模糊矩阵的格半群传递闭包的一个算法。设X和Y是两个非空集合,L是一个完备格。映射R:Ⅹ×Y→L称为X和Y间的L     

有关算子值域的一些问题

X是Banach空间,L(X)是算子代数,U是X~*的闭单位球;视X为C(U)的闭子空间。对非零T∈L(X)若命     

广义序同态的特征性质与扩张定理的一个逆定理

设L为完备格,在L上定义关系如下:xy当且仅当xL,y≤supX时,存在 x~*∈X使x≤X~*z,记↓x={y∈L:yx}与↑x={y∈L:xy},如果xx,则称x为L的完全并素元,PO(L)表示L     

Banach空间的一类新特征函数

对于Banach空间X的每一点x,令其对应一个确定的f_x∈S(X~*),满足f_x(x)=||x||;并约定对任何a>0,f_(ax)=f_x。其中X~*是X的共扼空间,S(X~*)是X~*的单位球球面、考虑定义于[O,∞)的t的实函数f_(x十ty)(x)和f-(x十ty)(y)。空间X的许多几何性质可由这类函数的相应性质刻划。     

一个f-析取的上下文无关前缀码

郭聿琦,Shyr和Thierrin讨论了f-析取语言,本文作为f-析取语言的一点注记,给出一非析取的f-析取的上下文无关前缀码。 设X是有限字母表X生成的自由么半群.X的元素称为X上的字。X的恒等元称为x上的空字,记为ε.X的子集称为X上的语言。关于任一L(?)X,在X上定义等价关系P_L如下:     

完全正则半群的诣零扩张上的同余

令半群Ｓ为完全正则半群Ｋ的诣零扩张,Ｑ为基Ｒｅｅｓ商半群Ｓ／Ｋ。本文引入Ｓ的可许同余对的概念,其中δ和ω分别为诣零半群Ｑ和完全正则半群Ｋ上 的同余,证明了Ｓ上的任何同余σ都可由Ｓ的一个可许同余对唯一表示。     

集值鞅、下鞅与上鞅

本文是在文献[1-8]的工作基础上进行的。 设(Ω,A,P)是一完备概率空间,X是可分Banach空间,X~*是其对偶空间。令     

关于Banach空间上对称乘积映射的不动点

设X~n为拓扑空间X的n次笛卡尔积,G为n个元素的全置换群,对,定义;则G可看作X~n上的一个同胚变换群,称X~n在群G作用下的轨道空间X~n/G为X的n次对称乘积空间,记作X~(n)。定义1 映射F:X→X~(n)称为X上的n次对称乘积映射,或简称为n映射;记,若为X~(n)中紧集,则称F为紧映     

关于Dickmeis一个定理的推广

设X是具有范数||·||的Banach空间,X~*是X上的半线性有界泛函T的全体,即T满足(1)|T(f+g)|≤|Tf|+|Tg|,f,g∈X.     

一类算子方程的可解性

一、一般性结果 设X是一个可分的、自反的Banach空间,X~*为其对偶空间。<,>表示X与X~*之间的对偶。“”、“→”分别表示相应空间的弱收敛及强收敛。考虑算子,其中D为X中的有界开子集,表示其闭包。     

等距同构嵌入的进一步的性质

X是Banach空间,L(X)是算子代数,U是X~*的闭单位球。对非零T∈L(X),(?)∈L(C(U))是:前文(科学通报)得到:若非零T∈L(X)使,并且U和T~*U是弱~*-弱~*同胚的,则C(U)和它的真闭子代数(?)C(U)完全同构,即存在由C(U)到(?)C(U)的一对一、线性、等距、保持乘法及复共轭运算的满射。     

关于一个Open问题的一点注记

L. N. Shevrin曾提出了这样一个半群代数理论中未解决的Open问题:一个半群如果它的每一个真子半群是幂零的,那么半群自身是冪零的吗?对于这一问题至今也没有解决。L.N.Shevrin本人已证明了对于交换半群来说回答是肯定的。1985年I.L.     

线性算子群和n阶发展方程的积分

Hille与Yosida在本世纪40年代后期分别建立线性算子半群理论,研究了线性算子半群的可微性,得到齐次一阶发展方程的解用线性算子半群表述出来的公式,即在Banach空间E中的线性算子半群{T_t;t≥0}的生成算子A是E中的闭稠定算子,如果x∈D(A),则T_tx在区间[0,∞)上强可微,并且     

有界线性算子的表示及延拓

对Banach空间X,记 是自然嵌入。映射x~(**)→x~(**)|U_(x~*)把X~(**)料等距同构地嵌入于有界函数空间B(U_x~*),所以可视X~(**)为B(U_x~*)的闭子空间。又X=J_xX是X~(**)的闭子空间,从而也是B(U_(x~*))的闭子空间。     

任意加速参考系中Einstein引力场方程的严格解和广义Moller变换

可以证明,不失一般性,相对于惯性系(X~μ)沿X方向加速的参考系(X~μ)中的时空度规可写为