The Hahn-Banach Theorem: The Life and Times
by
Lawrence Narici
St. John's University, Jamaica, NY 11439, USA

Without the Hahn-Banach theorem, functional analysis would be very different from the structure we know today. Among other things, it has proved to be a very appropriate form of the Axiom of Choice for the analyst. (It is not equivalent to the Axiom of Choice, incidentally; it follows from the ultrafilter theorem which is strictly weaker.) Riesz and Helly obtained forerunners of the theorem in the turbulent mathematical world of the early 1900's. Hahn and Banach independently proved the theorem for the real case in the 1920's. Then there was Murray's extension to the complex case-easy, once you realize that f(x) = (Re)f(x)-i(Re)f(ix). Can continuous linear maps be extended as easily as linear functionals? Banach and Mazur had already proved that they could not in 1933 but it was not until Nachbin's 1950 result that a definitive answer was achieved to this more general question. In this article, we discuss the mathematical world into which the theorem entered, examine its connection to the axiom of choice, look at some ancestors, mention some of its consequences and consider some of its principal variations.

Topics: What is it? Why is it important? A short history of analysis, Structure, Point of view-Geometric perspective, Precision, New tools: The new integrals. What Riesz did, Enter Helly, Hahn and Banach, Uniqueness, The Axiom of Choice, The complex case.

Related questions: The range side, The domain side, Superspaces, Minimal sublinear functionals, The non-Archimedean case, Ordered versions, The geometric form, Separation results.

Date received: May 24, 2001

Copyright © 2001 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cagw-81.