逆函数定理

数学、特に微分学において逆函数定理（ぎゃくかんすうていり、英: inverse function theorem）とは、関数が定義域内のある点の近傍で可逆であるための十分条件を述べるものである。この定理から、逆関数の微分の公式が得られる。 さらに多変数微分積分学においてこの定理は、ヤコビ行列が正則となる点を定義域内に持つ任意の C1 級ベクトル値関数へと一般化される。この一般化から、逆関数のヤコビ行列の公式が得られる。 このほか、複素正則関数、多様体間の可微分写像、バナッハ空間間の可微分写像などに対する逆関数定理も存在する。