逆算子

                     

贡献者： 零穹

　　 逆算子是双射的算子的逆。当算子可逆时，在某些情形下逆算子和算子有很多相同的性质，比如，线性算子的逆算子时线性的，而完备赋范空间之间的线性有界算子的逆是有界的。

1. 性质

　　 下面定理表明，线性算子的逆算子是线性的。

　　 证明： 任意 $\mathrm{Im}A$ 中的 $y_1=A{x}_1,y_2=A{x}_2$，因为

所以

　　 证毕！

　　 下面定理表明，在完备赋范空间（Banach 空间）之间的线性有界算子的逆算子是有界的。

　　 为证明它，需要如下引理。

　　 证明：下面用逐次构造 $y_k$ 进行证明。选择 $y_1$ 使得

这是一个半径为 $\Vert y\Vert /2$ 中心在 $y$ 的球，由于 $M$ 在 $E$ 中处处稠密，因此在该球内任一点的邻域都有 $M$ 的点，因此这样的选择是可能的。

　　 同样由于 $M$ 在 $E$ 中处处稠密，可选 $y_n$ 使得 $\Vert y-y_1-\cdots -y_n\Vert \le \Vert y\Vert /2^n$。根据 $y^k$ 的选择，

即级数 $\sum _{k=1}^{\mathrm{\infty }}{y}_k$ 收敛于 $y$。此外

　　 证毕！

　　 定理 2 的证明： 证明的思路是这样的：通过证明 $E_1$ 中存在稠密集，从而可由引理 1 展开 $E_1$ 的任意非零元 $y$，这一级数对应 $E$ 中的级数，然后证明级数收敛于某个 $x\in E$，进而由 $A$ 的线性和连续性可知 $Ax=y$，且 $x$ 的范数恒小于某个常数乘以对应的 $y$ 的范数，从而得到 $A^{-1}$ 有界。

　　 稠密集的构造：Baire 定理断定完备赋范空间不能表为可数无处稠密集的并，因此若能构造 $E_1$ 为可数个集的并，则这其中一定有一个集不是无处稠密的，即有一个集在某一球上稠密。由于 $\frac{\Vert y\Vert }{\Vert A^{-1}y\Vert }$ 对具体的 $y\in E_1$ 必定小于某个正整数，因此若令 $M_k$ 为所有满足 $\Vert A^{-1}y\Vert \le k\Vert y\Vert$ 的 $y\in E$ 的全体，则 $E_1=\bigcup _{k=1}^{\mathrm{\infty }}{M}_k$。即 $E_1$ 可表为可数集的并，因为可设其中的 $M_n$ 在某个球 $B$ 中稠密。

　　 在 $B$ 中选择中心在 $M_n$ 中的球层 $P$：满足不等式 $\beta <\Vert z-y_0\Vert <\alpha$ 的 $z$ 的全体，其中 $0<\beta <\alpha ,y_0\in M_n$。若把该球层中心移到原点便得球层 $P_0=\{z|0<\beta <\Vert z\Vert <\alpha \}$。下面将表明，有某个 $M_N$ 在 $P_0$ 中稠密，且在 $E_1$ 中稠密：设 $z\in P\cap M_n$，则 $z-y_0\in P_0$，且

量 $n(1+2\Vert y_0\Vert /\beta )$ 不依赖于 $z$。令 $N:=1+n[1+2\Vert y_0\Vert /\beta ]$（其中 $[\cdot ]$ 是高斯记号，表示一个数的整数部分）。因而由我们的构造 $z-y_0\in M_N$。进而由 $M_n$ 在 $P$ 中稠密知 $M_N$ 在 $P_0$ 中稠密（$P\subset [M_n]\Rightarrow P_0=P-y_0\subset [M_n]-y_0\subset [M_N]$）。

　　 任意非零元 $y\in E_1$，总有 $\lambda$，使得 $\beta <\Vert \lambda y\Vert <\alpha$，即 $\lambda <P_0$。因为 $M_N$ 在 $P_0$ 中稠密，可以构造收敛于 $\lambda y$ 的序列 $y_k\in M_N$。于是序列 $\frac{1}{\lambda }{y}_k$ 收敛于 $y$。由于对任意的 $\lambda \ne 0$，成立 $\Vert A^{-1}\left(\frac{1}{\lambda }{y}_k\right)\Vert =\frac{1}{\lambda }\Vert A^{-1}{y}_k\Vert \le \frac{1}{\left|\lambda \right|}N\Vert y_k\Vert =N\Vert \frac{y_k}{\lambda }\Vert$，因此 $\frac{y_k}{\lambda }\in M_N$ 对任意的 $\lambda \ne 0$ 成立。 这样一来，任意 $y\in E_1$ 都有 $M_N$ 的收敛到它序列，即 $y\in [M_N]$，从而 $E_1\subset [M_N]$。因此 $M_N$ 在 $E_1/0$ 中稠密，所以 $M_N$ 在 $E_1$ 中稠密（$0\in M_N$）。

　　 级数收敛和算子有界：考虑非零元 $y\in E_1$，由引理 1 ，

其中 $\Vert y_k\Vert <3\Vert y\Vert /2^k$。令

　　 因为

所以 $\sum _{k=m}^n{x}_k=3\Vert y\Vert \frac{1}{2^{m-1}}(1-\frac{1}{2^{n-m+1}})$，对充分大的 $N$，可使 $\sum _{k=m}^n{x}_k$ 对任意 $n,m\ge N$ 成立，即 $\{s_n|s_n:=\sum _{k=1}^n{x}_k\}$ 是柯西序列，由 $E$ 的完备性，级数 $\sum _{n=1}^{\mathrm{\infty }}{x}_k$ 收敛到某一 $x$。从而由 $A$ 的连续性 此外 因为上式对任意 $y\ne 0$ 成立，因此算子 $A^{-1}$ 有界。

　　 证毕！