数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷6)

卷六拓扑与分析基础

数学分析的诞生源于对无穷小与极限的精密追问，而拓扑学则是将"连续性"本身剥离为最纯净的公理形式。本卷将这两条大河汇流一处：从拓扑空间的开集公理出发，建立连通与紧致的骨架；进而引入度量，让抽象的点获得距离的灵魂；再以实数完备性的六大等价命题为镜，映照出完备度量空间与泛函分析的雏形；最后，我们踏入测度论的公理殿堂，一窥勒贝格如何用可列可加性驯服了长度、面积与积分的野性。这趟旅程将彻底重塑你对"空间"的认知------点不再仅是坐标，极限也不再是 ε\varepsilonε-δ\deltaδ 的游戏，它们都是公理羽翼下的定理之鸟。

第二十一章拓扑空间公理

21.1 从距离到开集：拓扑的起源与公理体系

在古典分析中，连续性通过距离和 ε\varepsilonε-δ\deltaδ 语言被精确定义：f(x)f(x)f(x) 在 x0x_0x0 连续，当且仅当对任意 ε>0\varepsilon>0ε>0，存在 δ>0\delta>0δ>0 使得 ∣x−x0∣<δ|x-x_0|<\delta∣x−x0∣<δ 蕴含 ∣f(x)−f(x0)∣<ε|f(x)-f(x_0)|<\varepsilon∣f(x)−f(x0)∣<ε。这一表述完全依赖于实数的距离函数。然而，随着数学的发展，人们逐渐意识到，许多关于连续性的本质性质------如连通性、紧致性、收敛性------并不需要具体的数值距离，而只需知道哪些集合是"开"的。例如，在 Rn\mathbb{R}^nRn 中，开集恰好是那些包含每个点的一个小邻域的集合，连续映射恰好将开集的原像保持为开集。这一观察促使弗雷歇（M. Fréchet, 1906）引入了度量空间，而豪斯多夫（F. Hausdorff, 1914）则在《集合论基础》中迈出了决定性的一步：直接用开集族满足的公理来定义拓扑空间。与此等价，库拉托夫斯基（K. Kuratowski）在 1922 年用闭包算子公理刻画了拓扑。这些公理化方法彻底解放了几何与分析，使得同胚、紧致、连通等概念获得了普适的定义。

定义 21.1.1（拓扑空间） 设 XXX 是一个非空集合。一个子集族 O⊆P(X)\mathcal{O} \subseteq \mathcal{P}(X)O⊆P(X) 称为 XXX 上的一个拓扑，当且仅当它满足以下三条公理：

包含空集与全集 ：∅∈O\emptyset \in \mathcal{O}∅∈O 且 X∈OX \in \mathcal{O}X∈O；
任意并封闭 ：对任意指标集 III 及任意族 {Ui}i∈I⊆O\{U_i\}{i\in I} \subseteq \mathcal{O}{Ui}i∈I⊆O，有 ⋃i∈IUi∈O\bigcup{i\in I} U_i \in \mathcal{O}⋃i∈IUi∈O；
有限交封闭 ：对任意有限指标集 {1,...,n}\{1,\dots,n\}{1,...,n} 及 U1,...,Un∈OU_1,\dots,U_n \in \mathcal{O}U1,...,Un∈O，有 ⋂i=1nUi∈O\bigcap_{i=1}^n U_i \in \mathcal{O}⋂i=1nUi∈O。

称有序对 (X,O)(X,\mathcal{O})(X,O) 为一个拓扑空间 ，O\mathcal{O}O 中的集合称为开集。在不引起混淆时，常简称 XXX 为一个拓扑空间。

这三条公理直接抽象自实数轴上开区间的性质。实数轴上的通常拓扑 OR\mathcal{O}{\mathbb{R}}OR 定义为：U⊆RU\subseteq\mathbb{R}U⊆R 是开集当且仅当对每个 x∈Ux\in Ux∈U，存在 ε>0\varepsilon>0ε>0 使得 (x−ε,x+ε)⊆U(x-\varepsilon, x+\varepsilon) \subseteq U(x−ε,x+ε)⊆U。容易验证这确实满足三条公理。而第三条公理只要求有限交封闭，这是因为无限多个开集的交可能不再是开集：例如 ⋂n=1∞(−1/n,1/n)={0}\bigcap{n=1}^\infty (-1/n,1/n) = \{0\}⋂n=1∞(−1/n,1/n)={0} 就不是 R\mathbb{R}R 中的开集。这一限制看似技术性，实则保留了"极限点"这一核心分析概念的微妙性，也为紧致性、分离性等理论提供了舞台。

由其他结构诱导的拓扑示例：

平凡拓扑 ：Otriv={∅,X}\mathcal{O}_{\text{triv}} = \{\emptyset, X\}Otriv={∅,X}。这是可能的最粗拓扑，任何映射到平凡空间的函数都连续。
离散拓扑 ：Odisc=P(X)\mathcal{O}_{\text{disc}} = \mathcal{P}(X)Odisc=P(X)。此时每个单点集都是开集，任何从离散空间出发的映射均连续。离散拓扑可由离散度量 d(x,y)=1 (x≠y)d(x,y)=1\ (x\neq y)d(x,y)=1 (x=y) 诱导。
有限补拓扑 ：XXX 为任意集合，定义 Ofin={U⊆X:X∖U 有限}∪{∅}\mathcal{O}_{\text{fin}} = \{U \subseteq X : X\setminus U \text{ 有限}\} \cup \{\emptyset\}Ofin={U⊆X:X∖U 有限}∪{∅}。当 XXX 无限时，该空间是 T1T_1T1 的但非 T2T_2T2，是产生反例的富源。
可数补拓扑：类似地，开集为补集至多可数的集合，常用于不可数集上的拓扑。
序拓扑 ：在任意全序集 XXX 上，以所有开区间 (a,b)={x:a<x<b}(a,b) = \{x : a<x<b\}(a,b)={x:a<x<b} 为基生成的拓扑。实数轴拓扑即为其特例。
乘积拓扑 ：对一族拓扑空间 {Xα}α∈A\{X_\alpha\}{\alpha\in A}{Xα}α∈A，乘积空间 ∏αXα\prod\alpha X_\alpha∏αXα 上以"坐标开集柱"的有限交为基生成的拓扑，是泛函分析中弱拓扑和点态收敛拓扑的基础。
商拓扑：由等价关系或满射自然诱导的拓扑，用于构造锥、粘贴空间等。

公理体系的威力在于，同一个集合上可以赋予多个不同的拓扑，它们之间的粗细关系由包含关系决定：若 O1⊆O2\mathcal{O}_1 \subseteq \mathcal{O}_2O1⊆O2，则称 O1\mathcal{O}_1O1 比 O2\mathcal{O}_2O2 粗，O2\mathcal{O}2O2 比 O1\mathcal{O}1O1 细。离散拓扑最细，平凡拓扑最粗。连续性、紧致性等概念在这种比较下会表现出系统的行为：恒等映射 id:(X,Ofine)→(X,Ocoarse)id: (X,\mathcal{O}{\text{fine}})\to (X,\mathcal{O}{\text{coarse}})id:(X,Ofine)→(X,Ocoarse) 连续，但其逆一般不连续。

除了开集公理，拓扑空间还可以通过闭包算子 、内部算子 、邻域系 、收敛网 等结构等价地定义。例如，库拉托夫斯基闭包公理如下：指定映射 c:P(X)→P(X)c: \mathcal{P}(X)\to\mathcal{P}(X)c:P(X)→P(X) 满足 (i) c(∅)=∅c(\emptyset)=\emptysetc(∅)=∅; (ii) A⊆c(A)A\subseteq c(A)A⊆c(A); (iii) c(A∪B)=c(A)∪c(B)c(A\cup B)=c(A)\cup c(B)c(A∪B)=c(A)∪c(B); (iv) c(c(A))=c(A)c(c(A))=c(A)c(c(A))=c(A)，则 XXX 上存在唯一拓扑使得 c(A)=Aˉc(A)=\bar Ac(A)=Aˉ。这些等价定义从不同侧面揭示了拓扑的本质。

21.2 基本概念：内部、闭包、导集与邻域系

定义 21.2.1（内部与闭包） 设 (X,O)(X,\mathcal{O})(X,O) 为拓扑空间，A⊆XA\subseteq XA⊆X。

AAA 的内部 Int⁡(A)\operatorname{Int}(A)Int(A) 定义为包含于 AAA 的所有开集之并，即 Int⁡(A)=⋃{U∈O:U⊆A}\operatorname{Int}(A) = \bigcup \{U \in \mathcal{O} : U \subseteq A\}Int(A)=⋃{U∈O:U⊆A}。因任意开集的并仍为开集，故 Int⁡(A)\operatorname{Int}(A)Int(A) 是包含于 AAA 的最大开集。点 x∈Int⁡(A)x \in \operatorname{Int}(A)x∈Int(A) 称为 AAA 的内点。
AAA 的闭包 Cl⁡(A)\operatorname{Cl}(A)Cl(A) 或 A‾\overline{A}A 定义为所有包含 AAA 的闭集之交，即 A‾=⋂{F:F 闭,A⊆F}\overline{A} = \bigcap \{F : F \text{ 闭}, A \subseteq F\}A=⋂{F:F 闭,A⊆F}。闭集定义为开集的补集。因任意闭集的交仍是闭集，故 A‾\overline{A}A 是包含 AAA 的最小闭集。点 x∈A‾x \in \overline{A}x∈A 称为 AAA 的触点或附着点。
AAA 的边界 ∂A=A‾∖Int⁡(A)\partial A = \overline{A} \setminus \operatorname{Int}(A)∂A=A∖Int(A)。边界点属于闭包但不属于内部。
AAA 的导集 A′A'A′ 定义为 AAA 的所有聚点（极限点）构成的集合：x∈A′x \in A'x∈A′ 当且仅当 xxx 的每个邻域与 AAA 相交于异于 xxx 的点。孤立点则是 A∖A′A\setminus A'A∖A′ 中的点。

由定义立即得出对偶关系：Int⁡(X∖A)=X∖A‾\operatorname{Int}(X\setminus A) = X \setminus \overline{A}Int(X∖A)=X∖A 以及 X∖A‾=X∖Int⁡(A)\overline{X\setminus A} = X \setminus \operatorname{Int}(A)X∖A=X∖Int(A)。由此，开集等价于 Int⁡(A)=A\operatorname{Int}(A)=AInt(A)=A，闭集等价于 A‾=A\overline{A}=AA=A。内点和触点的概念可进一步用邻域语言重新表述。

定义 21.2.2（邻域与邻域系） 设 x∈Xx\in Xx∈X。子集 N⊆XN\subseteq XN⊆X 称为 xxx 的一个邻域，如果存在开集 UUU 使得 x∈U⊆Nx\in U \subseteq Nx∈U⊆N。点 xxx 的所有邻域构成的族记为 Nx\mathcal{N}_xNx，称为 xxx 的邻域系。邻域不要求自身是开集，但开邻域是邻域的特例。

定理 21.2.3（拓扑的邻域刻画） 拓扑完全由邻域系族 {Nx}x∈X\{\mathcal{N}x\}{x\in X}{Nx}x∈X 决定。具体地，一族子集族若满足以下豪斯多夫邻域公理，则唯一确定一个拓扑使得 Nx\mathcal{N}_xNx 恰为 xxx 的邻域系：

若 N∈NxN\in\mathcal{N}_xN∈Nx，则 x∈Nx\in Nx∈N；
若 N∈NxN\in\mathcal{N}_xN∈Nx 且 N⊆MN\subseteq MN⊆M，则 M∈NxM\in\mathcal{N}_xM∈Nx；
N1,N2∈Nx⇒N1∩N2∈NxN_1,N_2\in\mathcal{N}_x \Rightarrow N_1\cap N_2 \in \mathcal{N}_xN1,N2∈Nx⇒N1∩N2∈Nx；
对任意 N∈NxN\in\mathcal{N}_xN∈Nx，存在 U∈NxU\in\mathcal{N}_xU∈Nx 使得 U⊆NU\subseteq NU⊆N，且对所有 y∈Uy\in Uy∈U 有 U∈NyU\in\mathcal{N}_yU∈Ny（开核条件）。

据此，开集 UUU 可刻画为：U∈OU\in\mathcal{O}U∈O 当且仅当对每个 x∈Ux\in Ux∈U 有 U∈NxU\in\mathcal{N}_xU∈Nx。这一等价观点在泛函分析中弱拓扑和分布理论里尤为便捷。

例子：在实数通常拓扑下，取 A= $0,1)∪{2}A=\[0,1)\\cup\\{2\\}A=\[0,1)∪{2}，则 Int⁡(A)=(0,1)\\operatorname{Int}(A)=(0,1)Int(A)=(0,1)，A‾=\[0,1$ ∪{2}\overline{A}= $0,1$ \cup\{2\}A= $0,1$ ∪{2}，A′= $0,1$ A'= $0,1$ A′= $0,1$ ，边界 ∂A={0,1,2}\partial A=\{0,1,2\}∂A={0,1,2}，点 222 是孤立点。在有限补拓扑下（XXX 为无限集），任何无限子集的闭包都是 XXX，故任何非空开集均稠密；任意有限子集的内部为空。

21.3 连续映射、同胚与拓扑范畴

定义 21.3.1（连续映射） 设 (X,OX)(X,\mathcal{O}_X)(X,OX) 与 (Y,OY)(Y,\mathcal{O}_Y)(Y,OY) 为拓扑空间。映射 f:X→Yf:X\to Yf:X→Y 称为连续映射 ，若对任意 V∈OYV\in\mathcal{O}_YV∈OY，其原像 f−1(V)∈OXf^{-1}(V) \in \mathcal{O}Xf−1(V)∈OX。等价地，闭集的原像是闭集。也可用点连续性的邻域语言表述：fff 在 xxx 处连续当且仅当对每个 V∈Nf(x)V\in\mathcal{N}{f(x)}V∈Nf(x)，有 f−1(V)∈Nxf^{-1}(V)\in\mathcal{N}_xf−1(V)∈Nx。

若 XXX 和 YYY 均为度量空间，且拓扑由度量诱导，则上述定义等价于经典的 ε\varepsilonε-δ\deltaδ 定义，验证只需注意开球生成拓扑且原像保持开球的性质。

定理 21.3.2（连续映射的性质）

恒等映射 id⁡X\operatorname{id}_XidX 连续。
连续映射的复合连续。
常值映射连续。
若 f:X→Yf:X\to Yf:X→Y 连续，则对于 XXX 的任意子集 AAA，有 f(A‾)⊆f(A)‾f(\overline{A}) \subseteq \overline{f(A)}f(A)⊆f(A)。逆命题也成立：若一映射满足此闭包条件，则它必连续。

定义 21.3.3（同胚与嵌入） 若 f:X→Yf:X\to Yf:X→Y 是连续双射，并且其逆映射 f−1:Y→Xf^{-1}:Y\to Xf−1:Y→X 也连续，则称 fff 为一个同胚映射 ，此时称 XXX 与 YYY 同胚，记作 X≅YX\cong YX≅Y。同胚是拓扑空间范畴 Top\mathbf{Top}Top 中的同构。若 f:X→Yf:X\to Yf:X→Y 是连续单射，并且作为映射到其像 f:X→f(X)f:X\to f(X)f:X→f(X) 是同胚（即像赋予子空间拓扑时 fff 为同胚），则称 fff 为拓扑嵌入。

经典同胚例子：

任何开区间 (a,b)(a,b)(a,b) 与 R\mathbb{R}R 同胚，通过 f(x)=tan⁡(πb−a(x−a+b2))f(x)=\tan\left(\frac{\pi}{b-a}(x-\frac{a+b}{2})\right)f(x)=tan(b−aπ(x−2a+b)) 或类似缩放平移即可。
nnn 维球面去掉一点 Sn∖{p}S^n\setminus\{p\}Sn∖{p} 与 Rn\mathbb{R}^nRn 同胚（球极投影）。
实心球体与立方体同胚。
咖啡杯与甜甜圈（环面 T2T^2T2）同胚------这是通俗拓扑的标志。

同胚不变量包括紧致性、连通性、分离性、基本群、同调群等。拓扑学的核心即是研究这些不变量。

21.4 连通性：概念、等价刻画与经典定理

定义 21.4.1（连通空间） 拓扑空间 XXX 称为连通的，如果它不能表示为两个非空不相交开子集的并。等价地，若 XXX 中既开又闭的子集只有 ∅\emptyset∅ 和 XXX。第三条等价表述为：不存在从 XXX 到离散两点空间 {0,1}\{0,1\}{0,1} 的连续满射。

子集的连通性 ：子集 A⊆XA\subseteq XA⊆X 称为连通的，若它在子空间拓扑下为连通空间。极大连通子集称为连通分支。连通分支总是闭集（因为闭包的连通性保持），但在一般空间中可以不是开集。

定理 21.4.2（连续映射保持连通性） 若 XXX 连通且 f:X→Yf:X\to Yf:X→Y 连续，则像集 f(X)f(X)f(X) 连通。

证明：假设 f(X)f(X)f(X) 可写为两个不相交的非空开集 U,VU,VU,V 之并（在子空间拓扑下）。由子空间拓扑定义，存在 YYY 中开集 U′,V′U',V'U′,V′ 使得 U=U′∩f(X),V=V′∩f(X)U = U'\cap f(X), V=V'\cap f(X)U=U′∩f(X),V=V′∩f(X)。那么 f−1(U′),f−1(V′)f^{-1}(U'), f^{-1}(V')f−1(U′),f−1(V′) 是 XXX 中不相交的开集，非空，且并集为 XXX，与 XXX 的连通性矛盾。□\square□

道路连通性 ：若对任意 x,y∈Xx,y\in Xx,y∈X，存在连续路径 γ: $0,1$ →X\gamma: $0,1$ \to Xγ: $0,1$ →X 满足 γ(0)=x,γ(1)=y\gamma(0)=x,\gamma(1)=yγ(0)=x,γ(1)=y，则称 XXX 是道路连通 的。道路连通空间必连通，反之不真。标准反例是"拓扑学家的正弦曲线"：

T={(x,sin⁡(1/x)):0<x≤1}∪{(0,y):−1≤y≤1}.T = \{(x,\sin(1/x)) : 0<x\le 1\} \cup \{(0,y): -1\le y\le 1\}.T={(x,sin(1/x)):0<x≤1}∪{(0,y):−1≤y≤1}.

可以证明 TTT 连通（它是连通集 {(x,sin⁡(1/x)):x∈(0,1]}\{(x,\sin(1/x)):x\in(0,1]\}{(x,sin(1/x)):x∈(0,1]} 的闭包），但不是道路连通的，因为不存在连续路径连接左侧竖线段上的点与右侧曲线上的点。

定理 21.4.3（实数轴子集的连通性） R\mathbb{R}R 的子集 EEE 连通当且仅当 EEE 是一个区间（可以是无限区间）。

证明：

必要性 ：若 EEE 不是区间，则存在 a,b∈Ea,b\in Ea,b∈E 以及 c∉Ec\notin Ec∈/E 使得 a<c<ba<c<ba<c<b。那么 E∩(−∞,c)E\cap (-\infty,c)E∩(−∞,c) 与 E∩(c,∞)E\cap (c,\infty)E∩(c,∞) 构成 EEE 的非空不交开分离，故 EEE 不连通。

充分性 ：设 I⊆RI\subseteq\mathbb{R}I⊆R 为一区间。假设存在 III 的非空不交开集 U,VU,VU,V（子空间拓扑下）使得 I=U∪VI=U\cup VI=U∪V。取 a∈U,b∈Va\in U, b\in Va∈U,b∈V，不妨设 a<ba<ba<b。因 III 是区间， $a,b$ ⊆I $a,b$ \subseteq I $a,b$ ⊆I。定义 c=sup⁡{x∈ $a,b$ :x∈U}c = \sup\{x\in $a,b$ : x\in U\}c=sup{x∈ $a,b$ :x∈U}。此上确界存在因集合非空（aaa 属于）且有上界 bbb。由确界原理，c∈ $a,b$ c\in $a,b$ c∈ $a,b$ 。下面考虑 ccc 的位置：

若 c∈Uc\in Uc∈U：由于 UUU 是 III 中的开集，存在 ε>0\varepsilon>0ε>0 使得 (c−ε,c+ε)∩I⊆U(c-\varepsilon, c+\varepsilon)\cap I \subseteq U(c−ε,c+ε)∩I⊆U。因 c<bc<bc<b，可取 t∈(c,c+ε)∩It\in (c, c+\varepsilon)\cap It∈(c,c+ε)∩I，则 t∈Ut\in Ut∈U 且 t>ct>ct>c，与 ccc 是上确界矛盾。
若 c∈Vc\in Vc∈V：类似地，存在 ε>0\varepsilon>0ε>0 使得 (c−ε,c+ε)∩I⊆V(c-\varepsilon, c+\varepsilon)\cap I \subseteq V(c−ε,c+ε)∩I⊆V。由 ccc 是上确界，存在 x∈Ux\in Ux∈U 使得 c−ε<x≤cc-\varepsilon < x \le cc−ε<x≤c。此 xxx 将落入 VVV，与 U∩V=∅U\cap V=\varnothingU∩V=∅ 矛盾。
但 ccc 必须属于 UUU 或 VVV（因为 $a,b$ ⊆I=U∪V $a,b$ \subseteq I = U\cup V $a,b$ ⊆I=U∪V），从而矛盾。
因此，III 连通。注意此证明本质依赖实数确界原理，即实数的完备性。□\square□

推论 21.4.4（介值定理） 设 f:X→Rf:X\to \mathbb{R}f:X→R 连续，XXX 连通。若 a,b∈f(X)a,b\in f(X)a,b∈f(X) 且 a<c<ba<c<ba<c<b，则存在 x∈Xx\in Xx∈X 使得 f(x)=cf(x)=cf(x)=c。因为 f(X)f(X)f(X) 连通从而必为区间。这统一并推广了连续函数的经典介值定理。

21.5 紧致性：有限覆盖与等价形式

紧致性被公认为拓扑学中最重要的概念之一。它捕获了"有限性"的精髓，使得许多局部性质能全局化。

定义 21.5.1（紧致空间） 拓扑空间 XXX 是紧致的，如果它的每个开覆盖都存在有限子覆盖。即，若 U⊆O\mathcal{U}\subseteq\mathcal{O}U⊆O 且 ⋃U∈UU=X\bigcup_{U\in\mathcal{U}} U = X⋃U∈UU=X，则存在有限个 U1,...,Un∈UU_1,\dots,U_n\in\mathcal{U}U1,...,Un∈U 使得 X=⋃i=1nUiX = \bigcup_{i=1}^n U_iX=⋃i=1nUi。

利用德·摩根律，可得对偶表述：XXX 紧致当且仅当对于任意具有有限交性质 的闭集族 F\mathcal{F}F（即任意有限子族的交非空），整个族的交 ⋂F∈FF≠∅\bigcap_{F\in\mathcal{F}} F \neq \varnothing⋂F∈FF=∅。

定理 21.5.2（紧致性的基本性质）

紧致空间的连续像是紧致的。因此紧致性是拓扑不变量。
紧致空间的闭子集紧致。
若 XXX 是豪斯多夫空间，则紧致子集必为闭集。
紧致豪斯多夫空间是正规的（见后文分离性）。
紧致空间上的实值连续函数必有最大值和最小值（极值定理）。

证明（概要）：

设 f:X→Yf:X\to Yf:X→Y 连续，XXX 紧致，V\mathcal{V}V 为 f(X)f(X)f(X) 开覆盖。则 {f−1(V):V∈V}\{f^{-1}(V): V\in\mathcal{V}\}{f−1(V):V∈V} 是 XXX 的开覆盖，有有限子覆盖，对应 f(X)f(X)f(X) 的有限子覆盖。
设 F⊆XF\subseteq XF⊆X 闭，U\mathcal{U}U 是 FFF 的开覆盖。则 U∪{X∖F}\mathcal{U}\cup \{X\setminus F\}U∪{X∖F} 是 XXX 的开覆盖，取出有限子覆盖，再去掉 X∖FX\setminus FX∖F 即得 FFF 的有限覆盖。
设 K⊆XK\subseteq XK⊆X 紧致，XXX 为 T2T_2T2。证 X∖KX\setminus KX∖K 开：对任意 x∉Kx\notin Kx∈/K，对每个 y∈Ky\in Ky∈K，由 T2T_2T2 存在不交开集 Uy∋x,Vy∋yU_y\ni x, V_y\ni yUy∋x,Vy∋y。{Vy∩K}y∈K\{V_y\cap K\}{y\in K}{Vy∩K}y∈K 为 KKK 的开覆盖，有有限子覆盖 Vy1,...,VynV{y_1},\dots,V_{y_n}Vy1,...,Vyn。令 U=⋂i=1nUyiU = \bigcap_{i=1}^n U_{y_i}U=⋂i=1nUyi，则 UUU 是含 xxx 的开集且与 KKK 不交，故 xxx 是 X∖KX\setminus KX∖K 的内点。因此 KKK 闭。
见后。
因连续像紧致，而 R\mathbb{R}R 中紧致集有界闭，故有最大最小值。

定理 21.5.3（海涅-博雷尔定理） 在 Rn\mathbb{R}^nRn 通常拓扑下，子集紧致当且仅当它是闭且有界的。

证明思路 ：先证明单位闭区间 $0,1$ $0,1$ $0,1$ 紧致：设 U\mathcal{U}U 为开覆盖，考虑 S={x∈ $0,1$ : $0,x$ 可被有限覆盖}S=\{x\in $0,1$ : $0,x$ \text{ 可被有限覆盖}\}S={x∈ $0,1$ : $0,x$ 可被有限覆盖}，利用确界原理证 1∈S1\in S1∈S。然后 Rn\mathbb{R}^nRn 中闭矩体是紧致区间的有限乘积，由吉洪诺夫定理（此处可用初等对角线法）得乘积紧致。闭有界集为某个闭矩体的闭子集，故紧致。逆命题：紧致集必在度量空间中有界（否则开球族无有限子覆盖），且由豪斯多夫性为闭。

紧致性在度量空间中有更丰富的刻画，详见第二十二章。

21.6 分离性公理与度量化问题

拓扑空间可依据点与点、点与闭集被开集分离的程度分类。分离性公理从 T0T_0T0 到 T5T_5T5 形成了一个层次结构，分析中常见的空间大多满足 T2T_2T2 及以上。

定义 21.6.1（分离公理）

T0T_0T0（柯尔莫哥洛夫）：对任意两个不同点，存在开集包含其中一个但不包含另一个。
T1T_1T1（弗雷歇） ：单点集是闭集。等价于任意两点 x≠yx\neq yx=y，存在开集含 xxx 不含 yyy，也存在开集含 yyy 不含 xxx。
T2T_2T2（豪斯多夫）：任意两个不同点存在不相交的开邻域。
正则（T3T_3T3） ：对任意点 xxx 和不含 xxx 的闭集 FFF，存在不相交开集分别包含 xxx 和 FFF。（通常附加 T1T_1T1 避免退化。）
完全正则（T312T_{3\frac12}T321） ：对任意点 xxx 和闭集 FFF（x∉Fx\notin Fx∈/F），存在连续函数 f:X→ $0,1$ f:X\to $0,1$ f:X→ $0,1$ 使得 f(x)=0f(x)=0f(x)=0 且 f(F)={1}f(F)=\{1\}f(F)={1}。
正规（T4T_4T4） ：任意两个不相交的闭集可被不相交的开集分离。同样通常附加 T1T_1T1。

命题与例子：

度量空间满足所有上述分离性，甚至更强：它满足 T6T_6T6（完全正规） ，即任意两个分离的集合（每一者都不含另一者的闭包）可被不相交开集分离。这是因为在度量空间中，距离函数 d(x,A)d(x,A)d(x,A) 是连续的，并可通过 f(x)=d(x,A)/(d(x,A)+d(x,B))f(x)=d(x,A)/(d(x,A)+d(x,B))f(x)=d(x,A)/(d(x,A)+d(x,B)) 函数分离不相交闭集。
有限补拓扑在无限集上是 T1T_1T1 但非 T2T_2T2。
带半开区间基的 Sorgenfrey 直线是正规的，但其乘积却非正规（反例显示正规性对乘积敏感）。
紧致豪斯多夫空间是正规的，这是把紧致分离点的方法用于闭集。

定理 21.6.2（紧致豪斯多夫空间的正规性） 设 XXX 是紧致 T2T_2T2 空间，则 XXX 正规。

证明：先证 XXX 是正则的：对点 xxx 和闭集 FFF（x∉Fx\notin Fx∈/F），对每个 y∈Fy\in Fy∈F 取不交开集 Uy∋x,Vy∋yU_y\ni x, V_y\ni yUy∋x,Vy∋y。由 FFF 紧致（闭于紧致空间），可被有限个 VyiV_{y_i}Vyi 覆盖，对应 U=⋂UyiU=\bigcap U_{y_i}U=⋂Uyi 即分离 xxx 和 FFF。正规性类似：用紧致分离两个不相交闭集即可。□\square□

乌雷松引理与蒂策扩张定理 ：若 XXX 正规，A,BA,BA,B 为不相交闭集，则存在连续函数 f:X→ $0,1$ f:X\to $0,1$ f:X→ $0,1$ 使 f(A)=0,f(B)=1f(A)=0, f(B)=1f(A)=0,f(B)=1。进一步，定义在闭集上的连续实值函数可扩张到全空间。这是点集拓扑的顶峰成果之一。

可度量化问题：哪些拓扑空间可由某个度量诱导？经典的乌雷松度量化定理说：第二可数的正规空间（即具备可数基的正规空间）可度量化。度量空间总是第一可数的（每个点有可数邻域基），且是仿紧的。这些性质联系着分离性与可度量化。

第二十二章度量空间公理

22.1 度量的定义、诱导拓扑及基本例子

定义 22.1.1（度量空间） 设 XXX 为非空集合。函数 d:X×X→[0,∞)d:X\times X\to [0,\infty)d:X×X→[0,∞) 称为一个度量（或距离），若对任意 x,y,z∈Xx,y,z\in Xx,y,z∈X 满足：

正定性 ：d(x,y)≥0d(x,y) \ge 0d(x,y)≥0，且 d(x,y)=0d(x,y)=0d(x,y)=0 当且仅当 x=yx=yx=y；
对称性 ：d(x,y)=d(y,x)d(x,y)=d(y,x)d(x,y)=d(y,x)；
三角不等式 ：d(x,z)≤d(x,y)+d(y,z)d(x,z) \le d(x,y) + d(y,z)d(x,z)≤d(x,y)+d(y,z)。

这时 (X,d)(X,d)(X,d) 称为度量空间 。若仅要求 d(x,y)=0⇒x=yd(x,y)=0 \Rightarrow x=yd(x,y)=0⇒x=y 而可能 d(x,y)=0d(x,y)=0d(x,y)=0 对某些 x≠yx\neq yx=y 成立，则称为伪度量。

以点 xxx 为中心、r>0r>0r>0 为半径的开球为 B(x,r)={y∈X:d(x,y)<r}B(x,r) = \{y\in X : d(x,y)<r\}B(x,r)={y∈X:d(x,y)<r}。闭球为 B $x,r$ ={y∈X:d(x,y)≤r}B $x,r$ = \{y\in X : d(x,y)\le r\}B $x,r$ ={y∈X:d(x,y)≤r}。

定义 22.1.2（度量诱导的拓扑） 子集 U⊆XU\subseteq XU⊆X 称为开集，当且仅当对每个 x∈Ux\in Ux∈U，存在 r>0r>0r>0 使得 B(x,r)⊆UB(x,r)\subseteq UB(x,r)⊆U。可以验证开球族是此拓扑的基，且该集族满足拓扑三条公理。因此度量空间自然成为拓扑空间。该拓扑称为度量拓扑。

例子：

欧氏度量 ：在 Rn\mathbb{R}^nRn 上，d2(x,y)=∑i=1n(xi−yi)2d_2(x,y)=\sqrt{\sum_{i=1}^n (x_i-y_i)^2}d2(x,y)=∑i=1n(xi−yi)2 。
一致度量（sup度量） ：在有界实值函数空间上，d∞(f,g)=sup⁡x∈X∣f(x)−g(x)∣d_\infty(f,g)=\sup_{x\in X}|f(x)-g(x)|d∞(f,g)=supx∈X∣f(x)−g(x)∣。
离散度量 ：d(x,y)=1d(x,y)=1d(x,y)=1 若 x≠yx\neq yx=y，诱导离散拓扑。
ppp-进度量（非阿基米德度量） ：在 Q\mathbb{Q}Q 上可定义 ppp-进度量，满足强三角不等式 d(x,z)≤max⁡{d(x,y),d(y,z)}d(x,z)\le \max\{d(x,y),d(y,z)\}d(x,z)≤max{d(x,y),d(y,z)}，诱导的拓扑非常不同。
乘积度量 ：有限个度量空间乘积上可赋予 d((xi),(yi))=max⁡idi(xi,yi)d((x_i),(y_i)) = \max_i d_i(x_i,y_i)d((xi),(yi))=maxidi(xi,yi) 或欧氏和，诱导乘积拓扑。

度量空间自动满足所有分离性公理直至完全正规。它也是第一可数的：每个点有可数邻域基 {B(x,1/n)}\{B(x,1/n)\}{B(x,1/n)}。由此，序列的收敛足以刻画拓扑性质（但在一般拓扑空间可能需要网或滤子）。然而并非所有拓扑空间都可度量化；度量化问题有经典的乌雷松、长田等定理。

22.2 完备度量空间：柯西列、完备化与基本性质

定义 22.2.1（柯西序列与完备性） 度量空间 (X,d)(X,d)(X,d) 中的序列 (xn)(x_n)(xn) 称为柯西序列 ，如果对任意 ε>0\varepsilon>0ε>0，存在 N∈NN\in\mathbb{N}N∈N 使得对所有 m,n≥Nm,n\ge Nm,n≥N 均有 d(xm,xn)<εd(x_m,x_n)<\varepsilond(xm,xn)<ε。若 XXX 中每个柯西序列都收敛到 XXX 中的某个点，则称 (X,d)(X,d)(X,d) 是完备的。

例子：

R\mathbb{R}R 带通常距离完备，Q\mathbb{Q}Q 不完备。
C $a,b$ C $a,b$ C $a,b$ 带 sup 范数是完备的：一致柯西列必一致收敛到连续函数。
lpl^plp 序列空间带 lpl^plp 范数完备。
任何离散度量空间是完备的，因为只有终常的柯西列。
开区间 (0,1)(0,1)(0,1) 带通常距离不完备；但若赋予 d(x,y)=∣tan⁡(πx−π/2)−tan⁡(πy−π/2)∣d(x,y)=|\tan(\pi x-\pi/2)-\tan(\pi y-\pi/2)|d(x,y)=∣tan(πx−π/2)−tan(πy−π/2)∣（同胚于 R\mathbb{R}R 的距离），则是完备的，说明完备性不是拓扑性质，而是依赖于度量的选择。

定理 22.2.2（完备子空间） 完备度量空间的闭子空间是完备的；度量空间的完备子集必定是闭集。

证明：若子集完备，则其中任意收敛序列的极限必在其中，故闭；若为完备空间的闭子集，则其中柯西列在母空间收敛，闭性保证极限仍在子集中，故子空间完备。□\square□

完备化定理 ：任一度量空间 (X,d)(X,d)(X,d) 均可等距嵌入一个完备度量空间 (X~,d~)(\widetilde{X},\tilde d)(X ,d~)，使得 XXX 在 X~\widetilde{X}X 中稠密。且在等距意义下完备化唯一。构造法：取 XXX 中所有柯西列，定义等价关系 {xn}∼{yn}⇔lim⁡d(xn,yn)=0\{x_n\}\sim\{y_n\} \Leftrightarrow \lim d(x_n,y_n)=0{xn}∼{yn}⇔limd(xn,yn)=0，等价类集合 X~\widetilde{X}X 配以度量 d~( ${xn}$ , ${yn}$ )=lim⁡d(xn,yn)\tilde d( $\\{x_n\\}$ , $\\{y_n\\}$ )=\lim d(x_n,y_n)d~( ${xn}$ , ${yn}$ )=limd(xn,yn) 即可。该构造与从有理数构造实数完全相同。

完备性在分析中具有根本重要性，它保证了极限运算的封闭性，是巴拿赫空间和希尔伯特空间理论的基石。

22.3 压缩映射原理：不动点与迭代逼近

定义 22.3.1（压缩映射） 设 (X,d)(X,d)(X,d) 为度量空间。映射 T:X→XT:X\to XT:X→X 称为压缩映射 ，若存在常数 c∈[0,1)c\in[0,1)c∈[0,1) 使得对任意 x,y∈Xx,y\in Xx,y∈X，有

d(T(x),T(y))≤c⋅d(x,y).d(T(x),T(y)) \le c\cdot d(x,y).d(T(x),T(y))≤c⋅d(x,y).

定理 22.3.2（巴拿赫不动点定理） 设 (X,d)(X,d)(X,d) 是完备度量空间，T:X→XT:X\to XT:X→X 为压缩映射。则 TTT 存在唯一的不动点 x∗∈Xx^*\in Xx∗∈X，且对任意初始点 x0∈Xx_0\in Xx0∈X，由 xn+1=T(xn)x_{n+1}=T(x_n)xn+1=T(xn) 定义的迭代序列收敛到 x∗x^*x∗，并有先验误差估计：

d(xn,x∗)≤cn1−c d(x1,x0).d(x_n, x^*) \le \frac{c^n}{1-c}\,d(x_1,x_0).d(xn,x∗)≤1−ccnd(x1,x0).

证明：

唯一性：若 x∗,y∗x^*, y^*x∗,y∗ 均为不动点，则 d(x∗,y∗)=d(T(x∗),T(y∗))≤c d(x∗,y∗)d(x^*,y^*)=d(T(x^*),T(y^*))\le c\,d(x^*,y^*)d(x∗,y∗)=d(T(x∗),T(y∗))≤cd(x∗,y∗)，因 c<1c<1c<1 得 d=0d=0d=0，故 x∗=y∗x^*=y^*x∗=y∗。

存在性：任取 x0x_0x0，定义 xn=T(xn−1)x_{n}=T(x_{n-1})xn=T(xn−1)。对任意 n≥1n\ge 1n≥1，由压缩性归纳得

d(xn+1,xn)≤c d(xn,xn−1)≤⋯≤cnd(x1,x0).d(x_{n+1},x_n) \le c\,d(x_n,x_{n-1}) \le \dots \le c^n d(x_1,x_0).d(xn+1,xn)≤cd(xn,xn−1)≤⋯≤cnd(x1,x0).

对 m>nm>nm>n，利用三角不等式及几何级数求和：

\begin{align*}

d(x_m,x_n) &\le \sum_{k=n}^{m-1} d(x_{k+1},x_k)

\le \sum_{k=n}^{m-1} c^k d(x_1,x_0) \

&\le \sum_{k=n}^{\infty} c^k d(x_1,x_0) = \frac{c^n}{1-c} d(x_1,x_0).

\end{align*}

由于 cn→0c^n\to 0cn→0，上式表明 (xn)(x_n)(xn) 为柯西序列。因 XXX 完备，存在 x∗∈Xx^*\in Xx∗∈X 使得 xn→x∗x_n\to x^*xn→x∗。压缩映射必然（利普希茨）连续，故在 xn+1=T(xn)x_{n+1}=T(x_n)xn+1=T(xn) 两边令 n→∞n\to\inftyn→∞ 得 x∗=T(x∗)x^*=T(x^*)x∗=T(x∗)。误差估计对固定的 nnn 令 m→∞m\to\inftym→∞ 即得。□\square□

应用：常微分方程初值问题的皮卡-林德勒夫定理。设 f(x,y)f(x,y)f(x,y) 在矩形区域上连续且关于 yyy 满足利普希茨条件 ∣f(x,y1)−f(x,y2)∣≤L∣y1−y2∣|f(x,y_1)-f(x,y_2)|\le L|y_1-y_2|∣f(x,y1)−f(x,y2)∣≤L∣y1−y2∣。则积分算子

(Ty)(x)=y0+∫x0xf(t,y(t)) dt(Ty)(x) = y_0 + \int_{x_0}^x f(t,y(t))\,dt(Ty)(x)=y0+∫x0xf(t,y(t))dt

在足够小的区间上为压缩映射（赋予 sup 范数），其不动点即为原方程的唯一解。类似思想可用于隐函数定理、Volterra 积分方程、动态规划等。

22.4 完全有界与度量紧致性的等价刻画

在度量空间中，紧致性可以用序列和覆盖等价的优美方式描述。

定义 22.4.1（完全有界（预紧）） 度量空间 XXX 称为完全有界 的，如果对任意 ε>0\varepsilon>0ε>0，存在有限个半径为 ε\varepsilonε 的开球覆盖 XXX。等价地，存在有限 ε\varepsilonε-网。

定理 22.4.2（度量空间紧致性判别） 对于度量空间 (X,d)(X,d)(X,d)，下述等价：

(i) XXX 紧致（任意开覆盖有有限子覆盖）。

(ii) XXX 序列紧致（任意序列有收敛子列）。

(iii) XXX 完备且完全有界。

证明大纲：

(i) ⇒\Rightarrow⇒ (ii)：设 (xn)(x_n)(xn) 为序列。若其值域无限，由紧致性聚点存在，可抽取子列收敛到该聚点；若值域有限则显然有常值子列。
(ii) ⇒\Rightarrow⇒ (iii)：序列紧致蕴含完备（柯西列若有收敛子列则全列收敛）。若 XXX 不是完全有界，则存在 ε>0\varepsilon>0ε>0 无法被有限开球覆盖，可归纳选取点列使两两距离 ≥ε\ge\varepsilon≥ε，此列无收敛子列，矛盾。
(iii) ⇒\Rightarrow⇒ (i)：先证完备且完全有界的空间是序列紧致的（对角线法）。再证度量空间中序列紧致等价于紧致：需证序列紧致空间的每个开覆盖有可数子覆盖（林德勒夫性质），这依赖于度量空间是第二可数（若可分）的引理，或者用更直接的方法：假设存在无有限子覆盖的开覆盖，取半径为 1/n1/n1/n 的有限网，构造反例序列导出矛盾。完整证明常作为泛函分析标准内容。□\square□

推论 22.4.3 在 Rn\mathbb{R}^nRn 中，紧致 ⇔\Leftrightarrow⇔ 闭且有界 ⇔\Leftrightarrow⇔ 完备且完全有界。

在无穷维赋范空间中，单位闭球是有界闭的，但不是完全有界的（由里斯引理，存在 ε\varepsilonε-分离的无穷点列），因此非紧致。这一现象是泛函分析有限维与无穷维本质区别之一。

22.5 贝尔纲定理及其在泛函分析中的应用

定义 22.5.1（无处稠密集与纲） 设 XXX 为拓扑空间。子集 E⊆XE\subseteq XE⊆X 称为无处稠密 的，如果其闭包的内部为空，即 Int⁡(E‾)=∅\operatorname{Int}(\overline{E}) = \varnothingInt(E)=∅。等价地，EEE 在 XXX 的每个非空开集中不稠密。可表示为可数个无处稠密集之并的子集称为第一纲 的（或贫集），否则称为第二纲 的。补集为第一纲的集合称为剩余集。

定理 22.5.2（贝尔纲定理） 完备度量空间 XXX 是第二纲的。等价表述：

XXX 不能表示为可数个无处稠密集的并。
若 {Un}\{U_n\}{Un} 是一列稠密开集，则它们的可数交 ⋂n=1∞Un\bigcap_{n=1}^\infty U_n⋂n=1∞Un 仍是稠密的。

证明：设 {Un}\{U_n\}{Un} 为稠密开集列，任取非空开集 WWW。因 U1U_1U1 稠密，W∩U1W\cap U_1W∩U1 为非空开集，故可取闭球 B‾1⊂W∩U1\overline{B}1 \subset W\cap U_1B1⊂W∩U1 且半径 r1<1r_1<1r1<1。递归地，设已取闭球 B‾n\overline{B}nBn，因 Un+1U{n+1}Un+1 稠密，开集 Int⁡(B‾n)∩Un+1\operatorname{Int}(\overline{B}n)\cap U{n+1}Int(Bn)∩Un+1 非空，于是可取闭球 B‾n+1⊂B‾n∩Un+1\overline{B}{n+1}\subset \overline{B}n\cap U{n+1}Bn+1⊂Bn∩Un+1 且半径 rn+1<1/(n+1)r_{n+1}<1/(n+1)rn+1<1/(n+1)。得到嵌套闭球套，半径趋于0。由完备性，球心构成的柯西列收敛到某点 xxx，该点属于所有 B‾n\overline{B}_nBn，从而属于所有 UnU_nUn 及 WWW。因此 ⋂nUn\bigcap_n U_n⋂nUn 与任意非空开集 WWW 相交，故稠密。□\square□

应用实例：

一致有界原理（Banach--Steinhaus） ：设 XXX 为巴拿赫空间，{Tα}\{T_\alpha\}{Tα} 为一族从 XXX 到赋范空间的有界线性算子，若对每个 x∈Xx\in Xx∈X，sup⁡α∥Tαx∥<∞\sup_\alpha \|T_\alpha x\|<\inftysupα∥Tαx∥<∞，则 sup⁡α∥Tα∥<∞\sup_\alpha \|T_\alpha\|<\inftysupα∥Tα∥<∞。证明关键是利用完备性，构造闭集 Cn={x∈X:sup⁡α∥Tαx∥≤n}C_n = \{x\in X : \sup_\alpha\|T_\alpha x\|\le n\}Cn={x∈X:supα∥Tαx∥≤n}，由点态有界性 X=⋃nCnX=\bigcup_n C_nX=⋃nCn，由贝尔纲定理至少某个 CnC_nCn 含内点，由此推出算子范数一致有界。
处处连续但无处可微的函数存在 ：在 C $0,1$ C $0,1$ C $0,1$ 中，可证"至少有一点可微"的函数集合是第一纲的。由贝尔纲定理，补集（处处不可微函数）是第二纲且稠密，因此不仅存在，而且"几乎所有"连续函数都无处可微。
开映射定理与闭图像定理的证明也依赖于贝尔纲推理。

完备性公理通过贝尔纲定理展示出其深层的非构造性力量，这是构造性数学难以复现的。

第二十三章实数完备性的等价形式与分析基础

23.1 实数公理体系与六大等价命题

我们接受 (R,+,⋅,≤)(\mathbb{R},+,\cdot,\le)(R,+,⋅,≤) 是一个完备有序域。完备性可以有多种逻辑等价的表述，各自侧重不同的直观。下面列出六个在分析学中常见的完备性原理，并证明它们在有序域（满足阿基米德性）的框架下彼此等价。实际上，由任意一个均可推出其他五个及阿基米德性。

(C1) 确界原理 ：任何非空有上界的实数子集必有上确界。

(C2) 单调有界定理 ：单调有界实数列必收敛。

(C3) 闭区间套定理 ：设 { $an,bn$ }n=1∞\{ $a_n,b_n$ \}{n=1}^\infty{ $an,bn$ }n=1∞ 满足 an≤an+1≤bn+1≤bna_n\le a{n+1}\le b_{n+1}\le b_nan≤an+1≤bn+1≤bn 且 bn−an→0b_n-a_n\to0bn−an→0，则存在唯一的实数 ξ\xiξ 使得 ξ∈⋂n=1∞ $an,bn$ \xi\in\bigcap_{n=1}^\infty $a_n,b_n$ ξ∈⋂n=1∞ $an,bn$ 。

(C4) 有限覆盖定理（海涅--博雷尔） ：闭区间 $a,b$ $a,b$ $a,b$ 的任意开覆盖存在有限子覆盖。

(C5) 聚点定理（波尔查诺--魏尔斯特拉斯） ：有界无限实数集至少有一个聚点；等价地，有界数列必有收敛子列。

(C6) 柯西完备性：每个实柯西数列收敛。

等价性循环证明概要（假定我们已经具备有序域的代数与序公理，且已用其中之一推得阿基米德性）：

(C1) ⇒\Rightarrow⇒ (C2)：设数列 (xn)(x_n)(xn) 单调增有上界，令 c=sup⁡{xn}c=\sup\{x_n\}c=sup{xn}，则易证 lim⁡xn=c\lim x_n = climxn=c。
(C2) ⇒\Rightarrow⇒ (C3)：区间套的左右端点分别单调有界，故均收敛，由长度趋于0得极限相同且属于所有区间。
(C3) ⇒\Rightarrow⇒ (C4)：设 U\mathcal{U}U 为 $a,b$ $a,b$ $a,b$ 的开覆盖。若不存在有限子覆盖，二分区间，每次选择不能被有限覆盖的那一半，构造区间套，产生矛盾。精细的论证需处理端点的覆盖。
(C4) ⇒\Rightarrow⇒ (C5)：若有界无限集 AAA 无聚点，则每点存在邻域至多含 AAA 中有限个点，用有限覆盖推出 AAA 有限，矛盾。
(C5) ⇒\Rightarrow⇒ (C6)：柯西列有界，由 (C5) 有收敛子列，柯西列若有收敛子列则自身收敛。
(C6) ⇒\Rightarrow⇒ (C1)：设非空有上界集合 SSS，取上界 bbb，构造二分法产生柯西列逼近上确界，完备性确保极限存在即为上确界。此过程需要阿基米德性保证二分法可任意逼近。

这六条原理环环相扣，构成了实数理论的基石。从现代观点看，(C4) 和 (C5) 是更一般拓扑空间紧致性的特例；(C6) 是度量空间完备性的定义。这些等价形式可以推广到 Rn\mathbb{R}^nRn 乃至更一般的空间。

23.2 有限覆盖定理与紧致性的拓扑联系

有限覆盖定理 (C4) 直接将实数的完备性与紧致性挂钩。在一般拓扑空间中，紧致性即为每个开覆盖有有限子覆盖。定理 (C4) 断言 R\mathbb{R}R 的闭区间是紧致子集。由此可利用乘积性得到 Rn\mathbb{R}^nRn 中闭矩体紧致，进而闭有界集紧致。反过来，从确界原理证明 (C4) 的典型方法是考虑集合 S={x∈ $a,b$ : $a,x$ 可被有限覆盖}S=\{x\in $a,b$ : $a,x$ \text{可被有限覆盖}\}S={x∈ $a,b$ : $a,x$ 可被有限覆盖}，证 sup⁡S=b\sup S = bsupS=b。这体现了序结构与拓扑的完美交融。

23.3 聚点定理与序列紧致性

(C5) 表明 R\mathbb{R}R 的有界闭区间是序列紧致的。在度量空间范畴中，序列紧致等价于紧致。而 (C5) 通常用 (C4) 证明，展示了覆盖紧致性如何蕴含序列紧致性。另一方面，在一般拓扑空间紧致性不一定蕴含序列紧致性，但在第一可数空间（如度量空间）中成立。实数空间恰好满足第一可数公理。

23.4 柯西完备性与实数的构造

(C6) 从有理数 Q\mathbb{Q}Q 构造实数时最为自然。康托尔将实数定义为有理柯西列的等价类，然后证明其满足确界原理。反之，若承认确界原理，则可证明所有柯西列收敛。这一等价性表明，实数是唯一的（在同构意义下）阿基米德完备有序域。

23.5 完备性在函数空间的延伸

实数的完备性是构造完备函数空间的基础。例如，连续函数空间 C $a,b$ C $a,b$ C $a,b$ 赋予一致范数 ∥f∥∞=sup⁡x∈ $a,b$ ∣f(x)∣\|f\|\infty = \sup{x\in $a,b$ }|f(x)|∥f∥∞=supx∈ $a,b$ ∣f(x)∣。若 (fn)(f_n)(fn) 是一致柯西列，即 ∥fn−fm∥∞→0\|f_n-f_m\|\infty\to0∥fn−fm∥∞→0，则对每个 xxx，(fn(x))(f_n(x))(fn(x)) 是实柯西列，由 (C6) 收敛于某 f(x)f(x)f(x)。一致收敛性保证 fff 连续，且 ∥fn−f∥∞→0\|f_n-f\|\infty\to0∥fn−f∥∞→0。因此 C $a,b$ C $a,b$ C $a,b$ 完备。此完备性是证明许多存在性定理（如常微分方程解的存在性）的关键。LpL^pLp 空间的完备性（里斯-费希尔定理）同样依赖实数的完备性和测度的可列可加性。

第二十四章勒贝格测度公理与构造

24.1 测度论的公理化需求与σ-代数

长度、面积、体积的概念直观上应满足可加性：将图形分割成有限个互不相交的部分，总测度等于各部分测度之和。但当分割涉及无限部分时，问题变得复杂。若仅要求有限可加性，则可能导致类似巴拿赫-塔尔斯基悖论的病态结果：一个三维球体可被分解成有限个片断，重组后得到两个与原球相同体积的球体。为了消除这类悖论并建立强大的积分理论，现代测度论采纳可列可加性作为根本公理，并且放弃对所有子集定义测度，转而将测度限制在满足良好封闭性质的子集族------σ-代数上。

定义 24.1.1（σ-代数） 设 XXX 为非空集合。子集族 F⊆P(X)\mathcal{F}\subseteq\mathcal{P}(X)F⊆P(X) 称为 σ-代数（或 σ-域），如果满足：

∅∈F\emptyset \in \mathcal{F}∅∈F；
封闭于补运算：若 A∈FA\in\mathcal{F}A∈F，则 X∖A∈FX\setminus A\in\mathcal{F}X∖A∈F；
封闭于可数并：若 An∈FA_n\in\mathcal{F}An∈F (n∈Nn\in\mathbb{N}n∈N)，则 ⋃n=1∞An∈F\bigcup_{n=1}^\infty A_n \in \mathcal{F}⋃n=1∞An∈F。

由德·摩根律，σ-代数也对可数交封闭。任意给定集合族可生成最小的 σ-代数。例如，R\mathbb{R}R 上由所有开集生成的 σ-代数称为波莱尔 σ-代数 B(R)\mathcal{B}(\mathbb{R})B(R)。

定义 24.1.2（测度空间） 设 (X,F)(X,\mathcal{F})(X,F) 为可测空间（即 F\mathcal{F}F 是 XXX 上的 σ-代数）。函数 μ:F→ $0,\infty$ \mu:\mathcal{F}\to $0,\\infty$ μ:F→ $0,\infty$ 称为一个测度，如果满足：

(a) μ(∅)=0\mu(\emptyset)=0μ(∅)=0；

(b) 可列可加性 （或 σ-可加性）：若 {An}n=1∞\{A_n\}_{n=1}^\infty{An}n=1∞ 是 F\mathcal{F}F 中两两不交的集列，则

μ ⁣(⋃n=1∞An)=∑n=1∞μ(An).\mu\!\left(\bigcup_{n=1}^\infty A_n\right) = \sum_{n=1}^\infty \mu(A_n).μ(n=1⋃∞An)=n=1∑∞μ(An).

此时 (X,F,μ)(X,\mathcal{F},\mu)(X,F,μ) 称为测度空间 。如果 μ(X)=1\mu(X)=1μ(X)=1，则 μ\muμ 是概率测度，这正是柯尔莫哥洛夫概率公理化（1933）的基石。

可列可加性的优越性在于允许极限与测度交换，从而能证明控制收敛定理等一系列强大结果。历史上，勒贝格（1902）首次在 R\mathbb{R}R 上成功构造了满足可列可加性的长度测度。

24.2 勒贝格测度的构造动机与准备

目标：在 R\mathbb{R}R 上构造一个测度 mmm，满足：

区间 I= $a,b$ I= $a,b$ I= $a,b$ 的测度等于其长度 b−ab-ab−a；
平移不变性：m(E+x)=m(E)m(E+x)=m(E)m(E+x)=m(E) 对所有可测集 EEE 和 x∈Rx\in\mathbb{R}x∈R；
可列可加性。

由于不可测集的存在（见后），无法对 P(R)\mathcal{P}(\mathbb{R})P(R) 定义满足上述条件的测度。勒贝格的策略是先对全空间的所有子集定义一个外测度 m∗m^*m∗，然后利用卡拉西奥多里条件（Carathéodory, 1914）筛选出"可测集"，这些可测集恰好构成一个包含所有区间的 σ-代数，且 m∗m^*m∗ 限制在其上成为一个测度。

24.3 外测度的定义与性质

定义 24.3.1（勒贝格外测度） 对任意子集 A⊆RA\subseteq\mathbb{R}A⊆R，定义其勒贝格外测度 m∗(A)m^*(A)m∗(A) 为：

m∗(A)=inf⁡{∑n=1∞ℓ(In):A⊆⋃n=1∞In, In 为有界开区间},m^*(A) = \inf\left\{ \sum_{n=1}^\infty \ell(I_n) : A\subseteq \bigcup_{n=1}^\infty I_n,\ I_n\ \text{为有界开区间} \right\},m∗(A)=inf{n=1∑∞ℓ(In):A⊆n=1⋃∞In, In 为有界开区间},

其中 ℓ((a,b))=b−a\ell((a,b)) = b-aℓ((a,b))=b−a 表示区间的长度。这里的下确界取自可数个开区间的覆盖，允许区间重叠。约定空覆盖的长度和为0。

外测度的基本性质：

m∗(∅)=0m^*(\emptyset)=0m∗(∅)=0，非负性。
单调性：若 A⊆BA\subseteq BA⊆B，则 m∗(A)≤m∗(B)m^*(A)\le m^*(B)m∗(A)≤m∗(B)。
次可列可加性：m∗(⋃n=1∞An)≤∑n=1∞m∗(An)m^*\big(\bigcup_{n=1}^\infty A_n\big) \le \sum_{n=1}^\infty m^*(A_n)m∗(⋃n=1∞An)≤∑n=1∞m∗(An)。
对于区间 III，可证明 m∗(I)=ℓ(I)m^*(I) = \ell(I)m∗(I)=ℓ(I)。特别地，外测度确为长度的推广。

次可列可加性的证明利用了覆盖的合并以及下确界的性质。外测度虽然对任意集合有定义，但一般而言它不满足可加性。我们的任务是识别出那些使外测度变为可加的"良好"集合。

24.4 卡拉西奥多里可测条件与测度扩张定理

定义 24.4.1（卡拉西奥多里条件） 集合 E⊆RE\subseteq\mathbb{R}E⊆R 称为勒贝格可测 的，如果对任意测试集 A⊆RA\subseteq\mathbb{R}A⊆R，满足

m∗(A)=m∗(A∩E)+m∗(A∩Ec).m^*(A) = m^*(A\cap E) + m^*(A\cap E^c).m∗(A)=m∗(A∩E)+m∗(A∩Ec).

记 L\mathcal{L}L 为所有勒贝格可测集的族。

此条件的精妙之处在于，EEE 能够将任意集合的外测度"无耗损"地分割为在 EEE 内和 EEE 外的两部分。由次可加性，总成立 m∗(A)≤m∗(A∩E)+m∗(A∩Ec)m^*(A)\le m^*(A\cap E)+m^*(A\cap E^c)m∗(A)≤m∗(A∩E)+m∗(A∩Ec)，故验证可测性只需证明反向不等式。

定理 24.4.2（可测集族的结构） L\mathcal{L}L 是一个 σ-代数，并且包含所有区间。限制映射 m:=m∗∣Lm := m^*|_{\mathcal{L}}m:=m∗∣L 是一个测度（满足可列可加性），称之为勒贝格测度。

证明思路（分步骤详述）：

补集与空集 ：EEE 可测 ⇒\Rightarrow⇒ EcE^cEc 可测（显然）。∅\emptyset∅ 可测。
有限并可测 ：设 E1,E2∈LE_1,E_2\in\mathcal{L}E1,E2∈L。对任意 AAA，
\begin{align*}
m^(A) &= m^ (A\cap E_1) + m^(A\cap E_1^c) \quad (E_1\text{ 可测})\
&= m^ (A\cap E_1) + m^(A\cap E_1^c\cap E_2) + m^ (A\cap E_1^c\cap E_2^c) \quad (E_2\text{ 可测，测试集 }A\cap E_1^c)\
&\ge m^( (A\cap E_1)\cup (A\cap E_1^c\cap E_2) ) + m^ (A\cap E_1^c\cap E_2^c) \quad (\text{次可加性})\
&= m^(A\cap (E_1\cup E_2)) + m^ (A\cap (E_1\cup E_2)^c),
\end{align*}
因此 E1∪E2E_1\cup E_2E1∪E2 可测。由归纳法，有限并也可测。
可数并可测 ：进一步设 EnE_nEn 为两两不交可测集。令 Fn=⋃i=1nEiF_n = \bigcup_{i=1}^n E_iFn=⋃i=1nEi，可证 FnF_nFn 可测，且对任意 AAA，
m∗(A)=∑i=1nm∗(A∩Ei)+m∗(A∩Fnc).m^*(A) = \sum_{i=1}^n m^*(A\cap E_i) + m^*(A\cap F_n^c).m∗(A)=i=1∑nm∗(A∩Ei)+m∗(A∩Fnc).
令 n→∞n\to\inftyn→∞，由次可加性得
m∗(A)≥∑i=1∞m∗(A∩Ei)+m∗(A∩Fc)≥m∗(A∩F)+m∗(A∩Fc),m^*(A) \ge \sum_{i=1}^\infty m^*(A\cap E_i) + m^*(A\cap F^c) \ge m^*(A\cap F) + m^*(A\cap F^c),m∗(A)≥i=1∑∞m∗(A∩Ei)+m∗(A∩Fc)≥m∗(A∩F)+m∗(A∩Fc),
这里 F=⋃i=1∞EiF=\bigcup_{i=1}^\infty E_iF=⋃i=1∞Ei。从而 FFF 可测，并且取 A=FA=FA=F 可得可列可加性 ∑m(Ei)=m(F)\sum m(E_i)=m(F)∑m(Ei)=m(F)。若 EnE_nEn 并非不交，可通过不交化技巧转为不交并。
区间可测且测度等于长度 ：对半无限区间 (a,∞)(a,\infty)(a,∞)，可验证其满足卡拉西奥多里条件（需用外测度的定义和有限覆盖性质）。于是由 σ-代数性质，所有开区间、闭区间及波莱尔集均可测。对于闭区间 $a,b$ $a,b$ $a,b$ ，用海涅-博雷尔定理证明其外测度等于 b−ab-ab−a：一方面由覆盖定义显然 m∗( $a,b$ )≤b−am^*( $a,b$ )\le b-am∗( $a,b$ )≤b−a；另一方面，任意开覆盖可选出有限子覆盖，经过初等不等式处理可得覆盖长度和不小于 b−ab-ab−a，从而 m∗( $a,b$ )≥b−am^*( $a,b$ )\ge b-am∗( $a,b$ )≥b−a。因此 m( $a,b$ )=b−am( $a,b$ )=b-am( $a,b$ )=b−a。

至此，我们成功构造了勒贝格测度。该测度是平移不变的、齐次的，并且是波莱尔 σ-代数上的唯一平移不变且赋予单位区间测度1的测度。

24.5 勒贝格测度的正则性、完备性与不可测集

定理 24.5.1（正则性） 勒贝格测度是正则的：对任意可测集 EEE，

外正则：m(E)=inf⁡{m(U):U⊇E,U 开}m(E) = \inf\{m(U): U\supseteq E, U\text{ 开}\}m(E)=inf{m(U):U⊇E,U 开}；
内正则：m(E)=sup⁡{m(K):K⊆E,K 紧致}m(E) = \sup\{m(K): K\subseteq E, K\text{ 紧致}\}m(E)=sup{m(K):K⊆E,K 紧致}。

因此，任何可测集均可从外部用开集、从内部用紧集任意逼近。

完备性 ：若 m(E)=0m(E)=0m(E)=0，则 EEE 的任何子集也是可测的（外测度为0）且测度为零。故 L\mathcal{L}L 是包含波莱尔 σ-代数的最小完备 σ-代数。

不可测集的存在（维塔利构造，1905） ：在 $0,1$ $0,1$ $0,1$ 上定义等价关系：x∼y ⟺ x−y∈Qx\sim y \iff x-y\in\mathbb{Q}x∼y⟺x−y∈Q。由选择公理，从每个等价类中选取一个代表元，构成集合 V⊆ $0,1$ V\subseteq $0,1$ V⊆ $0,1$ 。对每个有理数 q∈Q∩ $-1,1$ q\in\mathbb{Q}\cap $-1,1$ q∈Q∩ $-1,1$ ，考虑平移 Vq=V+qV_q = V+qVq=V+q。这些 VqV_qVq 两两不交，且

$0,1$ ⊆⋃qVq⊆ $-1,2$ . $0,1$ \subseteq \bigcup_{q} V_q \subseteq $-1,2$ . $0,1$ ⊆q⋃Vq⊆ $-1,2$ .

假设 VVV 可测，则由平移不变性 m(Vq)=m(V)m(V_q)=m(V)m(Vq)=m(V)。由可列可加性，可数和式 ∑qm(V)\sum_{q} m(V)∑qm(V) 既 ≥1\ge 1≥1 又 ≤3\le 3≤3。但若 m(V)=0m(V)=0m(V)=0 则和为 0<10<10<1，矛盾；若 m(V)>0m(V)>0m(V)>0 则和为 ∞>3\infty>3∞>3，亦矛盾。故 VVV 不可测。这一经典结论表明 σ-代数的限制是不可避免的代价。

24.6 测度的抽象扩张：卡拉西奥多里扩张定理

上述构造可抽象为一般框架，这正是现代测度论的核心定理。

卡拉西奥多里扩张定理 ：设 XXX 为集合，A⊆P(X)\mathcal{A}\subseteq\mathcal{P}(X)A⊆P(X) 为一个代数（对有限并和补封闭），μ0:A→ $0,\infty$ \mu_0:\mathcal{A}\to $0,\\infty$ μ0:A→ $0,\infty$ 是一个预备测度 （即 μ0(∅)=0\mu_0(\emptyset)=0μ0(∅)=0，且对 A\mathcal{A}A 中不交序列若并属于 A\mathcal{A}A 则满足可列可加性）。则存在一个 σ-代数 F⊇σ(A)\mathcal{F}\supseteq\sigma(\mathcal{A})F⊇σ(A) 及其上的测度 μ\muμ，使得 μ∣A=μ0\mu|_{\mathcal{A}} = \mu_0μ∣A=μ0。如果 μ0\mu_0μ0 是 σ-有限的（XXX 可写成 A\mathcal{A}A 中测度有限集的可数并），则该扩张在 σ(A)\sigma(\mathcal{A})σ(A) 上是唯一的。

证明通过定义外测度 μ∗(E)=inf⁡{∑μ0(Ai):E⊆⋃Ai,Ai∈A}\mu^*(E)=\inf\{\sum\mu_0(A_i): E\subseteq\bigcup A_i, A_i\in\mathcal{A}\}μ∗(E)=inf{∑μ0(Ai):E⊆⋃Ai,Ai∈A}，然后使用卡拉西奥多里条件筛选可测集，完全平行于勒贝格测度的构造。

在勒贝格测度的情形，取 A\mathcal{A}A 为有限个左开右闭区间的不交并构成的代数，μ0\mu_0μ0 为通常的长度。扩张即得到勒贝格测度。类似地，该定理是构造哈尔测度、乘积测度、拉东测度等的统一工具。

24.7 从测度到勒贝格积分：公理化路径一览

有了测度空间 (X,F,μ)(X,\mathcal{F},\mu)(X,F,μ)，可定义可测函数 ：函数 f:X→Rf:X\to\mathbb{R}f:X→R 称为可测，若对所有 α∈R\alpha\in\mathbb{R}α∈R，{x:f(x)>α}∈F\{x: f(x)>\alpha\}\in\mathcal{F}{x:f(x)>α}∈F。然后通过标准机器定义勒贝格积分：

对简单函数 s=∑i=1naiχAis=\sum_{i=1}^n a_i\chi_{A_i}s=∑i=1naiχAi (AiA_iAi 不交可测)，定义 ∫s dμ=∑aiμ(Ai)\int s\,d\mu = \sum a_i \mu(A_i)∫sdμ=∑aiμ(Ai)。
对非负可测函数 f≥0f\ge 0f≥0，定义 ∫f dμ=sup⁡{∫s dμ:0≤s≤f,s 简单}\int f\,d\mu = \sup\{\int s\,d\mu : 0\le s\le f, s\text{ 简单}\}∫fdμ=sup{∫sdμ:0≤s≤f,s 简单}。
一般可测函数分解为正负部 f=f+−f−f=f^+-f^-f=f+−f−，若 ∫f+\int f^+∫f+ 和 ∫f−\int f^-∫f− 至少一个有限，则积分有定义。

勒贝格积分的根本优势在于极限定理：

单调收敛定理 ：若非负可测函数列 fn↑ff_n\uparrow ffn↑f，则 ∫fn↑∫f\int f_n\uparrow \int f∫fn↑∫f。
控制收敛定理 ：若可测函数列 fn→ff_n\to ffn→f 几乎处处且 ∣fn∣≤g|f_n|\le g∣fn∣≤g 对某个可积函数 ggg，则 ∫fn→∫f\int f_n\to\int f∫fn→∫f。

这些定理的可证性直接源于测度的可列可加性，使得积分与极限可自由交换。勒贝格积分完备了黎曼积分的缺憾，形成了 LpL^pLp 空间的完备性理论，也使得概率论与泛函分析在统一的语言下蓬勃发展。

结语：公理的无限网络

从拓扑空间的开集三公理，到度量空间的三角不等式，再到实数的确界与柯西完备，最后抵达测度的可列可加性，我们见证了"基础"二字绝非浅薄。每一条公理都像一根丝线，单独脆弱，但编织成网后，便能承载微积分、泛函分析、概率论乃至数学物理的全部重量。公理化的进程没有终点------紧致性、完备性、测度这些概念如今已分化出局部凸空间、量子逻辑、非交换几何中的无数变体，但它们的根，永远扎在这几条清澈的初始语句之中。理解公理，就是握住数学世界的源代码。