The Extreme Value Theorem

Topology · Axiom Academy

LESSON The Extreme Value Theorem A continuous function on a compact space always attains its maximum and minimum values Step 1: The Extreme Value Theorem The Extreme Value Theorem (EVT) is one of the most important results in topology and analysis. It guarantees that continuous functions on compact spaces are well-behaved: they must achieve both a maximum and minimum value. Let be a compact topological space and be a continuous function. Then attains its maximum and minimum on . That is, there exist such that: In the familiar setting of calculus, this says: a continuous function on a closed and bounded interval must achieve both a highest and lowest value somewhere in that interval. Step 2: The Role of Compactness Before proving the theorem, let's understand why compactness is essential. Consider what can go wrong without it. In topology, compactness captures the idea of being "closed and bounded." For subsets of , a set is compact if and only if it is closed and bounded (Heine-Borel theorem). Step 3: Continuous Images of Compact Sets The proof relies on a fundamental theorem from topology: the continuous image of a compact space is compact. If is compact and is continuous, then is compact in . This means that when we apply a continuous function to our compact space , we get a compact subset of the real numbers. The visualization shows how maps our compact space into . The key observation: the image must also be compact. Step 4: Compact Subsets of the Real Line

This is the written version of the interactive lesson above. See the full Topology course.