楊寒彪，林文輝，文釗穎，金迎迎，楊 琳

(1 五邑大學 數學與計算科學學院，廣東 江門 529020；2 廣州番禺職業(yè)技術學院 公共課教學部，廣東 廣州 529000;3 江門職業(yè)技術學院 化學材料系，廣東 江門 529000)

令(P,≤)是一個偏序集，d是P上的一個度量。若(P,≤,d)由d導出的拓撲與(P,≤)的拓撲一致，則稱(P,≤,d)是一個偏序度量空間。

對于一個緊度量空間(X,d)，以及一個緊偏序度量空間(P,≤,d)，令C(X,P)是所有從X到P的連續(xù)函數所構成的集合。本文認為連續(xù)函數f∈C(X,P)是一種廣義的模糊函數。?f∈C(X,P)，令

↓f={(x,p)∈X×P:p≤f(x)}，

稱為f的超圖?！齠是X×P里的閉集。令Cld(X×P)是X×P所有帶有Hausdorff度量非空閉集構成的一個族，則?A、B∈Cld(X×P)，

dH(A,B)=min{δ:A?Bd(B,δ),

B?Bd(A,δ)}。

其中d((x,p),(x′,p′))=max{d(x,p),d(x′,p′)。因此，(Cld(X×P),dH)是一個緊度量空間。?A?C(X,P)，

↓A={↓f:f∈A}

是(Cld(X×P),dH)的一個子空間,空間↓A可以被視為一個函數空間。更一般地，對于一個拓撲空間X(不必是緊的或可度量的)和一個拓撲偏序集P，假定T是Cld(X×P)的一個拓撲以及A是從X到P所有映射(不需要一定是連續(xù)的)的集合的一個子集，其中?f∈A，↓f∈Cld(X×P)。因此，作為(Cld(X×P),T)的一個子空間，我們能得到一個函數空間↓AT,即本文中的廣義模糊函數空間。

文獻[1-18]都討論過空間↓AT。特別地，文獻[8]給出了帶有Fell拓撲的所有連續(xù)函數↓CF(X,R)可度量化的充要條件，其中R是帶有通常拓撲和序的實數集。此外，許多研究為了確定這些空間的拓撲結構，使用了無限維拓撲作為工具。例如，著名的Curtis-Schori-West超空間定理指出：↓USCdH(X,{0,1}){0}同胚于希爾伯特立方體Q=[-1,1]ω(記作↓USCdH(X,{0,1}){0}≈Q)當且僅當X是Peano連續(xù)統(tǒng)，其中{0,1}是帶有離散拓撲的兩點集且0≤1，USC(X,{0,1})是所有X到{0,1}的上半連續(xù)函數集合，0是值域恒為0的函數[4,11]。Sakai等[10]證明了↓USCF(X,{0,1})≈Q當且僅當X是一個局部緊、局部連通以及沒有緊分量的一個可分可度量空間。文獻[19-27]給出了對所有可度量函數空間↓CF(X,I)，其中X是可度量的，I=[0,1]使用通常的拓撲和序。具體結論是：對一個可度量空間X，帶有Fell拓撲的函數空間↓CF(X,I)可度量當且僅當X是一個局部緊可分可度量空間。此外，還有以下對同胚：

(↓USCF(X,I),↓CF(X,I))≈

其中:X0是X里所有離散點的集合;Σ={(xn∈Q):sup|xn|<1};c0={(xn∈Σ):limxn=0}。文獻[18,20,23-24]證明若X是一個k空間且↓C(X,I)是可度量的，則

↓CUB(Si)={↓f∈C(X×T):maxf(X)∈

Si{vi}}。

此外，所有↓CUB(Si)都是可縮空間。

顯然，⊥是(T,?)的最小元同時是(T,≤)的最大元，?t1、t2∈T有t1?t2當且僅當t2≤t1，令除⊥之外的其他端點為(T,≤)的最小元。

樹突(dendrite)是一個不包含簡單閉曲線的Peano連續(xù)統(tǒng)。不同于樹，樹突在每一個頂點上可以有可數條邊。文獻[17]證明了如下結果：令X是只含有限個孤立點的有限緊可數空間，Y是一個有T上端點v的樹突。對于偏序?，有如下對同胚：

(Q,c0),

本文中，廣義模糊函數空間↓C(X,(T,≤))和一般的模糊函數空間↓C(X,I)有很大區(qū)別。雖然值域都是緊的,但廣義模糊函數空間的值域為有限樹時，其上賦予的是偏序；而I=[0,1]的自然序顯然是全序。這給拓撲性質帶來很大變化，甚至有限樹的不同偏序方向≤和?都會對拓撲性質帶來影響。例如，由文獻[24]知，實際上↓C(X,(T,≤))是不連通的,而↓C(X,(Y,?))≈c0是連通的。

令E是(T,≤)的邊，其中E的上頂點vE在(T,≤)中。令

本文中所有枝S均如上定義。因此,視有限樹(T,≤)為以上定義的枝，并且這些枝的交為空，其中一個包含最大元⊥的枝等距同構于[0,1]，其他枝等距同構于[0,1)。

2 定義和預備知識

本文中，X=[0,1]=I,T=(T,≤)是有限樹，頂點為k階意味著這個頂點與k個枝相交。每一個T中每一個非端點的頂點的階都大于等于3。把↓C(X,(T,≤))寫作↓C(X,T)。記|A|為集合A的基數，|AS|為其中枝的個數，由于本文討論的是有限樹，因此|AS|有限。

我們定義一些本文所需的概念。

定義1?A∈Cld(X×T)，定義一個集值函數A:X→Cld*(T)，

A(x)={t∈T:(x,t)∈A}∈Cld*(T),

其中Cld*(T)=Cld(T)∪{?}。?A?T，若?a∈A使得a等于A的上確界∨A，把a稱作A的最大元，并記作maxA。令a(x)是A(x)的最大元。當A?X×T，則maxA=maxp(A)，其中p:X×T→T為投影函數。

定義2V(A)為A?T中所有的頂點，Sv為T內所有以v為上頂點的枝構成的族,Vv是Sv內所有枝的下頂點構成的集合。對T內的頂點v，u∈Vv，令T[v,u]=[u,v]∪↓u。

對任意T上的枝Si，i≤|TS|，令Si的上頂點為vi，利用以上定義可以定義本文中非常重要的幾個閉集族。

定義3A={A∈Cld(X×T):?x∈X,A(x)≠?,A(x)存在唯一的最大元a(x)，當a(x)不是頂點時，A(x)=↓a(x)；當a(x)是頂點時，A(x)=↓a(x)或對某個u∈Va(x)，有A(x)=T[a(x),u]}。

由文獻[27]中的引理7，對任意連通緊集A?T，maxA存在。特別地，?f∈C(X,T)，maxf(X)存在。

實際上，由定理2的閉包表示，A(x)最大元a(x)存在性和maxA存在性不證自明。

注1在A的定義中，條件“對某個u∈Va(x),A(x)=T[a(x),u]”是必需的。舉例，令X=I，T={0}×I∪[-1,1]×{0}，端點t=(0,1)是T的最大元，t1=(-1,0)和t2=(1,0)是T的最小元。定義X×T中的閉集A如下：

A={0}×([-1,0]×{0})∪{(x,(t,0))|

x∈(0,1],t≤cosx-1}?

X×([-1,0]×{0})。

?n>2，n∈N，令fn:X→[1,0]×{0}T，映射定義如下：

因此,↓fn(x)X×([1,0]×{0}),↓fn∈↓C(X,T)，以及當n→∞時，函數列(↓fn)n∈N→A∈Cld(X×T)。然而,有A∈A。

我們定義如下關于端點的概念。

定義4?A?(T,≤),定義

M(A)={m∈T:m是T的最小元且存在某個

a∈A使得m≤a}。

顯然，?m1、m2∈M(T,≤)，m1與m2不可比較。

由文獻[27]中的引理2，有如下引理。

引理1對有限樹T，以及前文定義的度量d和偏序≤，⊥是其最大元，有如下結果。

1)(T,≤)是一拓撲上半格，即?t1、t2∈T，上確界t1∨t2存在，且上確界函數∨：T×T→T是連續(xù)的。此外，對每個非空A?T，上確界∨A存在。

2)?t1、t2、s1、s2∈T,d(t1∨t2,s1∨s2)≤max{d(t1∨t2),d(s1∨s2)}。

5)?a、b、c∈T，若a

6)?a、b∈T，a,b是可比較的，當且僅當↓a∩↓b≠?當且僅當M(a)∩M(b)≠?。

7)?t∈↓t1和t′∈↓t2，若t1、t2在T中是不可比較的，則t、t′不可比較。

引理2取v∈V(T)，ti∈T[v,ui]，其中i=1,2,ui∈Vv,u1≠u2，則t1∨t2=v。

證明取任意的t

3 廣義模糊函數空間的稠密性

容易得到如下引理。

引理3若t1、t2∈T不可比較，則t1∨t2是T上的一個頂點。若t1、t2∈T可比較，則t1∨t2=t1或t1∨t2=t2。

引理4?A∈A，v∈V(T)，令Ak=A∩[X×T[v,uk]]，其中u1、u2∈Vv，k=1,2。令p:X×T→X是投影映射。若?x∈X都有a(x)

證明假定?(x,t1)∈A1,(x,t2)∈A2，這里t1∈T[v,u1],t2∈T[v,u2]。由引理2，顯然v=t1∨t2。由A的定義知(x,v)∈A，導出矛盾。

引理5?A∈A，(x,t)、(x′,t′)∈A，其中x

Ak={(y,t)|y∈[x,x′],t≤a(y),a(y)∈

T[v,uk]},其中{u1,u2,…,un}=V。

由于?y∈[x,x′],a(y)≠v，對1≤k≠k′≤n。令

A′={(y,t):y∈[x,x′],t∈A(y),

a(y)和v不可比較}=

A|[x,x′]={(y,t):y∈[x,x′],t∈A(y)}=

A′∪A1∪A2∪…∪Ak…∪An。

令投影函數p:X×T→X使得p(A|[x,x′])=[x,x′]。由引理4，?1≤k≠k′≤n,p(A′)∩p(Ak)=?,p(Ak)∩p(Ak′)=?。此外，{p(A′),p(A1),p(A2),…,p(An)}是一族閉集，其中有至少2個集合是非空的，p(A′)∪p(A1)∪p(A2)∪…∪p(An)=[x,x′]=p(A|[x,x′])是連通的。矛盾。

由引理1的6)、引理5，得到定理1。

定理1對任意T上的枝Si，廣義模糊函數子空間↓CUB(Si)在閉集族AUB(Si)上稠密，其中i≤|TS|。

{x(a,s)|(a,s)∈F}∪{0,1}=

記Si的上頂點為v′，maxA=a，取(x′,a(x′))=(x′,a)∈A，有以下兩種情況。

這個新的有限序列{(xi,ti)}0≤i≤n有

(1)

若ti和ti+1不可比較，令vi=ti∨ti+1。

由公式(1)有dH(A,↓f)<ε。

4 廣義模糊函數空間的閉包

由定理1，得到引理6。

證明注意到M(u)是有限集合，由A的定義，?t∈M(u)，使得對無窮多個n，有t∈An(xn)。同樣地，?t′∈M(u′)，使得對無窮多個n，有t′∈An(xn)。因此,t∨t′=u∨u′=v。不失一般性，假定對所有奇數有t∈An(xn)，對所有偶數有t′∈An(xn)。

(2)

由引理6，易得如下引理。

引理7?A∈A，v∈V(T)，u、u′是Vv中2個不同的頂點，t、t′∈T，x≤x′∈X。如果A(x)?↓t,t∈T[v,u]，A(x′)?↓t′,t′∈T[v,u′],其中t∨t′=v，t和t′都不是頂點，則?x*∈[x,x′]，使得↓v?A(x*)。

由文獻[28]，有如下引理。

引理8對任意緊連通序列(An)n∈N∈Cld(X×T)，當n→∞時，An→A，A是連通的。

由文獻[27]中的引理7，有如下引理。

引理9對任意緊連通集合A?T，maxA存在。特別地，?f∈C(X,T),maxf(X)存在。

為證A(X)有最大值，需要以下引理。

引理10對收斂列(An)n∈N∈A，若當n→∞，An→A∈Cld(X×T)，則?x∈X，A(x)≠?。

證明?x∈X和n∈N，取tn∈An(x)≠?。由于T是緊的，可以取子列{tnk}在k→∞時收斂于某個t∈T。由于當n→∞時，dH(An,A)→0，則當k→∞,

dH((x,t),Ank)≤d((x,t),(x,tnk))=

d(t,tnk)→0,

由于A和Ank都是緊集，(x,t)∈A，因此A(x)≠?。

下面的引理可以提供連通性方面的證明工具。

引理11令(An)n∈N是A中的收斂序列，當n→∞時，An→A∈Cld(X×T)。?x0∈X以及任意非頂點t0∈A(x0)，↓t0?A(x0)。

證明為了證明↓t0?A(x0)，只需驗證?t′∈↓t0{t0},t′∈A(x0)。由于t0不是一個頂點，?ε>0使得B(t0,ε)內沒有頂點且?t∈B(t0,ε)均有t′

由引理1的2)及引理3、6、9、10、11可得如下引理。

引理12令(An)n∈N是A中的收斂序列，且當n→∞時，An→A∈Cld(X×T)。那么，?x∈X,A(x)有最大元a(x)。

證明由引理10知A(x)≠?。?x∈X，為了證明A(x)有最大元a(x)，由引理9，需要證明A(x)在T里是連通的。由引理11，只需證?t、t′∈A(x)，t∨t′∈A(x)。

以下引理揭示了An收斂和an(xn)收斂的關系。

引理13(An)n∈N∈A為一個收斂到A∈Cld(X×T)的收斂序列。對任意的收斂序列xn→x∈X，當n→∞時，an(xn)→a(x)，其中an(xn)是An(xn)的最大元，a(x)是A(x)的最大元。

證明我們將證明an(xn)→a(x)。為此，對每個子列ank(xnk)，因為An→A，所以存在子列anki(xnki),使得當i→∞時(xnki,anki(xnki))→(x,a*(x))。因為a*(x)∈A(x)，所以a*(x)≤a(x)。另一方面，存在一個收斂序列tnki∈Anki(xnki),使得當i→∞時tnki→a(x)。因為tnki≤anki(xnki)，所以a(x)≤a*(x)。因此，anki(xnki)→a*(x)=a(x)。

由引理1的6)及引理6、11、13，得到引理14。

引理14對任意T上的枝Si，對于任意一個收斂序列(An)n∈N∈AUB(Si)，令A是(An)n∈N的極限，其中i≤|Ts|。?x∈X，A(x)僅有兩種情況。

情況1A(x)=↓a(x)。

情況2a(x)∈V(T)且對某個u∈Va(x)∩↓Si，A(x)=T[a(x),u]。

進一步，令vi為枝Si的上頂點，?x∈X，則存在某個u∈Vvi∩↓Si，使得A(x)=T[Vvi,u]；或者a(x)∈↓Si。

證明由引理10，當a(x)不是一個頂點時，A(x)=↓a(x)；同理，當a(x)是一個3階頂點，A(x)=↓a(x)或存在某個u∈Va(x)∩↓Si，使得A(x)=T[a(x),u]；同理，當a(x)是一個4階或者4階以上的頂點時，A(x)=↓a(x)或對某個u∈Va(x)∩↓Si有A(x)=T[a(x),u]或對某個UVa(x)∩↓Si有其中1<|U|<|Va(x)∩↓Si|。

下面只需證明“當a(x)是一個4階或者4階以上的頂點時，對某個UVa(x)∩↓Si有其中1<|U|<|Va(x)∩↓Si|”這個情況不存在。假設當a(x)是一個4階或者4階以上的頂點,上面的情況存在。

由引理13，由于當n→∞時，An→A，所以存在收斂于x的序列(xn)?X，使得an(xn)→a(x)∈V(T)，其中an(xn)是An(xn)的最大元。不失一般性，因為在必要時，可以選擇(An)的子列，所以我們只需考慮An(xn)的3種情況。

情況A?n，An(xn)=↓an(xn)且an(xn)≥a(x)。

情況B?n，對某個u0∈U，An(xn)?T[a(x),u0]。

情況C?n，對某個u0∈Va(x)∩↓SiU，An(xn)?T[a(x),u0]。

以下進行分情況討論。

情況A由于|U|<|Va(x)∩↓Si|，所以?m∈M(a(x))M(U)。因為an(xn)≥a(x)，有(xn,m)∈An。由于An→A,xn→x，故(xn,m)∈A。但這與m?M(U)和A(x)的定義矛盾。

情況C若u0?U，取m∈M(u0)，則有(xn,m)∈An以及當n→∞時(xn,m)→(x,m)。已知An→A，由此可知(x,m)∈A。但因為u0?U，所以(x,m)?A。因此，導出矛盾。

令vi為枝Si的上頂點，u為枝Si的下頂點，假設有某個x∈X，使得a(x)?↓Sivi。

那么必然有如下1種情況會出現：

i)a(x)>Si；

ii)?u′∈Vvi,u′?Si,A(x)=T[Vvi,u′]；

iii)A(x)=↓vi。

情況i)與引理13矛盾；情況ii)下，任取A′∈AUB(Si)，則dH(A,A′)>1，與A是(An)n∈N的極限矛盾；情況iii)下，同理,任取A′∈AUB(Si),則dH(A,A′)>1，與A是(An)n∈N的極限矛盾。證畢。

由引理10、12、14，我們可以證明以下引理。

引理15對任意T上的枝Si，閉集族AUB(Si)在超空間Cld(X×T)中是閉的，其中i≤|Ts|。

由定理1和引理15，我們可以證明以下定理。

證明由定理1，有?Si?T,↓CUB(Si)在AUB(Si)上稠密。由引理15知,?Si?T，閉集族AUB(Si)在超空間Cld(X×T)中是閉的。