APP下载

赋Orlicz 范数的Orlicz 序列空间的局部k-β 性质

2021-12-27刘红娇

渤海大学学报(自然科学版) 2021年3期
关键词:性质定义

刘红娇,李 晶

(吉林师范大学博达学院 数学学院,吉林 四平 136000)

0 引言

随着时代的发展,Orlicz空间中的理论日渐完善[1-6],但是仍然有许多几何性质和点态性质有待研究.本文将在一类具体的Banach空间—赋Orlicz范数的Orlicz序列空间中讨论k-β点的刻画问题,并进一步得到该空间具有局部k-β性质的等价条件.

1 预备知识

定义1.1[1]设k是一个正整数. 点x∈S(X)称为k-β点是指对于任意ε> 0,都存在δ=δ(ε,x) > 0,使得对任意的一个序列(xn) ⊂S(X)只要满足,就存在k个正整数n1,n2,…,nk作为下标,使得

定义1.2[7]设Φ: ℝ →[ 0,+ ∞)是一个映射,该函数称为Orlicz函数是指:

(1)Φ是偶的、凸的并且是连续的;

(2)Φ(0) = 0;

(3)对于任意一个u≠0,有Φ(u) > 0;

与之相对应的,称函数

为Φ(u)的余函数.显然地,通过定义可知,函数Ψ也是一个Orlicz函数. 在下面地论述中,用p(u)和p-(u)(或q(v)和q-(v))分别表示Φ(或Ψ)的右导数和左导数.

定义1.3[5]称函数Φ满足Δ2-条件(记为Φ ∈Δ2)是指存在正数K> 2和u0> 0,使得

成立.

定义1.4[7]称Orlicz函数Φ是严格凸的是指对于任意的u,v∈ℝ,u≠v,有

定义1.5[7]在Orlicz序列空间中,实数列x=()x(i) 的Orlicz函数模为

对于线性集

来说,关于Luxemburg范数定义为

或Orlicz范数定义为

赋Luxemburg范数或赋Orlicz范数的Orlicz序列空间分别记为lΦ或. 他们的子空间

记为hM与.

其中

引理1.1[7]

引理1.2[7]对于任意的u∈lΦ和v∈lΨ,有

(1)当‖u‖≤1时,IΦ(u) ≤‖u‖;

(2)当‖u‖> 1时,IΦ(u) > ‖u‖;

引理1.3[7]假设函数Φ满足Δ2-条件,则对于任意一个u∈lΦ,都有

(1)‖u‖ = 1 ⇔IΦ(u) = 1;

(2)对任意的ε> 0,存在δ> 0,使得

(3)对任意的ε∈(0,1),存在δ∈(0,1),使得

(4)对任意的ε∈(0,1),存在δ∈(0,1),使得

引理1.4[7]若函数Φ满足Δ2-条件,则对任意的实数L> 0和ε> 0,存在δ> 0,使得

成立.

2 主要结果与证明

定理2.1 设k是一个正整数.为k-β点的充分必要条件是:

(1)Φ ∈Δ2;

(2)Ψ ∈Δ2.

证明:必要性. 对任意的实数序列x=()x(i) ,当m,n∈ℕ,m>n时,记

当函数Φ不满足Δ2-条件时,则. 此时需要考虑以下情形,即分别考虑在与不在中的点……

登录APP查看全文

猜你喜欢

性质定义
一类非线性随机微分方程的统计性质
随机变量的分布列性质的应用
一类多重循环群的剩余有限性质
永远不要用“起点”定义自己
完全平方数的性质及其应用
定义“风格”
九点圆的性质和应用
成功的定义
修辞学的重大定义
山的定义