对包含关系L^p（μ）包含L^q（μ）的两个特征刻划.pdfVIP

2010年 5月 内蒙古大学学报 (自然科学版) May 2010 第41卷第3期 JournalofInnerMongoliaUniversity Vo1．41 NO．3 文章编号：1000—1638(2010)03—0261-04 对包含关系Lp()(==Lg()的两个特征刻划 荣 祯 ，刘 德 (内蒙古大学数学科学学院，呼和浩特 010021) 摘要 ：对包含关系 () ()给出了两个特征刻划，从一定程度上深化了测度论中L，() 空间的相应结论． 关键词：测度；L，()空间；测度空间 中图分类号 ：O177．3 文献标志码 ：A 1978年 Subramanian 对包含关系L ()c L ()给出一个特征刻划 ，1983年 Romero。又应 用”原子”的概念对包含关系L ()(==L ()给出两个新的特征刻划．本文在文[1]和文C2)的基础上 ， 借助上、下确界对包含关系L’() L()给出另外两个特征刻划 ，从而丰富了测度论中相应的结 论 ． 1 基本概念和引理 定义 1．10’ 集 Q的子集族 ∑称为Q的一个 d一代数 ，若 ∑具有如下性质 ：(1)0∈ ；(2)若 A∈ ∑，则A ‘∈ ，其中A 是A关于Q的余集 ；(3)若A—UA 且A ∈ ，竹一 1，2，… 贝ⅡA ∈ ． 定义 1．2。 若 ∑是 Q的一个 d一代数 ，则称 (fz，∑)为一个可测空间，且 ∑中的元素称为 Q的可 测集． 定义 1．3㈣ 若 Q是可测空间，y是拓扑空间，是0到y内的映射 ，如果对y的每一个开集 、，r， 厂 ()是 Q的可测集 ，则称 厂为可测的． 定义 1．4。 非负测度为一个定义在 一代数 上取值于[O，+oo]的函数 ，并且是可数可加 o 0 ∞ 一 ． 的．即若 {A )为三中互不相交的可数集族 ，则 (u ． A)=∑ (A)． 定义 1．5。 设 (Q，∑)为一个可测空间，如果存在 ∑上定义 的一个非负测度 ，则称 (Q，，)为 一 个测度空间． 定义 1．6。 设 (Q，∑，)是任意一个具有非负测度 的测度空间．设 0p+。。且厂是Q上的 广 一 个实或复可测函数，且记L()是由所有满足IlfI +oO的f组成．对任意的f∈L()， J “ r ， 当1≤户+OO时，定义 IIf 一(1IfI一 )古，称 IIfII为f的L 范数；当0P1时，定义 J n r llf 一fl I一 ，称 {lfII为f的L仿范数． J f】 引理 1．1。 若 1≤p+o。，{ }是在L ()内按范数 Il· 收敛于厂∈L ()的任一序列 ， 则 { )存在一个子序列 {^ )使得{^)几乎处处点态收敛于厂． 引理 1．2㈣ 设 X，y是 Banach空间，若 T是 X— y的闭线性算子 ，则 T是连续 的． * 收稿 日期 ：2009-06—03 作者简介：荣祯(1983一)，男，湖北省孝感市人，2007级硕士研究生． 262 内蒙古大学学报 (自然科学版) 2 主要结果 引理2．1 设P，q∈[1，+