4
$\begingroup$

I'm looking for a proof that Brouwer's fixed point theorem implies Sperner's lemma. All proof I've found just prove that there must be at least one completely colored n-simplex, not that there must be an odd number of them.

Thanks in advance!

  • 0
    here is going the other way http://math.mit.edu/~fox/MAT307-lecture03.pdf2012-07-29
  • 1
    Do you ave any reason to suspect there is such a proof?2012-07-29
  • 0
    There is a common statement that the two theorems is equivalent, and the proof is easy if you just want to prove the existence of at least on such simplex. Different sources names different definitions of the theorem. Any information about the relationship is welcomed.2012-07-29
  • 0
    The classic proof tat Brouwer implies the existence of a completely labeled subsimplex is due to Yoseloff in the 1974 paper "Topologic Proofs of some Combinatorial Theorems". I don't think there is a proof that Brouwer implies the full theorem. One certainly doesn't need it to prove the fixed point theorem. There is a [paper by Cuong Le Van](http://www.springerlink.com/content/tk15225204u33ptv/) in which he uses topological degree theory to prove Sperner's lemma in full generality. I tink he also discusses the relation to the fixed point theorem.2012-07-29
  • 0
    Thanks for all your helpful comments!2012-07-29

0 Answers 0