的函数 存在，函数 的雅可比矩阵要满足某些性质。对于给定的一点 ， 的雅可比矩阵写作：其中的矩阵 formula_28 是函数 关于变数 的偏微分，而矩阵 formula_29 是 关于变数 的偏微分。隐函数定理说明了：如果formula_29是一个可逆矩阵的话，那么满足前面性质的邻域 、 和函数 就会存在。正式的叙述就是：
一般情形.设formula_31、formula_32和formula_33是三个巴拿赫空间，而formula_34、formula_35分别是formu