泛函分析复习笔记（三）紧算子与Fredholm算子

Chapter 3 紧算子与Fredholm算子

紧算子：$\mathcal{X},\mathcal{Y}$ $B$ 空间, $A:\mathcal{X}\to \mathcal{Y}$ 线性. 称 $A$ 是紧算子, 如果 $\overline{A\left(B_1\right)}$ 在 $\mathcal{Y}$ 中是紧集, 其中 $B_1$ 是 $\mathcal{X}$ 中的单位球.
一切紧算子的集合记作 $\mathfrak{C}(\mathcal{X},\mathcal{Y})$, 当 $\mathcal{X}=\mathcal{Y}$ 时, 记作 $\mathfrak{C}(\mathcal{X})$

注：$A$紧$\iff$对于 $\mathcal{X}$ 中的任意有界集 $B,\overline{A(B)}$ 在 $\mathcal{Y}$ 中是紧集$\iff$对任意有界点列 { x n } ⊂ X , { A x n } \left\{x_{n}\right\} \subset \mathscr{X},\left\{A x_{n}\right\} { xn​}⊂X,{ Axn​} 有收敛子列（紧等价于自列紧）
性质：
(1) $\mathfrak{C}(\mathcal{X},\mathcal{Y})\subset \mathcal{L}(\mathcal{X},\mathcal{Y})$且闭
(2) $\mathfrak{C}(\mathcal{X},\mathcal{Y})$是线性空间
(3) 设 $A\in \mathfrak{C}(\mathcal{X},\mathcal{Y})$, 又设 ${\mathcal{X}}_0\subset \mathcal{X}$ 是一个闭线性子空间, 那么 $A_0\triangleq A\mid {\mathcal{X}}_0\in \mathfrak{C}\left({\mathcal{X}}_0,\mathcal{Y}\right)$
(4) 若 $A\in \mathfrak{C}(\mathcal{X},\mathcal{Y})$, 则 $R(A)$ 可分
(5) 若 $A\in \mathcal{L}(\mathcal{X},\mathcal{Y})$, 而 $B\in \mathcal{L}(\mathcal{Y},\mathcal{Z})$, 并且这两个算子中 有一个是紧的, 则 $BA\in \mathfrak{C}(\mathcal{X},\mathcal{Z})$.

全连续：$x_n\rightharpoonup x⟹A{x}_n\to Ax$

命题：紧算子必定全连续，自反空间中的全连续算子必定紧

定理：$T\in \mathfrak{C}(\mathcal{X},\mathcal{Y})⟺T^{\ast }\in \mathbb{C}\left({\mathcal{Y}}^{\ast },{\mathcal{X}}^{\ast }\right)$

紧算子的构造：

有穷秩算子： 设 $T\in \mathcal{L}(\mathcal{X},\mathcal{Y})$, 若 $\dim R(T)<\infty$，一切有穷秩算子的集合记作 F ( X , Y ) F(\mathscr{X}, \mathscr{Y})