弱誘導(dǎo)的L-fuzzy雙拓?fù)淇臻g中新的緊性

孫軍娜，徐小玲，馬保國(guó)

(1渭南師范學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院，陜西渭南714000;2延安大學(xué)西安創(chuàng)新學(xué)院，西安710100)

自從1963年J.C.Kelly［1］引入雙拓?fù)淇臻g的概念以來(lái)，國(guó)內(nèi)外許多拓?fù)鋵W(xué)者對(duì)其進(jìn)行了一系列的研究［2－5］，使得雙拓?fù)淇臻g構(gòu)成了拓?fù)鋵W(xué)的一個(gè)研究分支.仿照分明拓?fù)鋵W(xué)，鄭崇友［5］等首次借助 α-δ1δ2遠(yuǎn)域族，將S-緊性、B-緊性引入到L-fuzzy雙拓?fù)淇臻g.1995年，孟廣武［6］以強(qiáng)α－局部有限族為基礎(chǔ)，在L-fuzzy拓?fù)淇臻g中引入層仿緊性.此后，文獻(xiàn)［7-8］基于幾乎α-遠(yuǎn)域族，先后給出可數(shù)層仿緊集、幾乎可數(shù)層仿緊集的定義，研究后得到了若干結(jié)果.本文在現(xiàn)有的理論基礎(chǔ)上，將幾乎可數(shù)層仿緊集引入到L-fuzzy雙拓?fù)淇臻g中，對(duì)其相關(guān)性質(zhì)進(jìn)行了討論，得出了許多結(jié)論.

本文中，L=(L，≤，∨，∧，')表示fuzzy格，L的最大元是1，最小元是0且1≠0.M(L)與M*(LX)分別表示L與LX的非零分子之集，P(L)表示L的非1元素之集.X是非空分明集，對(duì)A?X，χA表示A的特征函數(shù).LX表示X上的全體L-fuzzy集，其最大元與最小元分別是1X與0X.(LX，δ1，δ2)表示L-fuzzy雙拓?fù)淇臻g，η(xα)與η－(xα)分別表示xα的遠(yuǎn)域族和閉遠(yuǎn)域族.對(duì)A∈LX及α∈M(L)，Ω?δ'1∪δ'2稱為A 的 α-δ1δ2遠(yuǎn)域族(α-δ1δ2RF)，若 ?xα∈ A，?Q ∈ Ω，使 Q ∈ η－(xα);對(duì) A ∈ LX，α ∈ M(L)，R ? LX，令 Aqα=∨{xα∈ M*(LX)|xα≮ A}，Rqα={Aqα|A ∈ R} .τα(A)={x∈ X|A(x) ≥ α}，lα'(A)=x∈X|A(x)α'}.對(duì)分明雙拓?fù)淇臻g(X，τ1，τ2)，以R表示其任一可數(shù)開覆蓋，N(x)表示x的開鄰域系，φ表示分明空集.若A∈LX，則Ao，A－，A'分別表示L-fuzzy集A的內(nèi)部、閉包和偽補(bǔ).其他未說(shuō)明的概念與符號(hào)均見(jiàn)文獻(xiàn)［9］.

1 預(yù)備知識(shí)

定義 1［5］設(shè) δ1，δ2都是 LX上的 L-fuzzy 拓?fù)洌瑒t(LX，δ1，δ2) 稱為 L-fuzzy 雙拓?fù)淇臻g.

定義2［6］設(shè)(LX，δ) 是 L-fuzzy拓?fù)淇臻g，A ∈ LX，α ∈ M(L)，稱 Ω ={Bt∶t∈ T}? LX在 A 中強(qiáng)α-局部有限，若?xα∈A，存在分明集P使χp∈η(xα)且存在有限子集T0?T使?t∈T－T0，Bt≤χp.當(dāng)A=1X時(shí)，簡(jiǎn)稱Ω是強(qiáng)α-局部有限族.

引理1［8］設(shè) f∶(LX1，δ1) → (LX2，δ2) 是連續(xù)的 L-zadeh 型函數(shù)，A ∈ LX2，α ∈ M(L).若 △ ? LX2在A 中強(qiáng) α-局部有限，則 f－1(△)={f－1(B)|B ∈ △} 在 f－1中強(qiáng) α-局部有限.

定義3 設(shè)δ1，δ2都是非空集X上的L-fuzzy拓?fù)洌珹∈LX，α∈M(L)與Ω?2δ1'∪δ2'.若對(duì)于A中高為 α的任意分子xα(即xα∈M(LX)，xα≤A)，存在P∈Ω 使得xαPo，則稱 Ω 是A的幾乎 α-δ1δ2遠(yuǎn)域族.

易知，A 的 α-δ1δ2遠(yuǎn)域族［4］必是 A 的幾乎 α-δ1δ2遠(yuǎn)域族.

2 幾乎可數(shù)層仿緊集的定義及刻畫

定義4 設(shè)(LX，δ1，δ2) 是 L-fuzzy雙拓?fù)淇臻g，A ∈ LX，α ∈ M(L)，稱 A 是幾乎可數(shù)層 α-δ1δ2仿緊的，若對(duì)A的任一可數(shù)α-δ1δ2遠(yuǎn)域族Ω，存在Ω余加細(xì)的有限子族Ψ，使得

(ⅰ)Ψ 是 A 的幾乎 α-δ1δ2遠(yuǎn)域族;

(ⅱ)Ψ'∧A={D'∧A|D∈Ψ}在A中強(qiáng)α-局部有限.

若對(duì)?α∈M(L)，A都是幾乎可數(shù)層α-δ1δ2仿緊的，則稱A是幾乎可數(shù)層仿緊的.如果A=1X是幾乎可數(shù)層 α-δ1δ2仿緊的(幾乎可數(shù)層仿緊的)，則稱空間(LX，δ) 是幾乎可數(shù)層 α-δ1δ2仿緊的(幾乎可數(shù)層仿緊的).

定理1 設(shè)(LX，δ1，δ2) 是 L-fuzzy雙拓?fù)淇臻g，B ∈ δ'1∪ δ'2，α ∈ M(L).

(ⅰ)如果A∈LX是幾乎可數(shù)層α-δ1δ2仿緊的，則A∧B是幾乎可數(shù)層α-δ1δ2仿緊的.

(ⅱ)如果A∈LX是幾乎可數(shù)層仿緊的，則A∧B是幾乎可數(shù)層仿緊的.

證明 只需證明(ⅰ).

設(shè) α∈M(L)且Φ是A∧B的可數(shù)α-δ1δ2遠(yuǎn)域族.令Ω =Φ∪{B}，則Ω是A的可數(shù)α-δ1δ2遠(yuǎn)域族，由A是幾乎可數(shù)層α-δ1δ2仿緊集知有余加細(xì)Ω的A的幾乎α-δ1δ2遠(yuǎn)域族Ψ使得Ψ'∧A在A中強(qiáng)α-局部有限.

令S={D∈Ψ|D?B}，則S是A∧B的幾乎α-δ1δ2遠(yuǎn)域族且是Φ的余加細(xì).顯然，S'∧B∧A在A中強(qiáng)α-局部有限，從而S'∧B∧A在A∧B中強(qiáng)α-局部有限.因此A∧B是幾乎可數(shù)層α-δ1δ2仿緊的.

推論1 L-fuzzy雙拓?fù)淇臻g中的幾乎可數(shù)層仿緊集對(duì)閉子集遺傳.

定理2 L-fuzzy雙拓?fù)淇臻g中的幾乎可數(shù)層仿緊集對(duì)閉子空間遺傳.

定義5［8］稱集族{x}，x∈ X，是 X 的近似子覆蓋，若是X的覆蓋，即ii∈N

定義6 一個(gè)分明雙拓?fù)淇臻gX是幾乎可數(shù)仿緊的當(dāng)且僅當(dāng)X的每一個(gè)可數(shù)開覆蓋都有一個(gè)局部有限的子集族，它的閉包覆蓋X，等價(jià)于：每一個(gè)可數(shù)開覆蓋都有一個(gè)局部有限的近似子覆蓋是它的加細(xì).

定理3 設(shè)(LX－，δ1，δ2)是弱誘導(dǎo)L-fuzzy的雙拓?fù)淇臻g，則下列條件等價(jià)：

(ⅰ)(LX－，δ1，δ2) 是幾乎可數(shù)層仿緊空間.

(ⅱ)?α ∈ M(L)，使得(LX－，δ1，δ2) 是幾乎可數(shù)層 α-δ1δ2仿緊空間 .

(ⅲ)(LX－，δ1，δ2) 的底空間(X，［δ1］，［δ2］) 是幾乎可數(shù)仿緊空間 .

證明 (ⅰ)?(ⅱ)顯然 .

(ⅱ)?(ⅲ) 設(shè) R是(X，［δ1］，［δ2］) 的任一可數(shù)開覆蓋，則χR'={χD'|D∈R} ?δ'是1X的可數(shù)α-δ1δ2遠(yuǎn)域族.于是存在1X的幾乎 α-δ1δ2遠(yuǎn)域族 Ψ ={Pt|t∈T}，使得 Ψ 是 χR'的余加細(xì)，且 Ψ'在1X中強(qiáng) α-局部有限.令 Φ ={lα'(Pt')|(t∈ T}，則 Φ 是(X，［δ1］，［δ2］) 的近似開覆蓋.?t∈ T，?D ∈ R，使 χD'≤ Pt，從而 χD≥?lα'(χD)={x∈ X|χD(x) α'}={x∈ X|χD(x)=1} ? D，則 Φ是R的加細(xì).?x∈X，有xα∈1X，從而存在分明閉集W使χW∈η(xα)，且存在T0?T使?t∈T－T0，，由于 αχW(x)，故 x? W，所以 W'=lα'(χW') ∈ N(x).若 ?t∈ T － T0使 W'≠ φ，則?y∈X 使y?W且αPt(y)≥χW'(y)=1，矛盾.可見(jiàn)，?t∈T －T0，W'=φ，所以Φ在(X，［δ1］，［δ2］) 中局部有限.則(LX，δ1，δ2) 的底空間(X，［δ1］，［δ2］) 是幾乎可數(shù)仿緊空間.

(ⅲ)?(ⅰ)?α ∈M(L)，設(shè) Ω 是1X的任一可數(shù) α-δ1δ2遠(yuǎn)域族，則 lα'(Ω') 是(X，［δ1］，［δ2］) 的可數(shù)開覆蓋.于是存在(X，［δ1］，［δ2］) 的近似開覆蓋 Φ ={Bt|t∈T} 加細(xì) lα'(Ω') 且在(X，［δ1］，［δ2］) 中局部有限.?t∈ T，?Qt∈ Ω ，使，令，t∈ T}，則 Ψ 是 Ω 的余加細(xì).?xα∈1X，?Bt∈ Φ 使 x∈ Bt，從而 χB't∈ η(xα)，由α'知∈ η(xα)，故 χB't，則 Ψ 是1X的幾乎 α-δ1δ2遠(yuǎn)域族.?xα∈1X，?W ∈ N(x) 及有限子集 T0? T，使 ?t∈ T－ T0，W ∩ Bt=lα'(Ψ).顯然 W ? B't，從而 χW≤ χB't≤ χBt'∨ Qt，所以 ?t∈ T － T0，有(χB't∨ Qt)'≤ χW'∈ η(xα).則 Ψ'∧ A(A ∈ LX) 在 A 中強(qiáng) α-δ1δ2局部有限.得出結(jié)論，L-fuzzy雙拓?fù)淇臻g(LX，δ1，δ2) 是幾乎可數(shù)層仿緊空間.

推論2 L-fuzzy雙拓?fù)淇臻g中的幾乎可數(shù)層仿緊集具有“L-好的推廣”的性質(zhì).

3 幾乎可數(shù)層仿緊集的性質(zhì)

定理4 設(shè)f∶(LX，δ1，δ2) →(LY，σ1，σ2) 是連續(xù)的單滿閉的L-Zadeh型函數(shù)，α ∈M(L)，若?A∈LX是(LX，δ1，δ2) 中的幾乎可數(shù)層 α-δ1δ2仿緊集，則 f(A) ∈ LY是(LY，σ1，σ2) 中的幾乎可數(shù)層 α-δ1δ2仿緊集.

所以(f(Ψ))'∧f(A)在f(A)中強(qiáng)α-局部有限.

定理 5 設(shè) f∶(LX，δ1，δ2) →(LY，σ1，σ2) 是連續(xù)的單滿閉的 L-Zadeh型函數(shù)且 ?yα∈ M(LY)，(α ∈M(L))，f－1(yα) 是(LX，δ1，δ2) 中的幾乎可數(shù)層 α-δ1δ2仿緊集.若 B 是(LY，σ1，σ2) 中的幾乎可數(shù)層 α-δ1δ2仿緊集，則 f－1(B) 是(LX，δ1，δ2) 中的幾乎可數(shù)層 α-δ1δ2仿緊集.

證明 設(shè)α∈M(L)，Ω?δ'1∪δ'2是f－1(B)的可數(shù)α-δ1δ2遠(yuǎn)域族，則不難驗(yàn)證f(Ω)是B的可數(shù)α-δ1δ2遠(yuǎn)域族，于是存在B的幾乎α-δ1δ2遠(yuǎn)域族Ψ，使得Ψ是f(Ω)的余加細(xì)，且Ψ'∧B在B中強(qiáng)α-局部有限.考慮 f－1(Ψ)={f－1(P) ∶P∈ Ψ}，則f－1(Ψ) 是f－1(B) 的幾乎 α-δ1δ2遠(yuǎn)域族且f－1(Ψ) 是 Ω 的余加細(xì).?xα∈f－1(B)，存在唯一的y∈Y使f－1(y)=x，yα∈B從而存在分明雙拓?fù)淇臻g中的閉集R∈η－(yα)及有限子集 Ψ0? Ψ 使 ?P∈ Ψ － Ψ0，P'∧B≤ χR.顯然f－1(R)是分明閉集，且 χf(－R1)∈ η－(xα)，由于 f是單、滿映射，故 ?P ∈ Ψ － Ψ0，f－1(P)=f－1(Ψ) － f－1(Ψ0)，且

所以 f－1(Ψ))'∧ f－1(B) 在 f－1(B) 中強(qiáng) α-局部有限.

推論3 L-fuzzy雙拓?fù)淇臻g中的幾乎可數(shù)層仿緊集具有弱拓?fù)洳蛔冃?

有關(guān)L-fuzzy雙拓?fù)淇臻g中幾乎可數(shù)層仿緊集的進(jìn)一步研究，我們將在以后的研究中繼續(xù)討論.

［1］Kelly J.C.Bitopological spaces［J］.Proc.London Math.Soc，1963，13(3)：71 －89.

［2］張春冰.弱誘導(dǎo)的L-Fuzzy雙拓?fù)淇臻g的分離性［J］.首都師范大學(xué)學(xué)報(bào)，1996，17(3)：68－72.

［3］鄭崇友.可拓?fù)渖傻?L-雙fuzzy拓?fù)淇臻g的連通性［J］.北京師范學(xué)院學(xué)報(bào)(自然科學(xué)版)，1992，13(2)：1－5.

［4］徐國(guó)華.L-雙 fuzzy拓?fù)淇臻g的連通性［J］.模糊系統(tǒng)與數(shù)學(xué)，1994，(8)：209 －215.

［5］鄭崇友，張春冰.弱誘導(dǎo)的L-Fuzzy雙拓?fù)淇臻g的緊致性與連通性［J］.首都師范大學(xué)學(xué)報(bào)，1995，16(4)：5－9.

［6］孟廣武.L-Fuzzy拓?fù)淇臻g中的層仿緊集［J］.模糊系統(tǒng)與數(shù)學(xué)，1995，9(2)：45 －50.

［7］孫軍娜，馬保國(guó).L-Fuzzy拓?fù)淇臻g中的可數(shù)層仿緊集［J］.模糊系統(tǒng)與數(shù)學(xué)，2008，(增刊)：148－152.

［8］孫軍娜.L-Fuzzy拓?fù)淇臻g中的幾乎可數(shù)層仿緊集［J］.紡織高校基礎(chǔ)科學(xué)學(xué)報(bào)，2010，(9)：293－296.

［9］王國(guó)俊.L-Fuzzy拓?fù)淇臻g論［M］.西安：陜西師范大學(xué)出版社，1988.