第二讲列紧性、常用线性赋范空间.pdfVIP

3 列紧性  紧  度量空间 中的子集 称为紧的，是指 的任意开覆盖都有有限的 子覆盖。若度量空间 紧，则称度量空间 是紧空间。  度量空间 中的子集 称为列紧的，是指 的任意序列都有子列在 中收敛；度量空间 中的子集 称为自列紧的，是指 的任意序 列都有子列在 中收敛。若度量空间 列紧，则称度量空间 是列 紧空间。  对于全空间来说，列紧和自列紧是一样的。  命题1  中的有界集是列紧集， 中的有界闭集是自列紧集。  命题2  列紧空间的子集是列紧的；列紧空间的闭子集是自列紧的。  命题3  列紧空间是完备的。  证明 若Cauchy 列有收敛子列，则它自身收敛。  ‐网，有穷 ‐网，完全有界，可分  定理 1  （Hausdorff）度量空间 的子集 列紧，则 完全有 界；完备度量空间 的子集 完全有界，则 列紧。    证明  （1）反证，若 不完全有界，则存在 ，使得 无有 限 ‐ 网 。 从 而 ， 则 无收敛子列。  (2)  任取 中序列 ，对 的 1‐网， 及 的子列 ；对 的 1/2‐网， 及 的子列 ； ，对 的1/k‐网， 及 的子列 ； ，则对角线子列 是 Cauchy 列， 由 完备知 收敛。  命题4 完全有界的度量空间 可分的。  证明 记 是 的 ‐网，则 就是可数稠子集。  推论  列紧度量空间可分。  定理2 度量空间 的子集 是紧的充要条件是 自列紧。  证明  （a ） 闭。 ， ，所以 存在 使得 ，令 ，则 ，从而 开，所以 闭。  （b ）若 无收敛子列，则 闭，所以 闭，由 知 有 ，即 矛盾。  ，设 是一个开覆盖，它不能选出有限子覆盖。由 完全有界知 有 ‐网 ，且至少有一个 不被有限个 覆盖，由 自列紧知 有子列 收 敛于 ，从而 充分大之后 ，矛盾。  推论  度量空间 是紧的充要条件是 列紧  中列紧的刻画  紧度量空间， ，特例 有界，   命题5   是完备