何 瓊，王小霞，薛雨佳

（延安大學 數(shù)學與計算機科學學院，陜西 延安 716000）

1983 年，ATANASSOV［1-2］利用Zadeh 的模糊集［3］提出直覺模糊集的概念。直覺模糊拓撲［4］是直覺模糊集和拓撲學相結合的產物，其中直覺Fuzzifying 拓撲［5］是直覺模糊拓撲的重要分支。眾所周知，閉包算子是拓撲學中的基本內容，在其他拓撲空間中閉包算子的研究已經取得了一些成果［6-7］，而在直覺Fuzzifying 拓撲空間中還沒有對閉包算子進行研究。文獻［5，8-10］研究了直覺Fuzzifying 拓撲的Moore-Smith 收斂理論、鄰域系、子空間。文獻［11-12］得到了直覺Fuzzifying拓撲空間的分離公理及其相關等價定理。文獻［13-15］相繼討論了基于L*-格值邏輯上直覺Fuzzifying 的一些性質。

本文主要研究直覺Fuzzifying 拓撲空間的閉包算子及相關性質。首先給出閉集族和閉包的定義以及閉包的相關性質；其次定義了直覺Fuzzifying 拓撲空間的閉包算子；最后證明了拓撲的直覺Fuzzifying 閉包算子Icl的等價關系。在直覺Fuzzifying 拓撲空間中，利用Lukasiewicz 蘊含算子引入閉包算子，可以完善直覺Fuzzifying 拓撲空間的研究，并為這一空間連通性的研究奠定基礎。本文所涉及到的未作特別說明的符號與專業(yè)術語均見文獻［16］。

1 預備知識

P(X)表示非空集合X上的全體直覺模糊集，其最小元為，最大元為表示直覺模糊集A的補。

本文中使用的關于賦值格為Lukasiewicz 單位區(qū)間的邏輯的一些記號。

對任意公式φ，符號[φ]表示φ的真值，這時真值集是[0，1]，一個公式為重言式。記╞φ當且僅當[φ]=1。

定義1.1［2］設X是一個非空集合，I=(0，1)，I0=(0，1]，I1=[0，1)。為X上的一個直覺模糊集，映射μA：X→I，γA：X→I滿足?x∈X，0 ≤μA(x) +γA(x) ≤1 成立。μA(x)和γA(x)表示x對于A的隸屬度和非隸屬度。

定義1.2［3］對于任意A，B∈P(X)，

定義1.3［3］設X是一個非空集合，P（X）上的直覺模糊集Iτ∈IFS(P(X))，即Iτ：P(X) →L*，滿足：

1）Iτ(X)=Iτ(?)=1L*=(1，0)，

即μIτ(X)=μIτ(?)=1，γIτ(X)=γIτ(?)=0；

2）?A，B∈P(X)，Iτ(A∩B) ≥L*Iτ(A) ∧Iτ(B)，

即μIτ(A∩B) ≥μIτ(A) ∧μIτ(B)，

γIτ(A∩B) ≥γIτ(A) ∨γIτ(B)；

則稱Iτ為直覺Fuzzifying 拓撲，(P(X)，Iτ)為直覺Fuzzifying拓撲空間。

定義1.4［4］設(X，Iτ)是直覺Fuzzifying 拓撲空間，?x∈X，定義P（X）上的直覺模糊集INx（即INx：P(X) →L*）如下則稱直覺模糊集族為直覺Fuzzifying 拓撲Iτ的鄰域系。

定理1.1［4］設(X，Iτ)是直覺Fuzzifying 拓撲空間，則Iτ的鄰域系具有以下性質：?A，B∈P(X)有

定義1.5［12］設(X，Iτ)是直覺Fuzzifying 拓撲空間，A∈P(X)，A的直覺Fuzzifying 閉包A-∈IFS(X)，定義為

2 直覺Fuzzifying拓撲空間的閉包度及性質

定義2.1直覺Fuzzifying 閉集族IF定義為A∈P(X)，╞A∈IF：=Ac∈Iτ，即IF(A)=Iτ(Ac)。

定義2.2設(X，Iτ)是直覺Fuzzifying 拓撲空間，?A，B∈P(X)，映 射IclA：P(X) →L*，A的直覺Fuzzifying閉包IclA∈IFS(X)定義如下：

定理2.1設(X，Iτ)是直覺Fuzzifying 拓撲空間，?A，B∈P(X)，其相關性質如下：

3 直覺Fuzzifying拓撲空間的閉包算子

定義3.1設映射IclA：P(X) →L*滿足：

定理3.1設(X，Iτ)是直覺Fuzzifying 拓撲空間，IclIτ：P(X) →L*，如定義2.2，IτIcl：P(X) →L*，，若IclA是拓撲的直覺Fuzzifying拓撲空間的閉包算子，則