KKM implies the Brouwer fixed point theorem: Another proof

Abstract

It is well-known that the Brouwer fixed point theorem (BFPT), the weak Sperner combinatorial lemma, and the Knaster-Kuratowski-Mazurkiewicz (KKM) theorem are mutually equivalent and have scores of equivalent formulations and several thousand applications. It is well-known that KKM deduced the BFPT from Sperner Lemma. In this article, we recall some KKM theoretic results implying the BFPT.