極値のソースを表示

[[数学]]において、[[関数 (数学)|関数]]の局所的な（つまり、ある点の[[近傍]]における）[[最大値]]または[[最小値]]のことをそれぞれ'''極大値'''（きょくだいち、''maximal'', ''local maximum''）、'''極小値'''（きょくしょうち、''minimal'', ''local minimum''）といい、これらを併せて'''極値'''（きょくち）と総称する。

極値は局所的な概念であるため、ある点で極値をとってもその点が全域的な最大・最小値を取るとは限らないが、極値自体が適当な[[区間 (数学)|区間]]における最大・最小値の候補と考えることができるため、関数の振る舞いを知る上で重要である。極値を調べる方法としては、[[微分]]を利用することで極値をとるための必要条件を求めることができる。

== 定義 ==
''f''(''x'') を'''R'''<sup>''n''</sup> の部分集合 ''A'' で定義された（つまり ''n'' 変数の）実数値関数とする。''x''<sub>0</sub> のある ε-近傍が ''A'' に含まれ、''f''(''x''<sub>0</sub>) がその近傍に属する任意の点 ''x'' に対して ''f''(''x''<sub>0</sub>) ≥ ''f''(''x'') を満たすとき、''f''(''x'') は ''x''<sub>0</sub> において'''極大'''になるといい、''f''(''x''<sub>0</sub>) を'''極大値'''という。同様に定義域に含まれる ''x''<sub>0</sub> のある ε-近傍で、その近傍に含まれる任意の点 ''x'' に対して ''f''(''x''<sub>0</sub>) ≤ ''f''(''x'') が成り立つとき、''f''(''x''<sub>0</sub>) を'''極小値'''といい、''f''(''x'') は ''x''<sub>0</sub> において'''極小'''になるといわれる。極小値または極大値をとることを'''極値'''をとるといい、極値をとる点のことを'''極値点'''という。

上の定義において、≥ を &gt; に、≤ を &lt; に置き換えたものをそれぞれ''狭義の極大''、''狭義の極小''と呼ぶこともある。例えば定数値関数はその定義域の内点ではすべて極値をとるが、それらは狭義の極大・極小ではない。

またこの定義では、極値点を定義域の内点に限定しているため、最大・最小値が極値になるとは限らない。例えば関数が区間の端の点で最大値を取っても、極大にはなっていない。しかし内点で最大値を取ればそれは極大値でもある。

== 極値点の判定 ==
多変数関数 ''f''(''x'') が微分可能ならば、''f'' が ''a'' で極値をとるためには、''f'' の一次微分の点 ''a'' における値 ''f'''(''a'') が 0 であることが必要である。しかし、一次の微分が 0 になっていても必ずしもその点で極値を取るわけではない（つまり十分ではない）。たとえば一変数の例として、''f''(''x'') = ''x''<sup>3</sup> は ''x'' = 0 において微分が 0 になるが、この点では極値を取らず、区間全体でこの関数は単調増加である。その場合一変数ならば高次の微分の正負を調べることで極値を取るかどうかを判断できる。しかし、多変数関数ではこの問題は複雑になる。一般に、微分が零になるような点は'''停留点'''と呼ばれ、それが極値点になっているかどうか、さらに最大・最小値を取っているのかどうかを調べるのにはまた特別な手段が必要である。
* [[ヘッセ行列]]

== 例 ==
* ''y'' = ''x''<sup>3</sup> は極値を持たない関数である。
* [[二次関数]]は、その二次の[[係数]]が正ならば、全区間（数直線の全体）でただ一つの極小値を持ち、それは最小値と一致する。同様に二次の係数が負のときにはただ一つの極大値をもち、それは最大値となる。

== 関連項目 ==
* [[順序集合]]（極大・極小）
* [[距離空間]]（ε-近傍）

{{DEFAULTSORT:きよくち}}

[[Category:解析学]]
[[Category:数学に関する記事]]