3.1 逐點收斂與一致收斂：Weierstrass 的 1860 年代#

本章導言#

連續函數列 $\{f_n\}$ 對每個固定的 $x$ 收斂——這個看似無害的假設，藏著十九世紀分析學最大的陷阱：逐點收斂幾乎不保留任何好性質。連續函數可以逐點收斂到不連續函數；積分極限可以不相等。Weierstrass（魏爾斯特拉斯，1815–1897）在 1860 年代柏林講義中鑄造的一致收斂（gleichmässige Convergenz）概念，是為函數列收斂「加上全域同步條件」的關鍵一步。本節講述逐點收斂的失敗案例、一致收斂的定義與歷史。

歷史語境：Cauchy 的「錯誤定理」#

1821 年，Cauchy 在《分析教程》中「證明」了：連續函數的收斂級數之和連續。這個命題是錯的。1826 年，Abel（阿貝爾，1802–1829）在研究二項級數時指出 $1 - \frac12 - \cdots$ 這類 Fourier 型級數的反例，並感嘆「在分析中缺少真正連貫的基礎」。反例的標準形式（今稱 Cauchy 反例）：

\[ f_n(x) = \sum_{k=1}^{n} \frac{\sin(k^2 x)}{k^2}, \qquad \text{或更簡單的} \quad f_n(x) = \frac{1}{1 + n x} \text{（在 } (0,1] \text{ 上）}. \]

Cauchy 本人對批評的回應是修飾定理的敘述（1823、1833 年版本），但公認的解決方案來自 Weierstrass：區分兩種收斂。Seidel（賽德爾，Philipp von Seidel，1821–1896）在 1847–1849 年的講義中已經獨立提出一致收斂的萌芽概念，Stokes（斯托克斯，1819–1903）1847 年也注意到類似現象——但把概念鑄成 $\forall \varepsilon \exists N \forall n > N \forall x$ 的標準形式並系統使用的，是 Weierstrass 的柏林講義（1861 年筆記經學生傳播，1880 年代正式出版）。

逐點收斂：定義與三大反例#

定義（逐點收斂）： $f_n \to f$ 逐點，若對每個固定的 $x$ ： $\lim_{n\to\infty} f_n(x) = f(x)$ 。即 $\forall x \forall \varepsilon \exists N(\varepsilon, x) \forall n > N$ ： $|f_n(x) - f(x)| < \varepsilon$ 。** $N$ 依賴於 $x$ **。

反例一（連續性丟失）： $f_n(x) = x^n$ 在 $[0,1]$ 上逐點收斂到

\[ f(x) = \begin{cases} 0, & 0 \le x < 1, \\ 1, & x = 1. \end{cases} \]

每個 $f_n$ 連續（甚至是多項式），極限卻在 $x = 1$ 處間斷。原因：接近 1 的點需要越大越多的 $n$ 才能擺脫 $x^n$ 的束縛—— $N(\varepsilon, x) \to \infty$ 當 $x \to 1^-$ ，同步性崩潰。

反例二（積分極限失敗）： $f_n(x) = \dfrac{n x}{1 + n^2 x^2}$ 在 $[0,1]$ 上逐點 $\to 0$ ，但 $\int_0^1 f_n = \dfrac{1}{2}\ln(1 + n^2) \cdot \frac{1}{n} \cdot n \to \dfrac{1}{2} \cdot 1 \cdot \ln$ 型：精確計算

\[ \int_0^1 \frac{n x}{1 + n^2 x^2}\,dx = \frac{1}{2n} \ln(1 + n^2) \to 0 \quad \text{（碰巧成立）} \]

——換一個例子就失敗： $f_n(x) = n^2 x (1 - x^2)^{n^2}$ 在 $[0,1]$ 逐點 $\to 0$ （ $x \ne 0$ 處 $(1-x^2)^{n^2} \to 0$ 指數快），但 $\int_0^1 f_n \to \frac12 \ne 0$ （峰值在 $x \sim 1/n$ 高度 $n^2$ 的窄峰貢獻了常數面積）。逐點極限不能穿過積分號。

反例三（導數極限失敗）： $f_n(x) = \dfrac{\sin n^2 x}{n}$ 一致收斂到 $0$ ，但 $f_n'(x) = n \cos n^2 x$ 處處不收斂（甚至發散）。極限與微分不能交換。

一致收斂：Weierstrass 的同步條件#

定義（一致收斂）： $f_n \to f$ 一致（ $f_n \rightrightarrows f$ ），若

\[ \forall \varepsilon > 0 \ \exists N \ \forall n > N \ \forall x \in E: \quad |f_n(x) - f(x)| < \varepsilon, \]

等價地： $\|f_n - f\|_\infty = \sup_{x \in E} |f_n(x) - f(x)| \to 0$ 。

直觀：把 $f_n$ 的圖像放在 $f$ 的圖像上下 $\varepsilon$ 的「管子」裡；一致收斂要求所有曲線最終同時進入管子，不容許任何點「掉隊」。 $N$ 不依賴 $x$ 。

幾何檢驗： $f_n(x) = x^n$ ： $\sup_{[0,1]} |x^n - f(x)| = 1$ 永不縮小（在 $x = 1$ 處差為 1），故不一致收斂。若在 $[0, a]$ （ $a < 1$ ）上， $\sup = a^n \to 0$ ，一致收斂——「除去間斷點附近的走廊，一切安好」。這「壞點走廊」的視角是理解收斂模式的鑰匙。

判準（sup 範數法）：計算 $\sup |f_n - f|$ ；若能求出顯式上界並驗證趨於 0，得一致收斂；若能對每個 $n$ 找到 $x_n$ 使 $|f_n(x_n) - f(x_n)| \ge \varepsilon_0$ ，得不一致收斂。

為什麼一致收斂是「對的」概念：Weierstrass 判別法#

定理（Weierstrass M-判別法）：若 $|f_n(x)| \le M_n$ 對所有 $x$ 與 $n$ ，且 $\sum M_n < \infty$ ，則 $\sum f_n$ 一致（且絕對）收斂。

證明： $\sup_x |\sum_{n > N} f_n(x)| \le \sum_{n > N} M_n \to 0$ （級數餘項趨零）。 $\blacksquare$

定理（一致收斂保連續）：連續函數列 $f_n \rightrightarrows f$ ，則 $f$ 連續。

歷史意義：這兩個定理把 Cauchy 1821 年的「錯誤定理」修復為真命題——條件正是「一致」。級數版的連續性定理（一致收斂級數之和連續）是 Weierstrass 函數（3.3 節）的構造基礎： $W(x) = \sum a^n \cos(b^n \pi x)$ 由 M-判別法一致收斂（ $a < 1$ ， $\sum a^n < \infty$ ），故連續；而 3.3 節將證其處處不可微。

一個具體例題#

例題 3.1.1：研究 $f_n(x) = \dfrac{n x}{1 + n x}$ 在 $[0, 1]$ 上的收斂性質：求逐點極限、判斷是否一致收斂、並檢驗 $\lim_n \int_0^1 f_n\,dx$ 與 $\int_0^1 \lim_n f_n\,dx$ 是否相等。

解： 1. 逐點極限： $x = 0$ 時 $f_n(0) = 0 \to 0$ ； $x \in (0, 1]$ 時 $f_n(x) = \dfrac{x}{1/n + x} \to \dfrac{x}{x} = 1$ 。故

\[ f(x) = \begin{cases} 0, & x = 0, \\ 1, & 0 < x \le 1. \end{cases} \]

一致收斂？ 計算 $\sup_{x \in [0,1]} |f_n(x) - f(x)|$ ： $f$ 在 $(0,1]$ 上為 1，故考慮 $g_n(x) = 1 - \dfrac{nx}{1+nx} = \dfrac{1}{1 + nx}$ 在 $(0, 1]$ 上的 sup。當 $x \to 0^+$ ， $g_n(x) \to 1$ ，故 $\sup = 1$ （未達到但為上確界）。 $\sup \not\to 0$ ，不一致收斂。
積分交換： $$\int_0^1 f_n\,dx = \int_0^1 \frac{nx}{1+nx}\,dx = \int_0^1 \left(1 - \frac{1}{1+nx}\right) dx = 1 - \frac{\ln(1+n)}{n} \to 1.$$ 但 $\int_0^1 f\,dx = 0$ （ $f$ 除單點外為 0，黎曼積分為 0）。不相等： $\lim \int f_n = 1 \ne 0 = \int \lim f_n$ 。
診斷：不一致收斂正是積分交換失敗的元兇；「壞走廊」在 $x \approx 0$ 附近寬度 $\sim 1/n$ 、高度 1，面積 $\sim \ln n / n$ ——有趣的是這裡面積貢獻消失，交換失敗的主因是峰（ $x \sim 1/n$ 附近的跳變區）把 $\int f_n$ 從 0 抬到 1。此例是 5.2 節控制收斂定理反例庫的標準成員。 $\blacksquare$

歷史啟示#

概念的「修補」模式：Cauchy 的錯誤定理 → Abel 的反例 → Weierstrass 的區分，展示了數學如何通過「定理 + 反例 + 修飾條件」的循環進化。正確的概念（一致收斂）不是先驗設計的，而是由反例逼迫出來的。
量詞順序成為數學內容： $\exists N \forall x$ vs $\forall x \exists N$ 的差別決定定理的真假——邏輯細節首次成為分析的實質內容，預示了 20 世紀數理邏輯與分析的深度結合。
獨立發現的三重奏：Seidel（1847 講義）、Stokes（1847）、Weierstrass（1861 講義）各自遇到「同步性」問題；概念的時刻已到，但只有系統使用者（Weierstrass）贏得命名權。

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

2.2 節：一致連續（函數性質的「全域化」）與一致收斂（收斂速度的「全域化」）是同一哲學的兩個化身。
3.2 節：一致收斂下極限與極限、積分、求導的交換定理；以及交換失敗時的各種補救條件（Dini、控制收斂）。
3.3 節：Weierstrass 不可微函數的構造完全建立在本節 M-判別法上。
5.2 節：Lebesgue 的單調收斂與控制收斂定理，把「積分與極限交換」的條件從「一致收斂」放寬為「可積控制」——是本節反例驅動的理論大躍進。
6.2 節：一致收斂在 $C(K)$ 上就是 $\sup$ 範數收斂；函數空間的完備性使其成為 Banach 空間。
《微積分》5.2 節：冪級數在其收斂區間內部一致收斂（半徑的任意緊子區間上），解釋了為何冪級數可以逐項求導——Weierstrass 理論的直接應用。

練習#

證明 $f_n(x) = x^n$ 在 $[0, a]$ （ $a < 1$ ）上一致收斂，在 $[0, 1]$ 上不一致收斂（求出精確的 sup）。
求 $f_n(x) = \dfrac{x}{1 + n^2 x^2}$ 在 $[0, 1]$ 上的逐點極限，判斷一致性，並計算 $\lim \int_0^1 f_n\,dx$ 與 $\int_0^1 \lim f_n$ 。
用 Weierstrass M-判別法證明 $\sum_{n=1}^\infty \dfrac{\sin n x}{n^2}$ 在 $\mathbb{R}$ 上一致收斂，因此其和連續。
構造連續函數列 $f_n$ 在 $[0,1]$ 逐點收斂到 Dirichlet 型間斷函數（提示：分點集用有限集逐步逼近稠密集）。
思考題：若 $f_n \to f$ 逐點且每個 $f_n$ 一致連續（一致 Lipschitz 常數），證明 $f$ 一致連續；指出這個論證何處使用了「一致」的假設。

進階研讀：收斂模式的五個深化場景#

場景一：收斂模式的階層。一致收斂 $\Rightarrow$ 逐點收斂；還有平均收斂（ $L^1$ ： $\int |f_n - f| \to 0$ ）、平方收斂（ $L^2$ ）、依測度收斂（4.3 節）等。兩兩互不蘊含（一致收斂不蘊含 $L^1$ 發散面積的可能？不——一致收斂 + 有限測度蘊含 $L^1$ ；但 $L^1$ 不蘊含逐點，例： $f_n = \mathbf{1}_{[j/2^k, (j+1)/2^k]}$ 的「打字機序列」逐處收斂到 0 失敗但 $L^1 \to 0$ ）。收斂模式的多樣性是 20 世紀積分理論的驅動力。

場景二：Dini 定理的補救。當單調 + 連續極限 + 緊集三條件齊備，逐點收斂自動升級為一致收斂（2.3 節場景一）。Dini 定理在證明函數空間中的逼近定理時省去大量一致性驗證。

場景三：冪級數與解析函數。冪級數 $\sum a_n x^n$ 在 $|x| < R$ 內部緊集上一致收斂，故其和連續、可逐項積分；Weierstrass 用此建立解析延拓理論（《複變函數》），並提出「冪級數是函數論的基本對象」——一致收斂是整座複分析大廈的施工工具。

場景四：一致收斂的拓撲化。 $C(K)$ 上的 $\sup$ 範數收斂即一致收斂；更一般地，「緊開拓撲」（compact-open topology）把一致收斂推廣到非緊定義域（在每個緊子集上一致收斂），是現代同倫論與函數空間拓撲的標準配置。

場景五：Arzelà–Ascoli 與「序列空間」。一致收斂子列的存在性判準（有界 + 等度連續）將 B–W 定理搬到 $C(K)$ ；Peano 存在定理（常微分方程解存在）正是其應用——一致收斂從「修補 Cauchy 定理」成長為「函數空間的緊性理論」。

名詞速查表#

逐點收斂：每點各自收斂， $N$ 依賴 $x$ ；不保留連續性。
一致收斂： $\sup |f_n - f| \to 0$ ， $N$ 與 $x$ 無關；保留連續性。
Weierstrass M-判別法：以數項級數 $\sum M_n$ 控制函數項級數的一致收斂。
一致收斂域：使 $f_n \rightrightarrows f$ 成立的 $x$ 範圍；常是除去「壞點走廊」的集合。
平均收斂（ $L^1$ ）： $\int |f_n - f| \to 0$ ；允許不一致的局部尖峰。
Dini 定理：單調 + 連續極限 + 緊 ⇒ 逐點收斂自動一致。
打字機序列：在 $[0,1]$ 上滑動的區間指標函數； $L^1$ 收斂但逐點處處不收斂的經典反例。

年表速查#

1821：Cauchy「連續函數收斂級數之和連續」的錯誤定理。
1826：Abel 指出反例並批評分析的基礎。
1847：Seidel、Stokes 獨立提出一致收斂萌芽。
1861：Weierstrass 柏林講義鑄成標準定義。
1872：Weierstrass 不可微函數（M-判別法的殺手級應用）。
1885：Weierstrass 逼近定理（多項式一致逼近連續函數）。
1878：Dini 定理。
1889：Arzelà 開始函數空間緊性研究；1902 Ascoli 完成判準。
1902–1910：Lebesgue 以新積分理論放寬交換條件（5.2 節）。

深化問答三則#

問：一致收斂是不是「最強」的收斂？ 答：在常用模式中它最強（蘊含逐點與 $L^1$ ——後者需有限測度），但還有更強的： $C^1$ 收斂（函數與導數同時一致收斂）、 $C^\infty$ 收斂（各階導數皆一致）。強收斂丟失太多對象（多項式列一致收斂到非多項式仍允許，但 $C^1$ 極限必須 $C^1$ ）——理論設計總在「夠強以交換極限」與「夠弱以容納對象」之間平衡。

問：為什麼積分交換需要一致收斂，微分交換反而連一致收斂都不夠？ 答：積分是「平均」操作，對小面積的尖峰不敏感（但 3.1 反例三顯示僅一致收斂時導數可炸）；微分是「局部放大」操作，高頻振盪 $\sin(n^2x)/n$ 一致趨零而導數 $n\cos(n^2x)$ 爆炸。微分交換需要導數列一致收斂（3.2 節定理），這是交換定理的不對稱性根源。

問：Weierstrass 為何堅持「先一致收斂再談其餘」？ 答：他的數學方法論是「算術化」：一切以不等式語言、明確的量詞順序表述。一致收斂是他方法論的旗艦產物——一個由不等式 $\sup |f_n - f| \to 0$ 完全定義、不需幾何直觀的收斂概念。它證明了算術化方法能產生新的數學內容，而不只是整理舊知識。

（本節完）