设无穷阵（aij)满足条件 在lp上定义线性算子T如下： y=Tx:{ηj}=∑k=1∞akjξk（j=1，2，3…)， 其中x={ξ1，ξ2，…，ξ

设无穷阵(a_ij)满足条件

  在l^p上定义线性算子T如下：

  y=Tx:{η_j}=∑_k=1^∞a_kjξ_k(j=1，2，3…)，

  其中x={ξ₁，ξ₂，…，ξ_n，…}，y={η₁，η₂，…η_n…}，证明：T，是由I^p到其自身的有界线性算子。