L-不分明完备映射

完备映射是拓扑学重要概念之一,如何定义一种合适的L-不分明完备映射自然是一个值得关注的课题。文献[1]与[2]就L=[0,1]之情形曾分别引入过不分明完备映射的概念,但都不太理想。受连续格理论的影响,文献[3]和[4]彼此独立地就值域为完全分配格情形建立了较为理想的良紧理论,它为我们建立一种理想的L-不分明完备映射理论提供了基础。本     

关于拓扑熵的一点注记

Adler,Konheim和McAndrew于1965年在文献[1]中首次引进了拓扑熵的概念。稍后Bowen在文献[2]中证明了一个相当重要的结果,他指出,紧致度量空间自映射的拓扑熵等于这一映射在它的非游荡集上的限制映射的拓扑熵。在文献[3]中也可找到另一个证明。关于这一结果的所有已知的证明均强烈地依赖于所考虑的映射的定义域的可度量性。本文推广Bowen的上述结果,证明了下述定理。     

良紧集的层次结构与不分明Wallace定理

文献[1]与[2]关于良紧性的工作无疑是L-不分明拓扑学中重要而漂亮的成果。对于良紧性,有一个自然而有趣的问题:良紧性的层次结构问题。我们证明了:对弱诱导的Hausdorff空间,上层空间中的不分明集A的良紧性等价于对每一并既约元α,A的α-水平截集在底空间中的紧性;满层的弱Hausdorff空间中的良紧集为闭集。另外在本文中,对良紧性我们证明了不分明Wallace定理,这一定理的一个特殊情形(n=2)在文献[1]中曾得到。     

不分明凸集的几个性质

在奠基性论文中,Zadeh给出了不分明数学的基本框架,其中有近半篇幅是讨论不分明凸集,所给出的凸集性质主要有两条:一为分离性定理,另一为不分明凸集的影的性质,关于前者,文献[2,3]中已作了修正与发展,关于后者,Zadehn作了进一步的讨论,但有一个基     

对合的不动点集F具有W(F)=1性质的流形

一、引言 Konsniowski和Stong在文献[1]中,提出了一个猜测:对于每一个对合的不动点集F具有W(F)=1的(M~n,T)协边于形如(RP(2~s),τ(2~s))的多项式。本文证明了 定理 设M~n为一n维闭流形,T为在M~n上的一个对合。又设T在M~n上的不动     

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

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

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

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

关于诱导空间内部算子层次刻划的一点注记

文献[1]讨论了Lowen意义下的诱导空间中闭包算子与内部算子的层次刻划。上述刻划能否推广到格值诱导空间的情形?本文给出一个较文献[3]更强的结果,其证     

-极小集理论及其应用

1977年,Hutton在完备格中引入了极小族概念,并证明了完全分配格L的每个元都有极小族。文献[2]中利用这种极小族深入研究了L上保并运算的交运算公式,为L上的拟一致结构理论奠定了基础。然而我们曾指出,从这种极小族的存在性推不出完全分配律。为此我们引入了一种较强的极小族概念,并证明了其存在性与完全分配律等价。本文将给出更     

诱导空间中闭包算子的层次刻划及其应用

关于诱导空间中闭包算子的层次刻划已有不少讨论(见文献[1—3](,但都有一定局限性:文献[1—3]的讨论分别是就L=[0,1]及“M=L~0”的Fuzzy格L进行的。本文利用极小集克服了诸局限性,彻底解决了诱导     

不分明道路与不分明连通性

本文研究不分明拓扑学中的连通性,提出了不分明道路、不分明道路连通集等概念,并且得到了若干结果。定义1 设ι=[0,1],8_ι表示ι上的欧氏子空间拓扑,由(ι,8_ι)引导出的不分明拓扑空间记作(ι,(?)_ι)。又设(X,τ)是不分明拓扑空间。若α:(ι,(?)_ι)→(X,τ)是不分明连续映射,E是(ι,(?)_ι)中连通集,并且E(0)>0,E(1)>0,则α(E)称作(X,τ)中一条不分明道路。X上不分明点(α(0))_(E(0))     

Ulam集环问题的解答

由Ulam提出的集环(对并、差封闭的集族)同构类数目问题是《苏格兰咖啡馆数学问题集》列出的未彻底解决的问题之一(第37问题)。该问题是:(α)存在多少不同构的实数集环?(β)存在多少不同构的整数集环?(γ)投影集环是否同构于Borel集环?对σ集环(可数并封闭)也有类似问题。根据文献[1]中Monk的评论,可假设问题是对集合的Boole     

与间隙现象相关的一个极小问题

设Ω是R~3中的一个有界区域,B~3和S~2分别是R~3中的单位球和单位球面.由文献[1]知,对f∈H~1(Ω,S~2),如果div(D~（?）(f))≠0,这里D~（?）(f)=(（f×f_(x_2）)(?)f_（x_3）,(f×f_(x_3))(?)f_(x_1),(f·f_(x_1))(?)f_(x_2)),则f不能被C~1((?),S~2)中的映射逼近,即有下面的间隙现象:对不能被C~1((?),S~2)中的映射逼近的f∈H~1(Ω,S~2),一个自然的问题是:下面的极小问题是否可达:关于这方面的结果,Bethuel和Brezis对Ω=B~2,f=x/|x|,证明了(2)式不可达.本文在f满足下面的条件(f_1)和(f_2)时,考虑极小问题(2).我们将用一种与文献[2]完全不同的方法,证明对于(2)式的Euler方程的任一弱解u,有Sing(f)(?)Sing(u),这里,Sing(u)是u的奇点集.作为该结果的一个直接推论,知(2)式不可达.设f∈H~1(Ω,S~2)满足下面的条件:(f_1)存在a_1,…,a_k∈Ω,使得f∈C~1((?)\{a_1,…,a_k});(f_2)对于每个a_i,存在一个非常数的光滑映射φ_i:S~2→S~2,使得当σ→0时,于H_1(B~3)强收敛.显然,对于非常数的光滑映射φ:S~2→S~2,f(x)=φ(x/|x|)满足(f_1)和(f_2).在叙述本文的结果之前,先计算     

Lauwerier吸引子的结构和动力学行为

具有浑沌性质的奇怪吸引子(ACS)是非线性科学感兴趣的问题之一。按照文献[2]中横截环概念以及由此进行推广所得到的数学结果,我们在文献[3]和[4]中提出奇怪吸引子可能是无穷多双曲周期点的不稳定流形通过横截环而形成闭包。利用这个观点我们已经较好地解释了中心对称型浑沌和随机网中的一些现象。     

不分明拓扑空间中的紧性

紧性是拓扑学中最重要的概念之一,如何把它推广到不分明拓扑空间,国内外已有不少研究。但是,到目前为止所引入的各种紧性都或多或少地有这样或那样一些缺点,不能令人十分满意,评论见文献[1—3]。文献[2]提出的良紧性比较理想,但它缺乏覆盖或重盖这一类的几何刻划,而且定义中涉及到赋值集[0,1]的拓扑结构,给推广到一般的L不分明拓扑空间带来     

拓扑线性空间中的紧集

本文给出了有关拓扑空间中紧集定理的一个新证明 ,从而完善了 [1,2 ]中的有关结果 .　　紧集是拓扑空间中最基本、最重要的结构之一 .它一直是人们研究的热点问题 .[1,2 ]中有关拓扑线性空间的定理证明 ,均有不妥之处 .本文给出了一种新的证明 ,从而完善了上述结果 .　　设Ａ为线性拓扑空间中的集合 ,Ａ称为紧集是指Ａ的任意开覆盖均有有限子覆盖 .Ａ称为完全有界集是指对零点的任一邻域Ｖ ,都有ｚ1,ｚ2 ,… ,ｚｎ∈Ａ使Ａ ∪ｎｉ=1 (ｚｉ Ｖ) .Ａ称为完备的是指Ａ中任意Ｃａｕｃｈｙ网均收敛于Ａ中一点[1,2 ] .　　定理[1,2 ] 　设Ａ为线…     

不分明拓扑学中不分明点的邻近构造与Moore-Smith式收敛

不分明拓扑学是不分明数学的一个侧面,同时,从理论上看,它又是原先的(本文称作分明的)拓扑学的一种拓广。国内外的研究工作是不少的。但是,有两个基本问题有待解决。1.关于不分明点概念及其邻近构造:原先文献[16]中给的不分明点不能以分明点为特例,而且是循着邻域系的老思路进行研究,不能反映不分明拓扑学中邻近构造新特性,所得结果颇     

质L-fuzzy理想与准质L-fuzzy理想

本文是文[1]的续篇。设L=(L,≤,∨,∧)是一个完全分配格,且有最小元素0和最大元素1。X为一个非空通常集合,L-fuzzy集是指映射A:X→L。X上的全体L-fuzzy集所组成的集合记作F_L(X)。定义1 设A为环X的L-fuzzy理想。     

不分明单位区间的良紧性

不分明单位区间在不分明拓扑中具有基本重要性,在文献[1]中Lowen还描述了它的概率测度背景,并以此为契机,作出一系列深入研究与拓广。另一方面不分明拓扑中紧性远较通常拓扑中紧性复杂,其表现形式也是多种多样的。在文献[2]中就值域为[0,1]的情形引入的一种紧性概念似较理想。这种称为良紧性的紧性在连续格理论的成果刺激下已放     

布尔模态逻辑的泛模型与有限模型

布尔模态逻辑是一种模态词带结构的模态逻辑,其模态词及模态词的运算构成一个布尔代数.文献[1]讨论了布尔模态逻辑BML的有关性质,本文在此基础上研究了BML泛模型的存在性.文献[2]中考察了PDL泛模型的存在性,由于BML拟标准模型的可达关系的运算要求满足布尔运算规律,与PDL模型有很大的差异,文献[2]中构造泛模型的方法对BML无效,本文利用基本模态词编码的方法将“P-射”技术一般化,由非标准模型构造出拟标准泛模型.另外,本文还讨论了含n个原子模态词时BML的有限模型性质并进一步利用公式闭包及符号闭包的方法给出BML小模型规模的上界,所谓模型的规模指模型可能世界集的基数.