極値
数学において、関数のある近傍における最大値または最小値のことをそれぞれ極大値（きょくだいち）、極小値（きょくしょうち）という。これらを併せて極値（きょくち）という。極値は局所的な概念であるため、その点で極値を取っても最大・最小値を取るとは限らない。しかし、微分を用いて極値をとる必要条件を求めることができ、しかも極値自体が区間における最大・最小値の候補となるため、関数の振る舞いを知る上で重要な役割を果たす。
定義
f(x) をRn の部分集合 A で定義された実数値関数とする。x0 のある ε-近傍が A に含まれ、f(x0) がその近傍に属する任意の点 x に対して f(x0) ≥ f(x) を満たすとき、f(x) は x0 において極大になるといい、f(x0) を極大値という。同様に定義域に含まれる x0 のある ε-近傍で、その近傍に含まれる任意の点 x に対して f(x0) ≤ f(x) が成り立つとき、f(x0) を極小値といい、f(x) は x0 において極小になるといわれる。極小値または極大値をとることを極値をとるといい、極値を取る点のことを極値点という。上の定義において、≥ を > に、≤ を < に置き換えたものをそれぞれ狭義の極大、狭義の極小と呼ぶこともある。例えば定数値関数はその定義域の内点ではすべて極値をとるが、それらは狭義の極大・極小ではない。
またこの定義では、極値点を定義域の内点に限定しているため、最大・最小値が極値になるとは限らない。例えば関数が区間の端の点で最大値を取っても、極大にはなっていない。しかし内点で最大値を取ればそれは極大値でもある。
二次関数において、x2 の係数が正のときに極小値＝最小値、負のときに極大値＝最大値となる。
多変数関数 f(x) が微分可能ならば、f が a で極値をとるためには、f の一次微分の点 a における値 f'(a) が 0 であることが必要である。しかし、一次の微分が 0 になっていても必ずしもその点で極値を取るわけではない（つまり十分ではない）。たとえば一変数の例として、f(x) = x3 は x = 0 において微分が 0 になるが、この点では極値を取らず、区間全体でこの関数は単調増加である。その場合一変数ならば高次の微分の正負を調べることで極値を取るかどうかを判断できる。しかし、多変数関数ではこの問題は複雑になる。一般に、微分が零になるような点は停留点と呼ばれ、それが極値点になっているかどうか、さらに最大・最小値を取っているのかどうかを調べるのにはまた特別な手段が必要である。
