王漢鋒，賀　偉

(1.山東農(nóng)業(yè)大學(xué)數(shù)學(xué)系，山東 泰安 271018;2.南京師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院，江蘇 南京 210023)

Pytkeev空間與弱FU空間的幾個(gè)注記

王漢鋒1，賀偉2

(1.山東農(nóng)業(yè)大學(xué)數(shù)學(xué)系，山東 泰安 271018;2.南京師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院，江蘇 南京 210023)

[摘要]討論了Pytkeev空間與弱FU空間幾個(gè)映射的性質(zhì)，得到了兩類空間被連續(xù)映射保持與逆保持的幾個(gè)結(jié)論，糾正了Malykhin與Tironi的兩個(gè)錯(cuò)誤證明.

[關(guān)鍵詞]Pytkeev空間；弱FU空間；閉映射；完全映射；可數(shù)緊度

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

弱第一可數(shù)空間是一類重要的拓?fù)淇臻g，它們的出現(xiàn)豐富了拓?fù)淇臻g中點(diǎn)的逼近與鄰近理論，因而成為一些拓?fù)鋵W(xué)家研究的熱門領(lǐng)域.比較典型的弱第一可數(shù)空間有Fréchet空間、序列空間、子序列空間等，[1-3]近些年來許多更弱的相對(duì)序列空間被引入，如α-序列空間、β-序列空間、filter-Fréchet空間等.[4-5]弱第一可數(shù)空間對(duì)于一些拓?fù)涔_問題的解決起到了重要作用，如在著名的Mi-空間方面(i=1，2，3)，Mizaokami與Shimane先是證明了Fréchet空間+M3-空間是M1-空間，后又證明了k-空間+M3-空間是M1-空間.[6-7]

本文所討論的弱FU空間與Pytkeev空間是由Malykhin[8]引入的兩類空間，它們界于Fréchet空間與具有可數(shù)緊度的空間之間，其中弱FU空間是Fréchet空間的直接推廣，它把Fréchet空間中收斂序列中的點(diǎn)列弱化為互不相交有限集列，得到了一個(gè)比序列空間還弱的空間；而Pytkeev空間則將可數(shù)緊度性質(zhì)中可數(shù)的點(diǎn)列變?yōu)橛蔁o限集組成的集列，得到了一個(gè)比可數(shù)緊度空間更強(qiáng)的空間.這兩類空間對(duì)于進(jìn)一步研究弱第一可數(shù)空間的結(jié)構(gòu)關(guān)系，探索不同空間之間的聯(lián)系有著重要的意義.

定義5[1]設(shè)x，y為拓?fù)淇臻g，我們給出下面定義：

(1)稱f:x→y為閉映射，是指對(duì)x的每個(gè)閉集f，f(f)是y的閉集；

(2)稱f:x→y為完全映射，是指f是閉映射，且對(duì)每個(gè)y∈y，f-1(y)是緊集；

(3)稱f:x→y為偽開映射，是指對(duì)每個(gè)y∈y，f-1(y)?u∈τ(x)，都有y∈f0(u)，其中f0(u)表示f(u)在y中的內(nèi)部;

(4)稱f:x→y為有限(可數(shù))到一的，是指對(duì)每個(gè)y∈y，f-1(y)是有限(可數(shù))的.

定義6[10]設(shè)x為拓?fù)淇臻g，x∈x，Γ={Oα|α∈Λ}是由x的開集構(gòu)成的集合，Υ={Pβ|β∈Δ}是x的一個(gè)集族.若對(duì)x的每個(gè)鄰域u，都有Oα∈Γ使得Oα?u，則稱Γ={Oα|α∈Λ}是x的π-鄰域基；若對(duì)x的每個(gè)鄰域u，都有Pβ∈Υ使得Pβ?u，則稱Υ={Pβ|β∈Δ}是x的π-網(wǎng).

2主要結(jié)論

定理1若f:x→y是閉映射，x是Pytkeev空間，則y是Pytkeev空間.

例1存在一個(gè)Pytkeev空間x及開映射f:x→y，但y不是Pytkeev空間.

證明設(shè)x={0}∪{(n，k)|k，n∈N}，βN是N的Stone-Cěch緊化[9]，p∈βNN，即p為N上的一個(gè)極大濾子，以NN表示從N到N內(nèi)的全體函數(shù)構(gòu)成的集合.令v(n，m)={(n，k)|k≥m}，對(duì)f?N，f∈NN，記h(f，f)=∪{v(n，f(n))|n∈f}.

下面證明x是Pytkeev空間.

因?yàn)樵趚中只有點(diǎn)x=0是非孤立點(diǎn)，所以只對(duì)x=0進(jìn)行討論.

設(shè)y=N∪{p}，p為上述極大濾子，y作為βN的子空間，具有子空間拓?fù)洌碞中的點(diǎn)為孤立點(diǎn)，點(diǎn)p的鄰域?yàn)樾稳鐊p}∪f的子集，其中f∈p.

下面用反證法證明y不是Pytkeev空間.

映射f:x→y定義如下：f(0)=p，對(duì)每個(gè)n∈N，f({(n，k)|k∈N})={n}，容易驗(yàn)證f是連續(xù)映射，下面證明f是開映射，從而Pytkeev空間性質(zhì)不被連續(xù)開映射所保持.

設(shè)u∈τ(x)，若0?u，則f(u)?N，由于N是y的離散開子空間，所以f(u)∈τ(y)；若0∈u，則存在f={ni|i∈N}∈p及f∈NN使得{0}∪h(f，f)?u，所以{0}∪f?f(u)，故f(u)∈τ(y)，因此f是開映射.

由于例1中的f是可數(shù)到一的，故可數(shù)到一的開映射不一定保持Pytkeev空間性質(zhì).

定理2若f:x→y是有限到一的偽開映射，x是Pytkeev空間，則y是Pytkeev空間.

推論1若f:x→y是有限到一的開映射，x是Pytkeev空間，則y是Pytkeev空間.

定理3若f:x→y是閉映射，x是弱FU空間，則y是弱FU空間.

下面的定理4與定理5給出改正后的證明.由于文獻(xiàn)[8]指出了緊的可數(shù)緊度空間是Pytkeev空間，Pytkeev空間是弱FU空間，故可將文獻(xiàn)[8]中的可數(shù)緊度纖維條件改為Pytkeev纖維或弱FU纖維.

定理4設(shè)f:x→y是完全映射，y是Pytkeev空間.若對(duì)每個(gè)y∈y，f-1(y)是Pytkeev空間，則x是Pytkeev空間.

下面證明x(π)ξ.

由上述(1)、(2)知，x是Pytkeev空間.

由于下面定理5的前半部分證明與定理4完全類似，因此只證明后半部分.

定理5設(shè)f:x→y是完全映射，y是弱FU空間.若對(duì)每個(gè)y∈y，f-1(y)是弱FU空間，則x是弱FU空間.

為了證明x是弱FU空間，需要證明{ξn|n∈N}滿足如下兩個(gè)引理.

綜上，x是弱FU空間.

[參考文獻(xiàn)]

[1]林壽.廣義度量空間與映射[M].北京：科學(xué)出版社，1995：51-79.

[2]高國士.拓?fù)淇臻g論[M].北京：科學(xué)出版社，2000：42-47.

[3]FRANKLIN S P，RAJAGOPALAN M.On subsequential spaces [J].Topology and its Applications，1990，35：1-19.

[4]ARHANGEL’SKII A V，NOGURA T.Relative sequentiality [J].Topology and its Applications，1998，82：49-58.

[5]ARHANGEL’SKII A V.Relative topological properties and relative topological spaces [J].Topology and its Applications，1996，70：1-13.

[6]CEDER J G.Some generalizations of metric spaces [J].Pacific J Math，1961，11：105-125.

[7]MIZAOKAMI T，SHIMANE N.On the M3versus M1problem [J].Topology and its Application，2000，105：1-13.

[8]MALYKHIN V I，TIRONI G.Weakly Frechet-Urysohn and Pytkeev spaces [J].Topology and its Applications，2000，104：181-190.

[9]兒玉之宏，永見啟用.拓?fù)淇臻g論[M].北京：科學(xué)出版社，2001:292-303.

[10]李琦.等邊η-形式正則性的新證明[J].東北師大學(xué)報(bào)(自然科學(xué)版)，2014，46(2)：22-24.

(責(zé)任編輯：李亞軍)

Several notes on Pytkeev spaces and weakly FU spaces

WANG Han-feng1，HE Wei2

(1.Department of Mathematics，Shandong Agricultural University，Taian 271018，China;2.College of Mathematics，Nanjing Normal University，Nanjing 210023，China)

Abstract:Several mapping properties about Pytkeev spaces and weakly FU spaces are investigated and some results on being preserved and adversely preserved about the two class of spaces are given by continuous mappings.Moreover，two wrong proofs by Malykhin and Tironi are corrected.

Keywords:Pytkeev spaces；weakly FU spaces；closed mapping；perfect mapping；countable tightness

[文章編號(hào)]1000-1832(2016)02-0044-04

[收稿日期]2014-12-28

[基金項(xiàng)目]國家自然科學(xué)基金資助項(xiàng)目(11171156)；山東省自然科學(xué)基金資助項(xiàng)目(ZR2014AL002).

[作者簡介]王漢鋒，男，博士，講師，主要從事拓?fù)鋵W(xué)研究.

[中圖分類號(hào)]O 189.1[學(xué)科代碼]110·31

[文獻(xiàn)標(biāo)志碼]A

[DOI]10.16163/j.cnki.22-1123/n.2016.02.011