同余关系格是完全 Stone格的格

本文主要研究具有完全Stone同余关系格的格,为此我们给出一个条件(S):称格L的真商u/v满足条件(S),如果对L的任意满足的真商a/b,c/d,存在真商x/y,满足通过条件(S),我们给出了格L的同余关系格C(L)的骨架S(C(L))中原子(如果存在)的形式及S(C(L))为原子格时格L的特征,最后我们得出本文的主要结果:格L的简余关系格C(L)是完全Stone格的充要条件是:对任意a,b∈L,a>b,存在有限链使得对每个i_0,x_(i-j)/x_i满足条件(S)。     

完全分配格和完备集环

设L是完备格,S(*)L称为L的基,若(*)x∈L,Sx(*)S使得∨Sx=x.称L是基拟原子的,若(*)x∈S且x≠1,(*)y∈L,使得x(*)y因而x(*)y.该文使用the wedge below relation (*)证明完全分配格是完备集环当且仅当L有一个基S(*)L使得L是基拟原子格.又得到使用拓扑方法的如下刻划定理完全分配格是完备集环(*)L的区间拓扑θ(L)(Lawson拓扑λ(L)或双Scott拓扑σω(L))是完全不连通的.     

关于图的圈的一个充分条件

设G为n(≥3)阶2连通图,δ≤δ~*≤Δ,对任意x∈V(G),记D(x)={y|y∈V(G)\{x},d(x,y)≤2},D~*(x)={y|y∈(D(x)∪{x}),d(y)<δ~*},本文证明:如果|D~*(x)|相似文献   

蕴涵格、弱Ro代数与正则剩余格

讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1) 弱Ro代数既是蕴涵格又是正则剩余格;(2) 蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3) 正则剩余格L是蕴涵格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→y∨z=(x→y)∨(x→z).     

CMP范畴中自由分子格的结构

提出了完全分配元的概念,证明了:(1)在 CMP 范畴中,L∈ob(CMP)上的自由分子格恰是由 L 的完全分配元构成的 L 的子偏序集 C(L).(2)在 CMP′范畴中,L∈ob(CMP′)上的自由 F 格恰是 C(L)赋予某种逆合对应所得到的格,     

Boo1e代数与双格半群

指出Boole代数类是双格半群类的真子类；有限Boole代数类是F-格半群类的真子类；当格群是Boole代数时，该格群一定是平凡的，同时给出一个双格半群(S， ，≤)是Boole代数的充要条件是：1．存在0∈S，任意x∈S，0≤x，0 x=x 0=x；2．任意x，y∈S，(x⊙y) x=x；3．任意x∈S，存在x′∈S，x⊙x′=x；4．任意x，y,x∈S，x xy=x xz，x⊙y推出x=y.     

多值广义非扩张映象对的不动点逼近

本文构造了Banach空间中多值广义非扩张映象对的不动点迭代逼近序列对,并证明此序列的聚点为映象对的公共不动点。它是文[1],[2]的推广和改进。设S,T:K→C(K)为多值映象,且(?)x,y∈K,满足: H(Sx,Ty)≤ad(x,y) b[d(x,Sx) d(y,Ty)] c[d(x,Ty) d(y,Sx)](*)其中a,b,c≥0,a 2b 2c≤1,则称S,T为广义非扩张映象对。     

半序线性空间的分子结构

给出数域F上线性空间的一类更一般的统一框架，即广义线性空间的概念：设T是论域，F是数域，V(T)=|ρ|ρ：T→F|，任意ρ，σ∈V(T)，任意α∈F，规定(ρ+σ)(x)=ρ(x)+σ(x)，(αρ)(x)=α(ρ(x)，则V(T)为F上的广义线性空间．在该框架下引入半序关系，构造一类半序线性空间(V，≤)：任意α，β，γ∈V，任意α∈F，α≤β，则1)α+γ≤β+γ且γ+α≤γ+β；2)当α≥0时，αα≤αβ，当α&lt;0时，αβ≤αα．同时构造了分子概念：格L中的元素α称为并既约元，若任意x，y∈L，α=x∨y，则α=x或α=y，L中非最小元的并既约元称为L中的分子．并讨论其分子结构，从而为进一步探讨线性空间上的代数结构、序结构及拓扑结构的复合结构奠定理论基础．     

关于环R[D,C]的伪morphic性

R称为左伪morphic环,若对任意的a∈R,存在b,c∈R使得Ra=l(b),Rb=l(c),其中l(b),l(c)表示R中元素b且c的左零化子.本文主要研究R[D,C]环的伪morphic性,证明了环R[D,C]是左伪morphic的当仅当(1)D是左伪morphic环;(2)对任意的x∈C,存在y∈C使得Cx=lC(y),Dx=lD(y).受文[2]的启发,定义了左[D,C]-伪morphic元,并研究了这类元素的性质.     

顶点距离大于2的局部化条件与hamiltonian图

对任意正整数i,若图G的导出子图L的顶点满足x,y∈V(L), dL(x,y)=imax{dG(x),dG(y)}≥|G|/2,则称L具有性质DL(i).设C(G)为图G的闭包,本文证明了下述结果任意一个C(G)=G且边连通度≥3的2-连通图,若存在正整数s使得G中的导出子图L满足(i) L(≌)K1.3有性质DL(2);(ii) 任意正整数i,1≤i≤s,L(≌)Bi有性质DL(i);(iii) L(≌)Z s+2有性质DL(s+2),则G为hamiltonian图.由此得到每个边连通度≥3的2-连通{K1.3;Bi,1≤i≤s}-free图, 若C(G)＝G且max{dG(x),dG(y) 对任意导出子图L(≌)Zs+2 ,dL(x,y)=s+2}≥|G|/2,则G一定是hamiltonian图.从而Fan条件中顶点距离可扩展为s+2.     

三角连通(K1,4;2)-图的完全圈可扩性

对于任意一对边e1,e2∈E(G),在G中存在一系列3-圈C1,C2…,Cl使得e1∈C1,e2∈Cl且E(Ci)∩E(Ci 1)≠Φ(1≤i≤l-1),则称图G为三角连通的.本文证明如下结论:顶点数不小于3,无孤立点,爪心独立的三角连通(K1,4;2)-图是完全圈可扩的.     

有关偏序集与竞赛图的讨论

给定一个竞赛图T=(V，A)，与T相关联的偏序集P是一个偏序集P1=(V，≤)，使得V．x，y∈V(T)，x≤y当且仅当x=y或者d(x，y)≥3．证明了每一个竞赛图都与一个偏序集相关联，但存在偏序集不与任何竞赛图相关联．此外，还对与竞赛图相关联的偏序集的性质进行了讨论．     

格上传递矩阵的性质

假设格L是有最小元0的分配格,(A)x,y∈L,定义x与y的二元运算x(-)y为:当x≤y时,x(-)y=0;否则,x(-)y=x.定义格上矩阵(R_(ij))n×n与(S(ij))_(n×n)的(-)合成为(R_(ij)(-)Sij)n×n.对幂零矩阵R,证明了(R/R)+=R~+;对非自反传递矩阵R,证明了R/R≤S≤R与R/R=S/R等价,其中R/S=R(-)(R⊙S),⊙是sup-inf合成算子,R~+是R的传递闭包.     

完全四部图的色性

设G是一个图，P(G，λ)是G的色多项式．若P(G，λ)=P(H，λ)，则称G和H是色等价的，简单地用G～H表示．令[G]={H\H～G)．若[G]={G)，称G是色唯一的．用G=K(n1，n2，n3，n4)表示完全四部图且2≤n1≤n2≤n3≤n4，得到了[G]С{K(x，y，z，w)-S｜z y w =n1 n2 n3 n4,1≤z≤y≤z≤w≤n4-1，或1≤x≤y≤z≤n3-1和w=n4U{G}，其中S是K(x，y，z，w)的某s条边组成的集合且K(x，y，z，w)-s表示从K(x，y，z，w)中删去S中所有边得到的图．从而证明了当n≥k 2，t≥2时，K(n-k，n，n，n)是色唯一的．     

单李代数上保强交换性的非线性可逆映射和非线性强积零导子

设L是特征为零的代数封闭域F上的有限维单李代数.如果f:L→L为可逆映射,且满足[f(x),f(y )]=[x,y],对任意的x,y∈L,则称f是L上保强交换性的非线性可逆映射.证明L上保强交换性的可逆映射只能是恒等映射或负恒等映射.若映射δ:L→L满足[δ(x),y]+ [x,δ(y)]=0,对任意的x,y∈L,则称δ为L上的非线性强积零导子.证明了单李代数L上非线性强积零导子只能是零映射.     

单李代数上保强交换性的非线性可逆映射和非线性强积零导子

设L是特征为零的代数封闭域F上的有限维单李代数.如果f:L→L为可逆映射,且满足[f(x),f(y)]=[x,y],对任意的x,y∈L,则称f是L上保强交换性的非线性可逆映射.证明L上保强交换性的可逆映射只能是恒等映射或负恒等映射.若映射δ:L→L满足[δ(x),y]+[x,δ(y)]=0,对任意的x,y∈L,则称δ为L上的非线性强积零导子.证明了单李代数L上非线性强积零导子只能是零映射.     

完备格上存在补映射或正统补映射的几个充要条件

设L是一个格,C:L→L是一个映射,且满足条件:(1)?a,b∈L,a≤b?C(b)≤C(a);(2)?a∈L,C(C(a))=a则称C是L上的一个补映射。若C还满足(3):?a,b∈L,a∧b=0?a≤C(b),则称C为L上的正统补映射。无疑地,在有补映射的格上推广一股拓扑学的理论是方便的。本文证明了完备格上存在补映射的几个定理,最后证明     

一个带位势半线性方程爆破解的渐近行为

主要研究半线性抛物方程ut=Δu+V(x)|u|p-1u爆破解的渐近行为.在本文中,假设N≥3并且1pN+2/N-2,初始值是有界的,V(x)∈C1(RN),且对任意x∈RN存在常数c和C使得c≤V(x)≤C成立.则当t→T时,对RN中的任意点a,(T-t)p1-1u(a+y(T-t)～(1/2),t)趋向于0或者±V(βa)β,(β=p-11).     

Zorn小定理的等价命题的补充

(Ⅰ)(Zorn小定理)设有序集(A,<)的每条链都有上界,则(A,<)必有极大元。 (Ⅱ)设有序族(F,)的每条链都有上界,则(F,)必有极大元。 把上面的“上界”改为“上确界”,则序号(Ⅰ)改为(Ⅲ),(Ⅱ)改为(Ⅳ)。 (Ⅰ)里已证(Ⅱ)与(Ⅱ)等价,现在证明(Ⅵ)(Ⅰ):设F是(A,<)所有的链所成的族,L是(F,)里的一条链,取S=∪{B|∈L}。则SA。若x,y∈S,贝必有B,B′∈L,使x∈B,y∈B′,     

可交换的s代数与格蕴涵代数

研究了一类模糊逻辑代数系统--交换s代数.给出了交换s代数一系列基本性质,证明了交换5代数关于其上的偏序关系≤构成格最后,证明了在交换s代数中定义x(+)y=x'→y,则X是一个格蕴涵代数,在格蕴涵代数L中,定义x(+)y=x'→y,则L是一个交换s代数.