-泛函【DOC精选】.docVIP

泛函分析课程论文 8.2-4定理（紧延拓） 由赋范空间到Banach空间中的紧线性算子具有紧线性延拓，这里，是的完备化（见2.3-2）。 证明：可以认为是的子空间，见定理2.3-2.因为是有界的（见8.1-2），故它具有有界线性延拓，见2.7-11.我们证明的紧性蕴含也是紧的。为此，考察中任有界序列，并证明有收敛的子序列。 因在中稠密，故在中存在序列使。显然，也是有界的。因是紧的，故有收敛子序列。命 （3） 现因蕴含。是线性和有界的，故它也是连续的。于是得（见1.4-8） 。 由（3）式，这点就蕴含。我们证明了任何有界序列有子序列使收敛。由8.1-3，这就证明了的紧性。 本章末我们将看到紧性算子出现在实际和理论上都极重要的一些算子方程中。这些方程的可解性的一般理论，实质上又要利用到伴随算子。最关键的联系是紧性算子的伴随算子本身是紧的这一事实。下面证明紧线性算子的这一重要性质，然后，在下一节中，着手讨论这些算子的谱。 8.2-4 定理（伴随算子） 设是线性算子。如果是紧的，则它的伴随算子也是紧的，这里，，是赋范空间，，的对偶空间（见2.10-3）。 证明：考察的任意有界集，比如说， ， 并证明值域是全有界的，因为是完备的（见2.10-4），由8.2-2（b），于是是相对紧的。 因此，必须证明，对任意固定的，值域有有穷-网。因为是紧的，单位球 的值域是相对紧的。因此，由8.2-2（a），是全有界的。从8.2-2（c）得出，存在的有穷-网.这里，。这意味着含有点，使得对每个，满足 （4） ，对某个 定义线性算子 (5) 按假设是有界的，由8.1-2（a），是有界的。因此，由8.1-4，是紧的。因是有界的，是相对紧的。因此，由8.2-1（a），是全有界的。由8.2-2（c），它自身含有一个有穷-网，这里，。这意味着，对每个满足 （6），对某个。 这里，是上的范数。我们将证明是所要求的的-网。于是证明完成。 从（5）式和（6）式立即看出，对每个和每个存在一个使得 （7） ， 命是任意的，则存在一个使（4）式成立。命是任意的，则存在一个使（6）式成立。因此对此和每个，（7）式成立。于是，得 因为此式对每个成立，且按的定义有，等等，于是我们最后得到 这证明是的-网。因是任意的，则是全有界的。因此，由8.2-2（b），它是相对紧的。因为是的任意有界子集，由定义8.1-1，这就证明了的紧性。