Tietze 延拓（Banach 值）

说明

分层归约。① 有限维：$V = \mathbb{R}^{m}$，逐坐标用经典 Tietze 延拓（正规空间上实值连续函数的延拓，本质是 Urysohn 引理）。② 一般可分 Banach：每个可分 Banach 空间都同构于 $\ell^{\infty}$ 的闭子空间，而 $\ell^{\infty}$ 是 Lipschitz 收缩核 —— 于是可以先把映射延拓到 $\ell^{\infty}$ 再收缩回来。③ 不可分的情形用「紧像落在某个可分闭子空间里」再归约到 ②。

⭐ 为什么凝聚态数学要用它。 §8.2 的主定理「实 Banach 空间在紧 Hausdorff 空间上零调」走的是「把一般紧 Hausdorff 空间 $S$ 用 Stonean 的 $S_{0}$ 覆盖、再把偏差压回去」的路线；偏差项住在一个函数空间 $C(K, V)$ 里，而要把它压掉就得靠延拓，即这条 Tietze。

⚠️ 这条一般拓扑里也有实值版本（Tietze 延拓定理）；这里的增量是：取值可以让是任意实 Banach 空间。

证明（Dugundji 延拓定理）。 取值在拓扑向量空间里的 Tietze 是 Dugundji 的定理：设 $X$ 仿紧（度量空间即可）、$A \subseteq X$ 闭、$V$ 是局部凸拓扑向量空间，则存在线性延拓算子 $C(A, V) \to C(X, V)$，特别地限制映射满。

• 构造：仿紧性给出 $A$ 的一个开邻域系 $\{U_{i}\}$ 的局部有限细化与配套的单位分解 $\{\varphi_{i}\}$（$\sum \varphi_{i} = 1$，$\varphi_{i} \ge 0$，支集在 $U_{i}$ 里）。每个 $U_{i}$ 上先把 $g|_{A \cap U_{i}}$ 延拓成一个常值映射 $g_{i}$（取 $A\cap U_{i}$ 上某点的值）；再令

• 为什么良定义：局部有限 $\implies$ 每个点附近只有有限个 $\varphi_{i}$ 非零，和是有限的；$V$ 是向量空间，凸组合有意义；$\varphi_{i}$ 连续，故 $G$ 连续。
• 为什么是延拓：若 $x \in A$，则所有满足 $\varphi_{i}(x) > 0$ 的 $U_{i}$ 都含 $x$，而每个 $g_{i}$ 在 $A \cap U_{i}$ 上等于 $g$，于是 $G(x) = \sum \varphi_{i}(x) g(x) = g(x)$。

应用到这里：$X$ 正规（度量 / 仿紧空间都正规）、$K \subseteq X$ 紧故闭，$V$ 实 Banach 空间（局部凸），于是限制映射 $C(X,V) \twoheadrightarrow C(K,V)$ 满。$V = \mathbb{R}^{m}$ 是逐坐标用经典 Tietze。∎