Satz von Steinitz

Der Satz von Steinitz, englisch Steinitz’s theorem, 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.

Der Satz lässt sich angeben wie folgt:^[1][2][3]

Ein endlicher schlichter Graph ${\displaystyle G}$ hat dann und nur dann eine geradlinige Darstellung als ${\displaystyle 3}$-dimensionaler Polyedergraph ${\displaystyle G^{'}\subset \mathbb {R} ^{3}}$, wenn ${\displaystyle G}$ plättbar und zugleich ${\displaystyle 3}$-fach zusammenhängend ist.

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] (englisch Fundamental Theorem of Convex Types [of Polyhedra]) 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 (englisch rather cumbersome) sei.^[4]

Ein verwandter Satz, welcher die Polytope aller höheren Dimensionen betrifft und von dem Mathematiker Michel Louis Balinski gefunden wurde, ist der folgende:^[5][1]

Hat ein endlicher schlichter Graph eine geradlinige Darstellung als ${\displaystyle d}$-dimensionaler Polytopgraph im ${\displaystyle \mathbb {R} ^{d}\;(d{\text{ ganzzahlig}}\;,\;d\geq 2)}$ , so ist er notwendigerweise ${\displaystyle d}$-fach zusammenhängend.

• M. L. Balinski: On the graph structure of convex polyhedra in n-space. In: Pacific Journal of Mathematics. Band 11, 1961, S. 431–434 (projecteuclid.org).  MR0126765
• Lowell W. Beineke, Robin J. Wilson (Hrsg.): Topics in Topological Graph Theory (= Encyclopedia of Mathematics and its Applications. Band 128). Cambridge University Press, Cambridge 2009, ISBN 978-0-521-80230-7 (MR2581536). 
• Branko Grünbaum: Polytopal Graphs. In: D. R. Fulkerson (Hrsg.): Studies in Graph Theory (= Mathematical Association of America [Hrsg.]: Studies in Mathematics. Band 12). Part II. Washington DC 1975, ISBN 0-88385-112-1, S. 201–224 (MR0406868 MR0392630). 
• Frank Harary: Graphentheorie. R. Oldenbourg Verlag, München, Wien 1974, ISBN 3-486-34191-X. 
• E. Steinitz, H. Rademacher: Vorlesungen über die Theorie der Polyeder. Unter Einschluß der Elemente der Topologie (= Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Band 41). Springer Verlag, Berlin / Heidelberg / New York 1976, ISBN 3-540-06293-9 (MR0430958 – Reprint 1976). 

1. ↑ ^{a b} Branko Grünbaum: Polytopal Graphs. In: D. R. Fulkerson (Hrsg.): Studies in Graph Theory. Part II. 1975, S. 203
2. ↑ Lowell W. Beineke, Robin J. Wilson: Topics in Topological Graph Theory, 2009, S. 11
3. ↑ Frank Harary: Graphentheorie. 1974, S. 115
4. ↑ Grünbaum, op. cit., S. 204
5. ↑ M. L. Balinski: On the graph structure of convex polyhedra in n-space. in: Pacific J. Math. 11, S. 431–434