Abstract
The presented paper is a compendium or a kind of précis of relationships between the four classical theorems of mathematical analysis. More precisely, the first aim of this paper is to present the equivalence of the four classical theorems: the Hahn–Banach theorem, the Mazur–Orlicz theorem, the Markov–Kakutani fixed-point theorem and the von Neumann theorem on amenability of Abelian groups. The second purpose is to prove these equivalences in Zermelo–Fraenkel set theory with the axiom of choice replaced by the Boolean prime ideal theorem, from which we can also prove the Hahn–Banach theorem.
Similar content being viewed by others
Availability of Data and Materials
Not applicable.
References
Badora, R.: Invariant means and the Hahn–Banach theorem. Report of meeting. Ann. Math. Silesianae 21, 62 (2007)
Bingham, N.H., Ostaszewski, A.J.: Set theory and the analyst. Eur. J. Math. 5, 2–48 (2019)
Buskes, G.: The Hahn–Banach theorem surveyed. Dissertationes Math. (Rozprawy Mat.) 327, 49 (1993)
Ceccherini-Silberstein, T., Coornaert, M.: Cellular Automata and Groups. Springer Monographs in Mathematics. Springer, Dordrecht (2010)
Chojnacki, W.: Sur un théoreme de Day, un théoreme de Mazur–Orlicz et une généralisation de quelques théoremes de Silverman. Colloq. Math. 50, 257–262 (1986)
Dixmier, J.: Les moyennes invariante dans les semi-groupes et leurs applications. Acta Sci. Math. Szeged 12, 213–227 (1950)
Foreman, M.: The Hahn–Banach theorem implies the existence of a non-Lebesgue measurable set. Stud. Math. 138, 13–19 (1991)
Halpern, J.D.: The independence of the axiom of choice from the Boolean prime ideal theorem. Fund. Math. 55, 57–66 (1964)
Halpern, J.D., Levy, A.: The Boolean prime ideal theorem does not imply the axiom of choice. Axiomatic Set Theory Part 1 Proc. Symp. Pure Math 13, 83–134 (1971)
Hewitt, E., Ross, K.A.: Abstract Harmonic Analysis I. Springer, Berlin (1963)
Howard, P., Rubin, J.E.: Consequences of the Axiom of Choice. Mathematical Surveys and Monographs, vol. 59. American Mathematical Society, Providence (1998)
Jech, T.J.: The Axiom of Choice. Studies in Logic and the Foundation of Mathematics, Vol. 75, North-Holland, Amsterdam, London 1973, and American Elsevier, New York (1973)
Kakutani, S.: Two fixed-point theorems concerning bicompact convexsets. Proc. Imp. Acad. Tokyo 14, 242–245 (1938)
Łoś, J., Ryll-Nardzewski, C.: Effectiveness of the representation theory for Boolean algebras. Fund. Math. 41, 49–56 (1954)
Luxemburg, W.A.J.: Two applications of the method of construction by ultrapowers to analysis. Bull. Am. Math. Soc. 68, 416–419 (1962)
Paterson, A.L.T.: Amenability. American Mathematical Society, Providence (1988)
Pincus, D.: Independence of the prime ideal theorem from the Hahn–Banach theorem. Bull. Am. Math. Soc. 78, 766–770 (1972)
Przebieracz, B.: A proof of the Mazur–Orlicz theorem via the Markov–Kakutani common fixed point theorem, and vice versa. Fixed Point Theory Appl. 10, 9 (2015)
Pták, V.: On a theorem of Mazur and Orlicz. Studia Math. 15, 365–366 (1956)
Schechter, E.: Handbook of Analysis and Its Foundations. Academic Press, San Diego (1997)
Werner, D.: A proof of the Markov–Kakutani fixed point theorem via the Hahn–Banach theorem. Extracta Math. 8, 37–38 (1993)
Funding
There were no fundings.
Author information
Authors and Affiliations
Contributions
Not applicable.
Corresponding author
Ethics declarations
Ethical Approval
Not applicable.
Conflict of interest
I have no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Badora, R., Przebieracz, B. On the Equivalence in ZF+BPI of the Hahn–Banach Theorem and Three Classical Theorems. Results Math 79, 84 (2024). https://doi.org/10.1007/s00025-023-02116-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-023-02116-w
Keywords
- Hahn–Banach theorem
- Mazur–Orlicz theorem
- von Neumann theorem on amenability of Abelian groups
- Markov–Kakutani theorem