Ungerichteter Graph/Bäume und Wälder/Textabschnitt

Aus Wikiversity


Definition  

Ein Graph ohne Kreis heißt Wald




Lemma  

Es sei ein Baum mit zumindest zwei Knotenpunkten.

Dann besitzt ein Blatt.

Beweis  

Wir betrachten die Menge aller Wege ohne Kantenwiederholungen. Da es in keine Kreise gibt, gibt es in einem solchen Weg auch keine Knotenwiederholung. Somit haben alle diese Wege eine (durch ) beschränkte Länge. Wir betrachten einen Weg, der unter diesen Wegen in maximale Länge besitzt. Dann sind die Endpunkte Blätter, da man andernfalls den Weg verlängern könnte.



Lemma  

Es sei ein Graph und ein Blatt des Graphen.

Dann ist genau dann ein Baum, wenn ebenfalls ein Baum ist.

Beweis  

Die Äquivalenz der Zusammenhangseigenschaft folgt aus Fakt. Ein Kreis in ist direkt ein Kreis in . Die Umkehrung folgt aus Fakt.



Satz  

Es sei ein Graph mit nichtleerer Knotenmenge . Dann sind folgende Aussagen äquivalent.

  1. ist ein Baum.
  2. Zwischen je zwei Punkten gibt es einen eindeutigen Verbindungsweg ohne Wiederholung.
  3. ist zusammenhängend und es gilt .

Beweis  

Aus (1) folgt (2). Da nach Voraussetzung zusammenhängend ist, gibt es zu zumindest einen verbindenden Weg. Würde es zwei Wege geben, so könnte man daraus direkt einen Zyklus und dann auch einen Kreis konstruieren, was ausgeschlossen ist.

Aus (2) folgt (1). Die Zusammenhangseigenschaft ist klar. Würde es einen Kreis geben, so könnte man dies direkt als einen zweifachen Weg ohne Wiederholung zwischen zwei Punkten auffassen.

Aus (1) folgt (3). Wir führen Induktion über die Anzahl der Punkte von . Bei einem einzigen Punkt gibt es keine Kante und die Gleichung stimmt. Es sei also ein Baum mit Punkten. Nach Fakt besitzt ein Blatt und nach Fakt ist ebenfalls ein Baum. Dabei wird ein Punkt und eine Kante herausgenommen. Nach Induktionsvoraussetzung gilt die Gleichung für den verkleinerten Baum, also gilt sie auch für .

Von (3) nach (1). Wir führen wieder Induktion über die Knotenanzahl, bei einem Knoten ist alles klar. Aufgrund der Voraussetzung und Fakt gilt

Wegen der Zusammenhangseigenschaft sind die Grade zumindest . Deshalb muss es (zumindest ) Punkte mit Grad , also Blätter geben. Es sei ein Blatt. Die Formel gilt dann auch für . Nach Induktionsvoraussetzung ist ein Baum, und daher ist nach Fakt auch ein Baum.