隐函数定理

隐函数定理
在数学中，隐函数定理是一个描述关系以隐函数表示的某些变量之间是否存在显式关系的定理。

隐函数定理说明，对于一个由关系R(x,y) = 0表示的隐函数，如果它在某一点附近的微分满足某些条件，则在这点附近，y可以表示成关于x的函数：
y = f(x)
这样就把隐函数关系变成了常见的函数关系。

[编辑] 例子
定义了函数f(x,y) = x2 + y2之后，单位圆就可以写成满足f(x,y) = 1 的点的集合。

在圆上的每一点，比如点A上，y都可以表示成关于x的函数
, 除了点B以外。

定义函数f(x,y) = x2+ y2，那么方程f(x,y) = 1 的所有解的集合构成单位圆（{(x,y) | f(x,y) = 1} = {(x,y) | x2 + y2 = 1}）。

圆上的点是无法用统一的方法表示成y = g(x) 的形式的，因为每个都有两个y的值与之对应，即。

然而，局部地用x来表示y是可以的。

给定圆上一点(x,y)，如果y> 0 ，也就是说这点在圆的上半部分的话，在这一点附近y可以写成关于x的函数：。

如果y< 0 ，附近的y也可以写成关于x的函数：。

但是，在点(1,0)的附近，y无法写成关于x的函数，因为(1,0) 的每一个邻域中都包含了上半圆和下半圆的点，于是对于附近的每一个x，都有两个y的值与之对应。

[编辑] 定理的叙述：欧几里得空间的情况
设f : R n+m→R m为一个连续可微函数。

这里R n+m被看作是两个空间的直积：R n×R m，于是R n+m中的一个元素写成(x,y) = (x1, ..., x n, y1, ..., y m) 的形式。

对于任意一点(a,b) = (a1, ..., a n, b1, ..., b m) 使得f(a, b) = 0，隐函数定理给出了能否在(a,b)附近定义一个y关于x的函数g，使得只要：f(x,y)=0，就有y = g( x )的充分条件。

这样的函数g存在的话，严格来说，就是说存在a和b的邻域U和V，使得g的定义域是: g : U→V，并且g的函数图像满足：
隐函数定理说明，要使的这样的函数g存在，函数f的雅可比矩阵一定要满足一定的性质。

对于给定的一点(a,b)，f的雅可比矩阵写作：
其中的矩阵X是f关于x的偏微分，而Y是f关于y的偏微分。

隐函数定理说明了：如果Y是一个可逆的矩阵的话，那么满足前面性质的U、V和函数g 就会存在。

概括地写出来，就是：
设f : R n+m→R m为连续可微函数，并令R n+m中的坐标记为(x, y)。

给定一点(a1,...,a n,b1,...,b m) = (a,b) 使得f(a,b)=c，其中c∈R m。

如果矩阵[(∂f i/∂y j)(a,b)] 是
可逆矩阵的话，那么存在a的邻域U、b的邻域V以及同样是连续可微的函数g:U →V，满足
[编辑] 一般情形
设E1、E2和F是三个巴拿赫空间，而U、V分别是E1、E2上的两个开集。

设函数：
是一个C k的函数（见光滑函数），其中，并且对于中的一点
(x0,y0)，满足：
f(x0,y0) = 0，，
那么有如下结论：
▪存在x0的邻域以及y0的邻域；
▪存在一个C k的函数：，使得对任意，只要f(x,y) = 0，就有。