Der Satz von Steinitz, , ist ein mathematischer Lehrsatz, welcher sowohl dem Gebiet der Topologischen Graphentheorie als auch dem der Geometrischen Graphentheorie zuzurechnen ist. Der Satz geht zurück auf eine Veröffentlichung des Mathematikers Ernst Steinitz (1871–1928) aus dem Jahre 1916 und zählt zusammen mit dem eulerschen Polyedersatz, dem Satz von Kuratowski und dem Satz von Wagner zu den klassischen Ergebnissen der Graphentheorie über plättbare Graphen.

Formulierung des Satzes Der Satz lässt sich angeben wie folgt:Branko Grünbaum: Polytopal Graphs. In: D. R. Fulkerson (Hrsg.): Studies in Graph Theory. Part II. 1975, S. 203Lowell W. Beineke, Robin J. Wilson: Topics in Topological Graph Theory, 2009, S. 11Frank Harary: Graphentheorie. 1974, S. 115

Ein endlicher schlichter Graph hat dann und nur dann eine geradlinige Darstellung als -dimensionaler Polyedergraph , wenn plättbar und zugleich -fach zusammenhängend ist.

Bedeutung des Satzes Der steinitzsche Satz ist einer der grundlegenden Sätze in der Lehre von den Polyedern und offenbar schätzte auch Ernst Steinitz dies selbst so ein. Wie Branko Grünbaum hierzu in seinem 1975er Artikel Polytopal Graphs hervorhebt, bezeichnete Steinitz seinen Satz daher sogar als Fundamentalsatz der konvexen Typen [von Polyedern] () und präsentierte dazu nicht weniger als drei sorgfältig ausgearbeitete Beweise. Diese sind in der klassischen Monographie Vorlesungen über die Theorie der Polyeder von Steinitz und Rademacher dargestellt. Wie Grünbaum weiter schreibt, bedient sich diese Darstellung jedoch nicht der modernen Begriffe der Graphentheorie – wie den des Zusammenhangs oder den der Plättbarkeit –, sondern eigener Begrifflichkeiten, wodurch Steinitz’ Beweisführung (aus heutiger Sicht) recht schwerfällig () sei.Grünbaum, op. cit., S. 204

Verwandter Satz Ein verwandter Satz, welcher die Polytope aller höheren Dimensionen betrifft und von dem Mathematiker Michel Louis Balinski gefunden wurde, ist der folgende:M. L. Balinski: On the graph structure of convex polyhedra in n-space. in: Pacific J. Math. 11, S. 431–434 Hat ein endlicher schlichter Graph eine geradlinige Darstellung als -dimensionaler Polytopgraph im , so ist er notwendigerweise -fach zusammenhängend.

Literatur MR0126765

Einzelnachweise und Fußnoten

Steinitz Kategorie:Topologische Graphentheorie Kategorie:Geometrische Graphentheorie