|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 有 ： [う, ゆう] 1. (n,vs) possession ・ 定理 ： [ていり] 【名詞】 1. theorem 2. proposition ・ 理 ： [り] 【名詞】 1. reason
初等解析学における最大値・最小値の定理または最大値の定理（さいだいちのていり、; 極値定理）は、実数値函数 ''f'' が有界閉区間 上で連続ならば ''f'' は最大値および最小値にそれぞれ少なくとも一点で到達することを述べるものである。式で書けば、適当な実数 が存在して : が成り立つ。関連する定理として、有界性定理（ゆうかいせいていり、）は、有界閉区間 上で連続な函数 はその区間上で有界であることを述べる。これは適当な実数 が存在して : が満たされるという意味である。最大値定理は、有界性定理における上界と下界の存在を強めて、最小上界を最大値として、および最大下界を最小値として、それぞれ実現する点が定義域内に存在することまでをも主張するのである。 最大値の定理はロルの定理の証明に利用される。また、ヴァイエルシュトラスによる定式化では、最大値の定理は「コンパクト空間から実数直線の部分集合への連続写像は最大値および最小値をとる」と述べられる。 == 歴史 == 最大値最小値定理は、もともとベルナルド・ボルツァーノが1830年代に「函数論」の研究の中で証明を得ていたものだが、これらの内容は1930年まで公表されていなかった。ボルツァーノの証明は「連続函数が閉区間上有界であること」と「函数が最大値および最小値に到達すること」を示すことからなる。両証明は今日ボルツァーノ・ヴァイエルシュトラスの定理として知られるものと関係する。後の1860年に、ヴァイエルシュトラスによって最大値最小値定理は再発見され、（連続函数に関する）ヴァイエルシュトラスの定理、ヴァイエルシュトラスの最大値定理などとしても知られる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「最大値最小値定理」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Extreme value theorem 」があります。 スポンサード リンク
|