Topologische Graphentheorie
# Topologische Graphentheorie

Die Topologische Graphentheorie ist ein Teilgebiet der Mathematik, welches an der Nahtstelle zwischen der Graphentheorie und Topologie gelegen ist und dabei beeinflusst wird durch verwandte Gebiete wie Geometrische Graphentheorie, Geometrie, Knotentheorie und Gruppentheorie. Sie behandelt Problemstellungen im Zusammenhang mit der Frage der Darstellung von Graphen in topologische Räumen. Die Entwicklung der Topologischen Graphentheorie wurde maßgeblich bestimmt und vorangetrieben durch das Vier-Farben-Problem.

## Begriff der Darstellung
### Definition

Unter einer Darstellung eines gegebenen Graphen $G$ versteht man einen Graphenisomorphismus von diesem auf einen Graphen $G^{'}$, für den folgende Bedingungen erfüllt sind:
* Die Vereinigungsmenge aus Knoten- und Kantenmenge von $G^{'}$ ist als Unterraum in einem topologischen Raum $X^{'}$ enthalten.
* Jede Kante von $G^{'}$ ist eine Jordan-Kurve in $X^{'}$ .
* In $G$ sind ein Knoten $v$ und eine Kante $e$ dann und nur dann inzident, wenn in $G^{'}$ der zu $v$ gehörige Punkt $v^{'}$ Anfangs- oder Endpunkt der zu $e$ gehörigen Jordankurve $e^{'}$ ist.
* In $G$ sind zwei Knoten $v_{1}$ und $v_{2}$ genau dann adjazent, wenn diejenigen $G^{'}$-Jordankurven, welche ${v_{1}}^{'}$ und ${v_{2}}^{'}$ miteinander verbinden, exakt den mit $v_{1}$ und $v_{2}$ inzidenten $G$-Kanten zugehören.

### Bezeichnungen und Sprechweisen

* Einen Graphen $G^{'}$ der genannten Art nennt man einen topologischen Graphen.
* Liegt ein Graphenisomorphismus wie oben vor, so spricht man von einer Einbettung des Graphen $G$ in den topologischen Raum $X^{'}$.
* Verkürzend spricht man in Bezug auf $G^{'}$ ebenfalls von der Darstellung des Graphen $G$ und sagt dann auch, dass $G^{'}$ den gegebenen Graphen $G$ realisiere bzw. repräsentiere (o. ä.).
* Den oben genannten Unterraum bezeichnet man in der Regel auch mit $G^{'}$.
* Ist $G^{'}\subset \mathbb {R} ^{d}\;(d{\text{ ganzzahlig}}\;,\;d\geq 1)$ und sind dabei sämtliche Kanten von $G^{'}$ Strecken, die sich zudem gar nicht oder höchstens in einem einzigen Punkt von $G^{'}$ schneiden, so nennt man $G^{'}$ eine geradlinige Darstellung von $G$ . Eine derartige geradlinige Darstellung bezeichnet man als auch als Streckengraphen.

## Topologische Graphentheorie im engeren Sinne

Im engeren Sinne und in der Hauptsache finden die Untersuchungen der Topologischen Graphentheorie in der folgenden Ausgangssituation statt:
* $G$ ist ein endlicher schlichter Graph.
* Der topologische Raum $X^{'}$ ist eine Fläche im d-dimensionalen euklidischen Raum $\mathbb {R} ^{d}\;(d{\text{ ganzzahlig}}\;,\;d\geq 2)$ . Dabei liegt in aller Regel der $\mathbb {R} ^{d}\;(d=2,3,4)$ vor.
* Die Kanten der Darstellung $G^{'}$ sind einfache Jordankurven in $X^{'}$ .
* $G^{'}$ ist ein wegzusammenhängender Raum.
* Die Knotenmenge von $G^{'}$ hat mit jeder einzelnen Kante von $G^{'}$ genau deren Anfangs- und Endpunkt gemeinsam.
* Zwei verschiedene Kanten von $G^{'}$ schneiden sich entweder gar nicht oder höchstens in einem einzigen Knoten von $G^{'}$.
* Die zu $G^{'}$ gehörige topologische Landkarte besitzt nur endlich viele Länder, von denen entweder gar keines oder nur ein einziges unbeschränkt ist.
Ist unter den genannten Bedingungen $G^{'}$ sogar ein ebener Graph, also $G^{'}\subset X^{'}=\mathbb {R} ^{2}$ , so spricht man von einer ebenen Darstellung.

## Zentrale Fragen der Topologischen Graphentheorie

In der Topologischen Graphentheorie werden die folgenden Fragen behandelt:
* In welche topologischen Räume $X^{'}$ lässt sich ein gegebener Graph $G$ einbetten und welche sind deren Merkmale?
** Speziell: In welche Flächen $F^{'}\subseteq \mathbb {R} ^{d}$ lässt sich ein gegebener Graph einbetten und welche sind deren Merkmale (etwa Geschlecht, Orientierbarkeit)?
*** Frage der Plättbarkeit: Für welche Graphen $G$ lässt sich eine ebene Darstellung $G^{'}$ finden und wie lassen sich diese – etwa kombinatorisch oder gruppentheoretrisch – beschreiben,?
* In welche euklidischen Räume $\mathbb {R} ^{d}$ lässt sich ein gegebener Graph $G$ mit geradliniger Darstellung $G^{'}\subset \mathbb {R} ^{d}$ einbetten?
** Speziell: Welche Graphen $G$ haben eine geradlinige Darstellung als $d$-dimensionaler Polytopgraph, lassen sich also mit einem Streckengraphen $G^{'}$ realisieren, dessen Knoten und Kanten exakt aus den Ecken und Kanten eines konvexen Polytops im $\mathbb {R} ^{d}$ bestehen?
*** Speziell: Welche Graphen $G$ haben eine geradlinige Darstellung als $3$-dimensionaler Polyedergraph, lassen sich also mit einem Streckengraphen $G^{'}$ realisieren, dessen Knoten und Kanten exakt aus den Ecken und Kanten eines konvexen Polyeders im $\mathbb {R} ^{3}$ bestehen?

## Bedeutende Sätze der Topologischen Graphentheorie

Die Topologische Graphentheorie umfasst eine Fülle von bedeutenden Sätzen, von denen an erster Stelle der eulersche Polyedersatz, der Satz von Kuratowski sowie der Vier-Farben-Satz und seine ihm verwandten bedeutenden Sätze über Topologische Landkarten zu nennen sind. Hervorzuheben sind auch drei weitere klassische Theoreme der Topologischen Graphentheorie, nämlich der steinitzsche Fundamentalsatz der konvexen Typen, der Dreifarbensatz von Grötzsch und der tuttesche Satz zum Hamiltonkreisproblem.
In den Zusammenhang mit dem Vierfarbensatz lässt sich auch der Satz von Wagner und Fáry bringen, welcher grundlegend für dessen Beweis ist, da durch ihn erst die geradlinige Darstellung plättbarer Graph gesichert wird. Im gleichen Zusammenhang erwähnenswert ist ein anderer Satz, der die entsprechende Frage der räumlichen geradlinigen Darstellung in Bezug auf alle endlichen schlichten Graphen anspricht und diese umfassend und positiv beantwortet. Der Satz besagt nämlich:
* Jeder endliche schlichte Graph besitzt eine geradlinige Darstellung im $\mathbb {R} ^{3}$.