某些具体空间中集合准紧性判别法.pptVIP

§5 某些具体空间中集合准紧性的判别法; 证 必要性 设 是准紧集，由定理4.2的推论， 有界 故（ⅰ）成立。 现在证明 的等度连续性。任给 ，由于 准紧， 故存在有限的 。因为 在上连 续，故必一致连续，又因 共有有限个， 因此对于上述 ，存在 ，只要 就有 对于 同时成立。任取 ，因 是 的 ，故存在某个 使得 。因此 ;于是当 时， 由于 是任给的，而 又只依赖于 ，故 等度连 续。 充分性 设 有界且等度连续。根据等度连续的定义， 对于任给的 ，存在 ，使得对于 中的任 意两点 ，只要 ，就有 ;对一切 成??。取定自然数 使 ，再将 分成 等份，分点为 。这时 只要 同时属于某个子区间 ，不等式（1）成立。 作为 欧几里得空间 中的点集 由于 有界，故 在 中有界。由这一节例1， 在中准 紧。于是存在 的有限子集 组成 的 ，由 的定义可知，对应于（2）中的 有限集，有 中的有限子集 ;现在证明这个集合构成 的一个 。任取 则点 ，于是存在 ， 使得 因此对每个 ，有 。今任取 ，则 存在某个 使 ，于是 故 ，这表明 确为 的 所以 准紧