3.2 一致收斂下的交換定理#

本章導言#

「極限與極限、積分、微分、求和能否交換順序？」——這是分析學的中心問題。一致收斂給出第一批完整答案：連續性保持、極限交換、積分交換；但微分交換需要更強的條件。本節系統整理交換定理，展示每一條定理背後的反例（告訴我們條件缺一不可），並引入 Dini 定理與 Arzelà–Ascoli 定理作為「交換性」理論的高峰。歷史上，這批定理是 Weierstrass 學派的招牌成果，也是 Lebesgue 積分（第 5 章）要超越的起點。

定理一：一致極限保連續#

定理： $f_n \rightrightarrows f$ 於 $E$ ，每個 $f_n$ 在 $E$ 連續，則 $f$ 連續。（3.1 節已證，三段 $\varepsilon/3$ 控制。）

反例（條件必要的檢驗）： $f_n(x) = x^n$ 在 $[0,1]$ 逐點收斂（非一致）到間斷函數——非一致逐點收斂不保連續。

定理二：極限的交換（雙重極限）#

定理：若 $f_n \rightrightarrows f$ 於 $E$ ，且對每個 $n$ ： $\lim_{x \to x_0} f_n(x) = A_n$ 存在（ $x_0$ 是 $E$ 的聚點），則： 1. 數列 $A_n$ 收斂（記極限為 $A$ ）； 2. $\lim_{x \to x_0} f(x) = A$ 。

換言之： $\displaystyle\lim_{n \to \infty} \lim_{x \to x_0} f_n(x) = \lim_{x \to x_0} \lim_{n \to \infty} f_n(x)$ 。

證明思想：給 $\varepsilon$ ，取 $N$ 使 $m, n > N$ 時 $\|f_m - f_n\|_\infty < \varepsilon$ ；令 $x \to x_0$ 得 $|A_m - A_n| \le \varepsilon$ （ $A_n$ 是 Cauchy 數列，收斂）；再固定 $n = N+1$ ，用 $|f(x) - A| \le |f(x) - f_{N+1}(x)| + |f_{N+1}(x) - A_{N+1}| + |A_{N+1} - A|$ 三段控制。 $\blacksquare$

反例： $f_n(x) = \dfrac{\sin nx}{\sqrt n}$ 在 $\mathbb{R}$ 上逐點 $\to 0$ （且 $\|f_n\|_\infty = 1/\sqrt n \to 0$ ，一致收斂）。此例其實交換成立（兩側皆 0）——換一個： $f_n(x) = \dfrac{nx}{1 + n^2 x^2}$ 逐點 $\to 0$ ，但 $\lim_{x \to 0} f_n(x) = 0$ 、交換亦成立。真正需要反例的是積分（下一定理）。

定理三：積分與極限的交換#

定理：若 $f_n \rightrightarrows f$ 於 $[a, b]$ ，每個 $f_n$ 可積（Riemann），則 $f$ 可積且

\[ \lim_{n \to \infty} \int_a^b f_n(x)\,dx = \int_a^b f(x)\,dx. \]

證明思想： $\left| \int f_n - \int f \right| \le (b - a) \sup |f_n - f| \to 0$ 。一致性使「逐點誤差」乘上有限長度後仍受控。 $\blacksquare$

兩個經典反例（非一致時失敗）：

$f_n(x) = n^2 x (1 - x^2)^{n^2}$ ：逐點 $\to 0$ ，但 $\int_0^1 f_n \to \dfrac{1}{2}$ 。峰值高 $n^2$ 、寬 $\sim 1/n$ 的移動尖峰。面積不消失。
$f_n = \mathbf{1}_{[0, 1/n]}$ （指標函數）：逐點 $\to 0$ （除 $x=0$ ）， $\int = 1/n \to 0$ （此例交換成立）。再看 $f_n = n \mathbf{1}_{(0, 1/n)}$ ：逐點 $\to 0$ ， $\int = 1 \ne 0$ 。尖峰越來越高越窄是交換失敗的標準幾何形象。

歷史註記：這條定理的 Riemann 積分版本由 Duhamel 與 Weierstrass 學派定型；但 Riemann 積分框架下交換失敗的例子俯拾皆是，成為 Lebesgue（1902）革命的動機——控制收斂定理（5.2 節）只要求「 $|f_n| \le g$ 可積」，把交換條件從「全域一致性」放寬到「可積支配」，是本節定理的偉大推廣。

定理四：微分與極限的交換（需更強條件）#

定理：設 $f_n$ 在 $[a,b]$ 可微、 $f_n(x_0)$ 在某一點 $x_0$ 收斂、且導數列 $f_n' \rightrightarrows g$ 一致收斂。則 $f_n$ 一致收斂到可微函數 $f$ ，且 $f' = g$ ：

\[ \left( \lim_{n \to \infty} f_n \right)' = \lim_{n \to \infty} f_n'. \]

證明思想：由微積分基本定理， $f_n(x) = f_n(x_0) + \int_{x_0}^x f_n'(t)\,dt$ 。 $f_n'$ 一致收斂於 $g$ ，由定理三交換積分極限： $$f(x) := \lim f_n(x_0) + \int_{x_0}^x g(t)\,dt, \quad \text{且} \quad f_n \rightrightarrows f.$$ 由微積分基本定理（ $g$ 連續時） $f' = g$ 。 $\blacksquare$

為何條件是「 $f_n'$ 一致收斂」而不是「 $f_n$ 一致收斂」：

反例一： $f_n(x) = \dfrac{\sin n^2 x}{n}$ ： $\|f_n\|_\infty = 1/n \to 0$ ， $f_n \rightrightarrows 0$ ；但 $f_n'(x) = n \cos n^2 x$ 不收斂。一致收斂的函數列，導數可以徹底爆炸——高頻小振幅。

反例二： $f_n(x) = x^n$ 在 $[0,1]$ 一致收斂？不（3.1 節）。改在 $[0, 1)$ 上逐點收斂到 0，導數 $n x^{n-1}$ 在 $x = 1$ 附近爆炸。

歷史背景：這條定理的不對稱性（積分好換、微分難換）使十九世紀數學家把冪級數逐項微分視為奇蹟——而它之所以合法，是因為冪級數的導數級數在收斂區間內部仍一致收斂（半徑不變），恰好滿足本定理條件。Weierstrass 由此建立了嚴格的解析函數理論。

Dini 定理：免費的一致性#

定理（Dini，1878）：設 $K$ 緊、 $f_n$ 連續、 $f_n \to f$ 單調（如逐點遞增）、 $f$ 連續。則 $f_n \rightrightarrows f$ 。

證明：給 $\varepsilon$ ，令 $g_n = f - f_n \ge 0$ 。對每個 $x$ 存在 $n_x$ 使 $g_{n_x}(x) < \varepsilon/2$ ；由 $f$ 連續（故 $g_{n_x}$ 連續）與單調性，此不等式在 $x$ 的某鄰域對所有 $n \ge n_x$ 成立。開集族 $\{U_x\}$ 覆蓋 $K$ ，取有限子覆蓋 $U_{x_1}, \ldots, U_{x_m}$ ，令 $N = \max n_{x_i}$ 。則 $n > N$ 時 $g_n < \varepsilon$ 於全 $K$ 。 $\blacksquare$

注意條件的脆弱性：去掉「 $f$ 連續」（ $f_n = x^n$ ，極限間斷）或「 $K$ 緊」（ $f_n(x) = x/n$ 於 $\mathbb{R}$ ，單調、極限連續但不一致）或「單調」（ $f_n(x) = \frac{x(1-x)^n}{n} \cdot$ ？構造： $f_n$ 為移動尖峰 $n \cdot \mathbf 1$ 型連續化，逐點 $\to 0$ 連續但不一致），定理皆失效。

Arzelà–Ascoli 定理：交換理論的明珠#

定理（Arzelà 1889 / Ascoli 1883–1895，現代形式）： $\{f_n\} \subseteq C([a,b])$ 一致有界（ $\|f_n\|_\infty \le M$ ）且等度連續（ $\forall \varepsilon \exists \delta: |x - y| < \delta \Rightarrow |f_n(x) - f_n(y)| < \varepsilon$ 對所有 $n$ ），則存在一致收斂子列。

證明骨架：取稠密序列 $\{q_j\} \subseteq [a,b]$ （如有理數）。在 $q_1$ 的值有界，取收斂子列；在其上取 $q_2$ 處收斂的子子列；……得對角子列在所有 $q_j$ 收斂。等度連續性把「稠密集收斂」升級為「全區間一致收斂」（Lebesgue 數式論證：對 $\varepsilon$ 取 $\delta$ ，用有限個 $\delta$ -球蓋住 $[a,b]$ ，對角子列在球心已收斂）。 $\blacksquare$

意義：這是 Bolzano–Weierstrass 定理（1.3 節）在函數空間的正確版本——「有界」不夠，要加「等度連續」抵禦高頻振盪（反例： $f_n = \sin nx$ 有界但無一致收斂子列）。它是常微分方程 Peano 存在定理（1890： $f$ 連續即有解，用 Euler 折線逼近 + Arzelà–Ascoli）的引擎，也是《泛函分析》緊算子理論的原型。

一個具體例題#

例題 3.2.1：設 $f_n(x) = \displaystyle\sum_{k=1}^{n} \frac{\sin(kx)}{k^3}$ 。（1）證明 $f_n$ 一致收斂到連續函數 $f$ ；（2）證明 $f$ 可微且 $f'(x) = \displaystyle\sum_{k=1}^{\infty} \frac{\cos(kx)}{k^2}$ ；（3）判斷 $f'$ 是否在 $\mathbb{R}$ 上有界。

解： 1. $|f_n(x) - f(x)| \le \sum_{k > n} k^{-3} \le \int_n^\infty t^{-3} dt = \frac{1}{2n^2} \to 0$ ，一致收斂（與 $x$ 無關）。由定理一， $f$ 連續。 2. 各項導數 $g_k(x) = \cos(kx)/k^2$ ，且 $|g_k| \le 1/k^2$ ， $\sum 1/k^2 < \infty$ ：由 Weierstrass M-判別法，導數級數 $\sum g_k$ 一致收斂於某 $g$ 。各 $f_n$ 可微、 $f_n(0) = 0$ 收斂，由定理四： $f' = g = \sum_{k=1}^\infty \cos(kx)/k^2$ 。 3. $\sum \cos(kx)/k^2$ 一致收斂，故 $g$ 連續（定理一）；連續函數在緊集 $[0, 2\pi]$ 上有界（2.2 節極值定理），週期延拓到 $\mathbb{R}$ 有界。事實上 $g(x) = \frac{\pi^2}{6} - \frac{\pi x}{2} + \frac{x^2}{4}$ （ $x \in [0, 2\pi]$ ，由 $\sum \cos(kx)/k^2$ 的 Fourier 公式），最大值 $\pi^2/6$ 。 $\blacksquare$

方法論總結：本例的流程——「原級數 M-判別 → 連續性；導數級數 M-判別 → 定理四 → 逐項微分；導數一致收斂 → 連續 → 有界」——是十九世紀「級數逐項操作」合法性的標準檢驗流水線。

歷史啟示#

交換性是分析學的「法律系統」：何時可以改變運算順序（ $\lim\lim$ 、 $\int\lim$ 、 $\frac{d}{dx}\lim$ 、 $\sum$ 與 $\int$ ），決定了哪些形式計算合法。Weierstrass 學派把這套法律明文化，形式計算從此有法可依。
條件清單的文化：每條交換定理都伴隨「去掉某條件即失敗」的反例集——現代數學教科書「定理 + 反例」的寫作傳統源於此。
從交換性到存在性：Arzelà–Ascoli 把交換理論升級為存在性理論（收斂子列存在 → 微分方程解存在），顯示「控制收斂行為」與「證明對象存在」是同一件事的兩面——Lebesgue 積分（第 5 章）與 Sobolev 空間（10.1 節）都沿這條路走。

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

3.1 節：本節全部以一致收斂定義為基礎。
5.2 節：單調收斂、控制收斂定理把積分交換條件大幅放寬——本節定理三是其 Riemann 時代的先行版。
6.2 節： $C(K)$ 完備性（一致 Cauchy 列收斂於連續函數）是本節定理群的空間化。
10.1 節：微分交換的困難引出 Sobolev 空間的「弱導數」——在更弱的意義下導數極限總可交換。
《微積分》5.2 節：Taylor 級數逐項積分的合法性來自本節。
機率論：特徵函數逐點收斂 → 分布函數收斂（Lévy 連續性定理）是「交換性問題」在機率論的化身。

練習#

證明 $f_n(x) = \dfrac{\sin nx}{n}$ 一致收斂於 0，但 $f_n'$ 處處不收斂；解釋這對定理四條件必要性的意義。
設 $f_n(x) = \displaystyle\sum_{k=1}^n \dfrac{x^k}{k^2}$ 。證明 $f_n$ 在 $[-1, 1]$ 一致收斂，且極限函數在 $(-1, 1)$ 可微並逐項求導。
用 Dini 定理證明： $f_n(x) = (1 - x/n)^n \uparrow e^{-x}$ 的收斂在每個 $[0, A]$ 上一致（驗證條件）。
證明 Arzelà–Ascoli 定理中的對角線論證（從稠密序列出發完整寫出）。
思考題：構造 $f_n \rightrightarrows f$ 、每個 $f_n$ 可微、但極限 $f$ 不可微的例子（提示： $f_n(x) = \sum_{k=1}^n \frac{\sin(k^2 x)}{k^2}$ 的部分和一致收斂；檢驗極限是否可微，或用摺疊函數構造）。

進階研讀：交換定理的五個深化場景#

場景一：控制收斂的階梯。Riemann 時代：一致收斂（強而窄）。Lebesgue 時代（1902–1910）：單調收斂、控制收斂（寬而深）。DCT 涵蓋「移動尖峰」的反例嗎？不—— $n^2 x(1-x^2)^{n^2}$ 無可積控制（峰值 $n^2$ 逃逸）；但 Fatou 引理告訴我們 $\int \liminf \le \liminf \int$ 失敗的方向。交換理論的完全體見 5.2 節。

場景二：級數的逐項運算總表。冪級數：內部緊集上一致 → 逐項積分、微分皆合法（半徑不變）。三角級數：係數 $n^{-2}$ 型 → 一致； $n^{-1}$ 型 → 僅逐點（可能不絕對），需 Dirichlet 判別法（一致收斂的條件版本）。Fourier 級數逐項微分的合法性問題（ $\sum n \cos nx$ 發散）正是 10.2 節調和分析的核心。

場景三：Peano 與 Picard 的兩條路。常微分方程 $y' = f(x, y)$ ：Picard（1890）用壓縮映射（Lipschitz 條件 + Banach 不動點，1.2 節）得唯一解；Peano 用 Euler 折線 + Arzelà–Ascoli 得存在性（僅連續條件）。交換/收斂技術直接轉化為存在性定理——分析學的「技術即理論」。

場景四：一致收斂的失效地帶。Fourier 部分和 $\sum_{k \le n} \sin(kx)/k$ 在 $x \to 0^+$ 時 $\to \pi/2$ （Dirichlet 積分），但收斂在 $x = 0$ 附近非一致（Gibbs 現象，1899：跳躍點附近 9% 的過衝永不消失）。「逐點好、一致壞」的具體形象，是數值分析中譜方法的收斂階層問題來源。

場景五：從交換定理到算子理論。交換問題的現代形式：算子 $T$ （求導、積分、乘法）與極限 $\lim$ 的交換。有界算子在一致拓撲下交換（ $\|T f_n - T f\| \le \|T\| \|f_n - f\|$ ）；無界算子（微分）需要定義域問題——這是《泛函分析》閉算子理論的起點，交換性從「不等式技巧」成長為「算子結構理論」。

名詞速查表#

交換定理：允許調換極限與其他運算順序的定理。
Dini 定理：單調逐點收斂 + 連續極限 + 緊集 ⇒ 一致收斂。
等度連續：一族函數共享連續模 $\delta(\varepsilon)$ ；相對緊性的關鍵。
對角論證：逐步取子列、取對角元素的收斂子列技術。
Gibbs 現象：Fourier 部分和在跳躍點附近的固定過衝。
Dirichlet 判別法（一致版）：部分和一致有界 + 係數單調趨零 ⇒ 一致收斂。
Peano 存在定理：連續向量場必有（未必唯一）解；Arzelà–Ascoli 的應用。

年表速查#

1821：Cauchy 交換性定理的最初（錯誤）版本。
1826：Abel 反例。
1847–1861：Seidel、Stokes、Weierstrass 鑄成一致收斂。
1878：Dini 定理。
1883–1895：Ascoli、Arzelà 建立函數空間緊性判準。
1890：Peano 存在定理；Picard 逐次逼近法。
1899：Gibbs 現象的精確分析（Wilbraham 1848 首次觀察）。
1902：Lebesgue 積分把交換理論推向新高度（5.2 節）。

深化問答三則#

問：為什麼微分交換的條件落在導數列上，而不是函數列上？ 答：導數是「除以微小增量」的操作，放大一切高頻誤差；若導數列本身收斂良好（一致），誤差增長受到控制，函數列自然收斂到可微極限（由微積分基本定理重構）。條件放在被放大的對象上——這是「控制最脆弱環節」的工程原則。

問：Dini 定理的「免費一致性」為何沒有取代一般的 M-判別法？ 答：Dini 需要單調 + 連續極限 + 緊集，三個條件在應用中常缺一（級數部分和未必單調、極限未必連續、定義域未必緊）。M-判別法只看係數級數，條件廉價且普適。兩者分工：Dini 用於「已知單調逼近」的場景（迭代法、逼近理論），M-判別用於「級數構造」的場景。

問：Arzelà–Ascoli 的「等度連續」可以去掉嗎？ 答：不能。 $f_n(x) = \sin nx$ ：一致有界、每個都連續（甚至光滑）、但無一致收斂子列（高頻振盪不停）。等度連續性正是「共享振盪尺度」的條件——它是函數空間版本的「全有界」（2.1 節場景），也是無窮維緊性理論的第一課。

（本節完）