1. 引言及主要结果
序列空间是一类重要的空间,其逼近问题得到广泛而深入的研究。关于有限维空间的宽度问题,如Kolmogorov n-宽度,Gel’fand宽度,线性n-宽度等,取得了丰硕的成果 [1],关于无穷维序列空间的熵数研究,也取得了丰硕的成果 [2] [3] [4]。众所周知,Gel’fand宽度与计算复杂性有密切的联系 [5]。本文研究无穷维序列空间的Gel’fand宽度。
下面,回顾无穷维序列空间:
用
表示赋予范数
的经典无穷维序列空间。众所周知,
具有以下重要性质:
1) 对
,有
,反之不成立。
2) 对
,
为
的Schauder基。其中,
表示
中第k个分量为1,其余分量为0的实序列。
对
,
,
,令
易见,
为线性空间。对
,令
则
为
上的范数。以下用
表示
上赋予范数
的赋范线性空间,
表示
中的单位球。
由Hȍlder不等式知,对
,当
时,
可连续地嵌入
中。本文讨论
在
中的Gel’fand宽度。
2.
在
(
,
)中的Gel’fand宽度
定义1:设
为赋范线性空间,A为X中非空子集,
,称
为A在X中的Gel’fand n-宽度。其中
取遍X中余维数不超过n的所有线性子空间。本文用
表示
的余维数。
关于Gel’fand宽度的性质,可参阅Pinkus专著 [1]。
本文主要讨论
在
中的Gel’fand宽度精确阶,其中
,
,这也是本文的主要结果。
定理1:设
,
,
,则
其中,“
”定义如下:
,表示仅与参数p,q,r相关的正常数。若对于正函数
和
,
(B是正函数
和
的定义域),存在正常数
,使得对任意的
,有
或者
,则将其记为:
或者
。若存在正常数
,使得对任意的
,有
,则记为:
,即对任意的
,若
和
同时成立,则有
。
本文采用将无穷维序列空间的Gel’fand宽度转化为有限维空间的Gel’fand宽度来证明定理1,首先介绍有限维空间的Gel’fand宽度。
,用
表示在
上赋予通常范数
的Banach空间,用
表示
中的单位球。易见,
为
的基,其中
表示
中第k个分量为1,其余分量为0的向量。有限维空间的Gel’fand宽度有如下结果:
命理2 [1]:设
,
,则
下面,建立估计定理1上界的引理。
对
,令
易见
。
引理3:设
,
,
,
为非负整数序列,且
,
,则
证明:对
,令
易见
。令
则
为
到
上的线性同构映射。
对
,
,则
(1)
(2)
令
为
到
上的投影。
由Gel’fand宽度的定义,存在
中余维数为
的线性子空间
,使得
(3)
易见,
为
中余维数为
的线性子空间,由(1) (2) (3)式可得
(4)
令
,其和为直和。易见
从而
下面,建立估计定理1下界的引理。
引理4:设
,
,
,
,
,则
证明:易见
,且
由Gel’fand宽度的定义,存在
的余维数为n的线性子空间
,使得
令
,则
为
中余维数为n的线性子空间,由Gel’fand宽度的定义及(1) (2)有
即
定理1的证明
1. 定理1上界的证明:
令
。对
,令
则
,由引理3及命理2知
2. 定理1下界的证明:
令
与k为满足引理4的
与k,则由引理4和命题1知
综上所述,定理1得证。