F＊——空间与其商空间.pdfVIP

第l6卷第4期 呼伦贝尔学院学报 No．4 Vo1．16 2008年 8月 JoumalofHulunbeierColle~e Published inAul~ust．2008 F★一空间与其商空间 丽 娜 (呼伦贝尔学院数学系 内蒙古 海拉尔区 021008) 摘 要：本文将研究F’一空间与其商空间的一些性质。给出了F。一空间的商空间为F一‘空间的 一 个充分条件；并且证明了可分F’一空间的商空间为可分F’一空间。 关键词：F一空间；商空间；可分空间 中图分类号：O177．2 文献标识码：A 文章编号：1009-460l(2008)04．0072．02 本文将讨论 F’一空间与其商空间的一些性质。将 一 ： ∈M ，记为 ～ ( )。 参考文献 中赋范空间与其商空间之间的关系定理推 广到 一空间上。 如果记 】= ：～()}．则称M为 (关于 一 、 概念与符号 V／)的等价类。 定义 1…设E是域K 实或复数域)上的线性空间， 在这些等价类的集合中．可以定义加法和数乘如 如果对于E中的每一元x，按照一定法则总有一非负 下 ： 实数 lr与之对应．并且满足： 】+ =x【+yl 1)fIxll≥‘o，且fJlf=0当且仅当=0(￡中 】= 】(Vx，Y∈E，口∈K) 零元)： 则这些等价类的全体亦成为线性空间．称为 以 2)lIx+yll≤IIxll+llyll’： 为 “模”的商空间．记为E．／M． 3)II．x ：‘ 定义 3 设 是度量空间，Ac 。如果存在 中的有限或可数集 使 在A中稠密．就称A是 中 4)对任意 ∈E及 Z(2K，II,~．xll 0 的可分集。当空间 本身是可分集时，称 是可分空 (a 0) 间。 5)又寸任 意 ∈E 并 且 0( ∞)及 二、主要结论 口∈K． 定理 l设E是F一空间．E。是E的闭线性子集． IIIf 0( 0)： 则在商空间E／ 中可定义准范数： 则称 l为元 的准范数，定义了准范数的线性 V 】∈E／E。． (1) 空间称为赋准范空间或 一空间． 从而 ￡／￡成为F一空间． 定义 2 设 为线性空间．M为 中的线性子空 证明：1)由(1)~ItHI。的定义．显然有 ’0， 间。称元x，，，∈E对于子空间M等价．是指 且有 ‘ = inf+yll：‘