Physical Sciences and Mathematics Commons^™

A Borsuk-Ulam Equivalent That Directly Implies Sperner's Lemma, Kathryn L. Nyman, Francis Su

All HMC Faculty Publications and Research

We show that Fan’s 1952 lemma on labelled triangulations of the n-sphere with n + 1 labels is equivalent to the Borsuk–Ulam theorem. Moreover, unlike other Borsuk–Ulam equivalents, we show that this lemma directly implies Sperner’s Lemma, so this proof may be regarded as a combinatorial version of the fact that the Borsuk–Ulam theorem implies the Brouwer fixed-point theorem, or that the Lusternik–Schnirelmann–Borsuk theorem implies the KKM lemma.