吳代龍（馬鞍山師范高等?？茖W校，安徽馬鞍山243041）

關(guān)于擬-σ-空間及擬-Gδ-對角線的注記

吳代龍
（馬鞍山師范高等?？茖W校，安徽馬鞍山243041）

通過對擬-σ-空間及擬-Gδ-對角線性質(zhì)的研究，得到廣義序拓撲空間可度量化的條件及具有擬-Gδ-對角線的線性序空間的結(jié)果，改善了文獻［2］中關(guān)于擬-σ-空間及擬-Gδ-對角線的部分結(jié)果，主要結(jié)論為：X為 σ-空間當且僅當X為擬-σ-空間；具有擬-Gδ-對角線的線性序空間為Θ-空間。

g-函數(shù)；擬-σ-空間；擬-Gδ-對角線

作為對度量空間的推廣，σ-空間是一類重要的廣義度量空間，文獻［1］給出了關(guān)于σ-空間的刻畫及其與其它空間類的關(guān)系等重要結(jié)果。Mohamad在文獻［2］中引入擬-σ-空間的概念來推廣σ-空間，證明了第一可數(shù)的廣義序空間X可度量化當且僅當X為擬-σ-空間。Gδ-對角線這一概念在拓撲空間的度量化問題中起著重要的作用，如：具有Gδ-對角線的可數(shù)緊空間為緊度量空間［1］。作為對Gδ-對角線概念的推廣，Hodel在文獻［3］中引入擬-Gδ-對角線的概念，之后的研究表明擬-Gδ-對角線這一概念在討論拓撲空間類之間的關(guān)系時同樣起著重要的作用，如：具有擬-Gδ-對角線的正則θ加細，β空間為半層空間［3］。Mohamad在文獻［2］中討論了具有擬-Gδ-對角線的線性序空間的性質(zhì)，證明了具有擬-Gδ-對角線的線性序空間為θ-空間及具有擬對角線的線性序空間為空間。近年來，具有擬-Gδ-對角線的空間的性質(zhì)及其與其它空間的關(guān)系得到了廣泛的關(guān)注。如Jiang［4］研究具有σ-離散閉稠密子集的廣義序空間的性質(zhì)，證明在具有σ-離散閉稠密子集的廣義序空間X中，擬-Gδ-對角線，擬對角線，Gδ-對角線，G*δ-對角線等性質(zhì)均等價于X為CSS空間；Lin［5］研究拓撲群中擬-Gδ-對角線的性質(zhì)，證明若非局部緊拓撲群G關(guān)于bG的剩余具有擬-Gδ-對角線，則G與bG均為可分度量空間。本文在此基礎(chǔ)上探討擬-σ-空間及擬-Gδ-對角線的問題。

1　定　義

定義1［6］設(shè)G為空間X的子集族，若對每一x∈X，存在x的開鄰域U使得U至多與G的一個（有限多個）元相交，則稱G為離散（局部有限）集族；若對每一x∈X，G中至多有有限多個元含x，則稱G為點有限集族。

定義4［9］若映射g：N×X→T滿足：對每一x∈X及n∈N，x∈g（n+1,x）?g（n,x），則稱g為X上的g-函數(shù)。

文獻［9-10］中給出下列條件：

（γ）若對每一n∈N，yn∈g（n,x）且xn∈g（n,yn），則x為的聚點；

（Θ）若對每一n∈N，｛x,xn｝?g（n,yn）且yn有聚點，則x為的聚點；

（θ）若對每一n∈N，｛x,xn｝?g（n,yn）且yn∈g（n,x），則x為的聚點。

若存在空間X上的g-函數(shù)g滿足條件（γ），則稱X為γ-空間，相應的g-函數(shù)稱為γ-函數(shù)，其余定義類似。

2　擬-σ-空間

局部有限情形可類似證明。

由引理1立即可得下述定理。

定理1 X為σ-空間當且僅當X為擬-σ-空間。

由于正則σ-空間為半層空間，而半層的廣義序空間可度量化，故由定理1可得下述推論。

推論1廣義序空間X可度量化當且僅當X為擬-σ-空間。

推論1改進了文獻［2］中的下述兩個結(jié)果。

定理2［2］設(shè)X為第一可數(shù)的廣義序空間，則X可度量化當且僅當X為擬-σ-空間。

定理3［2］廣義序空間X可度量化當且僅當X為具有擬-Gδ-對角線的擬-σ-空間。

3　擬-Gδ-對角線

Mohamad在文獻［2］中證明了具有擬-Gδ-對角線的線性序空間為θ-空間，本文得出下述更強的結(jié)果。

定理4對線性序空間X，下列等價：

1）X具有擬-Gδ-對角線；

2）X為擬可展空間；

3）X具有σ-點有限基。

設(shè)x∈X，U為x的開鄰域。往證存在k,l∈N使得x∈st（x,Akl）?U，僅對x不是X的端點的情形給出證明，對x是X的端點的情形可類似證明。設(shè)x不是X的端點，則存在開區(qū)間使得由于為X的擬-Gδ-對角線，存在k,l∈N使得x∈st（x,Gk）?X｛a｝且x∈st（x,Gl）?X｛b｝，則st（x,Akl）為X的含點x的凸集但不含點a和點b，故，這表明｛Amn：m,n∈N｝為X的擬展開列。

（2）?（3）見文獻［8］。（2）?（1）顯然。且蘊含關(guān)系：

X具有σ-點有限基?X為γ-空間?X為Θ-空間?X為θ-空間

由定理4及上述關(guān)系可得：

推論2具有擬-Gδ-對角線的線性序空間為Θ-空間。

推論2改善了文獻［2］中的下述結(jié)果：

定理5［2］具有擬-Gδ-對角線的線性序空間為θ-空間

定理6［2］具有擬對角線的線性序空間為Θ-空間。

4　結(jié)　論

通過證明擬-σ-空間等價于σ-空間，得出擬-σ廣義序拓撲空間可度量化這一結(jié)論，從而改善了文獻［2］中的兩個結(jié)果：1）第一可數(shù)的擬-σ廣義序拓撲空間可度量化；2）具有擬-Gδ-對角線的擬-σ廣義序拓撲空間可度量化。

此外，證明了具有擬-Gδ-對角線的線性序空間為Θ-空間，由于Θ-空間為θ-空間，擬對角線為擬-Gδ-對角線，故這一結(jié)論改善了文獻［2］中的另外兩個結(jié)果：1）具有擬-Gδ-對角線的線性序空間為θ-空間；2）具有擬對角線的線性序空間為Θ-空間。

［1］林壽.廣義度量空間與映射［M］.2版.北京：科學出版社，2007.

［2］MOHAMADAM.Some results on quasi-σandθ-spaces［J］.Houston Journal of Mathematics，2001，27（1）：59-65.

［3］HODEL R E.Metrizability of topological spaces［J］.Pacific Journal of Mathematics，1974，55（2）：441-459.

［4］JIANG G H.Some results on CSS and quarter-stratifiable GO-spaces［J］.Topology Proceedings，2013，42：221-236.

［5］LIN F C.Local properties on the remainders of the topological groups［J］.Kodai Mathematical Journal，2011，34：505-518.

［6］ENGELKING R.General Topology［M］.Warszawa：Polish Scientific Publishers，1977.

［7］MOHAMAD A M.Conditions which imply metrizability in some generalized metric spaces［J］.Topology Proceedings，1999，24：215-232.

［8］BENNETT H R.A note on point-countability in linearly ordered spaces［J］.Proceedings of the American Mathematical Society，1971，28（2）：598-606.

［9］HODEL R E.Spaces defined by sequence of open covers which guarantee that certain sequences have cluster points［J］.Duke Mathematical Journal，1972，39（2）：253-263.

［10］FLETCHER P，LINDGREN W F.OnwΔ-spaces，wσ-spaces andΣ#-spaces［J］.Pacific Journal of Mathematics，1977，71（2）：419-428.

［11］HEATH R W，HODEL R E.Characterizations ofσ-spaces［J］.Fund Math，1973，77（3）：271-275.

［12］MARTIN H W.Metrizability of M-spaces［J］.Canadian Journal of Mathematics，1973，25（4）：840-841.

［13］MARTIN II H W.Metrization and Submetrization of Topological Spaces［D］.Pittsburgh：University of Pittsburgh，1973.

［14］CREEDE G D.Concerning semi-stratifiable spaces［J］.Pacific Journal of Mathematics，1970，32（1）：47-54.

責任編輯：丁吉海

Remarks on Quasi-σ-Spaces and Quasi-Gδ-Diagonals

WU Dailong
（Ma'anshan Teacher'College，Ma'anshan 243041，China）

By studying the properties of quasi-σ-spaces and quasi-Gδ-diagonals，some conditions on the metrizability of generalized ordered topological spaces and some results around linearly ordered topological spaces，which have quasi-Gδ-diagonals are obtained.These results modify some related results concerning quasiσ-spaces and quasi-Gδ-diagonals in the literature.The main results are：X is aσ-space if and only if it is a quasi-σspace；Alinearly ordered topological space with a quasi-Gδ-diagonal is aΘ-space.

g-functions；quasi-σ-spaces；quasi-Gδ-diagonals

O189.1

Adoi：10.3969/j.issn/1671-7872.2016.02.017

1671-7872（2016）02-0185-04

2015-12-01

校級自然科學基金項目（2016xjkyxm18）

吳代龍（1980-），男，安徽懷寧人，碩士，助教，主要研究方向為一般拓撲學。