APP下载

赋Orlicz范数的Musielak Orlicz序列空间的kβ点

2019-04-20左明霞刘红娇

哈尔滨理工大学学报 2019年1期
关键词:球面正整数局部

左明霞 刘红娇

摘要:Musielak Orlicz空间是经典Orlicz空间的推广,研究了赋Orlicz范数的Musielak Orlicz序列空间的 k β 点的刻画问题 首先在Banach空间中引入了 k β 点的定义,然后给出了赋Orlicz范数的Musielak Orlicz序列空间中 k β 点的判别条件,从而得出了该空间具有局部 k β 性质的等价条件

关键词:Musielak Orlicz序列空间;Orlicz范数; k β 点;局部 k β 性质

DOI:10.15938/j.jhust.2019.01.020

中图分类号: O177.3

文献标志码: A

文章编号: 1007-2683(2019)01-0118-06

On the ( k β ) Points of Musielak Orlicz Sequence Spaces

Equipped with the Orlicz Norm

ZUO Ming xia,LIU Hong jiao

(School of Applied Sciences, Harbin University of Science and Technology, Harbin 150080, China)

Abstract:Musielak Orlicz spaces is the generalization of classical Orlicz spaces In this paper, we investigated the problem of characterization of the ( k β ) points in Musielak Orlicz sequence spaces equipped with the Orlicz norm Firstly, the definition of ( k β ) point is introduced Afterward a criteria for ( k β ) points in Musielak Orlicz sequence spaces equipped with the Orlicz norm was given, and then we got the equivalent condition for local property ( k β ) of these spaces

Keywords:Musielak Orlicz sequence spaces; Orlicz norm; ( k β ) points; local property ( k β )

1引言及预备知识

β点是 Banach 空间中一个重要的点态性质,它与一致凸点、紧局部一致凸点以及H点有着密切的联系[1]。 Banach 空间X单位球面S(X)上的一点x称为β点是指对于任意ε>0,存在δ=δ(ε,x)>0,使得对于任意的序列(x n)S(X)满足sep(x n)= inf {‖x n-x m‖:n≠m}≥ε,都存在正整数n,使得不等式x+x n2<1-δ成立[1]。在经典 Orlicz 空间中,β点的判别准则已经由文献[1]给出。本文对β点的概念进行推广,引入k β点的定义。设k为一个正整数, Banach 空间X单位球面S(X)上的一点x称为k β点是指对于任意ε>0,存在δ=δ(ε,x)>0,使得对于任意的序列(x n)S(X)满足sep(x n)= inf {‖x n-x m‖:n≠m}≥ε,存在k个正整数n 1,n 2,…,n k,使得不等式‖11+k (x n 1 +x n 2 +…+x n k +x)‖<1-δ成立。显然,当k=1时,k β点就是β点。如果单位球面S(X)上每一点都为k β点,则称该 Banach 空间X具有局部k β性质。 Musielak Orlicz空间是经典Orlicz空间的推广,近几年,对Musielak Orlicz空间几何性质及点态几何性质的研究已经取得了一些成果[2-4]。 本文将在赋Orlicz范数的Musielak Orlicz 序列空间中讨论k β点的刻画问题,并进一步得到该空间具有局部k β性质的等价条件。

设X为 Banach 空间,B(X)和S(X)分别表示X的閉单位球和单位球面。

分别表示正整数集和实数集。

下面给出 Musielak Orlicz 序列空间的定义以及一些相关结果[5-8]。

定义1函数序列M=(M i) ∞ i=1 称为一个 Musielak Orlicz 函数是指对每一个i∈

1)M i:(-∞,+∞)→[0,+∞]是偶的、凸函数,并且在u=0处连续;

2)M i(0)=0且 lim  u→0 M i(u)u=0。

称函数N i(v)= sup  u≥0 {u|v|-M i(u)}为M i(u)的余函数。显然,N= (N i) ∞ i=1 也是一個 Musielak Orlicz 函数。用p i(u)和p - i(u)(或q i(v)和q - i(v))分别表示M i(或N i)的右导数和左导数。

不失一般性,下面假设M i(1)=1(i∈)。对每一个i∈,定义 b~(i)= sup {v≥0:N i(v)<∞}

定义2称 Musielak Orlicz 函数M= (M i) ∞ i=1 满足δ 2-条件(记为M∈δ 2)是指存在常数a>0,K>0以及c i>0(i=1,2,…)满足∑∞ i=1 c i<∞,使得

M i(2u)≤KM i(u)+c i(i∈,M i(u)≤a)

定义3设ε>0,称 Musielak Orlicz 函数M=(M i) ∞ i=1 满足δ ε 2-条件(记为M∈ δ ε 2)是指存在常数a>0, K>0以及c i≥0 (i=1,2,…)满足∑∞ i=1 c i≤ε,使得

M i(2u)≤KM i(u)+c i(i∈M i(u)≤a)

已经证明,若对任意的i∈,u≠0,有M i(u)>0,则M∈δ 2的充分必要条件为对任意的ε>0,M∈δ ε 2[9]。

定义4设x= (x(i)) ∞ i=1 是一个实数列,x关于 Musielak Orlicz 函数M=(M i) ∞ i=1 的模定义为:

ρ M(x)=∑∞ i=1 M i(x(i))

线性集

{x=(x(i)):存在λ>0,使得ρ M(λx)<∞}

关于 Luxemburg 范数

‖x‖=‖x‖ M= inf λ>0:ρ Mxλ≤1

或 Orlicz 范数

‖x‖ o=‖x‖ o M= sup ∑∞ i=1 x(i)y(i):ρ N(y)≤1

= inf  k>0 1k(1+ρ M(kx))

皆为 Banach 空间,分别记为l M和l o M,称为 Musielak Orlicz 序列空间。h M和h o M是指集合

{x=(x(i)):对任意的λ>0,ρ M(λx)<∞}

继承同一范数形成的l M和l o M的子空间。

文[7]中已经证明l M=h M或l o M=h o M的充分必要条件是M∈δ 2。

对任意的x∈l o M,令

supp x={i∈瘙綃

:x(i)≠0},

k * x= inf {k>0:ρ N(p(k|x|))≥1},

k ** x= sup {k>0:ρ N(p(k|x|))≤1},

K(x)=[k * x,k ** x],k ** x<∞

[k * x,∞],k * x<∞,k ** x=∞

,k * x=∞,

θ M(x)= inf λ>0:存在i 0∈瘙綃

,∑ i>i 0 M ix(i)λ<∞。

猜你喜欢

球面正整数局部
日常的神性:局部(随笔)
凡·高《夜晚露天咖啡座》局部[荷兰]
最强大脑
球面距离的几种证明方法
丁学军作品
对一道IMO题的再研究
局部求解也生动
勾股数杂谈