函數(shù)空間相對(duì)性質(zhì)的研究

李 影，張洪剛，張國(guó)芳

設(shè)R是實(shí)數(shù)空間，X是一個(gè)拓?fù)淇臻g，RX是X上的所有實(shí)值函數(shù)的集合，令 A?X，B?R，定義 M(A,B)={f∈RX|f(A)?B}。設(shè) Φ 是X的所有有限子集構(gòu)成的集族，τ是R的通常拓?fù)?。令B=｛∩i=1kM(Ai,Ui)|Ai∈Φ，Ui∈τ，｝,則稱以B為基生成的 RX的拓?fù)錇?RX的點(diǎn)態(tài)收斂拓?fù)洹?/p>

顯然，RX也可以看作是笛卡爾積，其中對(duì)任意x∈X，有RX=R.于是，具有以在 Rxi中開}為基的積拓?fù)?易證RX上的點(diǎn)態(tài)收斂拓?fù)渑c笛卡爾積的積拓?fù)湎嗤?。眾所周知，積空間關(guān)于是封閉的，且實(shí)數(shù)空間R是T4的，所以有RX是Ti空間，其中

設(shè)Cp(X)為X上所有實(shí)值連續(xù)函數(shù)的集合，則它具有RX的子空間拓?fù)?，所以Cp(X)在點(diǎn)態(tài)收斂拓?fù)湎率堑摹?/p>

對(duì) k∈ω，x1，x2，…，xk∈X，f∈RX，ε〉0，令

W(f，x1，x2，…，xk，ε)=｛g∈RX‖g(xi)-f(xi)|〈ε，i=1，2，…k}

則所有形式為 W=W(f，x1，x2，…，xk，ε)的子集族是 Cp(X)的一個(gè)基。

定義1[4]：X的Souslin數(shù)C(X)是指X的由兩兩不交的非空開集構(gòu)成的集族的基數(shù)不超過(guò)τ的最小無(wú)限基數(shù)τ。

定義2[5]：子空間Y叫做在X中正則的，若對(duì)于任意y∈Y及X中每個(gè)不包含y的閉集P，都存在X中不交開集U，V，使得y?U，P∩Y?V。

定義3[5]：子空間Y叫做在X中強(qiáng)正規(guī)的，如果對(duì)于Y的每對(duì)不交閉集A，B，都存在X中不交開集U，V，使得A?U且B?V。

定義4[5]：Y叫做在X中仿緊的，如果對(duì)于X的每一個(gè)開覆蓋γ，都存在X的開集族Y，使得Y在Y的每一點(diǎn)都局部有限且Y加細(xì)γ，即，對(duì)于每一個(gè)V∈Y，都有U∈γ，使得V?U且Y?UY。

定理 1[2]：Cp(X)在 RX中稠密，即

證明：設(shè) f∈RX，對(duì)于 X 的任一有限子族 x1，x2，…，xk∈X，都存在一個(gè) g∈Cp(X)使得 g(xi)=f(xi)i=1，2，…，k，所以

推論2：Cp(X)的Souslin數(shù)是可數(shù)的。

空間X稱為仿緊的，如果X的任意一個(gè)開覆蓋A有一個(gè)覆蓋X的局部有限開加細(xì)B。我們知道一個(gè)拓?fù)淇臻gX仿緊的當(dāng)且僅當(dāng)X的每個(gè)開覆蓋Y都有一個(gè)σ-離散開加細(xì)（見文獻(xiàn)[4]），于是有：

定理 3：Cp(X)是仿緊的?Cp(X)是 Lindel?f的。

證明：?若Cp(X)仿緊，設(shè)Y是Cp(X)的任意開覆蓋，則Y有一個(gè)σ-離散開加細(xì)，由推論2，則有基數(shù)小于或等于?0的σ-離散開加細(xì)，所以Y有可數(shù)子覆蓋，故Cp(X)為L(zhǎng)indel?f空間.

?由于 Cp(X)是正則的，所以若 Cp(X)為 Lindel?f的，則 Cp(X)是仿緊的。

由RX的特性，關(guān)于Cp(X)在RX中的相對(duì)分離性質(zhì)有：

命題4：Cp(X)在RX中正則的。

此外有

定理5：若Cp(X)是仿緊的，則Cp(X)在RX中強(qiáng)正規(guī)，因此Cp(X)在RX中也是正規(guī)的。

證明：若 Cp(X)是仿緊的，則由定理 3，可知 Cp(X)是 Lindel?f.由命題4，知Cp(X)在RX中正則的。類似[1]定理3.9的證明，則有Cp(X)在RX中強(qiáng)正規(guī)。

注：若Y是X的子空間，且Y自身仿緊，但Y在X中未必仿緊。

例 1：X=R×[0,∞)為 Niemytzki平面，Y=R×{0}.則 Y 是一個(gè)不可數(shù)的閉的離散子空間，且Y是仿緊的，但Y在X中不是仿緊的。

因此，下面的結(jié)果是有趣的：

定理6：若Cp(X)是仿緊的，則Cp(X)在RX中仿緊。

證明：由 Cp(X)仿緊可知 Cp(X)是 Lindel?f的。而 Cp(X)與 RX都是正則的，則由[1]中定理7.10，可知，Cp(X)在RX中仿緊。

[1]Arhangel'skii.A.V..From classic topological invariants to relative topological properties[J].Sci.Math.Japon.2002,55(1):153-201

[2]Arhangel'skii A.V..Topological function spaces[M].Kluwer Academic Publishers.(1992)

[3]Arhangel'skii A.V.and Genedi H.M.M..Beginning of the Theory of Relative Topological Properties[J].In General Topology,Space and Mapping.MGU,(1989),3-48

[4]Engelking.R..General Topology[M].Sigma Series in Pure.Mathematics,Heldermann,Berlin,revised,1989

[5]Arhangel'skii A.V..Relative topological properties and relative topological spaces[J].Topology and Appl.70(1996),87-99