用户: Ruiqi chen/CoursesNotes/数学分析 I (实验班)/Oct 7 2024

正文

引理 1. 为闭集.

证明. 若否, 则存在 使得对任意 , 有 , 从而存在 则有:

1.

2.

, 此时有 , 从而存在 使得 , 此时

从而 , 矛盾.

推论 2. 闭包 是包含 的最小闭集.

引理 3. 度量空间中的集合为闭集当且仅当 , 满足 , 均有 .

证明. 为闭集, 则对任意 , 存在 , 与 矛盾.

, 满足 , 均有 . 反设 不闭, 则有 , 对任意 , 从而 , 矛盾.

定义 4., 若存在 , 则称 为内点, 的全体内点记作 . 定义边界点集为 .

推论 5. 边界点集是闭集.

证明. 可得.

定义 6 (连续映射). 拓扑空间 的映射 是连续的, 如果对任意 , 有 .

引理 7. 假定 是从度量空间 的映射, 则 是连续的等价于作为度量诱导的拓扑空间间的映射是连续的.

证明. 假定 是度量空间间的连续映射, 假定 中的开集, 要证明 中的开集, 取 , 此时 , 从而存在 使得 , 依连续定义: (1), 从而 , 故 是开集.

假设开集的原像集是开集, 在 中取收敛列 , 要证明 . 注意到 中的开集, 从而存在 使得 , 从而存在 使得 时有 , 从而 , 故 .

定义 8 (稠密). 是拓扑空间, , 如果 , 则称 中稠密.

注 9. (考察度量空间情形) 连续函数的取值由稠密子集上的取值决定. (2)

定义 10 (开覆盖). 为拓扑空间 的子集, 的一个开覆盖, 若 中的开集, 且 , 则称 的开覆盖.

一个开覆盖 的子覆盖是指 , 使得 仍是 的开覆盖.

如果 的任意开覆盖都有有限子覆盖 , 则称 是紧的.

命题 11. 是拓扑空间 的连续映射, 若 为紧集, 则 为紧集.

证明. 的开覆盖 , 由 的连续性知 的开覆盖, 从而存在有限子覆盖 , 从而 的有限子覆盖.

定理 12 (Cantor 闭集套定理). 中的有界闭集, 且 , 则 .

证明. 去除 中相同的点, 取 , 点列 有界, 故依赖 Bolzano-Weierstrass 定理有收敛子列 , 当 足够大时 , 故对任意 , 从而 .

定理 13 (Heine-Borel 定理). 为紧集当且仅当 为有界闭集.

证明. 假定 是紧集, 取开覆盖 的开覆盖, 从而存在有限子覆盖, 从而 有界. 对 , 取开覆盖 , 存在有限子覆盖, 从而存在 , 从而 为闭集.

假定 为有界闭集, 而 的开覆盖而不存在有界子覆盖, 考察边长为 的方块 , 此时 有界闭且 有限, 此时存在某个 不能被有限个 覆盖, 记作 , 降低方块边长为一半, 同理递归构造 , 则每个 均不能被有限个 覆盖, 依赖 Cantor 定理知存在 , 从而有 使得 , 依赖 为开集知存在 使得 , 而 知此时存在 与不能被有限个 覆盖矛盾.

推论 14 (列紧性与有界性)., 若对于任意点列 , 存在收敛子列 , 且 , 则 为列紧的.

为列紧当且仅当 为紧集.

推论 15. 对度量空间 , 为紧集则 有界闭.

紧集当且仅当 列紧.

定义 16 (一致连续). 上一致连续, 若: (3)也即 无关的连续.

例 17. 上的函数 不是一致连续的.

定理 18. 中紧集 上的连续函数 一致连续.