Topologische Kombinatorik
Die Topologische Kombinatorik ist ein jüngeres Fachgebiet der Mathematik, welches im letzten Viertel des 20. Jahrhunderts entstanden ist und sich mit folgenden Typen von Problemen beschäftigt:
- Anwendungen von Methoden aus der Topologie auf Probleme der diskreten Mathematik,
- topologische Verallgemeinerungen von Problemen der diskreten Geometrie,
- die Diskretisierung topologischer Konzepte.
Die topologische Kombinatorik ist damit gewissermaßen eine Umkehrung der kombinatorischen Topologie, eines Fachgebiets, das sich mit der Anwendung kombinatorischer Methoden in der Topologie beschäftigte und Anfang des 20. Jahrhunderts in der algebraischen Topologie aufgegangen ist.
Eine wichtige Rolle in der topologischen Kombinatorik spielen – unter anderem – Themen wie die Topologie von Halbordnungen und Simplizialkomplexen, Kollabierbarkeit und Schälbarkeit, Theoreme vom Borsuk-Ulam-Typ und ihre kombinatorischen Analoga, äquivariante Topologie und Hindernistheorie.
Konkrete Beispiele für die oben genannten Problemtypen werden im Folgenden aufgeführt.
Anwendungen von Methoden aus der Topologie auf Probleme der diskreten Mathematik
Der Beweis der Kneservermutung durch László Lovász 1978 mit Hilfe topologischer Methoden wird gemeinhin als der Beginn der topologischen Kombinatorik angesehen. Martin Kneser veröffentlichte diese Vermutung 1955 im Jahresbericht der DMV in Form einer Aufgabe.[1]
Kneservermutung: In jeder Partition der -Teilmengen einer -Menge in Klassen existiert eine Klasse, die ein disjunktes Paar von -Mengen enthält.
Diese Aussage lässt sich leicht in ein Problem über die chromatische Zahl einer gewissen Familie von Graphen – den Knesergraphen – umformulieren. Lovász' bahnbrechende Idee war nun, jedem Graphen einen Simplizialkomplex , den sogenannten Nachbarschaftskomplex, zuzuordnen und das folgende Theorem zu etablieren[2].
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0f/Nachbarschaftskomplex_%28links%29_des_Kneser_Graphen_%28rechts%29_KG%285%2C2%29.png/220px-Nachbarschaftskomplex_%28links%29_des_Kneser_Graphen_%28rechts%29_KG%285%2C2%29.png)
Theorem (Lovász 1978): Sei ein Graph mit Nachbarschaftskomplex . Ist die geometrische Realisierung von topologisch -zusammenhängend, dann ist der Graph nicht -färbbar.
Der Kern des Beweises dieses Theorems ist der Satz von Borsuk-Ulam aus der algebraischen Topologie. Der Beweis, dass die Nachbarschaftskomplexe der Knesergraphen tatsächlich den richtigen topologischen Zusammenhang aufweisen, ist leicht durch ein Schälbarkeitsargument – angewandt auf die auftauchenden Halbordnungen – erbracht (siehe beispielsweise[3]).
Die Etablierung unterer Schranken für die chromatische Zahl eines Graphen hat einen großen Stellenwert in der Forschungsliteratur in diesem Teil der topologischen Kombinatorik. Weitere Forschungsaktivitäten handeln von anderweitigen Problemen der Graphentheorie, von Partitionsresultaten von Punktmengen im euklidischen Raum und von Komplexitätsresultaten, beispielsweise für evasive Grapheneigenschaften und Entscheidungsbaumalgorithmen.
Ähnlich wie der Fixpunktsatz von Brouwer sein Analogon in der diskreten Geometrie im Lemma von Sperner hat (die Ableitung des Brouwerschen Fixpunktsatzes aus dem Lemma von Sperner wurde in Das Buch der Beweise, Kapitel 25, aufgenommen), hat der Satz von Borsuk-Ulam ein Analogon im Lemma von Tucker (das heißt der eine Satz folgt aus dem anderen und umgekehrt).
Topologische Verallgemeinerungen von Problemen der diskreten Geometrie
Eine topologische Verallgemeinerung des nach Helge Tverberg benannten Satzes von Tverberg über Zerlegungen von Punktmengen im euklidischen Raum und deren konvexe Hüllen ist das folgende.
Theorem (Murad Özaydin 1987, Karanbir Sarkaria 2000, Alexei Volovikov 1996). Seien , eine Primpotenz und . Für jede stetige Abbildung des Standard--Simplexes in den existieren paarweise disjunkte Seiten , so dass der Durchschnitt nicht leer ist.
Die offene Frage, ob dieses Theorem auch für den Fall gilt, dass keine Primpotenz ist, ist bekannt als das kontinuierliche Tverberg-Problem. Der Primzahlfall, also der Fall , wurde von Imre Bárány, S. B. Shlosman und A. Szücs 1981 gezeigt[4]. Das topologische Werkzeug, welches in deren Beweis die entscheidende Rolle gespielt hat, geht im Wesentlichen auf einen Satz von Dold zurück, der eine Verallgemeinerung des Satzes von Borsuk-Ulam ist. Dolds Theorem wurde zu einem äußerst wichtigen und erfolgreichen Werkzeug in der topologischen Kombinatorik[5].
Theorem (Albrecht Dold 1983). Sei eine nicht-triviale endliche Gruppe, und topologische Räume mit freier -Wirkung. Ferner sei -zusammenhängend und die Dimension von gleich . Falls eine -äquivariante Abbildung von nach existiert, so gilt .
Weitere Beschäftigungsfelder in diesem Teilgebiet sind unter anderem Probleme des fairen Teilens und Massenpartitionsprobleme (hierunter auch das Splitting Necklace Theorem von Noga Alon). Diese Probleme berühren auch algorithmische Fragestellungen und beinhalten diskrete Versionen von Sätzen vom Borsuk-Ulam-Typ.
Diskretisierung topologischer Konzepte
Diskrete Morsetheorie ist eine diskrete Version der Morsetheorie aus dem Gebiet der differenzierbaren Mannigfaltigkeiten. Ähnlich zur Morsetheorie werden in der diskreten Morsetheorie Funktionen betrachtet, die Simplizes reelle Werte unter gewissen Nebenbedingungen zuordnen. Eine Anwendung der diskreten Morsetheorie ist die folgende.
Sei eine feste -Menge. Identifiziere einen Graphen auf der Knotenmenge mit der Kantenmenge . Mit Hilfe dieser Identifikation bilden alle Graphen mit Knotenmenge , die nicht -zusammenhängend sind, einen Simplizialkomplex, den wir mit bezeichnen wollen. Beispielsweise in Vassilievs Theorie der Knoteninvarianten ist es von Bedeutung, die Topologie von Simplizialkomplexen, die mit gewissen Grapheneigenschaften assoziiert sind – wie zum Beispiel – zu untersuchen.
Theorem (Eric Babson et al. 1999,[6] Victor Turchin 1997).[7] Für hat die geometrische Realisierung von den Homotopietyp eines Wedges von Sphären der Dimension .
Im Verlauf des Beweises konstruieren Babson et al. eine diskrete Morsefunktion mit genau einer kritischen -Zelle, um zu zeigen, dass die geometrische Realisierung eines gewissen Simplizialkomplexes zusammenziehbar ist.
Die Analogien zwischen der kontinuierlichen und der diskreten Morsetheorie sind weitreichend. Ein wichtiges Beispiel hierfür ist die folgende Aussage.
Theorem (Robin Forman 1995).[8] Angenommen ist ein Simplizialkomplex mit einer diskreten Morsefunktion, dann ist die geometrische Realisierung von homotopieäquivalent zu einem CW-Komplex mit genau einer Zelle der Dimension für jeden kritischen Simplex der Dimension .
Ein weiteres wichtiges Forschungsgebiet umfasst Diskretisierungen des Krümmungsbegriffes[9].
Literatur
- Jiří Matoušek: Using the Borsuk-Ulam Theorem. Lectures on Topological Methods in Combinatorics and Geometry. Springer-Verlag, Berlin u. a. 2003, ISBN 3-540-00362-2 (Universitext).
- Mark de Longueville: A Course in Topological Combinatorics. Springer New York, 2012, ISBN 978-1441979094 (Universitext).
- Dmitry Kozlov: Combinatorial Algebraic Topology, Springer 2007
Einzelnachweise
- ↑ Martin Kneser. Aufgabe 360. Jahresbericht der DMV, 58(2): 27, 1955.
- ↑ Mark de Longueville. 25 Jahre Beweis der Kneservermutung - Der Beginn der topologischen Kombinatorik pdf, DMV-Mitteilungen 4, 8 - 11, 2003.
- ↑ Anders Björner. Topological Methods. In R. Graham, M. Grötschel, L. Lovász (Ed.), Handbook of Combinatorics. North Holland, Amsterdam, 1819 - 1872, 1994.
- ↑ I. Bárány, S. B. Shlosman, A. Szucs On a topological generalization of a theorem of Tverberg, J. London Math. Soc. (2), Band 23, 1981, S. 158–164
- ↑ Jiří Matoušek. Using the Borsuk-Ulam Theorem. Lectures on topological methods in combinatorics and geometry. In Kollaboration mit Anders Björner und Günter M. Ziegler geschrieben. Universitext, Springer, Heidelberg, 2003.
- ↑ Eric Babson, Anders Björner, Svante Linusson, John Shareshian, Volkmar Welker: Complexes of not i-connected graphs, Topology, Band 38, 1999, S. 271–299
- ↑ Turchin, Homology of Complexes of 2-Connected Graphs, Russ. Math. Surveys, Band 52, 1997, S. 426–427.
- ↑ Forman, A discrete Morse theory for cell complexes, in: S. T. Yau (Hrsg.), Geometry, Topology & Physics for Raoul Bott, International Press, 1995.
- ↑ Robin Forman. Combinatorial differential topology and geometry. In Louis Billera et al. (Ed.), New perspectives in algebraic combinatorics, Cambridge University Press, MSRI Publ. 38, 177 - 206, 1999.