无穷维恒等算子的伪宽度

Pseudo n-Width of Infinite Dimension Identity Operator

摘要: 本文讨论了无穷维恒等算子的伪宽度，并计算了其精确渐近阶。

Abstract: In this paper, we study the pseudo width of infinite dimension identity operator , and obtain its asymptotic degree.

文章引用：陆文静, 肖寒月, 秦静. 无穷维恒等算子的伪宽度[J]. 应用数学进展, 2019, 8(4): 747-752. https://doi.org/10.12677/AAM.2019.84084

1. 引言及主要结果

宽度理论是函数逼近论的重要内容之一，也是国内外研究的热点之一，它与计算复杂性有着密切的联系 [1] 。其中，关于伪宽度的研究是当下宽度理论研究的热点之一，伪宽度在模式识别、消退估计、经验过程、学习理论中都有重要的应用。VC-维数的概念最早被Vapnik和Chervonenkis在参考文献 [2] [3] 中提出，他们介绍了集合的指标函数的VC维数。在实值函数中，Pollard [4] 和Haussler [5] 将VC-维数的定义扩展到伪维数，VC维数和伪维数是集合或空间容量的度量，它与一个函数类的熵有联系 [6] 。1998年，Maiorov和Ratsaby在参考文献 [7] 中给出VC-宽度和伪宽度的定义，研究了有限维空间伪宽度在一致框架下的逼近特征，并确定了在一致框架下的VC-宽度 ${\rho }_n^{VC}\left(B_p^m,l_q^m\right)$ 和伪宽度 ${\rho }_n^P\left(B_p^m,l_q^m\right)$ 的精确渐近阶。2007年，陈广贵等 [8] 讨论了具有共同光滑函数类的伪宽度，并且计算了其精确阶。本文主要讨论无穷维恒等算子的伪宽度。首先，介绍伪维数和伪宽度的定义。

定义1.1：对实数 $x$ ， $\mathrm{sgn}\left(x\right)$ 表示符号函数，当 $x>0$ 时，其值为1，其它情形其值为−1。对向量 $x\in R^m,\mathrm{sgn}\left(x\right):=\left(\mathrm{sgn}\left(x_1\right),\cdots ,\mathrm{sgn}\left(x_m\right)\right)$ ，如果 $F$ 是 $R^m$ 上的一个实值函数集合，称满足下列条件的最大整数 $k$ 为 $F$ 的伪维数，即存在指标集 $I\subset \left\{1,2,\cdots ,m\right\}$ 和 $y\in R^k$ 使得集合

$\left\{\mathrm{sgn}\left(F|{}_{I,y}\right):F|{}_{I,y}=\left(x_{i_1}+y_1,\cdots ,x_{i_k}+y_k\right),x=\left(x_1,\cdots ,x_m\right)\in F,i_j\in I,1\le j\le k\right\}$

的基数为 $2^k$ 。如果不存在这样的最大的 $k$ ，那么 $F$ 的伪维数是正无穷。我们将 $F$ 的伪维数记为 ${\dim }_p\left(F\right)$ 。

定义1.2：设 $W$ 为赋范线性空间 $\left(Z,\Vert \cdot \Vert \right)$ 的一非空子集， $n=0,1,2,\cdots$ ，称

${\rho }_n\left(W,Z\right)=\underset{F_n}{\inf }\underset{x\in W}{\sup }\underset{y\in F_n}{\inf }\Vert x-y\Vert$

为 $W$ 在 $Z$ 中的伪宽度，其中 $F_n$ 取遍 $Z$ 中的伪维数不超过 $n$ 的所有线性子空间。

定义1.3：设 $X,Y$ 为两个赋范线性空间，其范数分别为 ${\Vert ·\Vert }_X$ 与 ${\Vert ·\Vert }_Y$ ， $T$ 是 $X$ 到 $Y$ 的有界线性算子， $n=0,1,2,\cdots$ ，称

${\rho }_n\left(T:X\to Y\right)={\rho }_n\left(T\left(B_z\right),\bar{Y}\right)$

为算子 $T$ 的伪宽度，其中 $B_X$ 表示 $X$ 的单位球，即 $B_X:=\left\{x\in X|{\Vert x\Vert }_X\le 1\right\}$ 。

关于伪宽度的一些重要性质已经得到了精彩的结果。本文将讨论无限维恒等算子 $I_{p,q}:l_{p,r}\to l_q\left(1\le q\le p<\infty ,r>\frac{1}{q}-\frac{1}{p}\right)$ 的伪宽度。为此，继续介绍有关概念。

设 $1\le p\le \infty$ ，对任一实序列 $x={\left\{x_n\right\}}_{n=1}^{\infty }$ ，令

${\Vert x\Vert }_{l_p}=\{\begin{array}{cc}{\left({\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{\left|x_n\right|}^p}\right)}^{1/p},& 1\le p<\infty \\ \underset{n\ge 1}{\sup }\left|x_n\right|,& p=\infty \end{array}$

$l_p$ 表示满足条件 ${\Vert x\Vert }_{l_p}<\infty$ 的实序列 $x$ 所构成的集合。众所周知， ${\Vert ·\Vert }_{l_p}$ 为 $l_p$ 上的一个范数，而且 $l_p$ 是一个Banach空间。易见， $l_p$ 空间具有如下性质：

1) $l_p\subset l_q\left(1\le p\le q\le \infty \right)$ ，

2) $l_p\not\subset l_q\left(1\le p\le q\le \infty \right)$ 。

因此，无穷维恒等算子 $I$ 是从 $l_p$ 到 $l_q\left(1\le p\le q\le \infty \right)$ 的有界线性算子，而不是 $l_p$ 到 $l_q\left(1\le q<p\le \infty \right)$ 的算子。

对于 $1\le p\le \infty ,r>0$ ， $x={\left\{x_n\right\}}_{n=1}^{\infty }\in l_p$ ，令

$x^r:={\left\{n^r{x}_n\right\}}_{n=1}^{\infty }$ ， ${\Vert x\Vert }_{l_{p,r}}={\Vert x^{\left(r\right)}\Vert }_{l_p}$

和

$l_{p,r}:=\left\{x\in l_p|{\Vert x\Vert }_{l_{p,r}}<\infty \right\}$

则易见 ${\Vert ·\Vert }_{l_{p,r}}$ 为 $l_{p,r}$ 上的范数，且 $l_{p,r}$ 为Banach空间。用 $B_{p,r}$ 表示 $l_{p,r}$ 中的单位球。

令 $1\le q<p\le \infty$ ， $r>\frac{1}{q}-\frac{1}{p}$ ，( $p=\infty$ 时，记 $\frac{1}{p}=0$ )，对任意的 $x=\left\{x_n\right\}\in l_{p,r}$ ，由Hölder不等式有

${\Vert x\Vert }_{l_q}\le \{\begin{array}{cc}{\Vert x\Vert }_{l_{p.r}}{\left({\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{n}^{-\frac{pr}{p-q}}}\right)}^{\frac{1}{q}-\frac{1}{p}}<\infty ,& 1\le q<p<\infty \\ {\Vert x\Vert }_{l_{p.r}}{\left({\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{n}^{-rq}}\right)}^{\frac{1}{q}}<\infty ,& p=\infty \end{array}$

因此 $x\in l_q$ 。从而无穷维恒等算子 $\left(1\le q<p\le \infty ,r>\frac{1}{q}-\frac{1}{p}\right)$

$I_{p,q}:l_{p,r}\to l_q$

$x\mapsto x$

为 $l_{p,r}$ 到 $l_q$ 的有界线性算子。

本文利用离散化的方法讨论了无穷维恒等算子 $I_{p,q}\left(1\le q<p\le \infty \right)$ 的伪宽度，并得到其精确渐近阶。这就是本文的主要结果，即

定理1：设 $1\le q<p<\infty$ ， $r>\frac{1}{q}-\frac{1}{p}$ ， $n=0,1,2,\cdots$ 则

${\rho }_n\left(I_{p,q}:l_{p,r}\to l_q\right)\succ \prec n^{-\left(r-\frac{1}{q}+\frac{1}{p}\right)}$

其中，符号“ $\succ \prec$ ”的定义如下：假设 $c_i,i=0,\text{1},\cdots$ 是和参数 $p,q,r$ 有关的非负常数。对两个正函数 $a\left(y\right)$ 和 $b\left(y\right)$ ， $y\in D$ ，如果存在正常数 $c_1$ 满足条件 $a\left(y\right)\le c_{1}b\left(y\right)$ ，则记 $a\left(y\right)=b\left(y\right)$ 。若存在正常数 $c_2$ 满足条件 $c_{2}a\left(y\right)\ge b\left(y\right)$ ，则记 $a\left(y\right)\gg b\left(y\right)$ ，若 $a\left(y\right)=b\left(y\right)$ 且 $a\left(y\right)\gg b\left(y\right)$ ，则记 $a\left(y\right)\succ \prec b\left(y\right)$ 。

2. 主要结果的证明

为了证明定理1，首先讨论有限维空间的伪宽度。令 ${ℝ}^m=\left\{x=\left(x_1,\cdots ,x_m\right)\{x_i\in R,i=1,\cdots ,m\right\}$ 。

设 $1\le p\le \infty$ ， $x=\left(x_1,\cdots ,x_m\right)\in {ℝ}^m$ 。令

${\Vert x\Vert }_{l_p^m}=\{\begin{array}{cc}{\left({\displaystyle \underset{n=1}{\overset{m}{\sum }}{\left|x_n\right|}^p}\right)}^{1/p},& 1\le p<\infty ,\\ \underset{1\le n\le m}{\max }\left|x_n\right|,& p=\infty .\end{array}$

则 ${\Vert ·\Vert }_{l_p^m}$ 为 ${ℝ}^m$ 上的范数。用 $l_p^m$ 表示 ${ℝ}^m$ 按照范数 ${\Vert ·\Vert }_{l_p^m}$ 所构成的Banach空间。用 $B_p^m$ 表示 $l_p^m$ 中的单位球。易见 ${\left\{{e^{\prime }}_n\right\}}_{n=1}^m$ 为 $l_p^m$ 的基，其中 ${e^{\prime }}_n=\left(0,\cdots ,0,1,0,\cdots 0\right)\in {ℝ}^m$ (第n个分量为1，其余分量为0)。

引理1： [7] 设 $1\le q<p\le \infty$ ， $n=1,2,\cdots$ ， $m\ge cn$ ，则

${\rho }_n\left(B_p^m,l_q^m\right)\approx {\left(m-n\right)}^{\frac{1}{q}-\frac{1}{p}}.$

下面建立估计定理1上界的离散化定理。首先介绍一些记号。

对 $\forall k\in \mathbb{N}$ ，其中 $\mathbb{N}=\left\{1,2,\cdots \right\}$ ，记 $S_k=\left\{n\in N\{2^{k-1}\le n<2^k\right\}$ 。则对任意的 $k,k^{\prime }\in \mathbb{N}$ ，且 $k\ne k^{\prime }$ 有 $S_k\cap S_{k^{\prime }}=\varnothing$ ， $\mathbb{N}={\displaystyle \underset{k=1}{\overset{\infty }{\cup }}{S}_k}$ 。用 $m_k$ 表示 $S_k$ 中元素的个数，则 $m_k=\left|S_k\right|=2^{k-1}$ 。

以下我们总是假设 $1\le p<\infty$ 。用 $e_n$ 表示第 $n$ 个分量为1，其余分量为0的无穷维实序列，则 ${\left\{e_n\right\}}_{n=1}^{\infty }$ 为 $l_p\left(1\le p<\infty \right)$ 的Schauder基。从而对 $\forall x=\left\{x_n\right\}\in l_p$ ，有 $x={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{x}_n{e}_n}$ 。

对 $k\in \mathbb{N}$ ，记 $F_k=\text{span}\left\{e_n|n\in S_k\right\}$ ，则 ${\dim }_{\rho }\left(F_k\right)=m_k=2^{k-1}$ 。令

$I_k:F_k\to R^{m_k}$

$x={\displaystyle \underset{n\in S_k}{\sum }{x}_n{e}_n}\mapsto {\displaystyle \underset{j=1}{\overset{m}{\sum }}{x}_{2^{k-1}+j-1}{e^{\prime }}_{2^{k-1}+j-1}}$

则对 $\forall x={\displaystyle \underset{n\in S_k}{\sum }{x}_n{e}_n}\in F_k$ ，有

$\begin{array}{c}{\Vert x\Vert }_{l_{p,r}}={\left({\displaystyle \underset{n\in S_k}{\sum }{\left|n^r{x}_n\right|}^p}\right)}^{1/p}\succ \prec {\left({\displaystyle \underset{n\in S_k}{\sum }{\left|2^{rk}{x}_n\right|}^p}\right)}^{1/p}\\ =2^{rk}{\left({\displaystyle \underset{n\in S_k}{\sum }{\left|x_n\right|}^p}\right)}^{1/p}=2^{rk}{\Vert I_{k}x\Vert }_{l_p^{m_k}}\end{array}$ (2.1)

且

${\Vert x\Vert }_{l_p}={\left({\displaystyle \underset{n\in S_k}{\sum }{\left|x_n\right|}^p}\right)}^{1/p}={\Vert I_{k}x\Vert }_{l_p^{m_k}}.$ (2.2)

从而 $I_k$ 为 $l_p\cap F_k$ 到 $l_p^{m_k}$ 上的等距同构映射。

引理2：设 $1\le q<p<\infty$ ， $r>\frac{1}{q}-\frac{1}{p}$ ，非负整数序列 ${\left\{n_k\right\}}_{k=1}^{\infty }$ 满足 $0\le n_k\le m_k$ ，且 ${\displaystyle \underset{k=1}{\overset{\infty }{\sum }}{n}_k\le n}$ 。则

${\rho }_n\left(B_{p,r},l_q\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{2}^{-rk}}{\rho }_{n_k}\left(B_p^{m_k},l_q^{m_k}\right).$

证明：对 $\forall k$ ，由(2.1)知，对 $\forall x\in B_{l_{p,r}}\cap F_k$ ，有

$1\ge {\Vert x\Vert }_{l_{p,r}}=2^{rk}{\Vert I_{k}x\Vert }_{l_p^{m_k}}$

$\forall y\in F_k$ ，由(2.2)知

${\Vert y\Vert }_{l_q}={\Vert I_{k}y\Vert }_{l_q^{m_k}}$

所以

${\rho }_{n_k}\left(B_{p,r}\cap F_k,l_q\cap F_k\right)=2^{-rk}{\rho }_{n_k}\left(B_p^{m_k},l_q^{m_k}\right)$

由伪宽度的定义知，存在 $l_q\cap F_k$ 的一个伪维数不超过 $n_k$ 的线性子空间 $M_k$ 使得

$\underset{x\in B_{p,r}\cap F_k}{\sup }\underset{y\in M_k}{\inf }{\Vert x-y\Vert }_{l_q}=2^{-rk}{\rho }_{n_k}\left(B_p^{m_k},l_q^{m_k}\right)$

令 $M={\displaystyle \underset{k=1}{\overset{\infty }{\sum }}{M}_k}$ (直和)。则 $M$ 为 $l_q$ 的线性子空间，且

${\dim }_{\rho }\left(M\right)\le {\displaystyle \underset{k=1}{\overset{\infty }{\sum }}{\dim }_{\rho }\left(M_k\right)}\le {\displaystyle \underset{k=1}{\overset{\infty }{\sum }}{n}_k}\le n$ 。

从而

$\begin{array}{c}{\rho }_n\left(B_{p,r},l_q\right)=\underset{x\in B_{p,r}}{\sup }\underset{y\in M}{\inf }{\Vert x-y\Vert }_{l_q}\\ \le {\displaystyle \underset{k=1}{\overset{\infty }{\sum }}\underset{x\in B_{p,r}\cap F_k}{\sup }\underset{y\in M_k}{\inf }{\Vert x-y\Vert }_{l_q}}\\ ={\displaystyle \underset{k=1}{\overset{\infty }{\sum }}{2}^{-rk}{\rho }_{n_k}\left(B_p^{m_k},l_q^{m_k}\right)}\end{array}$

下面引理3是估计定理1下界的离散化定理。

引理3：令 $1\le q<p<\infty$ ， $r>\frac{1}{q}-\frac{1}{p}$ ， $n=0,1,2,\cdots$ ，则

${\rho }_n\left(B_{p,r},l_q\right)=2^{-rk}{\rho }_n\left(B_p^{m_k},l_q^{m_k}\right)$

其中 $n\succ \prec 2^k=2n$ 。

证明：对 $\forall x\in B_p^{m_k}$ ，则由(2.1)有

$1\ge {\Vert x\Vert }_{l_p^{m_k}}\ge 2^{rk}{\Vert I_k{}^{-1}x\Vert }_{l_{p,r}}$

对 $\forall y\in l_q^{m_k}$ ，则由(2.2)有

${\Vert y\Vert }_{l_q^{m_k}}={\Vert I_k{}^{-1}y\Vert }_{l_q}$

所以

$\begin{array}{c}{\rho }_n\left(B_{p,r},l_q\right)\ge {\rho }_n\left(B_{p,r}\cap F_k,l_q\cap F_k\right)\\ =2^{-rk}{\rho }_n\left(B_p^{m_k},l_q^{m_k}\right)\end{array}$

定理1的证明：

由定义1.1及定义1.2和无穷维恒等算子 $I_{p,r}$ 的定义，易见 ${\rho }_n\left(I_{p,q}:l_{p,r}\to l_p\right)={\rho }_n\left(B_{p,r},l_q\right)$ 。

首先估计定理1的上界。

对 $\forall k\in \mathbb{N}$ ，令 $k^{\prime }=\left[\lg n\right]$ ，

$n_k=\{\begin{array}{cc}{m}_k,& 1\le k<k^{\prime }\\ 2^{k^{\prime }}·2^{\beta \left(k^{\prime }-k\right)},& k\ge k^{\prime }\end{array}$

其中， $0<\beta <1$ ，易见 $\left\{n_k\right\}$ 满足引理2的条件。

由引理2和引理1有

$\begin{array}{c}{\rho }_n\left(I_{p,q}:l_{p,r}\to l_q\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{2}^{-rk}}{\rho }_{n_k}\left(B_p^{m_k},l_q^{m_k}\right)\\ ={\displaystyle \underset{k=k^{\prime }}{\overset{\infty }{\sum }}{2}^{-rk}}{\rho }_{n_k}\left(B_p^{m_k},l_q^{m_k}\right)={\displaystyle \underset{k=k^{\prime }}{\overset{\infty }{\sum }}{2}^{-rk}}·2^{\left(\frac{1}{q}-\frac{1}{p}\right)k}\\ ={\displaystyle \underset{k=k^{\prime }}{\overset{\infty }{\sum }}{2}^{-\left(r-\frac{1}{q}+\frac{1}{p}\right)k}}=2^{-\left(r-\frac{1}{q}+\frac{1}{p}\right))k^{\prime }}=n^{-\left(r-\frac{1}{q}+\frac{1}{p}\right)}\end{array}$

定理1的下界估计。

取满足引理3中条件的 $k$ ，则由引理3和引理1有

$\begin{array}{c}{\rho }_n\left(I_{p,q}:l_{p,r}\to l_q\right)=2^{-rk}{\rho }_n\left(B_p^{m_k},l_q^{m_k}\right)\\ =2^{-rk}\cdot n^{\frac{1}{q}-\frac{1}{p}}=n^{-\left(r-\frac{1}{q}+\frac{1}{p}\right)}\end{array}$

综上，定理1得证。

参考文献

[1]	Traub, J.F. Wasilkowski, G.W. and Wozniakowski, H. (1988) Information-Based Complexity. Academic Press, Bos-ton.
[2]	Vapnik, V.N. and Chervonenkis, A.Ya. (1971) On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities. Theory of Probability & Its Applications, 16, 264-280. https://doi.org/10.1137/1116025
[3]	Vapnik, V.N. and Cbervonenkis, A.Ya. (1981) Necessary and Sufficient Conditions for the Uniform Convergence of Means to Their Expectations. Theory of Probability & Its Applications, 26, 532-553. https://doi.org/10.1137/1126059
[4]	Pollard, D. (1989) Empiricai Processes: Theory and Applications. NSF-CBMS Regional Conference Sews in Probability and Statistics, Vol. 2, Institute of Mathmatical Statistics and American Statistical Association.
[5]	Haussler, D. (1992) Decision Theoretic Generalizations of the PAC Model for Neural Net and Other Learning Applications. Information and Computation, 100, 78-150. https://doi.org/10.1016/0890-5401(92)90010-D
[6]	Vapnik, V.N. (1982) Estimation of Dependences Based on Empirical Data. Springer. Berlin.
[7]	Maiorova, V. and Ratsaby, J. (1998) The Degree of Approximation of Sets in Euclidean Space Using Sets with Bounded Vapnik-Chervonenkis Dimension. Discrete Applied Mathematics, 86, 81-93. https://doi.org/10.1016/S0166-218X(98)00015-8
[8]	Chen, G.G., Fang, G.S. and Ruan, Y.L. (2007) Non-Linear Approximation of Functions with Mixed Smoothness by Sets of Finite Pseudo-Dimension. Acta Mathematica Sinica, English Series, 23, 671-676. https://doi.org/10.1007/s10114-005-0921-x

1. 引言及主要结果

宽度理论是函数逼近论的重要内容之一，也是国内外研究的热点之一，它与计算复杂性有着密切的联系 [1] 。其中，关于伪宽度的研究是当下宽度理论研究的热点之一，伪宽度在模式识别、消退估计、经验过程、学习理论中都有重要的应用。VC-维数的概念最早被Vapnik和Chervonenkis在参考文献 [2] [3] 中提出，他们介绍了集合的指标函数的VC维数。在实值函数中，Pollard [4] 和Haussler [5] 将VC-维数的定义扩展到伪维数，VC维数和伪维数是集合或空间容量的度量，它与一个函数类的熵有联系 [6] 。1998年，Maiorov和Ratsaby在参考文献 [7] 中给出VC-宽度和伪宽度的定义，研究了有限维空间伪宽度在一致框架下的逼近特征，并确定了在一致框架下的VC-宽度 ${\rho }_n^{VC}\left(B_p^m,l_q^m\right)$ 和伪宽度 ${\rho }_n^P\left(B_p^m,l_q^m\right)$ 的精确渐近阶。2007年，陈广贵等 [8] 讨论了具有共同光滑函数类的伪宽度，并且计算了其精确阶。本文主要讨论无穷维恒等算子的伪宽度。首先，介绍伪维数和伪宽度的定义。

定义1.1：对实数 $x$ ， $\mathrm{sgn}\left(x\right)$ 表示符号函数，当 $x>0$ 时，其值为1，其它情形其值为−1。对向量 $x\in R^m,\mathrm{sgn}\left(x\right):=\left(\mathrm{sgn}\left(x_1\right),\cdots ,\mathrm{sgn}\left(x_m\right)\right)$ ，如果 $F$ 是 $R^m$ 上的一个实值函数集合，称满足下列条件的最大整数 $k$ 为 $F$ 的伪维数，即存在指标集 $I\subset \left\{1,2,\cdots ,m\right\}$ 和 $y\in R^k$ 使得集合

$\left\{\mathrm{sgn}\left(F|{}_{I,y}\right):F|{}_{I,y}=\left(x_{i_1}+y_1,\cdots ,x_{i_k}+y_k\right),x=\left(x_1,\cdots ,x_m\right)\in F,i_j\in I,1\le j\le k\right\}$

的基数为 $2^k$ 。如果不存在这样的最大的 $k$ ，那么 $F$ 的伪维数是正无穷。我们将 $F$ 的伪维数记为 ${\dim }_p\left(F\right)$ 。

定义1.2：设 $W$ 为赋范线性空间 $\left(Z,\Vert \cdot \Vert \right)$ 的一非空子集， $n=0,1,2,\cdots$ ，称

${\rho }_n\left(W,Z\right)=\underset{F_n}{\inf }\underset{x\in W}{\sup }\underset{y\in F_n}{\inf }\Vert x-y\Vert$

为 $W$ 在 $Z$ 中的伪宽度，其中 $F_n$ 取遍 $Z$ 中的伪维数不超过 $n$ 的所有线性子空间。

定义1.3：设 $X,Y$ 为两个赋范线性空间，其范数分别为 ${\Vert ·\Vert }_X$ 与 ${\Vert ·\Vert }_Y$ ， $T$ 是 $X$ 到 $Y$ 的有界线性算子， $n=0,1,2,\cdots$ ，称

${\rho }_n\left(T:X\to Y\right)={\rho }_n\left(T\left(B_z\right),\bar{Y}\right)$

为算子 $T$ 的伪宽度，其中 $B_X$ 表示 $X$ 的单位球，即 $B_X:=\left\{x\in X|{\Vert x\Vert }_X\le 1\right\}$ 。

关于伪宽度的一些重要性质已经得到了精彩的结果。本文将讨论无限维恒等算子 $I_{p,q}:l_{p,r}\to l_q\left(1\le q\le p<\infty ,r>\frac{1}{q}-\frac{1}{p}\right)$ 的伪宽度。为此，继续介绍有关概念。

设 $1\le p\le \infty$ ，对任一实序列 $x={\left\{x_n\right\}}_{n=1}^{\infty }$ ，令

${\Vert x\Vert }_{l_p}=\{\begin{array}{cc}{\left({\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{\left|x_n\right|}^p}\right)}^{1/p},& 1\le p<\infty \\ \underset{n\ge 1}{\sup }\left|x_n\right|,& p=\infty \end{array}$

$l_p$ 表示满足条件 ${\Vert x\Vert }_{l_p}<\infty$ 的实序列 $x$ 所构成的集合。众所周知， ${\Vert ·\Vert }_{l_p}$ 为 $l_p$ 上的一个范数，而且 $l_p$ 是一个Banach空间。易见， $l_p$ 空间具有如下性质：

1) $l_p\subset l_q\left(1\le p\le q\le \infty \right)$ ，

2) $l_p\not\subset l_q\left(1\le p\le q\le \infty \right)$ 。

因此，无穷维恒等算子 $I$ 是从 $l_p$ 到 $l_q\left(1\le p\le q\le \infty \right)$ 的有界线性算子，而不是 $l_p$ 到 $l_q\left(1\le q<p\le \infty \right)$ 的算子。

对于 $1\le p\le \infty ,r>0$ ， $x={\left\{x_n\right\}}_{n=1}^{\infty }\in l_p$ ，令

$x^r:={\left\{n^r{x}_n\right\}}_{n=1}^{\infty }$ ， ${\Vert x\Vert }_{l_{p,r}}={\Vert x^{\left(r\right)}\Vert }_{l_p}$

和

$l_{p,r}:=\left\{x\in l_p|{\Vert x\Vert }_{l_{p,r}}<\infty \right\}$

则易见 ${\Vert ·\Vert }_{l_{p,r}}$ 为 $l_{p,r}$ 上的范数，且 $l_{p,r}$ 为Banach空间。用 $B_{p,r}$ 表示 $l_{p,r}$ 中的单位球。

令 $1\le q<p\le \infty$ ， $r>\frac{1}{q}-\frac{1}{p}$ ，( $p=\infty$ 时，记 $\frac{1}{p}=0$ )，对任意的 $x=\left\{x_n\right\}\in l_{p,r}$ ，由Hölder不等式有

${\Vert x\Vert }_{l_q}\le \{\begin{array}{cc}{\Vert x\Vert }_{l_{p.r}}{\left({\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{n}^{-\frac{pr}{p-q}}}\right)}^{\frac{1}{q}-\frac{1}{p}}<\infty ,& 1\le q<p<\infty \\ {\Vert x\Vert }_{l_{p.r}}{\left({\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{n}^{-rq}}\right)}^{\frac{1}{q}}<\infty ,& p=\infty \end{array}$

因此 $x\in l_q$ 。从而无穷维恒等算子 $\left(1\le q<p\le \infty ,r>\frac{1}{q}-\frac{1}{p}\right)$

$I_{p,q}:l_{p,r}\to l_q$

$x\mapsto x$

为 $l_{p,r}$ 到 $l_q$ 的有界线性算子。

本文利用离散化的方法讨论了无穷维恒等算子 $I_{p,q}\left(1\le q<p\le \infty \right)$ 的伪宽度，并得到其精确渐近阶。这就是本文的主要结果，即

定理1：设 $1\le q<p<\infty$ ， $r>\frac{1}{q}-\frac{1}{p}$ ， $n=0,1,2,\cdots$ 则

${\rho }_n\left(I_{p,q}:l_{p,r}\to l_q\right)\succ \prec n^{-\left(r-\frac{1}{q}+\frac{1}{p}\right)}$

其中，符号“ $\succ \prec$ ”的定义如下：假设 $c_i,i=0,\text{1},\cdots$ 是和参数 $p,q,r$ 有关的非负常数。对两个正函数 $a\left(y\right)$ 和 $b\left(y\right)$ ， $y\in D$ ，如果存在正常数 $c_1$ 满足条件 $a\left(y\right)\le c_{1}b\left(y\right)$ ，则记 $a\left(y\right)=b\left(y\right)$ 。若存在正常数 $c_2$ 满足条件 $c_{2}a\left(y\right)\ge b\left(y\right)$ ，则记 $a\left(y\right)\gg b\left(y\right)$ ，若 $a\left(y\right)=b\left(y\right)$ 且 $a\left(y\right)\gg b\left(y\right)$ ，则记 $a\left(y\right)\succ \prec b\left(y\right)$ 。

2. 主要结果的证明

为了证明定理1，首先讨论有限维空间的伪宽度。令 ${ℝ}^m=\left\{x=\left(x_1,\cdots ,x_m\right)\{x_i\in R,i=1,\cdots ,m\right\}$ 。

设 $1\le p\le \infty$ ， $x=\left(x_1,\cdots ,x_m\right)\in {ℝ}^m$ 。令

${\Vert x\Vert }_{l_p^m}=\{\begin{array}{cc}{\left({\displaystyle \underset{n=1}{\overset{m}{\sum }}{\left|x_n\right|}^p}\right)}^{1/p},& 1\le p<\infty ,\\ \underset{1\le n\le m}{\max }\left|x_n\right|,& p=\infty .\end{array}$

则 ${\Vert ·\Vert }_{l_p^m}$ 为 ${ℝ}^m$ 上的范数。用 $l_p^m$ 表示 ${ℝ}^m$ 按照范数 ${\Vert ·\Vert }_{l_p^m}$ 所构成的Banach空间。用 $B_p^m$ 表示 $l_p^m$ 中的单位球。易见 ${\left\{{e^{\prime }}_n\right\}}_{n=1}^m$ 为 $l_p^m$ 的基，其中 ${e^{\prime }}_n=\left(0,\cdots ,0,1,0,\cdots 0\right)\in {ℝ}^m$ (第n个分量为1，其余分量为0)。

引理1： [7] 设 $1\le q<p\le \infty$ ， $n=1,2,\cdots$ ， $m\ge cn$ ，则

${\rho }_n\left(B_p^m,l_q^m\right)\approx {\left(m-n\right)}^{\frac{1}{q}-\frac{1}{p}}.$

下面建立估计定理1上界的离散化定理。首先介绍一些记号。

对 $\forall k\in \mathbb{N}$ ，其中 $\mathbb{N}=\left\{1,2,\cdots \right\}$ ，记 $S_k=\left\{n\in N\{2^{k-1}\le n<2^k\right\}$ 。则对任意的 $k,k^{\prime }\in \mathbb{N}$ ，且 $k\ne k^{\prime }$ 有 $S_k\cap S_{k^{\prime }}=\varnothing$ ， $\mathbb{N}={\displaystyle \underset{k=1}{\overset{\infty }{\cup }}{S}_k}$ 。用 $m_k$ 表示 $S_k$ 中元素的个数，则 $m_k=\left|S_k\right|=2^{k-1}$ 。

以下我们总是假设 $1\le p<\infty$ 。用 $e_n$ 表示第 $n$ 个分量为1，其余分量为0的无穷维实序列，则 ${\left\{e_n\right\}}_{n=1}^{\infty }$ 为 $l_p\left(1\le p<\infty \right)$ 的Schauder基。从而对 $\forall x=\left\{x_n\right\}\in l_p$ ，有 $x={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{x}_n{e}_n}$ 。

对 $k\in \mathbb{N}$ ，记 $F_k=\text{span}\left\{e_n|n\in S_k\right\}$ ，则 ${\dim }_{\rho }\left(F_k\right)=m_k=2^{k-1}$ 。令

$I_k:F_k\to R^{m_k}$

$x={\displaystyle \underset{n\in S_k}{\sum }{x}_n{e}_n}\mapsto {\displaystyle \underset{j=1}{\overset{m}{\sum }}{x}_{2^{k-1}+j-1}{e^{\prime }}_{2^{k-1}+j-1}}$

则对 $\forall x={\displaystyle \underset{n\in S_k}{\sum }{x}_n{e}_n}\in F_k$ ，有

$\begin{array}{c}{\Vert x\Vert }_{l_{p,r}}={\left({\displaystyle \underset{n\in S_k}{\sum }{\left|n^r{x}_n\right|}^p}\right)}^{1/p}\succ \prec {\left({\displaystyle \underset{n\in S_k}{\sum }{\left|2^{rk}{x}_n\right|}^p}\right)}^{1/p}\\ =2^{rk}{\left({\displaystyle \underset{n\in S_k}{\sum }{\left|x_n\right|}^p}\right)}^{1/p}=2^{rk}{\Vert I_{k}x\Vert }_{l_p^{m_k}}\end{array}$ (2.1)

且

${\Vert x\Vert }_{l_p}={\left({\displaystyle \underset{n\in S_k}{\sum }{\left|x_n\right|}^p}\right)}^{1/p}={\Vert I_{k}x\Vert }_{l_p^{m_k}}.$ (2.2)

从而 $I_k$ 为 $l_p\cap F_k$ 到 $l_p^{m_k}$ 上的等距同构映射。

引理2：设 $1\le q<p<\infty$ ， $r>\frac{1}{q}-\frac{1}{p}$ ，非负整数序列 ${\left\{n_k\right\}}_{k=1}^{\infty }$ 满足 $0\le n_k\le m_k$ ，且 ${\displaystyle \underset{k=1}{\overset{\infty }{\sum }}{n}_k\le n}$ 。则

${\rho }_n\left(B_{p,r},l_q\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{2}^{-rk}}{\rho }_{n_k}\left(B_p^{m_k},l_q^{m_k}\right).$

证明：对 $\forall k$ ，由(2.1)知，对 $\forall x\in B_{l_{p,r}}\cap F_k$ ，有

$1\ge {\Vert x\Vert }_{l_{p,r}}=2^{rk}{\Vert I_{k}x\Vert }_{l_p^{m_k}}$

$\forall y\in F_k$ ，由(2.2)知

${\Vert y\Vert }_{l_q}={\Vert I_{k}y\Vert }_{l_q^{m_k}}$

所以

${\rho }_{n_k}\left(B_{p,r}\cap F_k,l_q\cap F_k\right)=2^{-rk}{\rho }_{n_k}\left(B_p^{m_k},l_q^{m_k}\right)$

由伪宽度的定义知，存在 $l_q\cap F_k$ 的一个伪维数不超过 $n_k$ 的线性子空间 $M_k$ 使得

$\underset{x\in B_{p,r}\cap F_k}{\sup }\underset{y\in M_k}{\inf }{\Vert x-y\Vert }_{l_q}=2^{-rk}{\rho }_{n_k}\left(B_p^{m_k},l_q^{m_k}\right)$

令 $M={\displaystyle \underset{k=1}{\overset{\infty }{\sum }}{M}_k}$ (直和)。则 $M$ 为 $l_q$ 的线性子空间，且

${\dim }_{\rho }\left(M\right)\le {\displaystyle \underset{k=1}{\overset{\infty }{\sum }}{\dim }_{\rho }\left(M_k\right)}\le {\displaystyle \underset{k=1}{\overset{\infty }{\sum }}{n}_k}\le n$ 。

从而

$\begin{array}{c}{\rho }_n\left(B_{p,r},l_q\right)=\underset{x\in B_{p,r}}{\sup }\underset{y\in M}{\inf }{\Vert x-y\Vert }_{l_q}\\ \le {\displaystyle \underset{k=1}{\overset{\infty }{\sum }}\underset{x\in B_{p,r}\cap F_k}{\sup }\underset{y\in M_k}{\inf }{\Vert x-y\Vert }_{l_q}}\\ ={\displaystyle \underset{k=1}{\overset{\infty }{\sum }}{2}^{-rk}{\rho }_{n_k}\left(B_p^{m_k},l_q^{m_k}\right)}\end{array}$

下面引理3是估计定理1下界的离散化定理。

引理3：令 $1\le q<p<\infty$ ， $r>\frac{1}{q}-\frac{1}{p}$ ， $n=0,1,2,\cdots$ ，则

${\rho }_n\left(B_{p,r},l_q\right)=2^{-rk}{\rho }_n\left(B_p^{m_k},l_q^{m_k}\right)$

其中 $n\succ \prec 2^k=2n$ 。

证明：对 $\forall x\in B_p^{m_k}$ ，则由(2.1)有

$1\ge {\Vert x\Vert }_{l_p^{m_k}}\ge 2^{rk}{\Vert I_k{}^{-1}x\Vert }_{l_{p,r}}$

对 $\forall y\in l_q^{m_k}$ ，则由(2.2)有

${\Vert y\Vert }_{l_q^{m_k}}={\Vert I_k{}^{-1}y\Vert }_{l_q}$

所以

$\begin{array}{c}{\rho }_n\left(B_{p,r},l_q\right)\ge {\rho }_n\left(B_{p,r}\cap F_k,l_q\cap F_k\right)\\ =2^{-rk}{\rho }_n\left(B_p^{m_k},l_q^{m_k}\right)\end{array}$

定理1的证明：

由定义1.1及定义1.2和无穷维恒等算子 $I_{p,r}$ 的定义，易见 ${\rho }_n\left(I_{p,q}:l_{p,r}\to l_p\right)={\rho }_n\left(B_{p,r},l_q\right)$ 。

首先估计定理1的上界。

对 $\forall k\in \mathbb{N}$ ，令 $k^{\prime }=\left[\lg n\right]$ ，

$n_k=\{\begin{array}{cc}{m}_k,& 1\le k<k^{\prime }\\ 2^{k^{\prime }}·2^{\beta \left(k^{\prime }-k\right)},& k\ge k^{\prime }\end{array}$

其中， $0<\beta <1$ ，易见 $\left\{n_k\right\}$ 满足引理2的条件。

由引理2和引理1有

$\begin{array}{c}{\rho }_n\left(I_{p,q}:l_{p,r}\to l_q\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{2}^{-rk}}{\rho }_{n_k}\left(B_p^{m_k},l_q^{m_k}\right)\\ ={\displaystyle \underset{k=k^{\prime }}{\overset{\infty }{\sum }}{2}^{-rk}}{\rho }_{n_k}\left(B_p^{m_k},l_q^{m_k}\right)={\displaystyle \underset{k=k^{\prime }}{\overset{\infty }{\sum }}{2}^{-rk}}·2^{\left(\frac{1}{q}-\frac{1}{p}\right)k}\\ ={\displaystyle \underset{k=k^{\prime }}{\overset{\infty }{\sum }}{2}^{-\left(r-\frac{1}{q}+\frac{1}{p}\right)k}}=2^{-\left(r-\frac{1}{q}+\frac{1}{p}\right))k^{\prime }}=n^{-\left(r-\frac{1}{q}+\frac{1}{p}\right)}\end{array}$

定理1的下界估计。

取满足引理3中条件的 $k$ ，则由引理3和引理1有

$\begin{array}{c}{\rho }_n\left(I_{p,q}:l_{p,r}\to l_q\right)=2^{-rk}{\rho }_n\left(B_p^{m_k},l_q^{m_k}\right)\\ =2^{-rk}\cdot n^{\frac{1}{q}-\frac{1}{p}}=n^{-\left(r-\frac{1}{q}+\frac{1}{p}\right)}\end{array}$

综上，定理1得证。