拓扑空间、紧致性与连通性

它解释了为什么连续函数在闭有界区间上总能取得最大值,并且是贯穿分析学的"紧致+豪斯多夫=和闭有界集合一样好"这一抽象引擎。

第一步 — 拉回 $f(K)$ 的任意开覆盖。设 $\{V_i\}_{i \in I}$ 是 $Y$ 中覆盖 $f(K)$ 的任意开集族,即 $f(K) \subseteq \bigcup_i V_i$。由于 $f$ 连续,每个 $f^{-1}(V_i)$ 在 $X$ 中是开的。对每个 $x \in K$,$f(x) \in f(K)$ 落在某个 $V_i$ 中,故 $x \in f^{-1}(V_i)$;因此 $\{f^{-1}(V_i)\}_{i \in I}$ 是 $K$ 的一个开覆盖。

第二步 — 利用 $K$ 的紧致性提取有限子覆盖。由于 $K$ 紧致,这些集合中有限多个已经覆盖 $K$:存在 $i_1, \dots, i_n$ 使得 $K \subseteq f^{-1}(V_{i_1}) \cup \dots \cup f^{-1}(V_{i_n})$。

第三步 — 将有限子覆盖向前推。对两边应用 $f$,得 $f(K) \subseteq f\big(f^{-1}(V_{i_1}) \cup \dots \cup f^{-1}(V_{i_n})\big) \subseteq V_{i_1} \cup \dots \cup V_{i_n}$(始终有 $f(f^{-1}(V)) \subseteq V$)。故 $\{V_{i_1}, \dots, V_{i_n}\}$ 是取自原覆盖的 $f(K)$ 的有限子覆盖。由于 $\{V_i\}$ 是任意的,$f(K)$ 紧致。

第四步 — 推论:豪斯多夫空间的紧致子集是闭集。设 $K \subseteq Y$ 紧致,$Y$ 为豪斯多夫空间,任取 $y \notin K$。对每个 $x \in K$,由豪斯多夫分离性得不相交的开集 $U_x \ni x$ 与 $W_x \ni y$。集合 $\{U_x\}_{x \in K}$ 覆盖 $K$,由紧致性,有限个 $U_{x_1}, \dots, U_{x_n}$ 已覆盖 $K$。此时 $W = W_{x_1} \cap \dots \cap W_{x_n}$ 是有限个开集的交(因而是开集),包含 $y$,且与每个 $U_{x_j}$ 不相交,因而与 $K \subseteq \bigcup_j U_{x_j}$ 不相交。于是 $K$ 外的每一点都有一个与 $K$ 不相交的开邻域:$K$ 的补集是开的,即 $K$ 是闭集。

这才是微积分中介值定理的真正来源——迫使每个中间值都被取到的是连通性,而不是 $f$ 的具体公式,同样的论证对任何连通定义域都成立,而不仅仅是 $\mathbb{R}$ 的区间。

第一步 — 反设 $f(X)$ 不连通。则 $f(X) = A \cup B$,其中 $A, B$ 不相交且非空,each 在 $f(X)$ 的子空间拓扑中都是开的:存在 $Y$ 中的开集 $A', B'$,使 $A = f(X) \cap A'$,$B = f(X) \cap B'$。

第二步 — 将分离拉回到 $X$。令 $P = f^{-1}(A')$,$Q = f^{-1}(B')$。由于 $f$ 连续,$P$ 与 $Q$ 在 $X$ 中是开的。对每个 $x \in X$,$f(x) \in f(X) = A \cup B$,故 $f(x) \in A'$ 或 $f(x) \in B'$,即 $x \in P$ 或 $x \in Q$:因此 $X = P \cup Q$。又 $P$ 与 $Q$ 均非空(因 $A, B$ 非空且被 $f$ 取到),且 $P \cap Q = \emptyset$(若 $x \in P \cap Q$,则 $f(x) \in A' \cap B' \cap f(X) = A \cap B = \emptyset$,矛盾)。

第三步 — 矛盾。$P$ 与 $Q$ 是满足 $X = P \cup Q$ 的不相交非空开集,这恰好是 $X$ 不连通的定义。这与 $X$ 连通的假设矛盾。故 $f(X)$ 不可能不连通:它是连通的。

第四步 — 区间推论。$\mathbb{R}$ 的连通子集恰好就是区间(一个标准事实:任何跳过其两点之间某个实数的子集,都会通过同样的开集分离失去连通性)。由第一至三步,$f(X)$ 连通,故 $f(X)$ 是 $\mathbb{R}$ 的一个区间,因此它包含任意两个元素 $f(a)$ 与 $f(b)$ 之间的每一个实数——经典的介值定理,现在被看作一个纯粹拓扑事实的特殊情形。