隐函数定理（Banach 版）

定理：Banach 空间上的隐函数定理

定理
依赖深度 layer 25
分析学
多元微分

thm.implicit-function-banach · 定理 · 泛函 · Banach · 隐函数

陈述

设 $E, F, G$ 是 Banach 空间， $U \subseteq E \times F$ 开， $F_0 : U \to G$ 是 $C^{1}$ ， $(a, b) \in U$ 满足 $F_0(a, b) = 0$ 且偏导

D_y F_0(a, b) : F \to G \quad \text{是拓扑线性同构}

则存在 $a$ 的邻域 $V \subseteq E$ 与唯一的 $C^{1}$ 映射 $g : V \to F$ 使 $g(a) = b$ 、 $F_0(x, g(x)) = 0$ ，且

Dg(x) = -\bigl( D_y F_0(x, g(x)) \bigr)^{-1} D_x F_0(x, g(x))

说明

⭐ 证明与有限维版本逐字相同：令 $\Phi(x, y) := (x, F_0(x, y))$ ，则 $D\Phi$ 是块上三角、 $D\Phi$ 拓扑同构 $\iff$ $D_y F_0$ 拓扑同构，对 $\Phi$ 用 Banach 版逆映射定理（thm.inverse-function-banach）即可。

⭐ 这一步说明了为什么「逆映射」与「隐函数」在图上应当分开建节点却共用一个证明：它们在范畴层面是同一件事（ $\Phi$ 是把隐函数问题打包成逆映射问题的函子式构造），只是包装不同。

⚠ 名字冲突提醒：本节点里的 $F_0$ 是为了不与 Banach 空间 $F$ 撞名而加的角标，含义与有限维版本的 $F$ 相同。

谁指向它（入边）

推出 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 版要求 $E, F, G$ 都是 Banach 空间。

参考

Lang, Real and Functional Analysis, Ch. I
Zeidler, Nonlinear Functional Analysis I, Ch. 4

同一星团的其他概念 25 个

继续

在星图里打开「隐函数定理（Banach 版）」　·　全部 910 个概念　·　 Markdown 原文　·　读图指南与记号表