Extremumstelling

Een continue functie f {\displaystyle f} op het gesloten interval [ a , b ] {\displaystyle [a,b]} met globaal maximum (rood) en globaal minimum (blauw)

De extremumstelling is een stelling uit de wiskundige analyse. Ze wordt ook soms de extremumstelling van Weierstrass genoemd. De stelling zegt dat een continue functie f {\displaystyle f} op het gesloten interval [ a , b ] {\displaystyle [a,b]} minstens één keer haar maximum en minstens één keer haar minimum bereikt. Dat wil zeggen dat er getallen c , d [ a , b ] {\displaystyle c,d\in [a,b]} zijn, zodanig dat voor alle x [ a , b ] {\displaystyle x\in [a,b]} geldt:

f ( d ) f ( x ) f ( c ) {\displaystyle f(d)\leq f(x)\leq f(c)}

Het klassiek bewijs hiervoor gaat als volgt: het gesloten interval [ a , b ] {\displaystyle [a,b]} is compact en dus is het continue beeld ook compact. Het beeld is dus gesloten en begrensd en bevat dus zowel zijn minimum als zijn maximum.

De extremumstelling wordt onder andere gebruikt om de stelling van Rolle te bewijzen.