Talk:Sperner's lemma
From Wikipedia, the free encyclopedia
Note to Axel - the other Lemma is an unrelated result proved earlier by Sperner, rather than the result of Borsuk et al.
Charles Matthews 09:07, 28 Feb 2004 (UTC)
Off-hand, I'm not so sure about the above comment. Sperner proved two lemmas on his way to Lebesgue's theorem. The second one is in Lyusternik Convex Figures and Polyhedra, along with Sperner's proof of Lebesgue's theorem. I'd have to find the reference.
As it is, I removed this line:
-
- For the 'other' Sperner lemma dealing with set systems, see antichain.
In fact, it's known as Sperner's theorem, not lemma, see Sperner family and my comments in Talk:antichain. Perhaps a disambiguation remark at the top would be appropriate.--192.35.35.36 00:15, 18 Feb 2005 (UTC)
