鄒春玲(吉林師范大學(xué) 數(shù)學(xué)學(xué)院,吉林 四平 136000)
迭代的星-Lindel?f空間在映射下像與原像的性質(zhì)
鄒春玲
(吉林師范大學(xué)數(shù)學(xué)學(xué)院,吉林四平136000)
摘要:本文主要研究了迭代的星-Lindel?f空間在映射下像與原像的性質(zhì)包括迭代的星-Lindel?f空間的空間在連續(xù)映射和完備映射下的像與原像的性質(zhì).
關(guān)鍵詞:迭代的星-Lindel?f空間;連續(xù)映射;完備映射
一個(gè)空間X叫做n-星-Lindel?f的,如果對(duì)于X的每一個(gè)開覆蓋U,存在X的一個(gè)可數(shù)子集F,使得Stn(F,U)=X.當(dāng)n=1時(shí),空間X簡(jiǎn)稱為星-Lindel?f空間.
引理1 n-星-Lindel?f空間的連續(xù)像是n-星-Lindel?f的.
證明設(shè)X為n-星-Lindel?f空間,f為X到上的一個(gè)滿映射,U為Y的一個(gè)開覆蓋,則V={f-1(U):U∈U}是一個(gè)X的開覆蓋.由于X是n-星-Lindel?f的,故存在X的一個(gè)可數(shù)子集A,使得St(A,V)=X,則f(A)為Y的一個(gè)可數(shù)子集,且St(f(A),U)=Y.事實(shí)上,?y∈Y,x∈f-1(y),則存在V∈V,使得V∩A≠?,且x∈V,所以y∈f(x)∈f(V)∈U,且f(V)∩f (A)≠?,即y∈St(f(V),U),所以,Y為n-星-Lindel?f 的.
定理2設(shè)X、Y是兩個(gè)拓?fù)淇臻g,f是X到Y(jié)上的連續(xù)滿映射,若X是(n,k)-星-Lindel?f空間(其中n∈N,k∈N),則Y是(n,k)-星-Lindel?f的.
證明令U是Y的一個(gè)開覆蓋,則V={f-1(U): U∈U}是一個(gè)X的開覆蓋.因此,存在X的一個(gè)n-星-Lindel?f子空間A,使得Stk(A,V)=X.由引理1,則f(A)是n-星-Lindel?f的.
可斷言St(f(A),U)=Y.事實(shí)上,?y∈Y,選取x∈f-1(y),由于X是(n,k)-星-Lindel?f的,則存在{f-1(U1),…,f-1(Uk)},使得x∈f-1(U1),對(duì)于每個(gè)i<k,有f-1(Ui)∩f-1(Ui+1)≠?,且f-1(Ui)∩A≠?.由此斷定對(duì)于每一個(gè)y∈U1,i<k,有Ui∩(A)≠?,Ui∩Ui+1≠?.因此,y∈Stk(f (A),U),故Y是(n,k)-星-Lindel?f的.
證明令U是X的一個(gè)開覆蓋.因?yàn)閷?duì)于每個(gè)y∈Y,所以f-1(y)是緊的,則可選取一個(gè)有限子族Uy={Uy,1,…,Uy,k,…,Uy,ky},使得f-1(y)?∪Uy且Uy的每個(gè)元與f-1(y)相交.
因?yàn)閒是一個(gè)開映射,所以集合Oy=f(Uy,1)∩…∩f(Uy,ky)是y的一個(gè)開鄰域.又因?yàn)閒是一個(gè)閉映射,所以存在y的一個(gè)開鄰域Vy使得Vy?Oy且f-1(y)?∪Uy,則V={Vy,y∈Y}是Y的一個(gè)開覆蓋.
令B={Uy1,1,…,Uym,ky1,…,Uym,km},
任取x∈X,令y=f(x),有yi*∈{y1,…,ym,…}和一個(gè)序列z1,…,zn∈Y,使得y∈Vz1,Vz1∩Vz2≠?,…,Vzk∩Vy1*≠?.由集合Vz的定義,可知:
Vz∩Vt≠???i≤kz,?j≤kt,Uz,i∩Ut,j≠?.
因此可找到i1≤kz1,…,in≤kzn,in+1≤ky1*,使x∈Uz1,j1,Uz1,j1∩Uz2,j2≠?,…,Uzn,jn∩Uyi*,jn+1≠?.因?yàn)閁yi*,jn+1∈B,故x∈Stn(∪B,U)z.
證明令U是X的一個(gè)開覆蓋.對(duì)于每個(gè)y∈Y,因?yàn)閒-1(y)是緊的,所以存在一個(gè)有限子族Uy?U,使得Uy的每個(gè)元與f-1(y)相交.因?yàn)閒是開的,所以O(shè)y=∩Uy是y的一個(gè)開鄰域.
定理5設(shè)X為Hausdorff空間,Y是(1,1)-星-Lindel?f空間,f是X到Y(jié)上的完備開映射,則X是(1,1)-星-Lindel?f的.
證明令U是X的一個(gè)開覆蓋且y∈Y.因?yàn)閒-1(y)是緊的,所以存在U的一個(gè)可數(shù)子集族Uy,使得f-1(y)?∪Uy,且Uy的每個(gè)元與f-1(y)相交.因?yàn)閒是開的,所以O(shè)y=∩{f(U):U∈Uy}是y的一個(gè)開鄰域.
由f的連續(xù)性及閉性,存在y的一個(gè)開鄰域Vy,使得Vy?Oy和f-1(Vy)?∪Uy,則V={Vy:y∈Y}是Y的一個(gè)開覆蓋.由于Y是(1,1)-星-Lindel?f空間,存在Y的一個(gè)星-Lindel?f子空間A,使得St(A,V) =Y.令B=f-1(A),類似引理3的證明可知B是星-Lindel?f的.
可斷定St(B,U)=X.事實(shí)上,令x∈X,則存在Vy∈V,使得f(x)∈Vy且Vy∩A≠?.由Vy的構(gòu)造,則存在U∈Uy,使得x∈U.因?yàn)閂y?f(U),有U∩f-1(A) ≠?,所以x∈St(B,U).因此X是(1,1)-星-Lindel?f 的.
作為定理5的推廣,得到了下面的結(jié)果:
推論6設(shè)X為Hausdorff空間,Y是(1,k)-星-Lindel?f空間,f是X到Y(jié)上的完備開映射,則X是(1,k)-星-Lindel?f的.
證明令U是X的一個(gè)開覆蓋.因?yàn)閒是開的,所以V={f(U):U∈U}是Y的一個(gè)開覆蓋.因?yàn)閅 是n-星-Lindel?f的,所以存在Y的一個(gè)可數(shù)子集F,使得Stn(F,V)=Y,則A=f-1(F)是k-星-Lindel?f的.
可斷言Stn(A,U).事實(shí)上,令x∈X,f(x)=y,則存在一個(gè)V的可數(shù)子族{V1,…,Vn},i<n,有y∈V1,Vi∩Vi+1≠?,且Vi∩F≠?.令Vi=f(Ui),則對(duì)于i<n,有x∈U1,Ui∩A≠?,且Ui∩Ui+1≠?,所以x∈Stn(A,U),因此X是(k,n)-星-Lindel?f的.
參考文獻(xiàn):
〔1〕E.vanDouwen,G.M.Reed,A.W.Roscoeet al. Star covering properties. Topology Appl.[J].39 (1991),79-103.
〔2〕M.Matveev. A survey of star covering properties. Topology Atlas preprint[J],April 15,1998.
〔3〕Myung Hyun Cho,Junhui Kim. Topological operations of iterated star-covering properties. Bull. Korean Math. Soc. [J]. 40(2003),No. 4,pp. 723-731.
〔4〕S. Ikenaga. Topological concepts between Lindel?f and pseudo- Lindel?f. Res. Rep. Nara Nat. College Tech[J]. 26 (1990) 103-108.
〔5〕Y -K. Song.Relatively Absolutely Countably Compact Spaces. Bull. Malays.Math.Sci. Soc. [J]. 29(1) (2006),17-21.
〔6〕M. R. Wiscamb,The discrete countable chain condition,Proc. Amer. Math. Soc. [J].23 (1969) 608-612.
〔7〕J. van Mill,V.V. Tkachuk,R.G. Wilson. Classes defined by stars and neighbourhood assignments. Topology Appl[J]. 154 (2007) 2127 -2134.
中圖分類號(hào):O189
文獻(xiàn)標(biāo)識(shí)碼:A
文章編號(hào):1673-260X(2015)10-0017-02