Der Satz von Wagner und Fáry, manchmal auch als Satz von Wagner oder Satz von Fáry bezeichnet, ist ein Lehrsatz aus dem mathematischen Teilgebiet der Topologischen Graphentheorie, welcher zuerst im Jahre 1936 von dem Mathematiker Klaus Wagner gefunden und dann im Jahre 1948 von dem Mathematiker István Fáry erneut gefunden wurde. Der Satz behandelt eine wichtige Eigenschaft plättbarer Graphen, die nicht zuletzt im Zusammenhang mit dem Vierfarbensatz und verwandten mathematischen Lehrsätzen von Bedeutung ist.

Formulierung des Satzes 350px|mini|Nach einem geeigneten Homöomorphismus sind auch B und D durch eine Strecke verbunden.

Erste Version Die erste Version des Satzes lautet wie folgt:Nora Hartsfield, Gerhard Ringel: Pearls in Graph Theory. 1990, S. 166–167 Ist ein endlicher schlichter Graph plättbar, so existiert sogar ein isomorpher ebener Graph dergestalt, dass die zu den Kanten gehörigen Jordankurven sämtlich abgeschlossene Strecken sind, die einander nie in einem inneren Punkt kreuzen, also paarweise stets höchstens einen der Knoten gemeinsam haben.

Zweite Version Ein ebener Graphen der in der ersten Version genannten Art wird auch als Streckengraph oder als geradlinige Darstellung (des Graphen ) bezeichnet. Unter Verwendung dieser Begriffe lässt sich der Satz auch folgendermaßen formulieren:Rudolf Fritsch: Der Vierfarbensatz. 1994, S. 106 ff., 113–115Rudolf Halin: Graphentheorie II. 1981, S. 9 ff., 14–15 Jeder ebene Graph kann durch einen Homöomorphismus der euklidischen Ebene auf sich in einen Streckengraphen überführt werden.

Anmerkungen Die Bedeutung des Satzes von Wagner und Fáry (in der zweiten Version) für den Vierfarbensatz geht aus einer Anmerkung hervor, die der Mathematiker Rudolf Fritsch in seiner Monographie Der Vierfarbensatz dazu macht. Fritsch schreibt, dass der Satz die endgültige Befreiung aus dem Gruselkabinett beliebiger Jordankurven bringt und den Vierfarbensatz aus den Klauen der allgemeinen Topologie löst.Fritsch, op. cit., S. 107 Die Vermutung, dass die Aussage des Satzes von Wagner und Fáry gelte, wurde István Fáry zufolge schon früher von dem ungarischen Mathematiker Tibor Szele geäußert.

Siehe auch Äquivalenzsatz von Wagner Satz von Wagner

Literatur

Einzelnachweise und Anmerkungen

Wagner und Fary Kategorie:Topologische Graphentheorie