关于一般Boole格的若干结果

本文主要证明了下面的结果,其中的定理1是Boole格完备化定理的推广,定理4是Boole格同态扩张定理的推广。 定理1 设有任意一个一般Boole格L,则存     

相对有补分配格

定理1 设L是相对有补分配格,则存在唯一一个备Boole格乙与乙到乙的一个备嵌入f,对存在L的非空子集     

一般Boole格受它的凸子格的制约与影响

本文主要证明了下面的结果: 定理1 设a是一般Boole格L的元,则L的合同的格同构于含a的非空凸子格的格。 系1 一般Boole格的合同的格同构于非空幻的格。     

格的半同态的若干结果

本文讨论了格的交同态与并同态之间的联系,给出了格的交(并)同态是并(交)同态(从而是同态)的充要条件.作为格的同态基本定理的推广,建立了格的半同态基本定理。 定义1 设,厂为格L到格L的映射,若使则称f为交(并)次同态.若f既为交次同态又为并次同态,则称f为次同态。     

蕴涵格与Stone表现定理的推广

从R0 _语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R0 _语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理 .     

蕴涵格与Stone表现定理的推广

从R₀-语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R₀-语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理.     

完备Lie代数

Jacobson给出了完备Lie代数的定义如下: 定义1 Lie代数(?)称为完备Lie代数,如果(?)的中心C((?))=0,且其导子代数δ((?))=ad(?)。这儿ad(?)为内导子代数。 首先,我们给出了完备Lie代数的等价条件如下: 定理1 设(?)是一个Lie代数,则下面三个条件等价:     

关于Hrmander条件

设T:D→D’为线性连续算子,其分布核K(x,y)限制在R~n×R~n\{x=y}上满足大小条件|K(x,y)|≤A|x-y|~(-n),(1)以及光滑性条件|K(x,y)-K(x’,y)| |K(y,x)-K(y,x’)|≤B|x-x’|r|x-y|~(-n-r),当|x—x’|≤|x-y|/2,(2)其中0相似文献   

Λ弱完全分配格的完备化

本文主要证明了下面的结果 定理1 设L是Λ完全分配格,则存在一个且唯一一个备Λ弱完全分配格与L到的一个嵌入f,满足 1) L的元a是L的子集S的上确界(或下确界)当且仅当:在里f(a)是f(s)的     

形如Np的子群系可补的局部群系

本文中所有群为有限群。定义和符号参见文献[1～3]。这里给出本文常用的一些概念与符号。一个群类称为群系,如果它关于同态像和次直积是封闭的。非空群系(?)称为局部的,如果由可推得一个群类(?)称为Fitting类,如果满足以下两个条件:1)若N为G的次正规子群,则若N_1,…,N_t为G的次正规子群且N_i∈(?),i=1,…,t,则。一个群系的局部子群系如果同时是一个Fitting类,则称之为局部Fitting子群系。设(?)为某一群的集合。我们用form(?)表示由群集合(?)生成的群系,用lform(?)表示由(?)生成的局部群系,π(G)表示群G的阶的素因数的集合,表示所有幂零群的群系,N_π表示所有幂零π-群的群系,(1)表示单位元群系。群系(?)的子群系(?)_1称为在(?)中可补的,如果(?)_1在(?)的子群系格里可补,即存在(?)的子群系(?)_2,使得且.     

一类非紧映象的拉伸与压缩不动点定理

设W是实Banach空间x内一楔,Ω_1,Ω_2,是X内有界开集θ∈Ω_1,(?)_1(?)Ω_2。我们得到下面结果: 定理1 设T:W∩(?)_2→W是有界P_1-紧映象,如果下列条件之一成立:     

关于格的同构准则

本文建立了两个更简易的格的同构准则,并且讨论了格和半格的同态与保偏序映射之间的关系。 定义 从一个偏序集P到一个偏序集P_1的映射f称为保偏序的,如果f是保序映射并且,b∈P     

Lamyerti算子的一些性质

余顶点均已标定。给出G的任意n—1主子图,则E是相对一致完备的向量格,T是E上的格同态,σ_p(T)代表T的点谱。λ、μ∈σ_p(T)\{0},Tx=λx,Ty=μy,x、y(?)0。W.A.Wickstead证明了如|λ|(?)|μ|.λ不是σ_p(T)的极限点,则|x|∧|y|=0,亦即x、y不交。并由此给出了紧格同态的谱分解,当E是具有序连续范数的Banach格,且T’也是格同态时。这里把这些结果推到了Lamperti算     

自由格的若干定理

格的一个等式类K上由一个弱偏格生成的自由格的定义可以按自由代数的理论或仿照K上由偏格生成的自由格的定义来给出。 定理1(存在定理) 设u=相似文献   

关于调和同态的一个Bernstein型定理

设φ:M→N是Riemann流形间的光滑映照。如果φ将N上调和函数芽拉回到M上的调和函数芽,则称φ为调和同态。调和同态等价于水平弱共形调和映照。研究调和同态的文章已越来越多,尤其在低维流形情形(参见文献[3～7])。在文献[4]中,Baird和Wood证得:(ⅰ)任何从三维球面(S~3,g_(can))到一Riemann曲面N~2的非常值调和同态必为Hopf纤维化π:S~3→S~2与一个弱共形映照的复合。特别地,N~2=S~2。(ⅱ)任何从R~3到N~2的非常值调和同态是正交投影R~3→R~2与一个弱共形映照的复合。本文希望将此结果推广到高维,我们有     

临界点理论中的Schauder型条件

Schauder不动点定理是一个有广泛应用的著名结论。这一定理断言:如果M是Banach空间E中的有界凸闭集,A:M→E是全连续算子并满足 AM(?)M,(1)则A至少有一个不动点。我们把Schauder不动点定理中的条件AM(?)M称为Schauder型条件。本文的主要目的是把Schauder型条件引进临界点理论,从而在Hilbert空间的情况下,     

自由C*-代数与非交换Hahn-Banach定理中的完全收缩扩张的唯一性问题

1 引言及主要结果Arveson 把经典的Hahn—Banach扩张定理推广到了C-代数的自伴线性闭子空间上.从此,许多数学工作者对Arveson扩张定理作了推广,下述结果属于G,Wittstock,命题1.1(见文献[2]定理4.2)设X是-算子空间,A是一有单位元的 C-代数且A(?)X,若(?):X→B(H)是一完全收缩映射,则存在完全收缩映射(?):A→(H)使得(?)|X=(?)且||(?)||_cb=||(?)||_cb利用该命题易得:推论1.1 设X与Y均为算子空间且Y(?)X,若(?):Y→(H)是一完全收缩映射,则存在完全收缩映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb但命题1.1中的(?)的唯一性问题从未被人涉及,本文用自由C-代数和遗传C-代数为工具,给出了命题1.1中扩张(?)对任何Hilbert空间H均具唯一性的一个充要条件,即下述的:定理1.1 设X和Y均为算子空间,且Y(?)X,1∈X,则下述等价:(1)对每个Hilbert空间H及每个完全收缩映射(?):Y→B(H),都唯一存在完全收缩扩张映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb(2)C(Y)是C(X)的遗传C-子代数,定理1.2 记号同于命题1.1,则对每个Hilbert空间H,(?)均唯一存在的充要条件为:I(X)是A的遗传C-子代数,其中I(X)是由X生成的A的C-子代数,     

Noether定理的一个推广

设C是复数域(?)上的亏格大于2的光滑代数曲线,K是C的典则线丛.我们有下面熟知的Noether定理,如果C不是超椭圆曲线,则映射S~pH~0(c,k)→H~0(C,pK)对所有正整数P都是满射.     

线性筛法的新上界

本文所用到的记号请参看文[1,2],主要结果为定理设y>z>3,(?)是有限个整数的集合且满足条件:V(z_1)/V(z_2)≤(logz_2/logz_1)·(1 O(1/logz_1)),2≤z_1相似文献   

关于相对反杯性质的一个结果

1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和高r.e.度d满足b(?)d,存在r.e.度a使得a(?)b并且a是d的一个反杯证据.本文采用文献[1]和文献[2]中的基本概念和术语.称函数f支配g,如果对几乎所有的X,