Banach 空间

它指向谁（出边）

推出 1

• 本页 ⟹ 逆映射定理（Banach 版）推出
  同一套证明换到 Banach 空间（多一步 Neumann 级数）

  证明与有限维版本（imp.inverse-function）逐步对应，只有两处需要替换：

  （i）化归到 $Df(a) = I$ 时要能取逆。 有限维里用「矩阵可逆即有逆矩阵」；这里 $Df(a) : E \to F$ 是拓扑线性同构，其逆 $A^{-1} \in \mathcal{L}(F, E)$ 有界，故

  $$\widetilde f(x) := A^{-1}\bigl( f(a + x) - f(a) \bigr)$$

  仍然合法（$A^{-1}$ 有界 $\implies$ 连续 $\implies$ 保持 $C^{1}$ 性与可微性）。

  （ii）第二步之后不需要新东西。 $\Phi := \mathrm{id} - \widetilde f$ 满足 $D\Phi(0) = 0$，由 $x \mapsto D\Phi(x)$ 连续，存在 $r > 0$ 使 $\|x\| \le r$ 时 $\|D\Phi(x)\| \le \frac{1}{2}$；由中值不等式（在 Banach 空间里逐字成立，thm.mean-value-multi）得 $\Phi$ 在闭球上系数 $\frac{1}{2}$ 压缩。闭球在 $E$ 中完备（$E$ Banach），于是压缩映射原理给出唯一不动点，与有限维完全一样。

  （iii）「Neumann 级数」用在哪里。 上面第 (i) 步只用到「$A^{-1}$ 有界」。Neumann 级数出现在更一般的版本里：当只假设 $Df(a)$ 可逆（而没假设逆有界）时，可以先用

  $$(I - S)^{-1} = \sum_{k=0}^{\infty} S^{k} \qquad (\|S\| < 1)$$

  证明「距恒等足够近的算子是拓扑同构」—— 级数的收敛性来自算子空间 $\mathcal{L}(F)$ 的完备性，这是 Banach 空间独有的工具，有限维里根本不需要（有限维自动完备）。有了它，就能把「$Df$ 在 $a$ 附近接近 $Df(a)$」升级成「$Df$ 在 $a$ 附近处处是拓扑同构」，从而在整个邻域上取逆。

  其余各步（局部单射、逆的 Lipschitz 性、$Dg = (Df\circ g)^{-1}$、$C^{1}$ 性）与有限维逐字相同。∎

  ⭐ 有限维与无限维的差别浓缩成一句话：有限维里「可逆」与「拓扑可逆」是同一件事，无限维里不是。这条依赖边存在的意义就是把这句话钉在图上。

定义引用 2

• 逆映射定理（Banach 版） 用到 本页定义引用

  Banach 版逆映射定理的舞台是 Banach 空间。

• 隐函数定理（Banach 版） 用到 本页定义引用

  同上：隐函数定理的 Banach 版要求 $E, F, G$ 都是 Banach 空间。

谁指向它（入边）

定义引用 1

• 完备 → 本页定义引用

  Banach 空间 = 赋范空间 + 度量完备性：定义里直接引用的就是完备性这个概念。