陰関数
数学の特に解析学における陰函数(いんかんすう、英: implicit function; 陰伏函数)は、陰伏方程式すなわち適当な多変数函数(しばしば多変数多項式)R によって R(x1, ..., xn) = 0 の形に表される関係によって(その函数の引数のうちの一つの変数の値(英語版)を残りの変数に関係付けることによって)陰伏的 (implicitly) に定義される函数を言う。
例えば、単位円を定める陰伏方程式は x + y − 1 = 0 であり、このときの y に対する陰函数 y = f(x) は、x + (f(x)) − 1 = 0 によって陰伏的に定められる。この陰伏方程式が、x の連続函数として f を定めるのは −1 ≤ x ≤ 1 に対してのみ、かつ函数の値として非負の値のみ(あるいは非正の値のみ)を取るものとしたときである(非負または非正の二つの連続な枝がある)。陰函数定理はこのような関係がいつ陰伏函数を定義するのかという十分条件を与えるものである。
R が多変数多項式であるときの R(x1, ..., xn) = 0 なる形の関係に対して、この関係を満足する変数の値の組全体の成す集合を、n = 2 のときは陰伏曲線、n = 3 のときは陰伏曲面(英語版)と呼ぶ。このような陰伏方程式は代数幾何学の基盤であり、古典的な代数幾何学では多項式の零点を記述する陰伏方程式からなる連立方程式の解を研究する。そのような零点集合はアフィン代数的集合と呼ばれる。
微分方程式の解は一般には陰函数の形で得られる。