泛函分析笔记09：开映射与闭图象定理

3.3谱

设$X$是复$Banach$空间，且$T\in \mathcal{B}(X)$，$\lambda \in \mathbb{C}$

• 正则集 ρ ( T ) = { λ : λ I − T 可 逆 } \rho(T)=\{\lambda:\lambda I-T可逆 \} ρ(T)={λ:λI−T可逆}为开集，其集合中的元素称为正则值

• 谱集：$\sigma (T)=\mathbb{C}\backslash \rho (T)$

• 特征值：（$\lambda I-T$不是单射）存在非零元$x_0\in X$，使得$T{x}_0=\lambda x_0$；点谱=特征值的集合

• 连续谱：$\lambda I-T$是单射，但不是满射

注：$\lambda I-T$为双射$⟹$$(\lambda I-T{)}^{-1}$有界，即$\lambda \in \rho (T)$

注：$\sigma (T)$是有界闭集

• $T$的谱半径：$r(T)={\sup }_{\lambda \in \sigma (T)}|\lambda |={\lim }_{n\to \infty }\sqrt[n]{||T|{|}^n}\le ||T||$

3.4开映射与闭图象定理

定理4.6：设$T\in \mathcal{B}(X,X_1)$为双射，则$T^{-1}$有界$⟺\exists m>0$，使得 $||Tx||\ge m||x||,\forall x\in X$

定理4.7：设$T\in \mathcal{B}(X)$，当$||T||<1$时，有$I-T$有有界逆，且$(I-T{)}^{-1}={\sum }_{n=1}^{\infty }||T|{|}^n=\frac{1}{1-||T||}$

推论：如果$T\in \mathcal{B}(X)$有有界逆算子，当$||S||<\frac{1}{||T^{-1}||}$时，$T+S$有有界逆。

注：$\mathcal{B}(X)$中可逆元构成一个开集。$T$可逆时，以$T$为中心，$\frac{1}{||T^{-1}||}$为半径中每个有界元都可逆

定义4.8：设$T:X\to X_1$为线性算子，若$T$把 $X$中的开集映射为$X_1$中的开集，则称$T$为开算子。

注：由于$T$是线性的，故$T$是开算子$⟺$ $\forall r>0,\exists \delta >0$，使得$U_{X_1}(0,\delta )\subset T_{U_X}(0,r)$，其中 U X ( 0 , r ) = { x ∈ X : ∣ ∣ x ∣ ∣ < r } U_X(0,r)=\{x\in X:||x||< r\} UX​(0,r)={x∈X:∣∣x∣∣<r}

定理4.9：（开映射定理）设$X、X_1$是$Banach$空间，$T\in \mathcal{B}(X)$满射，则$T$是开算子。

定理4.10：（Banach逆算子定理）设$X、X_1$是Banach空间，$T\in \mathcal{B}(X,X_1)$且$T$为单射和满射，则$T^{-1}\in \mathcal{B}(X_1,X)$

推论：设$X$上有两个完备范数$||\cdot |{|}_1、||\cdot |{|}_2$，如果存在$M>0$，使得$||x|{|}_1\le M||x|{|}_2,\forall x\in X$，则$||\cdot |{|}_1$和$||\cdot |{|}_2$等价。即存在$m>0$，使得$m||x|{|}_2\le ||x|{|}_1\le M||x|{|}_2,\forall x\in X$

定义4.11：设$T$是个赋范空间$X$到赋范空间$X_1$的线性算子，如果$T$的图象 G ( T ) = { ( x , T x ) ∈ X × X 1 : x ∈ X } G(T)=\{(x,Tx)\in X\times X_1:x\in X \} G(T)={(x,Tx)∈X×X1​:x∈X}在$X\times X_1$中是闭集，则称$T$为闭算子。

定理4.12：$T$是闭算子$⟺$由在$X$中$x_n\to x_0$和在$X_1$中 $T(x_n)\to y_0$可知 $y_0=T{x}_0$

注：验证$T$是闭算子的常用条件：由$x_n\to 0$和$T{x}_n\to y_0$可知$y_0=0$

注：连续线性算子$⟹$闭算子，反之不成立

定理4.13：（闭图象定理）设$X、X_1$是Banach空间，$T:X\to X_1$为比线性算子，则$T$连续

定理4.14：$T$把闭集映成闭集$⟹$ $T$是闭算子