T—型拓扑空间

关于拓扑空间的分离性公理,已有T_0、T_1、T_2等,本文提出T分离性,它比T-1强而比T_2,弱,讨论了T—型拓扑空间的某些性质,证明了对于满足第一可数公理的拓补空间来说,T和T_2的等价性。最后指出关肇直先生给出的局部紧性之定义与J·Kelley所给的定义在T—型拓扑空间上是一致的。定义一拓扑空间(X,T)叫做T—型的,是指X的一切紧子集都是闭的。若以D表     

介于T_0和T_1之间的拓扑空间

本文主要讨论介于T_0和T_1空间之间的拓扑空间及其性质     

半开集族的半基

在本文定义了拓扑空间中所有由半开集构成的半开集族的半基,并给出了集族为某拓扑空间的半开集族的半基的条件,以及由集族确定拓扑等方法.最后,还指出了关于积空间的半开集族的结构,T_1、T_0分离性不是半拓扑性质,另外我们把半基的概念推广到半开结构。     

Fuzzy拓扑空间分离公理

本文继 Hutton 在(4)中建立的 Fuzzy 正规性之后,进一步讨论了和一般拓扑相平行的一系列的 Fuzzy 分离公理。主要结果是:1.建立了 Fuzzy T_1、T_1、T_2、正则,F_3、正规、T_4等 Fuzzy 分离公理;证明了和一般拓扑在分离公理上的等价性和应相的两个性质,这就是定理3.1,定理3.2和定理3.3。2.证明了积 Fuzzy 拓扑空间和因子 Fuzzy 拓扑空间在分离性上的关系,即定理4.1。     

弱诱导空间族的和空间

本文是笔者研究 LF 和拓扑空间的继续,在这篇文章中笔者讨论了弱诱导空间的和空间的性质,并给出 LF 和拓扑空间是弱诱导空间的充要条件以及弱诱导空间的和空间与底空间的关系,同时还证明了LF 和拓扑空间是 T_0 空间、次 T_0 空间、T_1 空间、T_2 空间、ST_1 空间、ST_2 空间的一个充要条件。     

关于完正规拓扑空间的一点注记

本文给出了(T_1)型拓扑空间是完正规拓扑空间的充要条件,并用它讨论了(T_3)型拓扑空间成为完正规拓扑空间的条件.本文将采用文献中的术语和记号.     

一类介乎于T_0 T_1之间的空间T_(1/2)

本文以“拓扑空间中每一个集合的导集皆为闭集”为定义,做出了一类介乎于T_0,T_1之间的空间T_(1/2),并证明了任一有限的T_0空间都是T_(1/2)空间,正则的T_(1/2)空间为T_3空间等。     

关于L-半拓扑空间中连续性和分离性的探究

首先对L-半拓扑空间中的基本点集进行讨论,在L-半拓扑空间中得到了关于子空间的两个结果,并且通过反例证明了在拓扑空间中成立而在L-半拓扑空间中不成立的关于开集的一个命题;然后讨论L-半拓扑空间中映射的连续性,获得了连续映射复合仍连续这一结果,并且证明了L-半拓扑空间中邻域、内点、闭包都具有L-半拓扑不变性;最后,对分离性质进行讨论,在L-半拓扑空间中推广了拓扑空间中关于T_0、T_1、T_2以及正则与正规的一些结果,同时也给出了在拓扑空间中成立而在L-半拓扑空间中不成立的两个例子。     

拟拓扑群中的嵌入性质

本文主要刻画第一可数拟拓扑群乘积空间的子群,得如下结论:1)设G是满足T_1分离公理的拟拓扑群,则G拓扑同构于一族满足第一可数且满足T_1分离公理拟拓扑群乘积空间的子群当且仅当G是w-balanced和局部w-good;2)设G是满足T_2分离公理的拟拓扑群,则G拓扑同构于一族满足第一可数且满足T_2分离公理拟拓扑群乘积空间的子群当且仅当G是w-balanced、局部w-good和Hs(G)≤w;3)设G是满足正则分离公理的拟拓扑群,则G拓扑同构于一族满足第一可数且满足正则分离公理拟拓扑群乘积空间的子群当且仅当G是w-balanced、局部w-good和Ir(G)≤w.     

函数式积拓扑:和拓扑、积拓扑和点式收敛拓扑的共同推广

首先,借助和拓扑,对于离散拓扑空间X,证明了任意一族以X为指标集的拓扑空间族的积空间和相对于X的点式收敛空间相同。其次,对于某拓扑空间族的笛卡尔积和其上的任意一个拓扑,给出了该积空间到其任意坐标空间的投射连续的充要条件。最后,给出了函数式积空间的定义,并且指出这类空间可以作为积空间、和空间和函数空间(点式收敛拓扑)的共同推广。     

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

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

不分明拓扑空间中集网收敛与分离性

本文讨论了不分明拓扑空间中的集网收敛,并证明不分明重—T_3,拓扑空间,不分明重—T_4拓外空间,不分明正规拓扑空间可用集网收敛来描述。     

可分离公理的三空间性

在拓扑代数一些基本定义及基本性质的基础上,讨论了拓扑群中的群扩张理论,研究了可分离公理的三空间性质.利用逆纤维性质,得出了满足T_1公理是三空间性质;给出了T_2公理和T_3公理成为三空间性质的条件.结果表明:T_2T_3公理在不变子群是既开又闭的条件下可以扩张到整个拓扑群上.     

同底L-fuzzy拓扑空间范畴及其积运算

引入同底L-fuzzy拓扑空间范畴,证明了一族L-fuzzy拓扑空间的"乘积空间"正是其在上述范畴中的乘积.引入一族L-fuzzy拓扑空间的"上积空间",证明了一族L-fuzzy拓扑空间的"上积空间"正是其在上述范畴中的上积.     

直觉I-fuzzy拓扑空间中,T3,T4分离公理

目的讨论直觉I-fuzzy拓扑空间中的T_3,T_4分离公理以及与T_1,T_2分离公理的关系。方法 L*-格值上Lukasiewicz蕴含算子。结果与结论首先给出直觉I-fuzzy拓扑空间中T_3,T_4分离性的概念,接着得到它们的等价命题,最后讨论了T_3,T_4分离性与T_1,T_2分离性的关系。     

关于局部紧T2型拓扑空间X上的贝尔函数与贝尔可测函数关系的几点注记

本文主要讨论,局部紧T_2型拓扑空间X到拓扑乘积空间R~Λ=R_λ中的贝尔函数族与贝尔可测函数族相同的条件。证明了,当Λ的基数不超过可列时,贝尔函数族与贝尔可测函数族相同的充要条件为X是σ—紧的。并举例说明,Λ的基数不超过可列,这一条件是不可少的。     

仿紧空间的一点注记

这一篇短文的目的是对仿紫空间作两个笔注:(一)1948年K.Morita证明了,每一个正则Lindel?f空间(X,T)是仿紧的,在本文中,我们另外作例说明Morita定理中的(X,T)的正则性不能用T_2性代替(二)我们知道两个仿紧空间的积空间不必是仿紧的,但什么样的空间和一个仿紧空间的积空间是仿紧的,这仍是一个有兴趣的问题。1944年,J.Dieudonné证明了;一个仿紧空间和一个紧空间的积空间是仿紧的。1953年E.Michael推广了Dieudonné的结果:一个T_2仿紧空间同一个T_3σ—紧空间的积空间是仿紧的,在本文内,我们将证明:一个T_2仿紧空间同一个T_2局部紧的仿紧空间的积空间是仿紧的;并作例说明,这是Dieudonné—Michael定理的一个真实的改进。     

T_0拓扑空间的拟连续性与交连续性

本文在定向空间的基础上通过收敛的方式定义了拟连续空间和交连续空间,推广了Domain理论中的相应结果.主要结果如下:(1)一个T_0空间是拟连续的,当且仅当它是局部强紧的,当且仅当它的开集格在集包含关系下是超连续格,当且仅当它的sober化是拟连续dcpo;(2)一个定向空间是交连续的当且仅当它的闭集格在集包含关系下是一个Frame;(3)一个T_0拓扑空间是c-空间当且仅当它既是交连续的又是拟连续的.     

关于紧致(T_2)型空间的刻划

紧致(T_2)型空间是一类重要的空间,它有各种刻划方式。我们将讨论如何用它上面的连续函数去刻划它。空间的拓扑结构完全决定了它上面连续函数空间的结构。反过来,拓扑空间的结构也应当可以由其上的连续函数决定。     

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

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