逆映射定理（Banach 版）

它指向谁（出边）

推出 1

• 本页 ⟹ 隐函数定理（Banach 版）推出
  同样的 $\Phi(x,y) = (x, F_0(x,y))$ 构造，换到 Banach 空间

  与有限维版本（imp.implicit-function）逐步对应。

  第一步：$\Phi$ 仍是 $C^{1}$。 $\Phi(x, y) := (x, F_0(x, y))$ 是 $E \times F \to E \times G$ 的 $C^{1}$ 映射（两个分量都是 $C^{1}$）。

  第二步：$D\Phi(a,b)$ 是拓扑同构。 块矩阵 $\begin{pmatrix} I_E & 0 \\ D_xF_0 & D_yF_0 \end{pmatrix}$ 与它的逆

  $$\begin{pmatrix} I_E & 0 \\ -(D_yF_0)^{-1}D_xF_0 & (D_yF_0)^{-1} \end{pmatrix}$$

  都是良定义且有界的（$D_yF_0$ 拓扑同构 $\implies$ 逆有界；块上三角的有界性由范数估计直接给出）。故 $D\Phi(a,b)$ 拓扑同构。

  第三步：用 Banach 版逆映射定理（thm.inverse-function-banach）得到局部逆 $\Theta$，它同样保持第一个分量不变，取 $g(x) := \theta(x, 0)$ 即得。

  第四步：$Dg$ 的公式由对 $F_0(x, g(x)) = 0$ 求导得到，与有限维一致。∎

  ⭐ 这条边存在的价值：它说明隐函数定理的证明思想与空间无关 —— 唯一随空间改变的是「可逆」的含义（有限维：逆自动有界；无限维：必须假设拓扑同构）。

谁指向它（入边）

推出 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}$ 性）与有限维逐字相同。∎

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

定义引用 1

• Banach 空间 → 本页定义引用

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