分离空间的可加性.pdfVIP

2010年 9月 伊犁师范学院学报 (自然科学版) Sept．2010 第 3期 JournalofYiliNormalUniversity (NaturalScienceEdition) NO．3 分离空间的可加性 李秀玲 h (1．喀什师范学院 数学系，新疆 喀什 844007；2．新疆师范大学 数理信息学院，新疆 乌鲁木齐 830054) 摘 要：证明了 (f6)分离性关于拓扑和保持的，即 (f6)分离性具有-q．-~性． 关键词： (f：6)分离性 ；可加性 中图分类号：O189．1 文献标识码：A 文章编号：1673—999x (2010)03—0011—04 1 引言及预备知识 关于覆盖性质的和定理，如局部有限闭和定理、遗传闭包保持闭和定理、点可数遗传闭包保持和定理、 局部有限正则闭和定理等，高国士 l【】、龚建华列【、张建平 【等给出了一些一般性定理，拓扑属性P满足这些 和定理的前提是P关于拓扑和保持的4【】．高国士 【给出仿紧性关于拓扑和保持的，梁洪亮 【给出S-Lindelf 性关于拓扑和保持的．因此，关于某种属性P关于拓扑和保持的的研究是一个比较有意义的课题． 本文主要讨论 (f≤6)分离性关于拓扑和保持的，即 (i 6)分离性具有可加性．关于 ， ， ， ， 与文中未提及的概念请参阅文献 [6]． 定义 1．1’【拓扑空间 称为 空间，如果空间 的子集 的导集 是闭集． 定义 1．2【拓扑空间 称为 ．空间，如果 的收敛序列有唯一的极限． ‘2 定义 1．3【 拓扑空间X称为 空间，如果对空间 的不同两点X1：，存在开集 及V，使 ∈U， ∈V_~u一O—v：(2j． 定义1．4[7 空间 称为 {空间，如果对空间 的不同两点 ，X2，存在连续函数厂： [o，1】，使 得s(x．)=o，f(x2)=1． 定义 1．5【 拓扑空间 称为 空间或遗传正规空间，如果空间 的每一子空间都是正规空间． 定义 1．64【 拓扑空问 称为 空间或完备正规空间，如果空间 是正规空间且 的每一闭集是 集． 文献 [4]、[7]、[8]、[9]中证明了分离空间有如下完整关系： == { == == == 。 ro．反之不成立． 定义1．7【 拓扑空间 的子集A称为函数闭集，如果存在连续映射f： 使得A=厂一(0)． 定义1．8 设{)是一族不相交的拓扑空间，也就是 ≠ 时， n ，=(2j．在集 =U 上规定Uc 是 中的开集，如果对每一S∈S，Un 是 中的开集．这样规定的开集族显然满足拓 收稿 日期：2O1o__06—04 作者简介：李秀玲 (1982一)，女，甘肃武威人，新疆师范大学在读硕士研究生，研究方向：拓扑学 12 伊犁师范学院学报 (自然科学版) 2010年 扑的定义，形成 上的拓扑．这一拓扑空间称为空间族{)蹦的拓扑和，记作0 Xs． 显然，Vs∈S， 中的开集一定是0 中的开集． 定义 1．9 拓扑性质 P具有可加性 ( ．可加性，有限可加性)，指每一个拓扑空间 (s∈S) (ISJm，I。J)具有性质P，和空间0耐 也具有性质P． 2 主要引理 引理1 设 是一个拓扑空间，{)时是 的一个子集族．如果对于每一+7eF，集合 的导集 是闭集，则集合U Ar的导集是闭集． 引理2 拓扑空间 是 空间当且仅当每一个单点集{)(X∈)是闭集． 引理3161 空间 是 空间当且仅当X的每一闭集是函数闭集． 引理4 设{) 是X的一个开覆盖，{) 是一族一致连续映射，其中 ：As Y，则组合 f=V瞄 ： 】，是连续映射． 引理5 集 c0 是闭集当且仅当对每一个 ∈S，An 是 中的闭集． 推论 Vs∈S， 在0 中