U diferencijalnom računu, teorem o ekstremnim vrijednostima tvrdi da, ako je realna funkcija f neprekidna na ograničenom segmentu [a, b], onda ona mora dosegnuti maksimum i minimum, svaki barem jednom. To jest, postoje brojevi c i d u [a, b] takvi da:
f ( c ) ≥ f ( x ) ≥ f ( d ) , ∀ x ∈ [ a , b ] {\displaystyle f(c)\geq f(x)\geq f(d),\forall x\in [a,b]} .
Srodni teorem je teorem o ograničenosti koji kaže da je neprekidna funkcija f na segmentu [a, b] ograničena na tom segmentu. To jest, postoje realni brojevi m i M takvi da:
m < f ( x ) < M , ∀ x ∈ [ a , b ] {\displaystyle m<f(x)<M,\forall x\in [a,b]} .
Teorem o ekstremnim vrijednostima obogaćuje teorem o ograničenosti govoreći da ne samo da je funkcija ograničena, nego u isto vrijeme dostiže svoju najmanju gornju među kao svoj maksimum i najveću donju među kao svoj minimum.
Teorem o ekstremnim vrijednostima se upotrebljava u dokazu Rolleovog teorema. U formulaciji Karla Weierstrassa, taj teorem tvrdi da neprekidna funkcija iz nepraznog kompaktnog prostora u podskup realnih brojeva dostiže maksimum i minimum.
Teorem o ekstremnim vrijednostima je originalno dokazao Bernard Bolzano u 1830-ima u djelu Teorija funkcija ali je djelo ostalo neobjavljeno sve do 1930. Bolzanov dokaz sastojao se u pokazivanju da je neprekidna funkcija na segmentu ograničena, i tada da funkcija dostiže svoj minimum i maksimum. U oba dokaza se pojavljuje teorem koji je danas poznat pod nazivom Bolzano-Weierstrassov teorem (Rusknock i Kerr-Lawson 2005). Taj rezultat je otkrio kasnije Karl Weierstrass 1860. godine.
Sljedeći primjeri pokazuju zašto domena funkcije mora biti ograničeni segment da bi se teorem primijenio. Svaka od njih ne dostiže maksimum na danom intervalu.
Definiranjem f(0) = 0 u zadnja dva primjera pokazuje da oba teorema zahtijevaju neprekidnost na [a, b].
U prelasku sa R {\displaystyle \mathbb {R} } na općenite metričke i topološke prostore, prikladna generalizacija ograničenog segmenta je kompaktni skup. Skup K je kompaktan ako ima sljedeće svojstvo: iz svake kolekcije otvorenih skupova U α {\displaystyle U_{\alpha }} takve da je K ⊂ ⋃ U α {\displaystyle K\subset \bigcup U_{\alpha }} , konačna podkolekcija U α 1 , . . . , U α n {\displaystyle U_{\alpha _{1}},...,U_{\alpha _{n}}} može biti izabrana tako da K ⊂ ⋃ i = 1 n U α i {\displaystyle K\subset \bigcup _{i=1}^{n}U_{\alpha _{i}}} . To se naziva Heine-Borel svojstvo, i obično se izriče u kratko kao "svaki otvoreni pokrivač od K ima konačni podpokrivač." Heine-Borel teorem tvrdi da je podskup realnih brojeva kompaktan ako i samo ako je i zatvoren i ograničen.
Koncept neprekidne funkcije također se može poopćiti. Neka su dani topološki prostori V, W, funkcija f : V ↦ W {\displaystyle f:V\mapsto W} je neprekidna ako je za svaki otvoreni skup U ⊂ W {\displaystyle U\subset W} , f − 1 ( U ) ⊂ V {\displaystyle f^{-1}(U)\subset V} također otvoren. S obzirom na te definicije, može se pokazati da neprekidna funkcija čuva kompaktnost.[1]
Teorem. Ako su V , W {\displaystyle V,W} topološki prostori, f : V ↦ W {\displaystyle f:V\mapsto W} neprekidna funkcija, K ⊂ V {\displaystyle K\subset V} je kompaktan, tada je i f ( K ) ⊂ W {\displaystyle f(K)\subset W} isto kompaktan.
Posebno, ako je W = R {\displaystyle W=\mathbb {R} } tada taj teorem implicira da je f ( K ) {\displaystyle f(K)} zatvoren i ograničen za svaki kompaktni skup K {\displaystyle K} , što opet implicira da f {\displaystyle f} dostiže svoj supremum i infimum na svakom (nepraznom) kompaktnom skupu K {\displaystyle K} . Prema tome, imamo sljedeću generalizaciju teorema o ekstremnoj vrijednosti:
Teorem Ako je K {\displaystyle K} kompaktni skup i f : K ↦ R {\displaystyle f:K\mapsto \mathbb {R} } neprekidna funkcija, tada je f {\displaystyle f} ograničena i postoje p , q ∈ K {\displaystyle p,q\in K} takvi da f ( p ) = sup x ∈ K f ( x ) {\displaystyle f(p)=\sup _{x\in K}f(x)} i f ( q ) = inf x ∈ K f ( x ) {\displaystyle f(q)=\inf _{x\in K}f(x)} .