2.2 連續函數的拓撲刻畫#

本章導言#

1817 年 Bolzano 給出第一個 $\varepsilon$ – $\delta$ 連續性定義；Weierstrass 在 1860 年代把它鑄成標準語言。但 1900 年前後，數學家發現連續性根本不需要距離：它只是「開集的原像仍是開集」。這一拓撲刻畫使連續性的概念可以搬到函數空間、抽象空間乃至無窮維——現代分析（尤其《泛函分析》）的連續性全部以此表述。本節以 $\varepsilon$ – $\delta$ 為起點，走到開集刻畫，並講連續函數在緊集上的四大定理。

連續性的歷史演變#

時期	人物	連續性的形象	問題
18 世紀	Euler	「由一條筆畫出的曲線」	直觀不可證明
1817	Bolzano	$\varepsilon$ – $\delta$ （未用此記號）	傳播受限
1821	Cauchy	「 $x$ 的無窮小增量給出 $y$ 的無窮小增量」	依賴模糊的無窮小
1860s	Weierstrass	$\forall\varepsilon \exists\delta$ 的量詞化定義	成為標準
1914	Hausdorff	開集原像開集	距離不再必要

現代定義（ $\varepsilon$ – $\delta$ ）： $f: E \to \mathbb{R}$ 在 $x_0 \in E$ 連續，若對任意 $\varepsilon > 0$ 存在 $\delta > 0$ ，使 $x \in E$ 、 $|x - x_0| < \delta$ 時 $|f(x) - f(x_0)| < \varepsilon$ 。

注意兩個與「極限」定義的差別：連續性要求 $f(x_0)$ 有定義且極限等於 $f(x_0)$ ； $\delta$ 允許等於 $x_0$ （ $x$ 可取 $x_0$ 本身，此時不等式自動成立）。

一致連續： $\delta$ 不依賴於點#

定義： $f: E \to \mathbb{R}$ 一致連續，若對任意 $\varepsilon > 0$ 存在 $\delta > 0$ ，使所有 $x, y \in E$ 、 $|x-y| < \delta$ 時 $|f(x) - f(y)| < \varepsilon$ 。

與連續性的差別：連續性中 $\delta = \delta(\varepsilon, x_0)$ （逐點量身訂做）；一致連續中 $\delta = \delta(\varepsilon)$ （全區域通用）。

經典反例： $f(x) = 1/x$ 在 $(0,1)$ 連續但不一致連續（ $x$ 越小同樣 $\varepsilon$ 需要的 $\delta$ 越小，無法統一）； $f(x) = x^2$ 在 $\mathbb{R}$ 連續但不一致連續（ $\delta \sim \varepsilon/(2x)$ 隨 $x$ 縮小）。

定理（Heine，1872）：緊集上的連續函數必一致連續。

證明思想（反證 + 子列）：反設不一致連續：存在 $\varepsilon_0$ 與序列 $x_k, y_k$ 滿足 $|x_k - y_k| < 1/k$ 但 $|f(x_k) - f(y_k)| \ge \varepsilon_0$ 。由緊性取子列 $x_{k_j} \to a \in K$ ，則 $y_{k_j} \to a$ 。連續性給出 $f(x_{k_j}) \to f(a)$ 、 $f(y_{k_j}) \to f(a)$ ，故 $|f(x_{k_j}) - f(y_{k_j})| \to 0$ ，與 $\ge \varepsilon_0$ 矛盾。 $\blacksquare$

連續性的拓撲刻畫#

定理： $f: X \to Y$ （兩個度量空間，或一般拓撲空間）連續 $\iff$ 每個開集 $V \subseteq Y$ 的原像 $f^{-1}(V)$ 在 $X$ 中開。

證明（ $\Rightarrow$ ）：設 $f$ 在每點連續， $V$ 開，取 $x \in f^{-1}(V)$ ，則 $f(x) \in V$ ，由 $V$ 開存在 $\varepsilon$ -球 $B(f(x), \varepsilon) \subseteq V$ ；連續性給出 $\delta$ 使 $B(x, \delta) \cap X \subseteq f^{-1}(B(f(x), \varepsilon)) \subseteq f^{-1}(V)$ 。故 $f^{-1}(V)$ 每點有開鄰域，開。( $\Leftarrow$ )：取 $V = B(f(x_0), \varepsilon)$ ，其原像開，含 $x_0$ ，故含某球 $B(x_0, \delta)$ ，正是 $\varepsilon$ – $\delta$ 定義。 $\blacksquare$

為什麼是原像而不是像：像保持開集的映射稱為開映射，是另一個（更強）的性質。連續函數 $f(x) = x^2$ 把開集 $(-1, 1)$ 映為 $[0, 1)$ ，不開。原像運算與 $\varepsilon$ – $\delta$ 的邏輯結構（量詞方向）吻合： $\delta$ 對應原像那側的選擇自由。

推論（閉集版）： $f$ 連續 $\iff$ 每個閉集的原像閉。（因 $f^{-1}(Y \setminus V) = X \setminus f^{-1}(V)$ ，補集對偶。）

緊性與連續：三大定理#

定理一（極值定理，Weierstrass）： $K$ 緊、 $f: K \to \mathbb{R}$ 連續，則 $f$ 有界且達到最大值最小值。

證明：連續像 $f(K)$ 是 $\mathbb{R}$ 中緊集（連續性 + 覆蓋論證，2.3 節），故 $f(K)$ 閉且有界。設 $M = \sup f(K)$ （1.1 節完備性保證存在）； $M$ 是 $f(K)$ 的聚點，由閉性 $M \in f(K)$ ，即有 $x_M$ 使 $f(x_M) = M$ 。 $\blacksquare$

定理二（Heine 定理）：緊集上連續 $\Rightarrow$ 一致連續（上文已證）。

定理三（中間值定理）： $f$ 在 $[a,b]$ 連續且 $f(a) < c < f(b)$ ，則有 $x \in (a,b)$ 使 $f(x) = c$ 。證明用 $\{f < c\}$ 的最大元素（完備性）或二分法（Bolzano 1817 原證）。

定理四（連通性）：連通集的連續像是連通集； $\mathbb{R}$ 中連通子集恰為區間——這是中間值定理的現代表述。

一個具體例題#

例題 2.2.1：證明 $f(x) = \sqrt{x}$ 在 $[0, \infty)$ 上連續，且在 $[0, \infty)$ 上一致連續——儘管定義域不是緊集。

解： 1. 在 $x_0 > 0$ 連續： $|f(x) - f(x_0)| = \dfrac{|x - x_0|}{\sqrt{x} + \sqrt{x_0}} \le \dfrac{|x-x_0|}{\sqrt{x_0}}$ 。給定 $\varepsilon$ ，取 $\delta = \varepsilon \sqrt{x_0}$ 。 2. 在 $0$ 連續： $|f(x) - 0| = \sqrt{x} < \varepsilon$ 當 $x < \varepsilon^2$ 。取 $\delta = \varepsilon^2$ 。 3. 一致連續：關鍵是 $\delta$ 不能在 $x_0 \to 0^+$ 時按第 1 步的方式塌縮。改用全局不等式：對任意 $x, y \ge 0$ ， $$|\sqrt{x} - \sqrt{y}| = \frac{|x - y|}{\sqrt x + \sqrt y} \le \frac{|x - y|}{\sqrt{|x-y|}} = \sqrt{|x-y|},$$ （用 $\sqrt x + \sqrt y \ge \sqrt{|x-y|}$ ）。故取 $\delta = \varepsilon^2$ ，則 $|x - y| < \delta \Rightarrow |\sqrt x - \sqrt y| < \varepsilon$ ，對所有 $x, y$ 成立。

討論： $[0, \infty)$ 非緊（無界），Heine 定理不適用，但一致連續仍成立——Heine 給的是充分條件不是必要條件。反觀 $f(x) = 1/x$ 在 $(0,1)$ （有界非閉）不一致連續：「不緊」的地方一致連續可能真、可能假，需要逐案驗證。 $\blacksquare$

函數空間中的連續性一瞥#

$C[0,1]$ （ $[0,1]$ 上連續函數全體，賦 $\sup$ 範數）中的收斂是一致收斂（第 3 章）。在這個空間裡：

求值映射 $\mathrm{ev}_x: f \mapsto f(x)$ 是連續的： $|f(x) - g(x)| \le \|f - g\|_\infty$ 。
「有界函數」集 $= \{f : \|f\|_\infty \le B\}$ 是閉集；「多項式」集是線性子空間但不閉（Weierstrass 逼近定理說其閉包是全空間——稠密！）。
微分算子 $D: f \mapsto f'$ 定義在 $C^1[0,1]$ 上，對 $\sup$ 範數不連續： $f_n(x) = \frac{\sin n^2 x}{n}$ 滿足 $\|f_n\|_\infty \to 0$ 但 $\|f_n'\|_\infty = n \to \infty$ 。

最後一條是分析學的第一個深洞：微分是無界算子，它逼迫數學家建立更好的函數空間（Sobolev 空間，10.1 節）與更弱的收斂概念。

歷史啟示#

Weierstrass 的殺手級反例：1872 年他公布處處連續處處不可微的函數（3.3 節），宣告「連續」遠比直觀的「筆畫曲線」寬廣——連續性的嚴格定義不是整理直觀，而是取代直觀。
一致連續是「量化順序」的發明： $\forall\varepsilon\exists\delta\forall x$ 與 $\forall x\forall\varepsilon\exists\delta$ 的差別是純邏輯的，卻造成極值與非極值的分野——量詞順序成為 20 世紀數學的核心敏感點（一致收斂、一致有界、一致橢圓……「一致」氾濫成災）。
拓撲化讓連續性跨出度量世界：從 $\varepsilon$ – $\delta$ 到「開集原像開集」，連續性成為對象之間結構保持的通用概念——範疇論中連續映射、群同態、線性算子都是這個抽象模式的具體化身。

與其他章節及領域的關聯#

2.1 節：本節的「開集」「緊集」全部來自 2.1 的定義與定理。
2.3 節：極值定理的完整證明（連續像緊）需要覆蓋緊性技術。
3.1–3.2 節：函數列收斂的「一致」版本正是本節一致連續思想的平行推廣。
5.3 節：Lusin 定理（可測函數「幾乎」連續）把連續性變成測度論的逼近工具。
6.3 節： $C[0,1]$ 的完備性（一致極限保連續）是希爾伯特空間理論的對照組。
《複變函數》：解析函數的連續性附帶強得多的結構（Cauchy–Riemann 方程）；實分析中的「病態」大多不是複解析的。

練習#

用 $\varepsilon$ – $\delta$ 證明 $f(x) = x^2$ 在 $\mathbb{R}$ 上連續，並證明它在 $\mathbb{R}$ 上不一致連續。
證明： $f$ 在 $(a, b)$ 一致連續 $\iff$ $f$ 可連續延拓到 $[a, b]$ 。
證明連續函數的合成仍連續（ $\varepsilon$ – $\delta$ 版與開集版各證一次）。
證明 $f: \mathbb{R} \to \mathbb{R}$ 連續且 $\lim_{x\to\infty} f(x) = \lim_{x\to-\infty} f(x)$ 存在，則 $f$ 一致連續。
思考題：求值映射 $\mathrm{ev}$ 是連續的，但「求導」不連續。構造 $f_n \to 0$ （一致）、 $f_n'$ 發散的例子並解釋其幾何意義（高頻小振幅振盪）。

進階研讀：連續性的五個深化場景#

場景一：半連續性。 $f$ 下半連續 $\iff$ $\{f > \alpha\}$ 開 $\iff$ $f(x_0) \le \liminf_{x \to x_0} f(x)$ 。下半連續函數在緊集上仍達最小值（不需連續），這是變分法中「極小值存在」證明的標準條件（Dirichlet 原理的修復，10.1 節）。

場景二：連續函數的代數。連續函數之集對加、乘、合成封閉；若 $f$ 連續且處處非零則 $1/f$ 連續。由這些代數性質出發，Stone–Weierstrass 定理（1937）給出 Weierstrass 逼近定理的最一般形式：緊空間上「分離點且含常函數」的函數代數稠密於 $C(K)$ ——逼近理論的集大成。

場景三：處處不連續的怪物。Dirichlet 函數 $\mathbf{1}_{\mathbb{Q}}$ 處處不連續；Thomae 函數（ $f(p/q) = 1/q$ 、 $f(無理) = 0$ ）在無理點連續、有理點不連續——連續點集可以是稠密 Gδ 集。反過來，連續點集可以任意複雜但必是 $F_\sigma$ 集（Young 1903 年完全刻畫）。這些例子鋪設了測度論的問題背景（4.1 節）。

場景四：一致連續與完備化的對話。一致連續映射把 Cauchy 列映為 Cauchy 列，故可延拓到完備化（1.2 節練習 5）；但單純連續映射不行（ $\tan$ 在 $\mathbb{R}$ 連續卻無法延拓到任何緊化的一致意義下）。「一致結構」正是為連續延拓而生的中間層結構。

場景五：無窮維的連續性。線性算子連續 $\iff$ 有界（ $\|Tx\| \le C\|x\|$ ）——線性結構使逐點檢查升級為全局範數不等式。微分算子無界（上文例），因此許多古典問題（Fourier 級數逐項微分）在無窮維中失效（3.2 節交換定理的反例根源）。

名詞速查表#

連續（逐點）： $\forall x_0 \forall \varepsilon \exists \delta$ （ $\delta$ 依點而變）。
一致連續： $\forall \varepsilon \exists \delta \forall x, y$ （ $\delta$ 全域通用）。
下半連續：函數值不會「突然變小」； $\{f > \alpha\}$ 為開集。
開映射：把開集映為開集的映射（比連續更強）。
** $C(K)$ ／ $\sup$ 範數**：緊集上連續函數空間與 $\|f\|_\infty = \sup_K |f|$ 。
Gδ / Fσ 集：可數個開集之交／可數個閉集之併；連續點集必為 Gδ。
Stone–Weierstrass 定理：函數代數在 $C(K)$ 中稠密的判準。

年表速查#

1817：Bolzano 給出連續性與中間值定理的嚴格處理。
1821：Cauchy《分析教程》的連續性定義。
1861：Dirichlet（講義，1863 出版）研究病態函數與連續性。
1872：Heine 一致連續定理；Weierstrass 不可微函數。
1885：Weierstrass 逼近定理（多項式稠密性）。
1903：Young 刻畫連續點集。
1914：Hausdorff 拓撲空間公理與連續性的開集刻畫。
1937：Stone–Weierstrass 定理。

深化問答三則#

問：一致連續為何值得單獨命名？ 答：因為它表達的是「全域剛性」：函數的振盪有統一的尺度。許多重要操作（延拓到完備化、逼近、變分法的直接方法）需要的就是這種剛性；逐點連續允許函數在越來越小尺度上越來越瘋狂（如 $1/x$ 在 0 附近），無法支撐全局論證。

問：開集刻畫真的比 $\varepsilon$ – $\delta$ 更有用，還是只是審美偏好？ 答：實用價值在於脫離度量。無窮維空間、流形、弱拓撲中沒有（合適的）距離，但開集仍在。例如弱收斂（《泛函分析》）、譜理論、分布理論的連續性全部用開集表述。 $\varepsilon$ – $\delta$ 是度量空間中的計算形式，開集刻畫是概念本體。

問：緊集上的三大定理（極值、一致連續、中間值）哪個最依賴緊性？ 答：極值定理與 Heine 定理徹底依賴（去掉緊性立即出反例）；中間值定理依賴的是連通性而非緊性（ $f$ 在開區間 $(0,1)$ 上連續，介值性質照樣成立）。分清「哪個定理用哪個結構性質」是現代分析基本功。

（本節完）