陰関数

数学の特に解析学における陰函数（いんかんすう、; 陰伏函数）は、陰伏方程式すなわち適当な多変数函数（しばしば多変数多項式） によって の形に表される関係によって（その函数の引数のうちの一つの変数のを残りの変数に関係付けることによって）陰伏的 (implicitly) に定義される函数を言う。
例えば、単位円を定める陰伏方程式は であり、このときの に対する陰函数 は、 によって陰伏的に定められる。この陰伏方程式が、 の連続函数として を定めるのは に対してのみ、かつ函数の値として非負の値のみ（あるいは非正の値のみ）を取るものとしたときである（非負または非正の二つの連続な枝がある）。陰函数定理はこのような関係がいつ陰伏函数を定義するのかという十分条件を与えるものである。
 が多変数多項式であるときの なる形の関係に対して、この関係を満足する変数の値の組全体の成す集合を、 のときは陰伏曲線、 のときはと呼ぶ。このような陰伏方程式は代数幾何学の基盤であり、古典的な代数幾何学では多項式の零点を記述する陰伏方程式からなる連立方程式の解を研究する。そのような零点集合はアフィン代数的集合と呼ばれる。
微分方程式の解は一般には陰函数の形で得られる。
例.
逆函数.
よくある種類の陰函数は逆函数である。函数 の逆函数は、 の独立変数と従属変数の役割を入れ替えると得られる。つまり、 が の函数であるとき、 の逆函数 は、 を の式として方程式 を解くことで与えられ、その解が である。別な言い方をすると、陰伏方程式 を について解いたものが逆函数である。例えばランベルトのオメガ函数は、陰伏方程式 を について解いた陰伏函数（つまり の逆函数）として与えられる。
代数函数.
代数函数は係数がそれ自身多項式であるような多項式方程式を満足する函数である。例えば一変数 に関する代数函数は、陰伏方程式
を について解くことで与えられる。ここで、各係数 は の多項式である。代数函数は解析学および代数幾何学において重要な役割を果たす。代数函数の簡単な例は、単位円の方程式 を について解いた である。
ただし、この陽に表された解を特定することをせずとも、この単位円の陰伏的な解に言及することは可能である。例えば に関する二次、三次および四次方程式に対しては同様に陽に表された解を求めることができるが、例えば
のような五次あるいはより高次の方程式においては、一般には解を陽にすることはできない。それにもかかわらず、陰伏多価函数 を含む陰伏解 に関して考えることができる。
注意.
単位円の方程式の場合を一つの特徴的な例として、必ずしも任意の方程式 が一価函数のグラフを導くわけではないことに注意すべきである。あるいは が三次多項式でそのグラフに「起伏」がある（つまり極大値と極小値を持つ）ようなものとしたとき、方程式 の陰伏的に定義する函数もそのような例を与える。したがって、陰函数が「真の」（つまり一価の）函数となるためには、陰伏方程式のグラフの一部分に話を限る必要があることがわかる。陰函数は、-軸のある部分に「ズームイン」して、函数の不都合な枝を「取り払って」しまった後でのみ、真の函数を得ることに成功するということがしばしばある。そうすれば、 を表す方程式を他の変数の陰函数として書くことができる。
定義方程式 が他の病的な性質を持つこともある。例えば、垂直線の方程式 は について解くことで与えられる函数 というものを導くことは全くない。このような問題を避ける目的で、許される方程式の種類や定義域に様々な制約条件を課すことが頻繁に行われる。陰函数定理はこのような病的な性質の種類を扱う一様な方法を提供する。
陰函数微分.
微分積分学において陰函数微分法 ("implicit differentiation") と呼ばれる手法は、連鎖律を用いて陰伏的に定義された函数を微分する。
陰伏函数 を微分するに際して、定義方程式 を について陽に解いてからそれを微分するということは、一般には可能でない。その代わり、 を および に関して微分して、それから に関する一次方程式を解いて および の式として陽に書かれた導函数を得るということができる。方程式が陽に解けるという場合であってさえも、陰函数微分で得られる式は、一般により単純で扱いが容易である。
上記の公式は、 の両辺の（ に関する）全微分を得るために多変数の連鎖律を適用すれば、
となることから導かれる。
陰函数定理.
 が 内の滑らかな部分多様体 によって与えられ、この部分多様体の点 がその点における接空間が垂直でない（つまり ）ならば、 は点 の十分小さな近傍において、 が滑らかな函数となるような によって与えられることが示せる。
より俗な言い方をすれば、考えているグラフの接線が垂直でない限り、陰函数は存在して微分することができるということである。方程式
が与えられている標準的な場合において、 に関する条件は偏微分の意味で確認することができる。