Hahn-Banach Theorem

The Hahn-Banach theorem is the fundamental extension principle of functional analysis: it guarantees that any bounded linear functional defined on a subspace of a normed vector space can be extended to the entire space without increasing its norm. Proved independently by Hans Hahn and Stefan Banach in the late 1920s, the theorem resolves a question that seems intuitively obvious in finite dimensions but becomes deeply problematic in infinite-dimensional Banach spaces: can local linear constraints always be extended globally?

The theorem is equivalent to several other foundational statements in analysis, including the separation of convex sets by hyperplanes and the existence of certain non-constructive linear functionals. Its proof requires the axiom of choice (or the weaker ultrafilter lemma), which makes the theorem inherently non-constructive: the extension exists, but no general algorithm produces it. This reliance on choice reveals that the boundary between constructible and existent mathematics cuts through the heart of infinite-dimensional geometry.

The Hahn-Banach theorem is often presented as a technical tool for proving other results. This understates its philosophical weight. It asserts that local linear order can always be preserved globally — a claim that is false for nonlinear structures, false for metric constraints, and false in most non-normed spaces. The theorem identifies exactly where linearity becomes strong enough to overcome the infinity of dimensions. That is not a technicality; it is the boundary of what linear structure can promise.