关于H(λ)单位区间和H(λ)实直线的连通性

如同经典数学的情形,模糊单位区间I(L)和模糊实直线R(L)在模糊数学中也是基本和重要的研究对象,因而引起了国内外不少学者的兴趣.1992年,王国俊和徐罗山通过加细I(L)的拓扑,定义了一种新的模糊单位区间——H(λ)单位区间I(L),解决了弱诱导LF拓扑空间的紧化问题.1993年,张德学和刘应明引入了LF拓扑空间弱诱导化的概念,这样I(L)便被视为I(L)的弱诱导化.在文献[3]中,我们定义并研究了H(λ)实直线R(L),即R(L)的弱诱导化.虽然,文献[1～3]已讨论了I(L)和R(L)的一系列性质,但它们的连通性问题基本上悬而未决(关于这方面的情况,参见文献[1,3])本文将彻底解决这一问题.我们的结果如下(未加说明的记号与术语参见文献[4]):     

I(L)与R(L)的连通性

本文沿用文[1]的术语和记号,证明:(1)对一般的L,LF单位区间I(L)连通;(2)若L存在元素m,使m∨m′=1,则LF实直线R(L)连通。     

不分明Stone-ech紧化

现有文献中关于不分明Stone-ech紧化的研究只是限于一类称作拓扑生成的特殊的不分明拓扑空间的情形.最近,作者建立了L不分明拓扑空间的嵌入定理,王国俊较深入地研究了他提出的良紧性.立足于此,我们将建立一般的不分明Stone—ech紧化理论.本文中不分明集的值域限于单位区间I.定义1 不分明拓扑空间(称作次T_0的,若对x,y∈X且x≠y,存在非零λ∈I,使得或者或者.我们称次T_0的完全正则的不分明拓扑空间为不分明空间,这里不分明完全正则性是1977年由Hutton给出的.     

对于线段连续自映射fΩ(f|Ω(f))=■

在此短文中我们证明了下列定理。定理 若I为线段(即区间,亦即直线的连通子集),f:I→I为连续映射,则(b)当I紧致时,以及结论(a) 意味着线段连续自映射的中心是周期点集的闭包,中心深度不大于2(中心和中心深度的定义见文献[1]),当I紧致且,分段单调时,这一结论由Nitecki证明;当I紧致且f没有异状点时,这一结论由周作领证明(异状点的定义见文献[2]),结论(b)首先是由     

不分明拓扑空间的奇异同调群

设(X,τ)是L不分明拓扑空间,I(L)是具有标准拓扑(?)的L不分明单位区间,I~n(L)是具有乘积拓扑(?)~n的L不分明基本方体。(X,τ)中的L不分明奇异n方体是L不分明连续映射ξ:(I~n(L),(?)~n)→(X,τ),n     

不分明紧化中的预序关系

我们已经证明L不分明单位区间I(L)是良紧的,从而运用不分明嵌入理论对值域为fuzzy格L(即具逆序对合对应“′”的完全分配格)这个一般情形得到如下结果:每个Tychonoff L-fts(L-fts为L不分明拓扑空间的简记)有一包含于L不分明单位方体中的Stone-ech型紧化。但一个空间可能有许多紧化,讨论其间的关系十分必要,特别是最大     

完全环上的线性紧模

一个双侧完全环上的线性紧模是有有限长度的模(参见文献[1])。Sandomierski在文献[2]中问:若R是一个左完全环,右R模M_R是线性紧的,是否M_R必有有限长度?这个问题等价于问,左完全环上的右Artin模M_R是否必是Noether模(见文献[2])。本文举例说明左完全环R上的右Artin模不必是右Noether模,因而不必有有限长度。从而否定地回答了Sandomierski的问题。     

I(L)型诱导空间与良紧性

诱导空间在不分明拓扑中是十分重要的。众所周知,任一拓扑空间(X,Y)上取值于I=[0,1]的下半连续函数全体对任意上确界与有限下确界关闭,因此这些下半连续函数构成X上的一个不分明拓扑,记为ω(Y)。(I~x,ω(Y))称为由拓扑空间(X,Y)诱导的不分明拓扑空间。Lowen在文献[2]中提出,把通常拓扑空间中某一性质(如紧性、分离性、连通性等等)推广到不分明拓扑空间中时,应当遵循“好的推广”这一原则,即诱导空间(I~x,     

不定方程x~3+y~3+z~3+w~3=0的全部整数解

早在16世纪就已提出了不定方程L.Euler(1756年)给出了(1)的全部有理数解,并由J.P.M.Binet(1841年)予以简化(参见文[1])。S.Baba(1830年)、G.Kroneck(1873年)、G.Osborn(1913年)等人曾分别找到了(1)的一些部分整数解(参见文[1])。G.H.Hardy和E.M.Wright在文[2]中认为要找出(1)的全部整数解是很困难的。华罗     

L不分明单位区间与不分明连通性

设L是具有逆序对合对应的完全分配格,并以1和0分别表示其最大元和最小元。(x,y)表示L不分明拓扑空间。I(L)表示L不分明单位区间,在其上总取标准拓扑τ。记L~b={α∈L:若α<β与α<γ,则α<(β∧γ)}。 S.E.Rodabaugh讨论了不分明连通性,并且证明了当0∈L~b时,(I(L),τ)是连通的(见Rocky Mount.J.Math.,1982,12:113—121)。本文继续讨论不分明连通性。     

投射模经过基座的整体提升

设I为环R的理想,记S=R/I。本文主要考虑如下的整体提升问题:对于任意的投射S模Q,是否存在投射R模P,使得Q同构于P/IP?这一概念是作者首次引进的,目的之一是为了研究K_0群的计算问题。因此在本文中,常常要求Q与P还是有限生成的。 本文中的环都是有单位元的结合环,模为左酉模。对于环R,以p(R)表示有限生成的投射左R模的范畴,~RProj。表示投射左R模的范畴。R~(n)表示R作为模的直和,而I~n=II…I,其中I为R的理想。文中用到的其他概念和术语可以参见文献[1]和[2]。     

含膦配体的铜(Ⅰ)络合物的合成与反应

文献报道了[Ph_2PCH_2PPh_2](CuX)_2(X=Cl、Br、I)、[Ph_2P(CH_2)_2PPh_2](CuX)_2(X=Cl、Br)和[R_3PCuX]_4(R=Ph,X=Cl、Br;R=Pr、Bu,X=I)的合成及其结构研究。我们利用CuX(X=Cl、Br)与Ph_2P(CH_2)_nPPh_2(Cu/L为2:1)或Ph_2PR     

一类群环R(π■Γ)的G_0和G_1群

对含单位元的右Noether环R,用G_0(R)和G_1(R)分别记Grothendieck群K_0(M_R)和Whitehead群K_1(μ_R),其中(?)_R是由一切有限生成右R模组成的交换范畴(见文献[1])。因此,G_0(R)是由以下生成元和定义关系表现的交换群:对每个M∈M_R有生成元[M],对(?)_R中每个正合序列0→M′→M→M″→0,有定义关系[M]=[M′] [M″]。G_1(R)     

有关L_p(φ)估计的几个结果

本文讨论有关一类特殊的Orlicz空间L_p(φ)(参见文献[1])的估计的几个结果。诸如带权的Bessel场位在低维流形上对L_p(φ)的嵌入问题,W_p~l(φ)的迹定理及作用在L_p(φ)中的奇异积分等。     

单位稳定环上的K_2(R,I)

若I为R的理想,λ_1:R→R/I,则S_t(λ_1):S_t(R)→S_t(R/I)的核,记为S_t(R,I),是由所有的x_(ij)(a)(a∈I)在S_t(R)中生成的正规子群。令φ表S_t(R,I)到E(R,I)上的同态映射,映射的核记为K_2(R,I)。由文献[1]知K_2(R,I)(?)CentSt(R,I)。当R为交换     

方程—△u=p(x,u)的非平凡解

在本文中,我们将研究下述半线性椭圆边值问题非平凡解的存在性。(1)其中Ω表示R~n中具有光滑边界的有界域,为Laplace算子。如所周知,近年来已有许多作者对问题(1)进行了研究(参见文献[1,2])。不过,在现有文     

处处振荡的达布函数

Marcus在文献[1]中证明了下述定理。 定理 假设f(x)是区间I上的连续函数,它在I的某一稠密集上点点取到极大值,那么对于每一个区间J(?)I,或是存在区间K(?)J,使f(x)在K上是常数;或是存在关于f(J)={y;     

交换环上线性有限自动机的弱可逆性——传输矩阵的分类与枚举

线性有限自动机的弱可逆性问题一直受到关注.近年来,可逆性理论又在密码体制,包括公钥密码体制的设计中得到应用.域上有限存贮线性有限自动机的判定与构作问题可见文献[1]等;环上有关判定等问题也有文章讨论,如文献[2].环上线性有限自动机的弱可逆性仅取决于它的传输矩阵,参见文献[1,2].本文运用代数工具,对有限含么交换环(?)上弱可逆线性有限自动机所可能有的传输矩阵集合(?)进行多种形式的分解与约化,并引进变换群进行分类,最后将无限集(?)的枚举问题归     

关于Lindelf空间三个问题的回答

1983年,文[1]提出了三个尚未解决的问题:(1)c.c.c.(?)~*Lindel(?)f 性成立吗?(2)文[1]定理18(对于可展空间类,*~Lindel(?)f 性等价于可分性)的可展性条件能减弱到何种程度?(3)两个*~Lindel(?)f 空间的积空间是*~Lindel(?)f 空间吗?对于问题(1),我们赋予集合(?)(R)={F(?)R|F 是有限集}(其中R 是实数直线,通常拓扑)以拓扑,其拓扑基为(?)={[A,V]|V 是     

GCH+□_K蕴含存在不同构的完全正规ST_K+

本文讨论菱形原理(◇)和箱原理(□)与Suslin_k树(ST_k)之间的进一步关系。得到 GCH+□k→存在不同构完全正规ST_k+。这里,cf(a)<,K正则(本文记号和术语参见文献[1—4])。