Orlicz空間中廣義Orlicz范數和Luxemburg范數的關系

段麗芬，莊彩彩

（通化師范學院數學學院，吉林通化 134002）

2006年，段麗芬和崔云安在Orlicz空間中引進了廣義 Orlicz范數［1］，并證明了它與 Orlicz范數［2］和Luxemburg范數［3］等價.本文進一步就由N－函數生成的Orlicz空間中定義的廣義Orlicz范數和Luxemburg范數的關系問題加以討論，得到一個嚴格不等式和一個重要的等價命題.

1 預備知識

映射M:R→［0，∞）稱為Orlicz函數是指:M是偶的、非負連續凸函數且當且僅當u=0時M（u）=0.滿足

的Orlicz函數稱為N－函數.

設M（u）、N（v）為一對互余的N－函數，（G，∑，μ）為一無原子測度空間，L0表示定義在G上的可測實函數全體.對任意x∈L0，我們稱

為x（t）關于M的模.則Orlicz空間

關于Orlicz范數:

Luxemburg范數:

‖x‖M=inf{λ ＞ 0:ρM（x/λ） ≤1}，

以及廣義Orlicz范數:

均成為Banach空間.

引理1［4］設M是任意N－函數，則泛函

是Orlicz空間L*M的一個范數，且與‖x‖M等價.引理2［5］對任何b≥a ＞ 0，集合

都為有界集的充要條件是M∈▽2.

引理3［6］設M∈△2，x∈L*M，則對任何ε ＞0都存在δ＞0，當‖x‖M≥ε時，ρM（x）≥δ.

2 主要結果及證明

產生矛盾.

定理2 inf{‖x‖M，p:‖x‖M=1} ＞ 1的充要條件是M∈△2∩▽2

證明 必要性.若M≠△2，存在αl↑∞ 使得

其中，F是一事先給定的正測度子集.選F的一個互不相交子集列{Fl}∞l=1使得

充分性.若 M∈ △2，則 ‖x‖M=1蘊涵著ρM（x）=1.因此，對x∈S（LM），如果k＊＊x≥1，則

有界，設其為C.于是

由引理1證明過程:

定理 3 sup{‖x‖M:‖x‖M，p=1} ＜ 1 當且僅當 inf{‖x‖M，p:‖x‖M=1} ＞ 1.證明 假設

則對δ＞0，-x1使得

故 inf{‖x‖M，p:‖x‖M=1}=1.

這說明假設不成立.

另一方面，假設

則對0＜δ＜1，-x1使得

這說明假設不成立.

由定理2和定理3立即可得:

推論1 在Orlicz空間中，下面三個條件等價:

:

［1］段麗芬，崔云安.廣義Orlicz范數和廣義Luxemburg范數［J］.蘭州理工大學學報，2006，32（2）:131－134.

［2］W.Orlicz.ber eine gewisse Klasse von Rumen vom Typus B［M］.Poland:Bull.Acad.Polonaise A，1932:207 －220;Reprinted in:W.Orlicz.Collected Papers.Warszawa:PWN － Polish Scientific Publishers，1988:217 －230.

［3］W.A.J.Luxemburg.Banach function spaces［D］.Delft Techn.Univ.，1955.

［4］段麗芬，崔云安.賦廣義Orlicz范數的Orlicz空間的端點［J］.浙江大學學報:理學版，2007，34（3）:252－256.

［5］許晶，崔云安，莊彩彩.賦廣義Orlicz范數的Orlicz空間中 的兩個特征［J］.通化師范學院學報，2010，31（12）:14－15.

［6］CHEN S T，Geometry of Orlicz Spaces［M］.Warszawa:Dissertations Math，1996:1 －204.