Graph/Baum/Charakterisierung/Fakt/Beweis

Aus Wikiversity
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.