实 Banach 在紧 Hausdorff 上零调

说明

⭐ 这是 §8.2 的主定理，也是整章的枢纽：它把「零调」从 Stone 空间推到了一般紧 Hausdorff 空间，代价是系数必须落在实 Banach 空间里。

证法。① 用 Stonean 空间 $S_{0}$ 满射到 $S$（由「紧 Hausdorff 空间沿闭含入的滤过余极限 / Stonean 覆盖」那套技术得到）；② 在 $S_{0}$ 上由「Banach 在 Stone 上零调」知道 Čech 复形零调；③ 比较 $S_{0} \to S$ 的 Čech 复形与 $S$ 本身的上同调，偏差项住在 $C(K, V)$ 里；④ 用 Tietze 延拓（Banach 值） 把偏差压掉，得到 $S$ 上的有界零调；⑤ 用「$K$-有界零调 $\implies$ 零调」转成通常零调。

⚠️ 复 Banach 空间不成立。 这是「solid 模 / solid 拟凝聚层」那一整套理论出现的直接原因之一 —— 实的情形能用 Tietze 那样的序结构（$\mathbb{R}$ 上的上确界、分割）把它压下来，复的情形没有这套工具，得上完全不同的机器。

📌 与「局部紧上凝聚态＝层上同调」对照：那条处理的是离散系数（且空间只需局部紧），这条处理的是 Banach 系数（而空间只需紧）—— 两条合起来覆盖了第 8 章大半的计算。

证明（把偏差用单位分解压掉）。 由「紧 Hausdorff 上 Čech = 层上同调」、「Banach 在 Stone 上零调」与「$K$-有界零调 $\implies$ 零调」，只需证：对 Stone 空间的连续满射 $S_{0} \to S$，增广 Čech 复形 $\check{C}^{\bullet}\bigl((S_{0}\to S)^{+}, V\bigr)$ 是 $1$-有界零调的。 固定 $\varepsilon > 0$ 与 $f \in \check{C}^{n}$（即 $S_{n} \to V$ 连续，$S_{n}$ 是 $S_{0}$ 在 $S$ 上的 $(n{+}1)$ 重纤维积）。记 $\pi_{n} : S_{n} \to S$ 与 $f_{x} := f|_{\pi_{n}^{-1}(x)}$。

• 对每个 $x \in S$，对纤维上的满射 $\pi_{n}^{-1}(x) \to \{x\}$ 用「Stone 满射的 Čech 复形 $1$-有界零调」（逐纤维的版本），得 $g_{x} : \pi_{n+1}^{-1}(x) \to V$ 使

• 由 Tietze（Banach 值），$g_{x}$ 延拓成 $S_{n+1}$ 上的 $G_{x}$；由连续性，$x$ 有邻域 $V_{x}$ 使在 $\pi_{n+1}^{-1}(V_{x})$ 上 $\|f - dG_{x}\| < \|df\| + \varepsilon$。
• 取有限的 $V_{1}, \ldots, V_{r}$ 覆盖 $S$（紧性），配从属的单位分解 $\{\varphi_{i}\}$，令 $g := \sum_{i} (\varphi_{i}\circ\pi_{n+1})\,G_{i}$。由 $\sum_{i}(\varphi_{i}\circ\pi_{n}) = 1$ 得 $f = \sum_{i}(\varphi_{i}\circ\pi_{n}) f$，又 $dg = \sum_{i}(\varphi_{i}\circ\pi_{n})\, dG_{i}$，两式相减：

最后一步是「凸组合的范数不超过最大范数」（$\varphi_{i} \ge 0$、$\sum\varphi_{i} = 1$）。这正是 $K = 1$ 的 $K$-有界正合。∎