A topological proof of Ky Fan's covering lemma
arXiv:2507.22184
Abstract
We give an intuitive combinatorial proof of Ky Fan's covering lemma based on the Borsuk-Ulam theorem. We then show how this approach can be generalized to Ky Fan's covering lemma for several linear orders.