最大値最小値定理

初等解析学における最大値・最小値の定理または最大値の定理（さいだいちのていり、extreme value theorem; 極値定理）は、実数値函数 f が有界閉区間 上で連続ならば f は最大値および最小値にそれぞれ少なくとも一点で到達することを述べるものである。式で書けば、適当な実数 が存在して:<math>f(c) \\ge f(x) \\ge f(d)\\quad(\\forall x\\in [a,b])</math>が成り立つ。関連する定理として、有界性定理（ゆうかいせいていり、boundedness theorem）は、有界閉区間 上で連続な函数 はその区間上で有界であることを述べる。これは適当な実数 が存在して:<math>m \\le f(x) \\le M\\quad(\\forall x \\in [a,b])</math>が満たされるという意味である。最大値定理は、有界性定理における上界と下界の存在を強めて、最小上界を最大値として、および最大下界を最小値として、それぞれ実現する点が定義域内に存在することまでをも主張するのである。最大値の定理はロルの定理の証明に利用される。また、ヴァイエルシュトラスによる定式化では、最大値の定理は「コンパクト空間から実数直線の部分集合への連続写像は最大値および最小値をとる」と述べられる。