KKM implies Hahn-Banach


Abstract views: 49 / PDF downloads: 8

Authors

  • Sehie Park

Keywords:

KKM theory; KKM theorem; Brouwer xed point theorem; Hahn-Banach theorem. 2010 MSC: 46A22, 46N10, 47H04, 47H10, 47N10, 49J35, 49J40, 49J53, 54C60, 54H25, 55M20, 58E35, 90C46, 90C47, 91A13.

Abstract

Our title means that the Knaster-Kuratowski-Mazurkiewicz theorem in 1929 implies the Hahn-Banach theorem. This theorem originated from Hahn in 1926 and Banach in 1929 is of basic importance in the analysis of problems concerning the existence of continuous linear functionals. Its consequences and applications cover hundreds of papers. For a long period, some authors studied the relation of results of the Hahn Banach theorem and the Brouwer FIxed point theorem in 1912 (equivalently, the KKM theorem in 1929). In the present article, we recall some history of such study, and show that the Hahn-Banach theorem can be derived from the KKM theorem and not conversely. Consequently, all consequences and applications of the Hahn-Banach theorem belong to a partial realm of the KKM theory.

Downloads

Published

2022-11-07

How to Cite

Sehie Park. (2022). KKM implies Hahn-Banach. Results in Nonlinear Analysis, 2(1), 7–17. Retrieved from https://nonlinear-analysis.com/index.php/pub/article/view/20