泛函分析基础11-线性算子的谱2：有界线性算子谱的基本性质

无限维空间上有界线性算子的谱已不再限于特征值，情况较有限维情形要复杂得多，但是还是有一些基本性质可以得出.这一节涉及的空间 $X$ 均指巴拿赫空间

定理1

设 $T\in \mathcal{B}(X),\Vert T\Vert <1,$ 则$1\in \rho (T).$ 这时 $I-T$ 有定义在全空间上的有界逆算子：

$$(I-T{)}^{-1}=\sum _{k=0}^{\infty }{T}^k=I+T+T^2+\cdots +T^k+\cdots ,$$

这里的级数按 $\mathcal{B}(X)$ 中范数收敛.

证明
因为 $\Vert T^2\Vert ⩽\Vert T{\Vert }^2,$ 故$\Vert T^n\Vert ⩽\Vert T{\Vert }^n,$ 但$\Vert T\Vert <1,$ 必有 ${\sum }_{k=0}^{\infty }\Vert T{\Vert }^n<$$\infty ,$ 所以${\sum }_{k=0}^{\infty }\Vert T^n\Vert <\infty ,$ 故${\sum }_{k=0}^{\infty }{T}^n$ 一 致收敛于某有界算子 $S$ （按$\mathcal{B}(X)$ 中范数收敛).下面验证 $S$ 确实是 $(I-T)$ 的逆算子.

$$(I-T)\left(I+T+\cdots +T^n\right)=\left(I+T+T^2+\cdots +T^n\right)-\left(T+T^2+\cdots +T^{n+1}\right)=I-T^{n+1}.$$

令 $n$