泛函分析基础8-有界线性算子和连续线性泛函3：有限秩算子

在本节中，引进与矩阵最接近的算子，称为有限秩算子.

定义

设 $X,Y$ 是巴拿赫空间， $T\in \mathcal{B}(X,Y).$ 如果$\mathcal{R}(T)$ 是有限维的子空间，则称 $T$是有限秩算子

记 $\mathcal{R}(X,Y)$ 为 $\mathcal{B}(X,Y)$中有限秩算子全体并记 $\mathcal{A}(X)=\mathcal{A}(X,X).$

例1
设 $X,Y$ 是巴拿赫空间.设$\left|y_1,y_2,\cdots ,y_n\right|$ 是 $Y$中的一组线性无关向量 $f_1,$$f_2,\cdots ,f_n\in X^{\prime }.$ 定义

$$Tx=\sum _{k=1}^n{y}_k{f}_k(x),任意x\in X.$$

则 $T$ 是线性算子， R ( T ) ⊂ span ⁡ { y 1 , y 2 , ⋯   , y n } \mathscr { R } ( T ) \subset \operatorname { s p a n } \left\{ y _ { 1 } , y _ { 2 } , \cdots , y _ { n } \right\} R(T)⊂span{ y1​,y2​,⋯,yn​}且

$$\Vert Tx\Vert ⩽\sum _{k=1}^n\Vert y_k{f}_k(x)\Vert ⩽\sum _{k=1}^n\Vert y_k\Vert \Vert f_k\Vert \Vert x\Vert ,$$

故 $\Vert T\Vert ⩽{\sum }_{k=1}^n\Vert y_k\Vert \Vert f_k\Vert ,$ 从而 $T\in \mathcal{T}(X,Y).$

下面的定理表明： $\mathcal{A}(X)$ 是 $\mathcal{B}(X)$的一个理想

定理1

设 $X$ 是巴拿赫空间，$S,T\in \mathcal{A}(X),A\in \mathcal{B}(X).$ 则$\mathcal{F}(X)$ 是 $\mathcal{B}(X)$ 的一个理想，即

$$S+T\in \mathcal{T}(X),AS,SA\in \mathcal{T}(X).$$

证明
由$\mathcal{B}(S+T)\subset \mathcal{B}(S)+\mathcal{B}(T)$知， $S+T\in \mathcal{A}(X).$

由 $\mathcal{R}(SA)\subset \mathcal{R}(S)$ 知，$SA\in \mathcal{F}(X).$

设 { f 1 , f 2 , ⋯   , f k } \left\{ f _ { 1 } , f _ { 2 } , \cdots , f _ { k } \right\} { f1​,f2​,⋯,fk​} 为$\mathcal{R}(S)$ 的一组基.于是

R ( A S ) = span ⁡ { A f 1 , A f 2 , ⋯   , A f k } , \mathscr { R } ( A S ) = \operatorname { s p a n } \left\{ A f _ { 1 } , A f _ { 2 } , \cdots , A f _ { k } \right\} , R(AS)=span{ Af1​,Af2​,⋯,Afk​},

故 $AS\in \mathcal{A}(X).$

设 $I$ 是 $X$ 上 的恒等算子， $T\in \mathcal{F}(X).$ 我们要研究$\mathcal{R}(I+T)$ 是否在 $X$ 中闭为此，我们
首先引入商空间的概念如下：

设 $X$ 是 赋范线性空间， $V$ 是 $X$ 中 的闭子空间.定义 $X$上的一个等价关系 $"\sim "$ 为：设$x_1,x_2\in X,x_1\sim x_2$ 表示$x_1$