赋Orlicz范数的Orlicz-Bochner空间EM（μ,X）的对偶空间.pdfVIP

数 学 杂 志 Vo1．30(2010) NO．1 赋Orlicz范数的Orlicz—Bochner is-]EM(p，X)的对偶空间 董 鸽 ，魏文展 (1．1：海建桥学院皋础部，l海201319) (2．广两经贸职业技术学院，广两南宁530021) 摘 要： 本文研究 J，Orlicz．Bochner窄问EM(，X)的对偶空间的充分必要条件．运用 Radon—Nikodym 性质，给JJIOrlicz—Bochner 间L(Ⅳ)(，X )为EM(，) 的对偶 问当日．仅当 具Radon-Nikodym 性质，提升了0rlicz 问及 Lebesgue-Bochner 问的相关结论． 关键 词： Orlicz—Bochner 问：Orlicz范数：对偶 问 MR(2000)主题分类号：46E30；46B20 中图分类号：O177．2 文献标识码： A 文章编号：0255—7797(2010)01—0115—05 1 引言 Orlicz—Bochner空间是 Orlicz空间的一种推J．近年米，Orlicz—Bochner空间的儿何 性质被许多学者广泛研究，尤其是凸性、非方性等 (见文献 [3—5】)．那么就出现了这样一个 问题：是否 Orlicz空间的儿何性质都能推广剑‘Orlicz—Bochner空间中呢?EM(， )的对 偶空间在儿何性质的研究中起重要作 ，尤其是光滑性方面的研究，冈此我们考虑能否像 Ando[】所给的Orlicz空间中的结论E =L(Ⅳ)一样有EM(，)= (Ⅳ)(，上，X )．我们发 现EM(，)= fⅣ)(，X )成立当且仅当 具RNP性质． 设 (，I『．I)『为实Banach空间， 为其对偶空间， B(X)和B(X)分别表示 的 单位球与单位球面．设 为实数集全体，函数 M ： 一 +称为 Orlicz函数，如果它是偶 的凸函数，满足M (01：0及 limM (u)／u=0，lim M (u)／u=。。．M 的余函数 Ⅳ定义为 N(v)=sup{uv—M ()，， ⅡN也是一个Orlicz函数P．，q分别记作M，Ⅳ 的右导数． u∈蹰 设 (G，E，)是一 一有限完备1卜原子测度空间， (G， )表示从 G剑 的所有强可 测函数 (等价类)的全体，其中函数 』上一a．e．一致被认为是相等的．对给定的Orlicz函数其凸 性模PM： (G，X)一 [0，。。)定义为PM(U)=。M (1lu(t)II)dtt， M(，X)： u∈ (G， )；3A0，pM(AU)∞) 赋以Luxemburg范数 IlII(M)=inf{A0；JDM(／) 1)，或赋以Orlicz范数 JI~IIM = sup{ (￡)(u())d ：pM() 1，U∈ M(，X ))，称为Orlicz—Bochner空间，简记(LM(pt，)， IIM)为LM(IZ，)，(M(，)，ll·Il(M))为L(M)(tz，X)．则L(M)(It，X)是Banach空间([5】)． 刚EM(，X)表示U∈LM(It，X)且 llu()·在G上有界的函数全体的囱J包． 收稿 日期：2006—06—30 接收 日期：200701—25 基金项 目：广两科学 会项 日(0728050)． 作者简介：苇鸽 (1980一)，女，江苏泰州，博 }生，主要研究方向：泛函分析 1l6 数 学 杂 志 定义 1[7] 函数 F ：E— 称为可数可加向量测度，简称为向量测度，如果对任何 { } 1CE， nEj= ，i≠J，有F(U )=∑F(Ed，其中级数范数收敛．F的全变 著测度 IFI定义为 IFI(E)=sup{∑ IIF(Ai)II；丌)，VE∈E，其中丌是E的一个 (可测有限) A ∈7广 r^ 分割，即E=UA，AnAJ= ，i≠J，7r：{1，… ，A)．如果 llFII(Q)+∞，则称F为 有界变筹的．称为F：E— 连续的，如果 =0，则F(E)=0．此时记为F 《 ． 注1【1F 《 V