The extreme value theorem states: if f:KRf: K \to \mathbb{R} is a on a KK, then ff attains its maximum and minimum values.

That is, there exist xmax,xminKx_{\max}, x_{\min} \in K such that

f(xmin)f(x)f(xmax)for all xK.f(x_{\min}) \leq f(x) \leq f(x_{\max}) \quad \text{for all } x \in K.
Classical version

For f:[a,b]Rf: [a,b] \to \mathbb{R} continuous: ff attains a maximum and minimum on [a,b][a,b].

Counterexamples
  • f(x)=xf(x) = x on (0,1)(0,1) (not closed): no maximum or minimum.
  • f(x)=1/xf(x) = 1/x on [1,)[1, \infty) (not bounded): no minimum.