極値

出典: フリー百科事典『ウィキペディア(Wikipedia)』
Jump to navigation Jump to search

数学初等解析学における極値(きょくち、: extremum[注 1])は、適当な領域における関数(一般には、多変数汎函数[1]となり得る)の値の(通常の大小関係に対する、順序論的な意味での)最大元 (maximum) と最小元 (minimum) を総称するものである。

与えられた函数 f の、とりうる最も大きな値を最大値、とりうる最も小さな値を最小値と呼び、それらを総称してその函数 f大域的(あるいは全域的極値 (global extremum) という(そのような値が無いこともある)。f定義域における適当な開集合 U への制限 f|U が最大値(resp. 最小値)をとるとき、その最大値(resp. 最小値)を f極大値 (maximal value)(resp. 極小値 (minimal value))と呼ぶ。局所的に(つまり U の中だけで)定まるという意味で、極大値のことを局所的最大値 (local maximum), 極小値のことを局所的最小値 (local minimum) と呼び、局所的極値 (local extremum) あるいは単に極値 (extremal value) と総称する。

極値定理によれば、コンパクト領域上定義された連続函数は必ず大域的極値を持つ。また停留点に関するフェルマーの定理英語版は、開領域上定義された可微分函数が極値をとるならば、極値点において必ず微分係数が消えていなければならないことを述べる。したがって大雑把には、コンパクト領域上の連続函数の最大値は、境界上の点・微分可能でない点・微分係数が消えている点における値を求めることに帰着される。

最適化理論において最大値や最小値を求めることは重要な目的である。汎函数の最大化・最小化には変分法が用いられる。

定義[編集]

f(x) をRn の部分集合 A で定義された(つまり n 変数の)実数値関数とする。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 において極小になるといわれる。極小値または極大値をとることを極値をとるといい、極値をとる点のことを極値点という。[2]

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

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

極値点の判定[編集]

多変数関数 f(x)微分可能ならば、fx = a で極値をとるためには、f の一次微分 f′ が点 a において 0 となることが必要条件となる。すなわち、関数 f の極値点は関数 f停留点: stationary point)でなければならない。

しかし、すべての停留点において f が極値をとるわけではなく、停留点の条件は必要であっても十分ではない。たとえば一変数の例として、f(x) = x3x = 0 において微分が 0 になるが、この点では極値を取らず、区間全体でこの関数は単調増加である。その場合、一変数ならば高次の微分の正負を調べることで極値を取るかどうかを判断できる。しかし、多変数関数ではこの問題は複雑になる。ある停留点を持つ関数について、その関数が停留点において極値ないし最大値(最小値)をとるかどうかを調べるには、また特別な手段が必要である。

極値をとらない臨界点は鞍点であると言う。

[編集]

  • y = x3 は極値を持たない関数である。x = 0 はこの函数のグラフの変曲点になる。
  • 二次関数は、その二次の係数が正ならば、全区間(数直線の全体)でただ一つの極小値を持ち、それは最小値と一致する。同様に二次の係数が負のときにはただ一つの極大値をもち、それは最大値となる。

[編集]

注釈[編集]

  1. ^ 複数形は "extrema"

出典[編集]

  1. ^ Definition:Extremum/Functional at ProofWiki
  2. ^ Kudryavtsev, L.D. (2001), "Maximum and minimum points", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4 

関連項目[編集]

外部リンク[編集]