两个可数紧的不分明拓扑空间的积空间不必是可数紧的

本文给出了拓扑空间与某种简单不分明拓扑空间之间的联系,由此可推出两个可数紧的不分明拓扑空间的积空间不必是可数紧的,即:[5]中定理3.4对可数紧性所作的结论是错误的。自1968年C.L.Chang以L.A.Zadeh的奠基性论文[1]为基础引入不分明拓拓扑空间(Fuzzy topological spaces[2])的概念以来,这方面的研究工作进展很快[4—12],特別是蒲保明、收应明[3]全面地建立起了不分明拓扑空间的理论。另一方面,目前对不分明拓扑空间中某些基本概念的看法尚未完全统一,本文关于紧性与可数性的定义与[2]、[5]一致,同时目的在于指出[5]中定理3.4关于可数紧性所作的结论是错误的,即:两个可数紧的不分明拓扑空间的积空间不必是可数紧的,这是本文关于拓扑空间与某种简单不分明拓扑空间之间的关系定理1—2的直接推论。     

Fuzzy道路同伦的又一定义

郑崇友,刘旺金在[2]、[3]中首先研究了Fuzzy拓扑空间的基本群,开创了Fuzzy同伦论的研究。本文一方面改变了分明单位区间Ⅰ上诱导的Fuzzy拓扑的定义,另一方面利用何明在[4]中定义的重积空间的双诱导映射,讨论了Fuzzy映射同伦,给出了Fuzzy道路同伦的新定义,证明了Fuzzy基本群的Fuzzy伦型不变性。     

关于拟不变变换群上的拓扑和无限维李群

夏道行在文[1]中对无限维空间上测度和积分进行了系统而深刻的研究,说明研究测度空间拟不变变换群上的拓扑是重要的.本文主要运用[1]中方法讨论了拟不变拟线性变换群{T}上的拓扑,记号和概念同[1].     

建立拓扑空间的一种新方法

拓扑学是近代数学的基础,拓扑空间的建立为近代数学的研究打下了坚实的理论基础.利用集合中满足一定条件的子集族建立拓扑空间的方法很多,文[1],[2],[3]应用开集公理建立拓扑空间,文[4]应用邻域系公理建立拓扑空间,文[5]则应用边界运算建立了拓扑空间.本文定义了不同于文[5]的边界运算,并应用这种方法建立了拓扑空间.     

交换李群上的拟不变测度和相应拓扑

设G是一个拓扑群,是G中由全体开集张成的Borel σ-代数,是G的子群,Ω=(G,μ)是关于平移拟不变的有限正则测度空间,即对每一个h∈,若定义测度μ_h(A)=μ(h~(-1)A),A∈,则μ_h～μ.若上本身具有拓扑,对于每一个h∈,G中紧集K及包含h_0K的任一开集0,必存在h_0在中的环境V,使当h∈V时有hK(?)0,则称拓扑是适宜的.对于G是线性拓扑空间情形,[1]证明了上第二纲适宜拓扑总是存在的,并且具体给出了此拓扑的构造.本文将对G是以Banach空间E为参数的无限维李群进行讨论,并说明其相应的适宜拓扑必存在,从而得到了和线性拓扑空间情形相应的一些结果.我们采用的李群概念是B.Maissen在[2]中所定义的.     

拓扑一般Boole格连续性的等价定理

不难知道,关于拓扑Boole格现有的邻域定义(如[3]的规定)是不能概括拓扑空间上有关邻域的那些结果的。如[3]中叙述的那样,甚至连T_0分离性概念都不能推广到拓扑Boole格中去。这注定了现有的邻域定义是必定要被淘汰的。本文在[1]—[5]的基础上引入了拓扑一般Boole格的范闭集、范开集及范邻域的定义,这些定义与文献[4]里的那些定义一样使得拓扑空间上有关邻域及包括T_0分离性在内的各种分离性的结果可以推广到拓扑一般Boole格上(当然更可以推广到拓扑Boole格上)。本文实现了将拓扑空间连续性等价的主要基泰定理推广到拓扑一般Boole格上。     

L—Fuzzy邻近关系的完全格

在[1]、[2]中,我们运用L—相重的概念,重新定义了L—fuzzy邻近空间,并指出它比[3]、[4]中定义的fuzzy邻近空间更广泛;通过讨论相应的L—fuzzy拓扑的若干性质表明它又更接近于分明邻近空间,显示了这种定义方式的自然性。本文是[1]、[2]的继续,这里研究了同一集合X上所有L—fuzzy邻近关系的比较,它们与相应导出的L—fuzzy拓扑的关系,并且证明全体这种邻近关系就所定义的偏序“≤”组成一个完全格。     

S^7无Lie群构造

在[2]中,R.Bott 和J.Milnor 证明了球面S~n 是可平行流形的充要条件为n=1,3或7.在[1]中,J.F.Adams 证明了上述结果和S~n 是H—空间的充要条件为n=0,1,3或7.因为Lie 群(我们指的是解析Lie 群)必须是可平行流形和H—空间,因此人们自然要问对于n=0,1,3或7,S~n 是Lie 群吗?本文证明了S~7不是Lie 群,甚至也不是拓扑群.于是,S~n 是Lie 群(或拓扑群)的充要条件为n=0,1,3.     

拓扑学中的一个反例

[1]中讨论了T~#型拓扑空间,[2]中定义了T~(##)型拓扑空间,并证明了T~#型拓扑空间必为T~(##)型拓扑空间等结果。在1984年全国拓扑学术交流会上,黄锦能同志报告了[2]的主要结果,并指出,一般情况下T~(##)空间是否为T~#空间还未解决,本文给出一个反例,说明T~(##)空间未必是T~#空间,同时讨论了反例给出的拓扑空间的一些其它性质。     

线性空间的邻域结构

A·kos Csa′sza′r在[1]中先赋予非空集合一个邻域结构,在此基础上定义了与从开集公理体系导入的拓扑等价的拓扑结构,由邻域结构确定了一类较拓扑空间更为广泛的空间对象——邻域空间[1]。本文在线性空间中赋予相容的邻域结构,推广了拓扑线性空间的概念,讨论了邻域线性空间的一些初步性质。此外,由于定义相容的加法和数乘运算的需要,还引入了邻域空间的乘积和乘积邻域结构的概念。     

模糊拓扑环的模糊一致化

模糊拓扑环的模糊一致化问题是模糊拓扑环理论中的一个重要问题.与文献[1]中模糊拓扑群可模糊一致化的概念不同,定义了模糊拓扑环可模糊一致化概念,并且获得了模糊拓扑环可模糊一致化的充分必要条件使模糊拓扑环的模糊一致化问题得到完全解决.     

关于拓扑代数的一个定理的注记

书[1]中,曾证明如下的一个定理:凡是T_1-群都是T_2-群.若是把定理的条件放宽,则只要求所考虑的拓扑空间满足通常所谓分离公理T_0就够了.公理T_0 任意两个不同点中至少一个有一个邻域不包含另一点.现在来证明下面定理.定理 凡是T_0-群都是T_2-群.     

不分明拓扑群的某些性质

1979年Foster首先引入了不分明拓扑群的概念。随后方锦暄、马骥良与于纯海等分别又给出了不分明拓扑群的几种新定义,本文将在文献[2]中给出的不分明拓扑群新定义的框架下研究不分明拓扑群的某些性质,如不分明拓扑群的连通性、子群与商群、以及局部性质等。     

关于几类非连续映射

一、引言本文继续[9],进一步研究O.H.Hamilton[3]及J.Stallings[2]提出的问题,在序拓扑空间上讨论连通映射、局部连通映射、边界连续映射与图象连续映射。 J.tsallings[2]提出在什么条件下局部连通映射是连通映射?本文证明了定义在序拓扑空间上的连通映射与局部连通映射两者是等价的。O.Hamilton[3]、J.stallings[2]提     

下自相似集的若干拓扑性质

文[2]给出了下自相似集的定义及若干例子,并得到了下自相似集的Hausdorff维效及盒维数公式;文[3]在欧氏空间中讨论了下自相似集的拓扑范畴性质.本文在[2][3]的基础上,在一般的度量空间中讨论了下自相似集的拓扑性质,得到了自相似集的若干结果.     

一类拟—似变分不等式

本文在局部凸 Hausdorff 拓扑线性空间上定义了一类变分不等式,通过改进文[1]中的构造技巧,研究了此类变分不等式解的存在性问题.本文的结果包含了文献[3]、[4]中的一些结论.     

单连通空间的一些性质

本文是在[1]的基础上,对单连通空间的性质做进一步的讨论。给出[1]中未加证明的定理的证明,并举些具体的单连通空间的例子。 一、单连通空间的性质 定义:一个道路连通空间,当它的基本群是平凡群时,称为单连通空间。 定理1、设x为道路连通空间,则下列命题等价     

可拼拓扑空间族及其拓扑拼空间

本文给出了拓扑空间族可拼的概念;定义了可拼拓扑空问族的拓扑拼空间。这是[1]中所讨论的两两不相交的拓扑空间族之和的自然推广。本文同时还讨论了拓扑拼空间的若干性质。     

关于拓扑测度的几个问题(Ⅱ)

本文是作者同一篇文章的第Ⅱ部分,有关概念和定义1,定义2,定义3,这里都不重述,请读者参考[1]。 关于定义2和定义3提出的各种拓扑空间之间的包含关系,下述几个命题有的是明显的,有的[2]里已证。     

半分离公理的等价性

<正>文[1]中只给出了部分半分离性的等价形式,在此将半T:(i=0,1,2,3,4)公理都给以等价形式,并将文[1]中已给出的等价形式加以扩充.定义1拓扑空间X的子集A称为X中的半开集当且仅当存在X中的开集O,使得O(?)A(?)(?).X中所有半开集所组成的族记为S.O(X).定义2设X为拓扑空间,x∈X,u(?)X.如果存在一个包含x的半开集v包含于u.