l空间紧集的判定【DOC精选】.doc

空间中列紧集的判定 赖宝锋 等度收敛：我们说空间中的子集等度收敛是指对任意，存在一个只与有关的，使得对任意中的元素，都有 定理：设为空间的紧集，则列紧当且仅当有界且等度收敛。 证明：必要性 假设列紧，则完全有界，于是有界，并且对任意，存在的有穷-网：。对任意，存在一个，使得 取，则 ， 对任意，存在，使得，即。于是， 由的任意性，等度收敛。这样，有界且等度收敛。 充分性 根据的完备性，要证明列紧，只需要证明完全有界即可，即证明对任意，都有有穷的-网。 假设有界且等度收敛。那么，对任意，存在只与有关的，使得对任意，都有 我们取。由的有界性，我们得到了的有界性，即为的有界子集。因此，列紧，故完全有界，即有有限的-网：。这样， 就是有限的-网。其中，使得 事实上，任取，则必然存在一个，使得，即 于是， 于是，。这样， 也就是 因此，就是有限的-网。再由的完备性，列紧。结论得证！ 推论：设为中的有界线性算子，其有特征值，而相应的特征函数是的一组标准正交基，为的有界子集，那么列紧只需要收敛，即可。 证明：与同构，我们定义其同构映射为，如下： 为了证明列紧，我们只需要证明列紧，即可。于是，我们只需要证明有界且等度收敛，即可！ 有界，故存在一个常数，使得，对任意，都有。 任取，则 于是，有界，也就是有界。，于是， 由于，因此，这样，，于是，只要收敛，则就能够等度收敛。这样，就是中的紧集，于是，为的紧集。结论得证！