数学星球:等价性(第5-8章)

5. 几何与拓扑中的商构造

5.1 粘合构造：手搓新空间的艺术

在拓扑学中，商构造是构造新空间的最强大工具。基本操作是：取一个已知空间，通过等价关系将某些部分"粘合"在一起。

定义5.1（商拓扑） 设 X X X 是拓扑空间， ∼ \sim ∼ 是 X X X 上的等价关系。商集 X /  ⁣ ⁣ ∼ X/\!\!\sim X/∼ 上的商拓扑 定义为： U ⊆ X /  ⁣ ⁣ ∼ U \subseteq X/\!\!\sim U⊆X/∼ 是开集当且仅当 π − 1 ( U ) \pi^{-1}(U) π−1(U) 在 X X X 中是开集。即：

τ X / ∼ = { U ⊆ X /  ⁣ ⁣ ∼ : π − 1 ( U ) ∈ τ X } . \tau_{X/\sim} = \{U \subseteq X/\!\!\sim : \pi^{-1}(U) \in \tau_X\}. τX/∼={U⊆X/∼:π−1(U)∈τX}.

这是使得典范投影 π : X → X /  ⁣ ⁣ ∼ \pi: X \to X/\!\!\sim π:X→X/∼ 连续的最细拓扑。

定理5.2（商拓扑的泛性质） 设 X X X 是拓扑空间， ∼ \sim ∼ 是等价关系。对于任意拓扑空间 Y Y Y 和连续映射 f : X → Y f: X \to Y f:X→Y 满足 x ∼ x ′    ⟹    f ( x ) = f ( x ′ ) x \sim x' \implies f(x) = f(x') x∼x′⟹f(x)=f(x′)，存在唯一的连续映射 f ~ : X /  ⁣ ⁣ ∼ → Y \tilde{f}: X/\!\!\sim \to Y f~:X/∼→Y 使得 f = f ~ ∘ π f = \tilde{f} \circ \pi f=f~∘π。

证明 ：由商集的泛性质， f ~ \tilde{f} f~ 作为集合映射存在唯一。只需验证 f ~ \tilde{f} f~ 连续。对于 Y Y Y 中的开集 V V V， f ~ − 1 ( V ) \tilde{f}^{-1}(V) f~−1(V) 在 X /  ⁣ ⁣ ∼ X/\!\!\sim X/∼ 中开    ⟺    π − 1 ( f ~ − 1 ( V ) ) \iff \pi^{-1}(\tilde{f}^{-1}(V)) ⟺π−1(f~−1(V)) 在 X X X 中开。但 π − 1 ( f ~ − 1 ( V ) ) = ( f ~ ∘ π ) − 1 ( V ) = f − 1 ( V ) \pi^{-1}(\tilde{f}^{-1}(V)) = (\tilde{f} \circ \pi)^{-1}(V) = f^{-1}(V) π−1(f~−1(V))=(f~∘π)−1(V)=f−1(V)，由 f f f 的连续性知其在 X X X 中开。故 f ~ \tilde{f} f~ 连续。 □ \square □

例5.3（线段粘成圆） X = 0 , 1 X = 0,1 X=0,1，定义等价关系： 0 ∼ 1 0 \sim 1 0∼1，其他点只与自己等价。则 X /  ⁣ ⁣ ∼    ≅ S 1 X/\!\!\sim \; \cong S^1 X/∼≅S1（同胚于圆）。

证明 ：定义 f : 0 , 1 → S 1 f: 0,1 \to S^1 f:0,1→S1 为 f ( t ) = ( cos ⁡ ( 2 π t ) , sin ⁡ ( 2 π t ) ) f(t) = (\cos(2\pi t), \sin(2\pi t)) f(t)=(cos(2πt),sin(2πt))。 f f f 连续，且 f ( 0 ) = ( 1 , 0 ) = f ( 1 ) f(0) = (1,0) = f(1) f(0)=(1,0)=f(1)，满足等价关系条件。由商拓扑的泛性质，存在连续双射 f ~ : X /  ⁣ ⁣ ∼ → S 1 \tilde{f}: X/\!\!\sim \to S^1 f~:X/∼→S1。由于 0 , 1 0,1 0,1 紧， X /  ⁣ ⁣ ∼ X/\!\!\sim X/∼ 紧（连续像），且 S 1 S^1 S1 豪斯多夫。紧空间到豪斯多夫空间的连续双射是同胚。故 X /  ⁣ ⁣ ∼ ≅ S 1 X/\!\!\sim \cong S^1 X/∼≅S1。 □ \square □

例5.4（圆盘的边界缩成球面） X = D 2 = { x ∈ R 2 : ∥ x ∥ ≤ 1 } X = D^2 = \{x \in \mathbb{R}^2 : \|x\| \le 1\} X=D2={x∈R2:∥x∥≤1}。定义等价关系： x ∼ y    ⟺    x , y ∈ S 1 x \sim y \iff x, y \in S^1 x∼y⟺x,y∈S1 或 x = y x = y x=y（即将整个边界圆周 S 1 S^1 S1 坍缩为一个点）。则 X /  ⁣ ⁣ ∼    ≅ S 2 X/\!\!\sim \; \cong S^2 X/∼≅S2（同胚于二维球面）。

构造 ：将圆盘 D 2 D^2 D2 视为球面 S 2 S^2 S2 的南半球。通过球极投影将南半球的边界（赤道）坍缩为南极，或将整个边界捏为一个点，得到与球面同胚的空间。

例5.5（正方形粘成环面） X = 0 , 1 × 0 , 1 X = 0,1 \times 0,1 X=0,1×0,1。定义等价关系：

( 0 , y ) ∼ ( 1 , y ) , ( x , 0 ) ∼ ( x , 1 ) , (0, y) \sim (1, y), \quad (x, 0) \sim (x, 1), (0,y)∼(1,y),(x,0)∼(x,1),

其他点只和自己等价。则 X /  ⁣ ⁣ ∼    ≅ T 2 = S 1 × S 1 X/\!\!\sim \; \cong T^2 = S^1 \times S^1 X/∼≅T2=S1×S1（环面）。

构造思路 ：先定义 f : 0 , 1 × 0 , 1 → S 1 × S 1 f: 0,1 \times 0,1 \to S^1 \times S^1 f:0,1×0,1→S1×S1 为 f ( x , y ) = ( e 2 π i x , e 2 π i y ) f(x, y) = (e^{2\pi i x}, e^{2\pi i y}) f(x,y)=(e2πix,e2πiy)。验证 f f f 在等价类上为常数，且诱导的商映射是同胚。

例5.6（莫比乌斯带） X = 0 , 1 × 0 , 1 X = 0,1 \times 0,1 X=0,1×0,1。定义等价关系： ( 0 , y ) ∼ ( 1 , 1 − y ) (0, y) \sim (1, 1-y) (0,y)∼(1,1−y)（左右边反向粘合）。商空间是莫比乌斯带------一个只有一条边、一个面的不可定向曲面。

例5.7（射影平面） 在球面 S 2 S^2 S2 上定义对径点等价： x ∼ − x x \sim -x x∼−x。商空间 R P 2 = S 2 /  ⁣ ⁣ ∼ \mathbb{RP}^2 = S^2/\!\!\sim RP2=S2/∼ 是实射影平面。它是一个不可定向的闭曲面，不能嵌入 R 3 \mathbb{R}^3 R3 中（只能浸入）。

例5.8（克莱因瓶） 在正方形 0 , 1 × 0 , 1 0,1 \times 0,1 0,1×0,1 上定义 ( 0 , y ) ∼ ( 1 , y ) (0, y) \sim (1, y) (0,y)∼(1,y)（左右同向粘合）， ( x , 0 ) ∼ ( 1 − x , 1 ) (x, 0) \sim (1-x, 1) (x,0)∼(1−x,1)（上下反向粘合）。商空间是克莱因瓶------另一个不可定向曲面，不能嵌入 R 3 \mathbb{R}^3 R3。

5.2 群作用的商与轨道空间

定义5.9（群作用） 群 G G G 在拓扑空间 X X X 上的一个连续作用是群同态 ρ : G → Homeo ⁡ ( X ) \rho: G \to \operatorname{Homeo}(X) ρ:G→Homeo(X)（ Homeo ⁡ ( X ) \operatorname{Homeo}(X) Homeo(X) 是 X X X 的同胚群）。通常记 g ⋅ x = ρ ( g ) ( x ) g \cdot x = \rho(g)(x) g⋅x=ρ(g)(x)。

定义5.10（轨道与轨道空间） x ∈ X x \in X x∈X 在 G G G 作用下的轨道 是：

G ⋅ x = { g ⋅ x : g ∈ G } . G \cdot x = \{g \cdot x : g \in G\}. G⋅x={g⋅x:g∈G}.

轨道定义了 X X X 上的等价关系： x ∼ y    ⟺    ∃ g ∈ G , y = g ⋅ x x \sim y \iff \exists g \in G, y = g \cdot x x∼y⟺∃g∈G,y=g⋅x。商空间 X / G X/G X/G 称为该群作用的轨道空间。

定理5.11（轨道空间的基本性质） 投影 π : X → X / G \pi: X \to X/G π:X→X/G 是开映射。若 G G G 是有限群且自由地作用于豪斯多夫空间 X X X，则 X / G X/G X/G 是豪斯多夫空间。

证明（开映射） ：设 U ⊆ X U \subseteq X U⊆X 开。需证 π − 1 ( π ( U ) ) \pi^{-1}(\pi(U)) π−1(π(U)) 开。注意 π − 1 ( π ( U ) ) = ⋃ g ∈ G g ⋅ U \pi^{-1}(\pi(U)) = \bigcup_{g \in G} g \cdot U π−1(π(U))=⋃g∈Gg⋅U。每个 g ⋅ U g \cdot U g⋅U 是 U U U 在同胚 g g g 下的像，故开。开集的并仍开。因此 π ( U ) \pi(U) π(U) 在商拓扑下开。

（豪斯多夫性） ：设 G G G 有限且作用自由。取 x ≠ y ∈ X / G x \neq y \in X/G x=y∈X/G。则对任意 g ∈ G g \in G g∈G， g ⋅ x ≠ y g \cdot x \neq y g⋅x=y（否则同轨道）。由于 X X X 豪斯多夫，存在邻域 U g ∋ g ⋅ x U_g \ni g \cdot x Ug∋g⋅x， V g ∋ y V_g \ni y Vg∋y 分离它们。取 U = ⋂ g − 1 ⋅ U g U = \bigcap g^{-1} \cdot U_g U=⋂g−1⋅Ug， V = ⋂ V g V = \bigcap V_g V=⋂Vg。可以验证 π ( U ) \pi(U) π(U) 和 π ( V ) \pi(V) π(V) 分离 x x x 和 y y y。 □ \square □

例5.12（射影空间作为球面的商） Z 2 = { 1 , − 1 } \mathbb{Z}_2 = \{1, -1\} Z2={1,−1} 作用于 S n S^n Sn： ( − 1 ) ⋅ x = − x (-1) \cdot x = -x (−1)⋅x=−x（对径映射）。则 S n / Z 2 ≅ R P n S^n/\mathbb{Z}_2 \cong \mathbb{RP}^n Sn/Z2≅RPn。

例5.13（环面作为平面的商） Z 2 \mathbb{Z}^2 Z2 通过平移作用于 R 2 \mathbb{R}^2 R2： ( m , n ) ⋅ ( x , y ) = ( x + m , y + n ) (m,n) \cdot (x,y) = (x+m, y+n) (m,n)⋅(x,y)=(x+m,y+n)。则 R 2 / Z 2 ≅ T 2 \mathbb{R}^2/\mathbb{Z}^2 \cong T^2 R2/Z2≅T2（环面）。平面的无穷延伸被整数的平移等价关系"折叠"为紧致的环面。

证明 ：定义 f : R 2 → S 1 × S 1 f: \mathbb{R}^2 \to S^1 \times S^1 f:R2→S1×S1 为 f ( x , y ) = ( e 2 π i x , e 2 π i y ) f(x,y) = (e^{2\pi i x}, e^{2\pi i y}) f(x,y)=(e2πix,e2πiy)。 f f f 连续、满射，且 f ( x + m , y + n ) = f ( x , y ) f(x+m, y+n) = f(x,y) f(x+m,y+n)=f(x,y)。诱导的双射 f ~ : R 2 / Z 2 → T 2 \tilde{f}: \mathbb{R}^2/\mathbb{Z}^2 \to T^2 f~:R2/Z2→T2 是同胚（由 R 2 / Z 2 \mathbb{R}^2/\mathbb{Z}^2 R2/Z2 的紧性和 T 2 T^2 T2 的豪斯多夫性）。

例5.14（透镜空间） Z p \mathbb{Z}_p Zp 作用于 S 3 S^3 S3（视为 C 2 \mathbb{C}^2 C2 中的单位球面）： k ⋅ ( z 1 , z 2 ) = ( e 2 π i k / p z 1 , e 2 π i k q / p z 2 ) k \cdot (z_1, z_2) = (e^{2\pi i k/p} z_1, e^{2\pi i k q/p} z_2) k⋅(z1,z2)=(e2πik/pz1,e2πikq/pz2)，其中 gcd ⁡ ( p , q ) = 1 \gcd(p,q)=1 gcd(p,q)=1。商空间是透镜空间 L ( p ; q ) L(p; q) L(p;q)------重要的三维流形，其基本群为 Z p \mathbb{Z}_p Zp。不同 q q q 给出可能不同伦但同调相同的透镜空间。

5.3 商拓扑的微妙之处：豪斯多夫性的丧失

商拓扑并不总是好脾气。即使 X X X 是豪斯多夫空间， X /  ⁣ ⁣ ∼ X/\!\!\sim X/∼ 也可能不是豪斯多夫的。

例5.15（线 with two origins------非豪斯多夫商空间） 取 X = R × { 0 , 1 } X = \mathbb{R} \times \{0,1\} X=R×{0,1}（两条实数线的无交并）。定义等价关系： ( x , 0 ) ∼ ( x , 1 ) (x,0) \sim (x,1) (x,0)∼(x,1) 对所有 x ≠ 0 x \neq 0 x=0 成立，但 ( 0 , 0 ) (0,0) (0,0) 和 ( 0 , 1 ) (0,1) (0,1) 不与其他任何点等价。商空间是"有两个原点的线"------除了两个原点外，它与实数线相同。两个原点 0 , 0 0,0 0,0 和 0 , 1 0,1 0,1 的任何邻域都相交（因为它们都包含 { x , 0 = x , 1 : 0 < ∣ x ∣ < ε } \{x,0=x,1 : 0 < |x| < \varepsilon\} {x,0=x,1:0<∣x∣<ε}）。因此商空间非豪斯多夫。

定理5.16（商空间豪斯多夫的判别） 设 X X X 是紧豪斯多夫空间，等价关系 ∼ \sim ∼ 是闭的（即其图像是 X × X X \times X X×X 的闭子集）。则 X /  ⁣ ⁣ ∼ X/\!\!\sim X/∼ 是豪斯多夫空间。

证明（概要） ：这需要证明 X /  ⁣ ⁣ ∼ X/\!\!\sim X/∼ 中不同的点可以被不相交的开集分离。利用 ∼ \sim ∼ 图像闭和 X X X 紧豪斯多夫的性质，通过标准拓扑论证完成。

推论5.17 若 G G G 是有限群自由地作用于紧豪斯多夫空间 X X X，则 X / G X/G X/G 是紧豪斯多夫空间。

5.4 拓扑商与粘贴引理

定理5.18（粘贴引理/商空间的组合构造） 设 X = A ∪ B X = A \cup B X=A∪B，其中 A , B A, B A,B 是 X X X 的闭子空间（或均为开子空间）。设 f : A → Y f: A \to Y f:A→Y 和 g : B → Y g: B \to Y g:B→Y 是连续映射，且在 A ∩ B A \cap B A∩B 上 f = g f = g f=g。则存在唯一的连续映射 h : X → Y h: X \to Y h:X→Y 满足 h ∣ A = f h|_A = f h∣A=f 和 h ∣ B = g h|_B = g h∣B=g。

这一定理常被用于验证从商空间出发的映射的连续性------将商空间分解为若干"粘合片"，逐片验证。

6. 概率论与泛函分析中的等价类与商构造

6.1 随机变量的"几乎必然相等"与 L p L^p Lp 空间

定义6.1（几乎必然相等） 在概率空间 ( Ω , F , P ) (\Omega, \mathcal{F}, P) (Ω,F,P) 上，定义等价关系：

X ∼ Y    ⟺    P ( { ω : X ( ω ) ≠ Y ( ω ) } ) = 0. X \sim Y \iff P(\{\omega : X(\omega) \neq Y(\omega)\}) = 0. X∼Y⟺P({ω:X(ω)=Y(ω)})=0.

记 X X X 为 X X X 的等价类。

定理6.2（ L p L^p Lp 空间作为商空间） 对于 1 ≤ p < ∞ 1 \le p < \infty 1≤p<∞，定义：

L p ( Ω , F , P ) = { X : Ω → R 可测 : E ∣ X ∣ p < ∞ } . \mathcal{L}^p(\Omega, \mathcal{F}, P) = \{X : \Omega \to \mathbb{R} \text{ 可测} : \mathbb{E}\|X\|\^p < \infty\}. Lp(Ω,F,P)={X:Ω→R 可测:E∣X∣p<∞}.

L p \mathcal{L}^p Lp 是向量空间， ∥ X ∥ p = ( E ∣ X ∣ p ) 1 / p \|X\|_p = (\mathbb{E}\|X\|\^p)^{1/p} ∥X∥p=(E∣X∣p)1/p 满足范数的齐次性和三角不等式，但不满足正定性（ ∥ X ∥ p = 0 \|X\|_p = 0 ∥X∥p=0 仅蕴涵 X = 0 X = 0 X=0 a.s.，而非处处为零）。

定义 L p ( Ω , F , P ) = L p / ∼ L^p(\Omega, \mathcal{F}, P) = \mathcal{L}^p / \sim Lp(Ω,F,P)=Lp/∼，其中 ∼ \sim ∼ 是几乎必然相等。在 L p L^p Lp 上， ∥ X ∥ p = ∥ X ∥ p \|X\|_p = \|X\|_p ∥X∥p=∥X∥p 是良定义的范数（因为若 X ∼ Y X \sim Y X∼Y，则 ∣ X ∣ p |X|^p ∣X∣p 和 ∣ Y ∣ p |Y|^p ∣Y∣p 几乎必然相等，积分相等）。且 ∥ X ∥ p = 0    ⟺    X = 0 a.s.    ⟺    X = 0 \|X\|_p = 0 \iff X = 0 \text{ a.s.} \iff X = 0 ∥X∥p=0⟺X=0 a.s.⟺X=0。

定理6.3（里斯-费舍尔定理） L p ( Ω , F , P ) L^p(\Omega, \mathcal{F}, P) Lp(Ω,F,P) 是巴拿赫空间（完备赋范向量空间）。

证明（ p = 1 p=1 p=1 的概要） ：设 { X n } \{X_n\} {Xn} 是 L 1 L^1 L1 中的柯西序列。取子列满足 ∥ X n k + 1 − X n k ∥ 1 < 2 − k \|X_{n_k+1} - X_{n_k}\|1 < 2^{-k} ∥Xnk+1−Xnk∥1<2−k。则 ∑ E ∣ X n k + 1 − X n k ∣ < ∞ \sum \mathbb{E}\|X_{n_{k+1}} - X_{n_k}\| < \infty ∑E∣Xnk+1−Xnk∣<∞。由单调收敛定理， E ∑ ∣ X n k + 1 − X n k ∣ = ∑ E ∣ X n k + 1 − X n k ∣ < ∞ \mathbb{E}\\sum \|X_{n_{k+1}} - X_{n_k}\| = \sum \mathbb{E}\|X_{n_{k+1}} - X_{n_k}\| < \infty E∑∣Xnk+1−Xnk∣=∑E∣Xnk+1−Xnk∣<∞，因此 ∑ ∣ X n k + 1 − X n k ∣ < ∞ \sum |X{n_{k+1}} - X_{n_k}| < \infty ∑∣Xnk+1−Xnk∣<∞ a.s.。故 X n k X_{n_k} Xnk a.s. 收敛到某个 X X X。验证 X ∈ L 1 X \in \mathcal{L}^1 X∈L1 且 X n → X X_n \to X Xn→X 在 L 1 L^1 L1 范数下。 □ \square □

注记 ： L p L^p Lp 空间中的"点"是函数的等价类，而非函数本身。这在概念上是一个巨大的跃迁------但在实践中，数学家们通常直接称 L p L^p Lp 的元素为"函数"，只是附加一句"在几乎处处相等的意义下"。这种语言上的模糊正是商构造在日常数学实践中的体现。

6.2 条件期望：对子 σ \sigma σ-代数的商投影

定义6.4（条件期望） 设 G ⊆ F \mathcal{G} \subseteq \mathcal{F} G⊆F 是子 σ \sigma σ-代数。对于 X ∈ L 2 ( Ω , F , P ) X \in L^2(\Omega, \mathcal{F}, P) X∈L2(Ω,F,P)，条件期望 E X ∣ G \mathbb{E}X \\mid \\mathcal{G} EX∣G 是 X X X 在闭子空间 L 2 ( Ω , G , P ) L^2(\Omega, \mathcal{G}, P) L2(Ω,G,P) 上的正交投影。

商构造视角 ：定义等价关系：

X ∼ G Y    ⟺    E ∣ X − Y ∣ ∣ G = 0 a.s. . X \sim_{\mathcal{G}} Y \iff \mathbb{E}\|X - Y\| \\mid \\mathcal{G} = 0 \text{ a.s.}. X∼GY⟺E∣X−Y∣∣G=0 a.s..

或者等价地， X X X 和 Y Y Y 在" G \mathcal{G} G 信息"下不可区分。条件期望 E X ∣ G \mathbb{E}X \\mid \\mathcal{G} EX∣G 是这个等价类中的唯一 G \mathcal{G} G-可测代表（在几乎必然相等意义下）。

定理6.5（条件期望的等价类刻画） 对于 X ∈ L 2 X \in L^2 X∈L2， E X ∣ G \mathbb{E}X \\mid \\mathcal{G} EX∣G 是满足以下条件的唯一（在 a.s. 意义下） G \mathcal{G} G-可测随机变量：

1. E X ∣ G \mathbb{E}X \\mid \\mathcal{G} EX∣G 是 G \mathcal{G} G-可测的。
2. 对于任意 A ∈ G A \in \mathcal{G} A∈G， ∫ A E X ∣ G d P = ∫ A X d P \int_A \mathbb{E}X \\mid \\mathcal{G} dP = \int_A X dP ∫AEX∣GdP=∫AXdP。

条件2恰好是说： X X X 和 E X ∣ G \mathbb{E}X \\mid \\mathcal{G} EX∣G 在所有 G \mathcal{G} G-可测集上有相同的积分------它们是"在 G \mathcal{G} G 信息下不可区分"的等价类中的代表元。

6.3 希尔伯特空间中的商：正交补

定理6.6（闭子空间的正交分解） 设 H H H 是希尔伯特空间， M ⊆ H M \subseteq H M⊆H 是闭子空间。则 H = M ⊕ M ⊥ H = M \oplus M^\perp H=M⊕M⊥。

商构造视角 ：典范投影 π : H → H / M \pi: H \to H/M π:H→H/M（商空间）有等距同构 H / M ≅ M ⊥ H/M \cong M^\perp H/M≅M⊥。即：商掉 M M M 等价于投影到其正交补。

证明 ：定义 T : M ⊥ → H / M T: M^\perp \to H/M T:M⊥→H/M 为 T ( x ) = x T(x) = x T(x)=x。 T T T 是线性的。核：若 T ( x ) = 0 T(x) = 0 T(x)=0，则 x ∈ M x \in M x∈M。但 x ∈ M ⊥ x \in M^\perp x∈M⊥，故 x ∈ M ∩ M ⊥ = { 0 } x \in M \cap M^\perp = \{0\} x∈M∩M⊥={0}。单射。满射：任意 y ∈ H / M y \in H/M y∈H/M，将 y y y 正交分解为 y = y M + y ⊥ y = y_M + y_\perp y=yM+y⊥，则 y = y ⊥ = T ( y ⊥ ) y = y_\\perp = T(y_\perp) y=y⊥=T(y⊥)。由单射和满射得同构。等距性： ∥ x ∥ H / M = inf ⁡ m ∈ M ∥ x − m ∥ = ∥ x ∥ \|x\|{H/M} = \inf{m \in M} \|x - m\| = \|x\| ∥x∥H/M=infm∈M∥x−m∥=∥x∥（因为 x ⊥ M x \perp M x⊥M，距离极小值在 m = 0 m=0 m=0 取到）。 □ \square □

7. 第七造山带与其他六带的深度融合

7.1 与第一造山带（线性性）的联结

秩-零化度定理 V / ker ⁡ T ≅ im ⁡ T V/\ker T \cong \operatorname{im} T V/kerT≅imT 是第七带与第一带交汇的纪念碑。线性映射的核-像关系是商构造最经典、应用最广的实例之一。第一同构定理（群的、向量空间的、模的）是两者结合的完整形式。

7.2 与第二造山带（对偶性）的联结

商空间与零化子之间的对偶： ( V / W ) ∗ ≅ W ∘ (V/W)^* \cong W^\circ (V/W)∗≅W∘（商空间的对偶同构于 W W W 的零化子）。更一般地，对于子空间 W ⊆ V W \subseteq V W⊆V，正合列

0 → W → V → V / W → 0 0 \to W \to V \to V/W \to 0 0→W→V→V/W→0

的对偶正合列为

0 → ( V / W ) ∗ → V ∗ → W ∗ → 0 0 \to (V/W)^* \to V^* \to W^* \to 0 0→(V/W)∗→V∗→W∗→0

（在有限维时右边的0也成立）。商与子空间在对偶性下互换角色。

7.3 与第三造山带（不变性）的联结

群 G G G 作用在空间 X X X 上，轨道空间 X / G X/G X/G 正是将"群作用下等价"声明为等价关系的商构造。在 X / G X/G X/G 上， G G G-不变量（即在每个轨道上为常数的函数）自然地成为商空间上的函数。不变量 = 商空间上的函数。 这是两座山脉最直接的联结。

7.4 与第四造山带（谱理论）的联结

商空间在谱理论中以多种形式出现。弗雷德霍姆算子理论中， dim ⁡ ker ⁡ T − dim ⁡ coker ⁡ T \dim \ker T - \dim \operatorname{coker} T dimkerT−dimcokerT 的指标不变量涉及商空间 coker ⁡ T = W / im ⁡ T \operatorname{coker} T = W/\operatorname{im} T cokerT=W/imT。算子 T T T 的谱是否包含0，等价于 T T T 在商空间 V / ker ⁡ T V/\ker T V/kerT 上是否可逆。

7.5 与第五造山带（函子性）的联结

商构造是一个函子：从"带有同余关系的代数结构"范畴到"商代数"范畴。第一同构定理在范畴论下表述为：商对象是余等子 （coequalizer）。具体地，对于同态 φ : A → B \varphi: A \to B φ:A→B，其核对 K ⇉ A K \rightrightarrows A K⇉A 的余等子恰为 A / K ≅ im ⁡ φ A/K \cong \operatorname{im}\varphi A/K≅imφ。

7.6 与第六造山带（不动点定理）的联结

在商空间上的不动点定理（如等变布劳威尔定理）处理群作用商空间上的不动点性质。自映射 f : X / G → X / G f: X/G \to X/G f:X/G→X/G 的不动点对应于原空间中等变映射的"群作用轨道"的不动点性质。

8. 等价关系与商构造的统一哲学

8.1 遗忘的创造力

人类心智最被低估的能力，不是记忆，而是遗忘。博尔赫斯在《博闻强记的富内斯》中描绘了一个无法遗忘任何细节的人------他记得每一片树叶的每一个角度，每一朵云的每一种形状。他因此完全无法思考。因为思考需要的不是细节的累积，而是细节的忽略------将无限丰富的具体经验压缩为有限的概念类别。

等价关系是数学对"概念形成"这一认知过程的形式化。每一个等价关系都回答一个问题：在当前的语境下，哪些差异是可以忽略的？

• 模12算术：我们忽略整数的绝对大小，只保留除以12的余数。换来的是循环算术的简洁。
• 商空间：我们忽略子空间 W W W 内的差异。换来的是低维空间中的清晰图像。
• 同伦等价：我们忽略连续的细微形变。换来的是空间的粗粒度分类。
• 几乎必然相等：我们忽略零测集上的病态。换来的是 L p L^p Lp 范数的正定性和空间的完备性。
• 同构等价：我们忽略对象的具体构造。换来的是结构性的分类理论。

每一种数学理论的诞生，都始于一个等价关系的建立。 商构造将这个遗忘的动作"实体化"------它创造出一个新的数学对象，这个对象的内部结构精确地反映了"遗忘之后还剩下什么"。

8.2 商构造的心法

面对任何复杂的信息集合，问自己：

1. 在这个问题中，什么差异是无关紧要的？ 将那些差异声明为等价关系。
2. 等价类是什么？ 将所有"在当前标准下不可区分"的对象归入同一个类。
3. 商集/商空间有什么结构？ 原来的运算、关系、拓扑是否良好地下降到商集上？是否需要额外的"正规性"条件（如正规子群、理想）？
4. 商构造揭示了什么？ 遗忘了不关心的差异后，是否浮现出了原本隐藏在细节之下的清晰结构？
5. 商空间的泛性质是什么？ 如何用泛性质避免对商空间元素的显式操作？

8.3 等价关系------数学的眨眼

我们从线段的两端粘合成圆，走到了模算术的有限环，走到了一般代数结构的生成元与关系，走到了轨道空间与低维拓扑流形，走到了 L p L^p Lp 空间中几乎必然相等的等价类。

在某种意义上，等价关系和商构造是数学中最诚实的操作。它不假装看到了不存在的东西。它只是正式宣布：就我们目前关心的这个问题而言，这些东西是"一样的"。然后它让这种"一样"结出果实。

这正是第七造山带的最终教诲：你不是通过看得更细致来理解世界，你是通过有选择地闭上眼睛来理解世界。 商构造就是数学用来眨眼的眼睑------在每一次闭合与张开的节律中，现象的无尽噪声被滤去，深层的结构在概念的光线下显形。