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

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

Fuzzy T_(1 1/2)空间

本文给出了Fuzzy T_(1 1/2)分离性的定义,对Fuzzy T_(1 1/2)空间的性质作了一些讨论。最后,讨论了一般拓扑学中的T_(1 1/2)空间与一类Fuzzy T_(1 1/2)空间的关系。在一般拓扑学中,收敛序列的极限点唯一的空间——T_(1 1/2)空间——是一类重要的空间,现把这一概念推广到Fuzzy拓扑学中去。本文所涉及的Fuzzy拓扑的有关概念和结论见文献[2]、[3]、[5]。     

T—型拓扑空间

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

Fuzzy拓扑空间的紧性与上下层空间紧性的关系

本文利用网紧关系定义一种Fuzzy拓扑空间的紧性,称为网紧。并讨论了它的基本性质,证明了网紧是用“覆盖”定义的紧空间的一种推广。最后,讨论了Fuzzy拓扑空间(X,ω(T))与两种Fuzzy超拓扑空间(F(X),T_(02))及(F(X),T_(20))之间的网紧性的关系。     

不分明拓扑群(1)

§1 予备定义1.1 设J为非空集X的一族不分明集若满足 (1) φ_0X∈J;(2) 若A_i∈J(i∈I),则A_iJ;(3) 若A_k∈J(k=1,2,…,n),则A_k∈J;(4) 若有λ_0∈(0,1),A∈J,x∈X使得μA(x)=λ_0,则对一切λ∈(0,1)均有λ~*∈J,其中;λ~*是由μ_λ·(x)≡λ所确定的不分明集。则称J为X的不分明拓扑,(X,J)称为不分明拓扑空间。简记为fts(X,J),J中元素称为J—开集,简称开集,开集的余集称为闭集。     

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

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

相对T_0、T_1、T_2空间的性质

相对拓扑性质是经典拓扑性质的推广。研究了T0空间、T1空间、T2空间及其子空间的定义和性质,并对相对空间、相对空间和相对空间的定义及性质进行深入研究。     

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

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

T_i空间为S-闭空间的一个充要条件(i=2(1/3),2(2/3),3,3(1/2),4,5)

王国俊[1]提出了如下的问题:“如果T_2空间X在每个T_2空间Y中的不定映射的象都是Y中的闭集,X是否必定是极不连通空间”。周浩旋[3]对此问题作了肯定的回答,从而证实了Thompson,T.[4]的主要结论还是正确的。该结论说:“为使T_2空间X是S闭空间,     

L—fuzzy拓扑的λ—截拓扑(Ⅱ)

讨论了各种可数性和分离性与λ-截拓扑的关系.特别是,若(L~X,δ)是λ-弱诱导空间,则(L~X,δ)是Hausdorff空间或强Hausdorff空间,当且仅当λ-截拓扑空间(X,ι_λ(δ))是Hausdorff空间,因此对λ-弱诱导空间来说,Hausdorff分离性与强Hausdorff分离性是等价的;又若(L~X,δ)是满层的λ-弱诱导空间,则(L~X,δ)是ST_1的(ST_2的),当且仅当λ-截拓扑空间(X,ι_λ(δ))是T_1的(T_2的),于是对满层的λ-弱诱导空间来说,ST_2分离性与强Hausdorff分离性及Hausdorff分离性是等价的.     

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

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

关于T~*拓扑空间的等价性及其性质的研究

在已有文献的基础上讨论了T*拓扑空间,首先讨论了T*与T_(1(1/2)的关系:证明T*=〉T_(1(1/2),并举出反例说明其逆不一定成立。接着给出了T*与T_(1(1/2)等价的一个充要条件,即若拓扑空间(X,τ)满足第一可数公理,则X是T*空间当且仅当X是T_(1(1/2)空间。最后进一步讨论了T*拓扑空间的若干性质,即遗传性、拓扑不变性、但不满足有限乘积性。     

T_1~*和T_(1 1/2)—型邻域空间

本文在邻域空间中又引入了T_1~*和T_(1 1/2)—型两种特殊的邻域空间,并证明了一些等价命题。最后推导了二者分离性之间的关系。     

半T_5空间

本文在文献[1]的基础上,提出了半T_5空间并讨论了它的一些拓扑性质。     

关于拓扑空间中的累次极限

在G肖盖著的《拓扑学》一书中有如下一个命题: 令(a_(m,n))是一个由N×N到T_2空间的映射,如果,则。在本文中,举出一个反例说明上述命题不能成立,并得到一些修正的结论:令(a_(m,n))是由N×N到拓扑空间X的映射,且ⅰ)若X是T_3空间,则; ⅱ)若X是T_2空间,则当且仅当是X的紧子集。     

关于(T_1)型拓扑Boole格若干定理及其证明的修改

本文对[2]中的几个定理及其证明作了修订.[2]P.146定理5如下:为了拓扑Boole代数B是(T_1)型,必须且只须其中每元是一些闭元的结,或必须且只须每元是它的一切开邻域的交.先看一个例子.例.设仅由最大元1与最小元0组成的二元Boole格.这个Boole格按最粗的拓扑结构构成的拓扑Boole格B是(T_1)型的,这只要直接验证就可以了.但1是闭元,而不是开     

极小LF T_2拓扑空间

对于任意Fuzzy格L和非空集X,本文证明了L~X上极小LF T_2拓扑的存在性,并借助于序同态和理想等工具讨论了这种拓扑的结构。最后证明了当L的最大元是有限个分子之并时L~X上存在唯一极小LF T_2拓扑的充要条件是X为有限集。     

关于G(a)teaux可微局部凸空间的乘积问题

局部凸空间X称为G^ateaux可微空间(GDS),如果定义在它的非空开凸子集D上的每个连续凸函数均在D的一个稠密子集上处处G^ateaux可微.本文证明了GDS与任一族可分Frchet空间的乘积,以及GDS与任一赋予弱拓扑的局部凸空间的乘积,仍是GDS.     

T_0~*—型拓扑空间的可积性问题

本文中,主要讨论T_0一型拓扑空间的积空间和坐标空间的关系,指出T_0一型拓扑空间是不可积的。其主要结果有定理2和例1。     

在Frechet空间中闭算子的s-可分解与f(S)可分解之间的一个关系

设X是Frechet空间,{||x||}m=1是定义X的拓扑的一族半范数,且可设||x||_1≤||x||_2≤…本文所讨论的算子均定义在Frechet空间X上。一、基本概念、名称及记号: 1.若正数{||x||_m,x∈A}集合对每个自然数m是有界的,则称集合A(?)X是有界的。点列在X中收敛等价于同时按可数无穷多个半范数{||x||_m}m=1收敛。 2.用C(X)表示X上闭线性算子的全体,L(X)表示X上连续线性算子的全体。