隐函数定理

维基百科,自由的百科全书
跳转至: 导航搜索

数学中,隐函数定理是一个描述关系以隐函数表示的某些变量之间是否存在显式关系的定理。隐函数定理说明,对于一个由关系表示的隐函数,如果它在某一点附近的微分满足某些条件,则在这点附近,可以表示成关于的函数:

这样就把隐函数关系变成了常见的函数关系。

例子[编辑]

定义了函数之后,单位圆就可以写成满足的点的集合。在圆上的每一点,比如点A上,y都可以表示成关于x的函数,除了点B以外。

定义函数,那么方程的所有解的集合构成单位圆)。圆上的点是无法用统一的方法表示成的形式的,因为每个都有两个的值与之对应,即

然而,局部地用来表示是可以的。给定圆上一点,如果,也就是说这点在圆的上半部分的话,在这一点附近可以写成关于的函数:。如果,附近的也可以写成关于的函数:

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

定理的叙述:欧几里得空间的情况[编辑]

f : Rn+mRm为一个连续可微函数。这里Rn+m被看作是两个空间的直积Rn×Rm,于是Rn+m中的一个元素写成 (x,y) = (x1, ..., xny1, ..., ym)的形式。

对于任意一点(a,b) = (a1, ..., anb1, ..., bm)使得f(ab) = 0,隐函数定理给出了能否在(a,b)附近定义一个y关于x的函数g,使得只要:f(x,y)=0,就有y = gx )的充分条件。这样的函数g存在的话,严格来说,就是说存在ab邻域UV,使得g的定义域是:g : UV,并且g的函数图像满足:

隐函数定理说明,要使的这样的函数g存在,函数雅可比矩阵一定要满足一定的性质。对于给定的一点 (a,b),雅可比矩阵写作:

其中的矩阵关于的偏微分,而关于的偏微分。隐函数定理说明了:如果是一个可逆的矩阵的话,那么满足前面性质的和函数就会存在。概括地写出来,就是:

f : Rn+mRm连续可微函数,并令Rn+m中的坐标记为 (xy)。给定一点 (a1,...,an,b1,...,bm) = (a,b)使得f(a,b)=c,其中cRm。如果矩阵[(∂fi/∂yj)(a,b)]是可逆矩阵的话,那么存在a的邻域Ub的邻域V以及同样是连续可微的函数g:UV,满足

一般情形[编辑]

是三个巴拿赫空间,而分别是上的两个开集。设函数:

是一个的函数(见光滑函数),其中,并且对于中的一点,满足:

那么有如下结论:

  • 存在邻域以及邻域
  • 存在一个的函数:,使得对任意,只要,就有

参见[编辑]

参考来源[编辑]