Musielak-Orlicz序列空间的粗性.pdf

第 28卷第 6期 大 学 数 学 Vo1．28。No．6 2012年 12月 COLLEGE M ATHEM ATICS Dec．2O12 Musielak—Orlicz序列空间的粗性 孙 丽环 (安徽理工大学 数学系，安徽 淮南 232001) [摘 要]作者给出赋Luxemburg范数Musielak-Orlicz序列空间光滑点的支撑泛函的刻画．进一步，给 出赋 Orliez范数和赋 Luxemburg范数 Musielak—Orlicz序列空间的粗性，点态粗的充分必要条件． [关键词]Musielak—Orlicz序列空间；光滑点 ；Orlicz范数 ；Luxemburg范数 ；点态粗 ；粗性 [中圈分类号]O177．92 [文献标识码]A [文章编号]1672—1454(2012)06—0030—08 1973年Leach和WhitefieldE首次提出Banach空间粗范数的一般概念．随后John，ZizlerE和李小 建嘲分别引进强粗范数 ，粗糙点和点态粗的概念．1991年 ，王廷辅先生和崔云安 得到了Orlicz函数空 间各种粗性 的判别条件．1993年 ，王廷辅先生和崔云安 又得到了Orlicz序列空间各种粗性的判别条 件．2008年，孙丽环 ，崔云安和郑济 民 得到 Musielak—Orlicz函数空间各种粗性的判别条件．本文将给 出Musielak—Orlicz序列空间各种粗性的判别条件． 1 定义和引理 以X记 Banach空间，X 为X的对偶空间，S(X)，S(X )分别为 X和X 的单位球面．对于点 ES(X)，记 Grad(x)一 { ES(X )：z (z)：==llzIl}为 z的支撑泛 函． 定义正数 e(z)一sup{e 0， f ，g EX ，ll厂 lI，llg lI一 1，f ()，g ()一 1，lim ll，一g 1I≥e)． 若 ￡(z) 0，称 为粗点．若对于任意 的 E S(X)，有 ￡() 0，则称空间x为点态粗 的．如果 inf{E(z)：zES(X)} 0，则称空间X为粗的． 一 ( ) 被称为 Musielak—Orlicz是指对于任意的 自然数 i， ：一 [0，-+-oo)为凸的、偶的，在 [O，+o0)上左连续，不恒为零的函数．且 (O)0及存在U使 (“)。。．在 Young意义下 ，定义 的 余函数 一( ) l， ()：=：sup{Ul 1一 ()：U0)． 分别记 P一(q一)，P (g+)，(q)为 西()的左，右导数和导数． 和 互为余函数满足如下的Young不等式 I／／2／I≤ (“)+xp()， (1) 这里U，E ，且 IUOI一 ()+gti()当且仅当若UE 是固定的，则P7(1 1)≤l l≤ (1U1) 或 E 是 固定的，则 q7(1 1)≤l 1≤ (1 I)． 一 个 Musielak—Orlicz函数 一( ) 满足 一条件 (简记为 ∈ )是指存在正数 愚，a和 自然数 i。及非负级数 ：CCxD，使对所有i≥i。，有 [收稿 日期]2008—09—16 [基金项 目]安徽理工大学青年科学基金资助项 目(11827) 第 6期 孙丽环 ：Musielak一0rlicz序列空间的粗性 31 (2“)≤ 忌 ()+C ( i。， ()≤ 口)． (2) z。表示所有实数列 z一 (z())T-- 的全体．称 ()一∑ (())，2．7一(())El。 为 z的凸性模． 线性空间