最大値最小値定理のソースを表示

{{No footnotes|date=June 2012}}
{{About|解析学における|統計学における|ベルジュの最大値定理}}
[[Image:Extreme Value Theorem.svg|thumb|300px|{{math|[''a'',''b'']}} 上定義された連続函数 {{math|''&fnof;''(''x'')}} の最大値（赤）および最小値（青）]]
[[初等解析学]]における'''最大値・最小値の定理'''または'''最大値の定理'''（さいだいちのていり、{{lang-en-short|''extreme value theorem''}}; 極値定理）は、実数値[[函数]] ''f'' が[[有界]][[閉区間]] {{math|[''a'',''b'']}} 上で[[連続函数|連続]]ならば ''f'' は[[最大値]]および[[最小値]]にそれぞれ少なくとも一点で到達することを述べるものである。式で書けば、適当な実数 {{math|''c'', ''d'' &isin; [''a'',''b'']}} が存在して
:<math>f(c) \ge f(x) \ge f(d)\quad(\forall x\in [a,b])</math>
が成り立つ。関連する定理として、'''有界性定理'''（ゆうかいせいていり、{{lang-en-short|''boundedness theorem''}}）は、有界閉区間 {{math|[''a'',''b'']}} 上で連続な函数 {{mvar|f}} はその区間上で[[有界函数|有界]]であることを述べる。これは適当な実数 {{math|''m'', ''M''}} が存在して
:<math>m \le f(x) \le M\quad(\forall x \in [a,b])</math>
が満たされるという意味である。最大値定理は、有界性定理における上界と下界の存在を強めて、最小上界を最大値として、および最大下界を最小値として、それぞれ実現する点が定義域内に存在することまでをも主張するのである。

最大値の定理は[[ロルの定理]]の証明に利用される。また、[[カール・ヴァイエルシュトラス|ヴァイエルシュトラス]]による定式化では、最大値の定理は「[[コンパクト空間]]から[[実数直線]]の部分集合への連続写像は最大値および最小値をとる」と述べられる。

最大値の原理ともいう。

== 歴史 ==
最大値最小値定理は、もともと[[ベルナルド・ボルツァーノ]]が1830年代に「函数論」の研究の中で証明を得ていたものだが、これらの内容は1930年まで公表されていなかった。ボルツァーノの証明は「連続函数が閉区間上有界であること」と「函数が最大値および最小値に到達すること」を示すことからなる。両証明は今日[[ボルツァーノ・ヴァイエルシュトラスの定理]]として知られるものと関係する{{harv|Rusnock| Kerr-Lawson|2005}}。後の1860年に、ヴァイエルシュトラスによって最大値最小値定理は再発見され{{Citation needed|date=June 2011}}、（連続函数に関する）ヴァイエルシュトラスの定理、ヴァイエルシュトラスの最大値定理などとしても知られる。

== 定理の適用外となる函数 ==
定理を用いるには定義域が有界かつ閉であることが必要であることを示す例を挙げる。何れも与えられた区間において最大値を持たないものである。

# 上に非有界な定義域 {{math|[0,&nbsp;∞)}} を持つ函数 {{math|1=''&fnof;''(''x'') = ''x''}} は上に有界でない。
# 上に非有界な定義域 {{math|[0,&nbsp;∞)}} を持つ函数 {{math|1=''&fnof;''(''x'') = {{fraction|''x''|(1 + ''x'')}}}} は有界だが、上限である {{math|1}} を値にとる点 {{mvar|x}} が存在しない。
# 閉でない定義域 {{math|(0,&nbsp;1]}} を持つ函数 {{math|1=''&fnof;''(''x'') = {{fraction|1|''x''}}}} は上に有界でない。
# 閉でない定義域 {{math|(0,&nbsp;1]}} を持つ函数 {{math|1=''&fnof;''(''x'') = 1 – ''x''}} は有界だが、上限の値 {{math|1}} をとる点 {{mvar|x}} が存在しない。

上記例の後二者において {{math|1=''&fnof;''(0)&nbsp;= 0}} と定めることで、定理において閉区間上で連続であることが要求されることが理解される。

== 位相空間論における定式化 ==
[[実数直線]]を任意の[[位相空間]]へ取り換えるとき、有界閉区間に対応するものは[[コンパクト空間]]である。[[位相空間論]]において、連続写像が[[コンパクト空間|コンパクト性]]を保つこと、および[[実数直線]]の部分集合がコンパクトであるための必要十分条件がそれが有界閉区間となることであることは既知である。従って以下のような極値定理の一般化
; 定理: 空でないコンパクト空間上で定義された実数値連続函数は上に有界であり、その上限を達成する。
が導かれる。もう少し一般に、このことは上半連続函数に対して成立する

== 定理の証明 ==
証明にあたっては {{mvar|f}} の[[順序集合#上界|上界]]の存在と最大値について調べることになる。そうすれば、その結果を函数 {{math|–''f''}} に適用して {{mvar|f}} の下界の存在と最小値についての結果を得ることができる。証明は全て[[実数直線]]に関する文脈の中で行われることにも注意。

最大値定理の証明においてはその途中段階として有界性定理をまず証明する。証明は基本的に次のような段階を踏んで行う：
# 有界性定理を証明する。
# 像が {{mvar|f}} の[[順序集合#上界、最大、極大、上限、上方集合|上限]]に収斂するような点列を得る。
# 得られた点列の[[部分列]]で、{{mvar|f}} の[[定義域]]に属する点へ収斂するものがあることを示す。
# 連続性を用いて、得られた部分列の像が {{mvar|f}} の上限へ収斂することを示す。

; 有界性定理の証明
: 連続函数 {{mvar|f}} が有界閉区間 {{math|[''a'', ''b'']}} 上で上に有界でないとすると、各自然数 {{mvar|n}} に対して点 {{math|''x''<sub>''n''</sub> &isin; [''a'',''b'']}} を {{math|''f''(''x''<sub>''n''</sub>) &gt; ''n''}} となるものが取れるから、[[数列]] {{math|{''x''<sub>''n''</sub>}}} が作れる。区間 {{math|[''a'', ''b'']}} は有界ゆえ、[[ボルツァーノ・ヴァイエルシュトラスの定理]]から {{math|{''x''<sub>''n''</sub>}}} の収斂部分列 {{math|{''x''<sub>''n''<sub>''k''</sub></sub>}}} が取れることが従い、いまその収斂先を {{mvar|x}} とすると区間 {{math|[''a'', ''b'']}} が閉ゆえ {{mvar|x}} はこの区間に属する。{{mvar|f}} は {{mvar|x}} で連続であるから（{{mvar|f}} は {{mvar|x}} において{{仮リンク|点列連続|en|sequentially continuous}}で）部分列 {''f''(''x''<sub>''n''<sub>''k''</sub></sub>)} は実数 {{math|''f''(''x'')}} へ収斂しなければならないが、{{math|''f''(''x''<sub>''n''<sub>''k''</sub></sub>) &gt; ''n''<sub>''k''</sub> &ge; ''k''}} が任意の {{mvar|k}} について成り立つことから{{math| {''f''(''x''<sub>''n''<sub>''k''</sub></sub>)} }}は正の無限大 {{math|+∞}} へ発散することが従うから、これは矛盾である。従って {{mvar|f}} は有界閉区間 {{math|[''a'', ''b'']}} において有界である。
; 最大値定理の証明
: 有界性定理により {{mvar|f}} は上に有界ゆえ、実数の{{仮リンク|デデキント完備性|en|Dedekind-completeness}}から {{mvar|f}} の最小上界（上限）{{mvar|M}} が存在するから、''M'' = ''f''(''d'') を満たす点 {{math|''d'' &isin; [''a'', ''b'']}} を見つければよい。自然数 {{mvar|n}} に対して、{{mvar|M}} が最小上界ならば {{math|''M'' – 1/''n''}} は {{mvar|f}} の上界にはならないから、適当な {{math|''d''<sub>''n''</sub> &isin; [''a'', ''b'']}} が存在して {{math|''M'' – 1/''n'' &lt; ''f''(''d''<sub>''n''</sub>)}} とできる。これにより点列 {{math|{''d''<sub>''n''</sub>}}} が作れる。最小上界 {{mvar|M}} は {{mvar|f}} の上界なのだから、任意の {{mvar|n}} について {{math|''M'' – 1/''n'' &lt; ''f''(''d''<sub>''n''</sub>) &le; ''M''}} が成り立ち、従って数列 {{math|{''f''(''d''<sub>''n''</sub>)}}} は {{mvar|M}} へ収斂する。
: [[ボルツァーノ・ヴァイエルシュトラスの定理]]により、適当な {{mvar|d}} に収斂する部分列 {{math|{''d''<sub>''n''<sub>''k''</sub></sub>}}} が存在して、区間 {{math|[''a'', ''b'']}} が閉ゆえ ''d'' は {{math|[''a'', ''b'']}} に属する。{{mvar|f}} は {{mvar|d}} において連続だから、数列 {{math|{''f''(''d''<sub>''n''<sub>''k''</sub></sub>)}}} は {{math|''f''(''d'')}} に収斂するが、数列 {{math|{''f''(''d''<sub>''n''<sub>''k''</sub></sub>)}}} は {{mvar|M}} に収斂する数列 {{math|{''f''(''d''<sub>''n''</sub>)}}} の部分列ゆえ、{{math|1=''M'' = ''f''(''d'')}} でなければならない。従って {{mvar|f}} は {{mvar|d}} において上限 {{mvar|M}} に到達する。

=== 別証 ===
; 最大値定理の別証明
: 像集合 {{nowrap|1= {''y'' &isin; '''R''' : ''y'' = f(''x''), ''x'' &isin; [''a'',''b'']}}} は有界であるから、実数直線に関する[[実数の連続性#ワイエルシュトラスの公理|上限性質]]により[[上限 (数学)|上限]] {{math|1=''M'' = sup<sub>''x''&isin;[''a'',''b'']</sub>(''f''(''x''))}} を持つ。''f''(''x'') = ''M'' を実現する ''x'' が存在しないと仮定すると、区間 {{math|[''a'', ''b'']}} 上で常に {{math|''f''(''x'')&nbsp;&lt;&nbsp;''M''}}, 従って 1/(''M''&nbsp;&minus;&nbsp;''f''(''x'')) は {{math|[''a'', ''b'']}} で連続である。
: しかし ''M'' は上限ゆえ、任意の正数 &epsilon; に対して適当な {{math|''x'' &isin; [''a'',&nbsp;''b'']}} を選べば {{math|''M'' &minus; ''f''(''x'') &lt; &epsilon;}} とすることができるから、{{math|1/(''M'' &minus; ''f''(''x'')) &gt; 1/&epsilon;}}, 即ち 1/(''M''&nbsp;&minus;&nbsp;''f''(''x'')) は有界でない。有界性定理により有界閉区間 {{math|[''a'', ''b'']}} 上の連続函数は有界であるから、これは 1/(''M''&nbsp;&minus;&nbsp;''f''(''x'')) が区間 {{math|[''a'',&nbsp;''b'']}} 上で連続であったことに矛盾する。従って、''f''(''x'') = ''M'' を満たす点 {{math|''x'' &isin; [''a'', ''b'']}} が存在しなければならない。
; 超実数によるアプローチ
: [[超準解析]]での設定において、{{mvar|N}} を無限大[[超整数]]とし、区間 {{math|[0,&nbsp;1]}} は超実数に関するものへ自然延長する。この区間を {{math|1=''x''<sub>''i''</sub>&nbsp;= {{fraction|''i''|''N''}} (''i'' = 0, …, ''N'')}} を区分点として[[無限小]]長さが {{math|1/''N''}} に等しい {{mvar|N}} 個の小区間へ分割することを考え、また函数 {{mvar|&fnof;}} を {{math|0}} 以上 {{math|1}} 以下の超実数上で定義される函数 {{math|''&fnof;''{{msup|&lowast;}}}} へ延長する。標準の設定（{{mvar|N}} が有限）のとき、常に {{math|''N'' + 1}} 個の点 {{mvar|x{{ind|i}}}} の中から {{mvar|&fnof;}} による値が最大となる点が選べることが帰納法で示されることに注意すれば、{{仮リンク|移行原理|en|transfer principle}}によって {{math|0&nbsp;≤ ''i''<sub>0</sub>&nbsp;≤ ''N''}} なる超整数 {{math|''i''<sub>0</sub>}} で、<div style="margin: 1ex 2em;"><math>f^*(x_{i_0})\geq f^*(x_i)\quad (i = 0,\dots,N)</math></div>を満たすものが存在することが言える。{{math|st}} を{{仮リンク|標準部函数|en|standard part function}}として（標準）実数点<div style="margin: 1ex 2em;"><math>c= \text{st}(x_{i_0})</math></div>をとる。任意の実数点 {{mvar|x}} は先の分割の適当な小区間に属すから、それを {{math|''x'' &isin; [''x''<sub>''i''</sub>, ''x''<sub>''i''+1</sub>]}} とすると、{{math|1=st(''x''<sub>''i''</sub>)&nbsp;= ''x''}} であり、先の不等式に {{math|st}} を適用して {{math|st(''f''(''x''<sub>''i''<sub>0</sub></sub>)) &ge; st(''f''(''x''<sub>''i''</sub>))}} が成り立つ。また {{mvar|&fnof;}} の連続性により<div style="margin: 1ex 2em"><math>\text{st}(f^*(x_{i_0}))= f(\text{st}(x_{i_0}))=f(c)</math></div>が成り立つ。以上から、任意の実数 {{mvar|x}} に対して {{math|&fnof;(''c'') ≥ &fnof;(''x'')}} となり、{{mvar|c}} が {{mvar|&fnof;}} の上限を与える。{{harvtxt |Keisler|1986|p=164}} も参照。

== 半連続函数への定理の拡張 ==
函数の連続性を[[半連続性]]に弱めると、それに対応して有界性定理および最大値最小値定理は（函数は[[補完数直線]]に値をとるものとして、つまり函数値として {{math|–∞}} あるいは {{math|+∞}} となることを許して）半分だけ成立する。明確に書けば、

; （上方有界性および最大値）定理: 函数 {{math|''f'': [''a'',''b''] → [–∞, ∞)}} が上半連続、即ち任意の {{math|''x'' &isin; [''a'', ''b'']}} について {{math|{{underset|''y''→''x''|lim&thinsp;sup}} ''f''(''y'') &le; ''f''(''x'') }}を満たすならば、{{mvar|f}} は上に有界で、かつその[[上限 (数学)|上限]]に到達する。
; （下方有界性および最小値）定理: 函数 {{math|''f'': [''a'', ''b''] → (–∞,∞]}} が下半連続、即ち任意の {{math|''x'' &isin; [''a'', ''b'']}} について {{math|{{underset|''y''→''x''|lim&thinsp;inf}} ''f''(''y'') &ge; ''f''(''x'') }}を満たすならば、{{mvar|f}} は下に有界で、かつその[[下限]]に到達する。

後者は {{math|&minus;''f''}} に前者を適用すればよいから、前者を示せば十分である。任意の {{math|''x'' &isin; [''a'', ''b'']}} に対して {{math|1=''f''(''x'') = –∞}} ならば、上限も {{math|–∞}} で定理は成り立つ。それ以外の場合には、上記の[[#証明|証明]]を少し修正することで証明が得られる。有界性定理の証明において、{{mvar|f}} の {{mvar|x}} における上半連続性からは、部分数列 {{math|{''f''(''x''<sub>''n''<sub>''k''</sub></sub>)} }}の[[上極限]]が {{math|''f''(''x'') (&lt; ∞)}} で上から抑えられることしか言えないが、矛盾を得るにはそれで十分である。最大値定理の証明においては、{{mvar|f}} の {{mvar|d}} における上半連続性からは部分数列 {{math|{''f''(''d''<sub>''n''<sub>''k''</sub></sub>)} }}の上極限が有界であること {{math|''f''(''d'')}} によって上から抑えられることがわかるが、それで上限 {{mvar|M}} に対して {{math|1=''f''(''d'') = ''M''}} が成り立つことを言うのには十分である。

実数値函数が上半連続かつ下半連続であることと、それが通常の意味で連続であることとは同値であるから、上記二つの定理から、有界性定理と最大値最小値定理が導かれる。

== 参考文献 ==

* {{cite book
| last = Keisler
| first = H. Jerome
| title = Elementary calculus. An infinitesimal approach
| publisher = Prindle, Weber & Schmidt
| location = Boston, Massachusetts
| year = 1986
| isbn = 0-87150-911-3
| url = http://www.math.wisc.edu/~keisler/calc.html
}}

== 関連項目 ==

* [[微分]]
* [[ロルの定理]]
* [[平均値の定理]]
* [[連続 (数学)|連続]]

== 外部リンク ==
* [http://www.cut-the-knot.org/fta/fta_note.shtml A Proof for extreme value theorem] at [[cut-the-knot]]
* {{planetmath reference|id=6022|title=Boundedness Theorem}}
* {{planetmath reference|id=6023|title=Extreme Value Theorem}}
* [http://demonstrations.wolfram.com/ExtremeValueTheorem/ Extreme Value Theorem] by  Jacqueline Wandzura with additional contributions by Stephen Wandzura, the [[Wolfram Demonstrations Project]].
* {{MathWorld |title=Extreme Value Theorem |urlname=ExtremeValueTheorem}}

{{DEFAULTSORT:さいたいちさいしようちていり}}
[[Category:解析学の定理]]
[[Category:数学に関する記事]]

[[de:Stetigkeit#Satz vom Minimum und Maximum]]