Lemma von Tucker
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/54/TuckerLemExample.png/220px-TuckerLemExample.png)
Das Lemma von Tucker ist ein Satz der Kombinatorik, der äquivalent zum Satz von Borsuk-Ulam aus der Topologie ist, aufgestellt von Albert W. Tucker.[1]
Sei T eine Triangulation des abgeschlossenen n-Balls , die auf dem Rand, der Sphäre , antipodale Symmetrie hat (das heißt die Simplices von T in liefern eine Triangulation von , in der mit dem Simplex auch ist).
Sei außerdem eine Nummerierung der Knoten von T, die auf eine ungerade Funktion ist (das heißt für jeden Knoten ).
Nach dem Lemma von Tucker enthält dann T mit Nummerierung L eine komplementäre Kante, das heißt eine Kante mit Nummerierung der zugehörigen Knoten
Ein Vergleich mit dem Satz von Borsuk-Ulam in folgender Version zeigt die Analogie:
Satz von Borsuk-Ulam: Sei eine stetige Abbildung, so dass auf dem Rand die Funktion antipodal ist (). Dann gibt es ein mit .
Das Lemma von Tucker folgt aus dem Satz von Borsuk-Ulam und umgekehrt (ähnlich wie Brouwers Fixpunktsatz aus dem Lemma von Sperner und umgekehrt).
Robert Freund und Michael Todd fanden einen konstruktiven Beweis des Lemmas von Tucker, der auch einen Algorithmus lieferte, um die komplementäre Kante zu finden.[2]
Das Lemma von Ky Fan[3] ist eine Verallgemeinerung des Lemmas von Tucker:
Lemma von Ky Fan: Es gelten dieselben Voraussetzungen und Definitionen wie beim Lemma von Tucker, außer dass L keiner Beschränkung der Anzahl der verschiedenen Nummern unterliegt. Gibt es keine komplementäre Kante, so enthält (T, L) eine ungerade Anzahl alternierender n-dimensionaler Simplices. Ein Simplex heißt dabei alternierend, falls alle Nummern der Knoten untereinander betragsmäßig verschieden sind und deren Vorzeichen wechseln.
Da ein n-dimensionaler Simplex (n+1) Knoten hat, müssen für einen alternierenden Simplex (n+1) betragsmäßig verschiedene Nummern vorhanden sein, es gibt aber unter den Voraussetzungen des Lemmas von Tucker nur n betragsmäßig verschiedene Nummern. Also gibt es in diesem Fall keinen alternierenden Simplex in (T, L) und das Lemma von Tucker folgt als Korollar zum Lemma von Ky Fan.
Weblinks
- Frederic Meunier, Sperner and Tucker lemmas, 2010, Vortragsfolien, pdf
Einzelnachweise
- ↑ Tucker, Some topological properties of disk and sphere, Proc. First Canadian Math. Congress, Montreal, 1945, Toronto: University of Toronto Press, 1946, S. 285–309
- ↑ Freund, Todd, A constructive proof of Tucker's combinatorial lemma, Journal of Combinatorial Theory, Series A, Band 30, 1981, S. 321–325
- ↑ Ky Fan, A Generalization of Tucker's Combinatorial Lemma with Topological Applications, Annals of Mathematics, Band 56, 1952, S. 431