l-拓扑空间中的次分离.docxVIP

l-拓扑空间中的次分离 1 定义[lx]的基本信息 1968年，在文献中提出了模糊的拓扑空间后，l-发现了令人担忧的发现。文献中,作者系统地介绍了Τi(i=-1,0,1,2,3,312,4)分离性以及次T0分离性。此后,L-拓扑空间的分离性研究又取得许多进展,详见文、、、。值得注意的是,次T0分离性被分离性较低的L-单位区间I(L)所具有,这无疑是次T0分离性的一大优点。根据次T0分离性的思想,考虑到L-拓扑的层次结构,本文提出了一套次分离性公理。 设(LX,δ)是L-拓扑空间,其中L是有最大元ˉ[CΜ(1]|[CΜ)]、最小元⊥的F格,LX中的最大元和最小元分别记作ˉ[CΜ(1]|[CΜ)]X和⊥X,X是非空集合。δ中的元称作开集, ?A∈LX,A°=∨{B∈δ:B≤A},记A的内部。 而δ′={A′:A∈δ}中的元称作闭集,此处()′是LX中的逆序对合对应。M(L)和M*(LX)分别记L和LX全部分子(非零并既约元)之集。 闭集P称作分子xλ∈M*(LX)的闭远域指λ?P(x)。 ?xλ∈M*(LX),xλ的闭远域全体记作η-(xλ)。其它未介绍的术语和记号见文献。 设f:X→Y是映射,本文用f→:LX→LY记f诱导的Zadeh型函数,其逆映射记作f←:LY→LX,意义为: ?B∈LY, ?x∈X,f←(B)(x)=B(f(x))。 下面给出本文经常用到的定义及结论。 定义1.1如果对X中的任二不同的分明点x与y,存在λ∈M(L)使得有P∈η-(xλ)满足yλ≤P或有Q∈η-(yλ)满足xλ≤Q,则称(LX,δ)为次T0空间。 定义1.2设(LX,δ)是L-拓扑空间,如果对M*(LX)中的任二不同的分子xλ与yμ,当x≠y时,有P∈η-(xλ)和Q∈η-(yμ)使得P°∨Q°=|X,则称(LX,δ)为Τ212空间或L-Urysohn(原称为L-fuzzy U2)空间。 注1.1Τi(i=1,2,212,3,4)分离性是L-好的推广。 定义1.3称L-拓扑空间(LX,δ)是层T0的,如果?α∈M(L),(X,ιopα(δ))是T0空间。 其中ιopα(δ)={ιopα(A):A∈δ′},ιopα(A)={x∈X:α≤A(x)}。 类似可定义层Ti(i=1,2)、层正则(完全正则、正规)、层Τ3(Τ312、T4)分离性。 2 关于次t1空间 在L-拓扑中,由于层次结构的原因,其分离性比经典拓扑的分离性复杂得多。考虑到其层次结构,我们提出一套新的分离性公理,详见下面定义2.1、定义2.2、定义2.3、定义2.4、定义2.5。 定义2.1设(LX,δ)是L-拓扑空间,?x,y∈X,当x≠y时,存在λ∈M(L)使得有P∈η-(xλ)满足yλ≤P,则称(LX,δ)为次T1空间。 显然,T1空间是次T1空间。 次T1空间的刻画定理如下: 定理2.1设(LX,δ)是L-拓扑空间,下列各条等价: (1) (LX,δ)为次T1空间。 (2) ?(x,y)∈X×X满足x≠y,存在λ∈M(L),使得η-(xλ)≠η-(yλ)。 (3) ?(x,y)∈X×X满足x≠y,存在λ∈M(L),使得xλ?yλ-且yλ?xλ-. 定理2.2设(LX,ωL(T))是由分明拓扑空间(X,T)拓扑生成的L-拓扑空间,则(LX,ωL(T))是次T1空间?(X,T)是T1空间。 证明必要性。设(LX,ωL(T))是次T1空间。 任取x∈X. 若y∈X使得y≠x. 由次T1分离性知,存在λ∈M(L)使得有P∈η-(yλ)满足xλ≤P. 令U={z∈X:P′(z)?λ′},则U∈T,x?U且y∈U,因此,y?{x}-({x}-是{x}在(X,T)中的闭包)。 证得单点集{x}是闭集,此即(X,T)是T1空间。 充分性。设(X,T)是T1空间,由T1分离性是L-好的推广知,(LX,ωL(T))是T1空间,故(LX,ωL(T))是次T1空间。 现在引入次T2分离性。 定义2.2设(LX,δ)是L-拓扑空间,?x,y∈X,当x≠y时,存在λ∈M(L)使得有P∈η-(xλ)和Q∈η-(yλ)满足Ρ∨Q=→ˉ[CΜ(1]|[CΜ)]X,则称(LX,δ)为次T2空间。 显然,T2空间是次T2空间。 关于次T2,有下列收敛唯一性的结论。 定理2.3(LX,δ)为次T2空间,则对(LX,δ)中的每个分子网S都有|KS|≤1,其中,KS={x∈X:limS(x)=ˉ[CΜ(1]|[CΜ)]}。 证明设(LX,δ)为次T2空间,S={S(n):n∈D}是分子网。 假设|KS|=|{x:limS(x)=ˉ[CΜ(1]|[CΜ)]}|≥2。 任取x,y∈KS且x≠y,因为(LX,δ)为次T2空间,所以存在λ∈M(L)使得有P∈η-(xλ)和Q∈η-(yλ)满足Ρ∨Q=ˉ[CΜ(1]|[CΜ)]