A theorem asserting that a continuous real-valued function on a compact set attains both a maximum and a minimum value (i.e., there exist points where the function achieves its global supremum and infimum).

Principle

Continuity on a compact domain prevents escape to arbitrarily large or small values without achieving an extremum; compactness plus continuity yields attainment of extrema.

Demonstration

Example: f(x)=x(1-x) on [0,1] is continuous and attains its maximum 1/4 at x=1/2 and minimum 0 at x=0 and x=1, illustrating concrete attainment of global extrema.

Misapplication

Assuming extrema exist on noncompact domains (e.g., f(x)=x on (0,1) has no maximum though sup exists) or for discontinuous functions; such errors lead to incorrect optimization conclusions.

Consequence

Guarantees the existence of solutions to optimization problems over compact sets and supports arguments that require global maxima or minima, such as proving existence of minimizers in variational problems.

Reversal

The converse fails: a function achieving maxima and minima on a set does not imply the set is compact or the function is continuous; attainment can occur by accident on noncompact sets or for some discontinuous functions.

Boundary

Applies to real-valued continuous functions on compact subsets of Euclidean space (or compact topological spaces). It excludes noncompact domains, discontinuous mappings, and settings where only local extrema are considered.

Semantic Tension

Tension arises with the notion of supremum/infimum vs attainment: the theorem guarantees attainment (max/min), not merely the existence of sup/inf; confusion occurs when users conflate compactness-required attainment with mere boundedness or existence of suprema.

Synthesis

The Extreme Value Theorem combines topological compactness with continuity to ensure that global extrema are not just limiting values but are realized at actual points of the domain, providing a foundational existence result for global optimization on compact sets.