基于序列商映射的可分度量空间.docxVIP

基于序列商映射的可分度量空间 1 空间x的局部有限平衡 刘川在2005年讨论了0-弱基空间及其与测量空间之间的关系，并对0-弱第一相空间进行了描述。 这个空间是对g-第一可数空间的推广。作者在文献中研究了0-sn-网,并证明了空间X具有点可数0-sn-网当且仅当它是度量空间的可数到一、序列商映像。 本文所述空间均为正则T1的,所有映射都是连续到上的。本文中没有提及的概念和术语请见文献。 定义 1设f:X→Y是一个映射。f称为序列商映射,若对Y中的收敛序列{yn}, 则存在X中收敛于序列{xn},使得xn∈f-1(ynk)。 定义 2空间X的子集族B称为X的一个0-弱基,如果B=∪{Bx(n):x∈X,n∈N}满足: (1) 对 x∈X,n∈N,Bx(n)对有限交封闭并且x∈∩Bx(n); (2)U是空间X的开集当且仅当对任意的x∈X,n∈N, 存在Bx(n)∈Bx(n) 使得Bx(n)?U。 定义 3P是空间X的集族,P称为X的k-网, 如果对X的紧集K?U∈τ,则存在有限集P′?P,使得K?∪P′?U。 定义 4空间X的子集族B称为X的一个0-sn-网,如果B=∪{Bx(n):x∈X,n∈N}满足: (1) 对x∈X,n∈N,Bx(n)对有限交封闭并且x∈∩Bx(n); (2)L是空间X的收敛于x?L的序列,则存在L的子序列L′及n0∈N对任意的Bx(n0)∈Bx(n0) 使得