Unendliche Graphen. Daniel Perz 24. Dezember Definition 1. Ein Graph G heißt lokal endlich, wenn alle Knotengrade endlich sind.

Ähnliche Dokumente
Topologische Grundbegriffe I. 1 Offene und Abgeschlossene Mengen

Mengentheoretische Topologie

Der Fundamentalsatz der Algebra

WS 2013/14. Diskrete Strukturen

Analysis II (FS 2015): ZUSAMMENHÄNGENDE METRISCHE RÄUME

Kardinalzahlen. Bemerkung. Eine unendliche Kardinalzahl α muss eine Limesordinalzahl sein. (Beweis zur Übung)

1. Einige Begriffe aus der Graphentheorie

Nachbarschaft, Grad, regulär, Inzidenz

Formale Grundlagen. Graphentheorie 2008W. Vorlesung im 2008S

Diskrete Strukturen Kapitel 4: Graphentheorie (Bäume)

Übung zur Vorlesung Diskrete Strukturen I

Wir betrachten nun das Deformieren einer Abbildung in eine andere.

Übungen zu Grundbegriffe der Topologie

Blatt 4. Übungen zur Topologie, G. Favi 20. März Abgabe: 27. März 2008, 12:00 Uhr

3. Zusammenhang. 22 Andreas Gathmann

f 1 (U) = i I V i (1) f Vi : V i U Eine Überlagerung ist ein lokaler Homöomorphismus. {s S f(s) = g(s)} (2)

Grundbegriffe der Topologie. V. Bangert. (zur Vorlesung Differentialgeometrie, WS 12/13 )

Diskrete Strukturen. Hausaufgabe 1 (5 Punkte) Hausaufgabe 2 (5 Punkte) Wintersemester 2007/08 Lösungsblatt Januar 2008

Graphentheorie. Algebraic Graph Theory von Chris Godsil und Gordon Royle. Kapitel Seminararbeit. von. Katharina Mayr

Bäume und Wälder. Definition 1

Ordinalzahlen. Sei (X, ) eine total geordnete Menge und a X. Dann

Zur Zykelschreibweise von Permutationen

Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Esparza)

Bäume und Wälder. Definition 1

5 Graphen. Repräsentationen endlicher Graphen. 5.1 Gerichtete Graphen. 5.2 Ungerichtete Graphen. Ordnung von Graphen

8. Konvexe Polytope. Tobias Boelter. Mittwoch, 5. März TopMath Frühlingsschule

8 1. GEOMETRIE DIFFERENZIERBARER MANNIGFALTIGKEITEN

Zusammenfassung Analysis 2

Univ.-Prof. Dr. Goulnara ARZHANTSEVA

Proseminar Lineare Algebra LA Gym Mengentheoretische Topologie - Trennungseigenschaften. Dirk Lauschner

Elemente der mengentheoretischen Topologie

Graphentheorie. Formale Grundlagen (WIN) 2008S, F. Binder. Vorlesung im 2008S

Übungsaufgaben Graphentheorie, Wintersemester 2011/12

Argumentationen zu ermöglichen, verlangen wir, dass diese Eigenschaft auch für induzierte Teilgraphen

Logische Grundlagen der Mathematik, WS 2014/15

Topologische Räume und stetige Abbildungen Teil 2

Grundbegri e der Graphentheorie: Eckengrad, Wege und Kreise, Zusammenhang

Etwas Topologie. Handout zur Vorlesung Semi-Riemannsche Geometrie, SS 2004 Dr. Bernd Ammann

Vollständigkeit. 1 Konstruktion der reellen Zahlen

Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Mayr)

Topologische Grundbegriffe in metrischen und topologischen

Grundbegriffe der Informatik

Topologie - Übungsblatt 1

D-MATH Topologie FS 15 Theo Bühler. Musterlösung 11. d(x, y) := n 0. 2 n d n (x n, y n ),

Die komplexe Halbebene faktorisiert nach einer Fuchsschen Gruppe

2 Differenzierbare Mannigfaltigkeiten

B A C H E L O R A R B E I T

Erste topologische Eigenschaften: Zusammenhang und Kompaktheit

3 Topologische Gruppen

Vorlesung 27. Der projektive Raum. Wir werden den projektiven Raum zunehmend mit mehr Strukturen versehen.

Diskrete Strukturen Kapitel 4: Graphentheorie (Grundlagen)

Zentralübung zur Vorlesung Diskrete Strukturen

Kantengraphen und Planare Graphen. Seminararbeit

Dieser Graph hat 3 Zusammenhangskomponenten

Kapitel 1. Mengen und Abbildungen. 1.1 Mengen

B Grundbegriffe zu Mengen und Abbildungen

Übung zur Vorlesung Diskrete Mathematik (MAT.107) Blatt Beispiellösungen Abgabefrist:

Cauchy-Folgen und Kompaktheit. 1 Cauchy-Folgen und Beschränktheit

6 Flächen. ein Homöomorphismus, und daher ist dann auch die Komposition ψ 1. 0,ε ϕ x ein Homömorphismus.

Kompaktheit in topologischen Räumen

3 Werkzeuge der Mathematik

Der Fünf-Farben-Satz. Lukas Schweighofer. Feb.2014

8: Bipartite Graphen. s 1. bei dem es eine Kante zwischen s i und k gibt, wenn der Schüler s i die Note k für seine Arbeit bekommen hat.

Konstruktion reeller Zahlen aus rationalen Zahlen

Bemerkung: Der vollständige Graph K n hat n(n 1)

1 Topologische und metrische Räume

Seien u, v V, u v. Da G zusammenhängend ist, muss mindestens ein Pfad zwischen u und v existieren.

Einführung in die Graphentheorie. Monika König

Fünf-Farben-Satz. Seminar aus reiner Mathematik, WS 13/14. Schweighofer Lukas, November Seite 1

Technische Universität München. Thema des heutigen Tages ist im Wesentlichen Topologie und ein kleiner Abschnitt zu Mannigfaltigkeiten

8 KAPITEL 1. GRUNDLAGEN

Kapitel 1. Grundlagen Mengen

Grundbegriffe der Informatik

Überlagerung I. Überlagerung für z z 2 : komplexe Quadratwurzel. Christoph Schweigert, Garben p.1/19

Kapitel 1. Grundlagen

Graphentheorie. Perfekte Graphen. Perfekte Graphen. Perfekte Graphen. Rainer Schrader. 22. Januar 2008

2 Mengen, Abbildungen und Relationen

Aufgabensammlung Grundbegriffe der Topologie

1. Einleitung wichtige Begriffe

Blatt 5. , womit (U jk ) n k=0

Intervallaustauschtransformationen, Flüsse und das Lemma von Masur

Lösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { }

Kapitel 1. Grundlagen

Die reellen Zahlen als Dedekindsche Schnitte. Iwan Otschkowski

Satz Eine Teilmenge U von M ist genau dann offen, wenn jeder Punkt von U innerer Punkt ist. U x, und U ist als Vereinigung offener Mengen offen.

Mathematik für Physiker, Informatiker und Ingenieure

Mengen. (Nicht-) Elemente einer Menge { 3, 4 } { 1, { 2 }, { 3, 4 }, { 5 } } 3 { 1, { 2 }, { 3, 4 }, { 5 } }

Technische Universität München Zentrum Mathematik Propädeutikum Diskrete Mathematik. Klausurvorbereitung

= n (n 1) 2 dies beruht auf der Auswahl einer zweielementigen Teilmenge aus V = n. Als Folge ergibt sich, dass ein einfacher Graph maximal ( n E = 2

Die Topologie von R, C und R n

Algebraische Kurven. Vorlesung 27. Der projektive Raum. Die Geraden durch einen Punkt

Definitionen und Aussagen zur Maßtheorie

Mengen. Eigenschaften. Spezielle Mengen (1) Prominente Mengen. ! Mengenzugehörigkeit

Ebene Elementargeometrie

Vorlesungen vom 5.Januar 2005

3 Überlagerungen und Quotienten

Lernmodul 2 Topologie. Lernmodul 2: Geoobjekte und ihre Modellierung - Topologie

Transkript:

Unendliche Graphen Daniel Perz 24. Dezember 2011 1 Definition Definition 1. Ein Graph G heißt lokal endlich, wenn alle Knotengrade endlich sind. Definition 2. Ein Graph G=(V,E) heißt Strahl, wenn gilt und Doppelstrahl, wenn gilt V = {x 0,...} E = {x 0 x 1, x 1 x 2,...} V = {..., x 1, x 0, x 1...} E = {...x 2 x 1, x 1 x 0, x 0 x 1, x 1 x 2,...} Definition 3. Ein Graph besitzt unendliche Breite, wenn ein Knotengrad unendlich ist. Ein Graph besitzt unendliche Länge, wenn ein Teilgraph ein Strahl ist. Definition 4. Die Teilstrahlen eines Strahls oder eines Doppelstrahls werden Schwänze genannt. Definition 5. Das Ende eines Graphen G ist die Äquivalenzklasse aller Strahlen, bei denen 2 Strahlen äquivalent sind, wenn für jede endliche Menge S V(G) gilt, dass beide Strahlen einen Schwanz haben, welche einen gemeinsamen Knoten in G-S haben. Definition 6. Die Menge aller Enden von einem Graph G sei die Menge Ω(G). und G = {V, E, Ω } bedeutet, dass der Graph Knoten V, Kanten E und Enden Ω hat. Definition 7. Der Knotengrad in einem Ende ist das Maximum der Anzahl der disjunkten Strahlen in diesem Ende. Der Kantengrad in einem Ende ist das Maximum der Anzahl der Strahlen, welche keine Kante gemeinsam haben. Definition 8. Eine Bipartition einer Menge von Knoten eines Graphen nennt man unfreundlich, wenn jeder Knoten in der anderen Klasse mindestens gleich viele Nachbarn hat wie in der eigenen. 1

Definition 9. Ein zählbarer Graph G wird universal genannt in P mit der Graphenrelation, wenn gilt G P und G G für alle zählbaren Graphen G in P. Definition 10. Ein Graph wird homogen genannt, wenn jeder Isomorphismus zwischen 2 endlichen induzierten Subgraphen zu einem Autoorphismus auf den ganzen Graphen erweitert werden kann. 2 Königslemma Lemma 11. Sei V 1, V 2,... eine unendliche Reihe von nicht leeren endlichen Mengen. Weiters sei G der Graph der Vereinigung dieser Mengen. Zusätzlich gilt, dass jeder Knoten in V n auch einen Nachbarn in V n 1 hat, für n 1. Dann gilt: Es existiert ein Strahl v 0 v 1... mit v n V n für alle n. Beweis. Sei P die Menge aller endlichen Pfade in G. Da V 0 endlich ist, aber P unendlich ist, enden unendlich viele Pfade im Knoten v 0 V 0. Da V 1 auch endlich ist, gibt es nun auch einen Knoten v 1 V 1, der mit v 0 benachbart ist, in dem unendlich viele endliche Pfade enden. Daher gibt es auch eine Punkt v 2 V 0, der mit v 1 benachbart ist, in dem unendlich viele endliche Pfade enden und so weiter. Also wird für jedes n 0, v n definiert, wobei in jedem dieser v n unendlich viele endliche Pfade enden. Weiters gilt, dass für n 1V n mit V n 1 verbunden ist. Daraus folgt schließlich, das {v 0 v 1...} ein Strahl ist. Eine direkte Folgerung aus diesem Lemma ist, dass ein zusammenhängender unendlicher Graph immer unendliche Länge oder unendliche Breite hat. Wenn der Graph unnendliche Breite hat, ist alles klar. Wenn aber alleknotengrade endlich sind, dann kann man G zerlegen. Man startet mit einem beliebigen Knoten v 0 und gebe ihn in V 0. Dann nimmt man seine endlich vielen Nachbarn und gibt sie in V 1 und entfernt v 0 und alle Kanten die von ihm ausgehen. Alle Mengen sind endlich, weil alle Knotengrade endlich sind, also jeder Knoten nur endlich viele Nachbarn hat. Es gibt unendlich nichtleere Mengen, weil in jedem V n nur endlich viele Knoten sind, es aber unendlich viele Knoten gibt. 3 Beweistechniken Bei der sogenannten transfiniten Induktion wird ähnlich wie bei der endlichen Induktion, nur startet man schon mit unendlichen vielen Schritten. Der folgende Satz wird nun mit transfiniter Induktion bewiesen. Satz 1. Jeder zusammenhängender Graph hat einen Spannbaum. Beweis. Sei G ein zusammenhängender Graph. Seien Bäume T α G so definiert, dass gilt: T β T α für alle β<α. T 0 existiert dann aus einem einzigem Knoten. Sei jetzt α>0 eine Grenze mit T α = β<α T β ist. Da T β Bäume sind, ist auch T α ein Baum und erfüllt die erste Bedingung. Sei nun α = β + 1. Wenn gilt G T β =, dann ist T β ein Spannbaum und man kann die Rekursion beenden. Wenn dies nicht gilt, dann gibt es einen Knoten v α, der durch die Kante e α mit T β verbunden ist. Dann ist T α ein Baum, in dem gilt T β T α für alle β<α. Daniel Perz 2

Nun ist nur noch zu untersuchen ob dieser Prozess jemals stoppt. Nun wird v β+1 für alle β<γ definiert, sodass β v β+1 eine injektive Abbildung ist mit γ G. Dies wird aber nicht für alle γ erfüllt, also endet die Rekursion. (Ein Gegenbeispiel ist, wenn γ die wohlgeordnete Potenzmenge von V(G) repräsentiert, gilt G γ wegen dem Satz von Cantor.) Bei Kompaktheitsbeweisen kennt man die Eigenschaften aller endlichen Teilgraphen und will eine Aussage über den gesamten Graphen treffen. Bei dieser Art von Beweisen ist das Königslemma oft hilfreich. Satz 2. Sei G = (V, E) ein Graph und k eine natürliche Zahl. Wenn jeder endliche Teilgraph von G höchstens chromatische Zahl k hat, dann gilt das auch für G. Beweis. Sei v 0, v 1... eine Aufzählung der Elemente von V und sei G n = [v 0,..., v n ]. Sei V n die Menge aller k-färbungen von G n mit Farben in 1,..., k. Dann definiert man einen Graph auf n 0 V n, indem man alle Kanten cc einfügt, sodass c V n und c V n 1, sodass c ein Teilgraph von c ist. Dann existiert laut dem Königslemma ein Strahl. Dieser Strahl sei c 0 c 1... mit c n V n für alle n aus den nichtnegativen ganzen Zahlen. dann ist für n aus dn ganzen Zahlen, n 0 c n eine k-färbung von G. Nun ein zweiter Beweis für allgemeine Graphen mit dem Kompaktheitsargument. Beweis. Sei X := V und S := {1,..., k}. Mit F bezeichnet man die Menge aller endlichen Teilmengen von V. Für jedes Y F sei A(Y) die Menge aller k-färbungen von G[Y]. Wegen dem Kompaktheitsprinzip reicht es zu zeigen, dass man für eine gegebene endliche Menge Z F, sodass eine Funktion V {1,..., k}, welche für jeden Graph G[Z] mit Z Y eine k-färbung induziert. Dafür nimmt man eine k-färbung des endlichen Graphen G[ Z] und erweitert sie geeignet. 4 Satz von Halin Satz 3. Wenn ein unendlicher Graph G k disjunkte Strahlen für alle naturlichen Zahlen k besitzt, dann besitzt dieser Graph unendlich viele disjunkte Strahlen. Beweis. Man konstruiert die unendlich vielen disjunkten Strahlen durch Induktion. Nach n Schritten hat man die n disjunkten Strahlen R1 n,..., Rn n und deren Anfangssegmente Ri nxn i gefunden. Im Schritt n+1 wählt man dann die Strahlen R1 n+1,..., Rn+1 n+1 so, dass Rn i xn i ein geeignetes Anfangssegment von R n+1 i x n+1 i ist für i=1,..., n. Dann bilden für n aus den natürlichen Zahlen die Graphen Ri := n 1 Rn i xn i eine unendliche Familie (Ri ) i 1 von disjunkten Strahlen in G. Für n=0 hat man eine leere Menge von Strahlen, wie erfordert. Nun seien R1 n,..., Rn n gewählt und man führt den Schritt auf n+1 aus. Zur Vereinfachung setzt man Ri n = R i und x n i = x i. Sei R eine Menge von R 1 x 1... R n x n + n 2 + 1 disjunkten Strahlen. Die Strahlen existieren existieren laut Annahme. Sofort löscht man alle Strahlen aus R, welche einen der Pfade R 1 x 1,..., R n x n schneiden,somit enthält R mindestens n 2 + 1 disjunkte Strahlen. Daniel Perz 3

Man wiederholt nun den folgenden Schritt so oft wie möglich. Falls es ein i {1,..., n} gibt, sodass R n+1 i noch nicht definiert ist und x i R i höchstens n der Strahlen in R schneidet, dann löschen wir diese Strahlen aus R und setzen R n+1 i := R i und wähle x n+1 i als den Nachfolger von x i. Sei I die Menge mit i {1,..., n} und R n+1 i noch immer undefiniert. Weiters sei I := m. Dann enthält R noch immer mindestens m 2 + 1 Strahlen. Jeder Strahl R i mit i I enthält mehr als n m der Strahlen in R. Sei z i der erste Knoten auf dem m-ten Strahl den R i trifft. Dann trifft Z := i I x ir i z i höchstens m 2 Strahlen in R. Man löscht nun die restlichen Strahlenaus R und setzt einen der Gelöschten als Rn+1 n+1. Von den übrigen Strahlen S R wählt man den Knoten y=y(s) hinter dem letzten Knoten in Z und setzt Y := {y(s) S R}. Sei H die Vereinigung von Z und allen Pfaden Sy(S R). Dann kann X := {x i i I} nicht von Y in H getrennt werden mit weniger als m Kanten, weil sonst würden beide einen der m Strahlen R i mit i I nicht treffen und dann einer von den m Strahlen in S x i R i z i trifft für dieses i. Also gilt, dass es m disjunkte Y-X Pfade P i = x i...y i (i I) gibt in H. Für i I sei R i ein Strahl aus R der y i enthält und wähle R n+1 i den Strahl R i x i P i y i R i und setze xn+1 i := y i 5 Topologische Sicht Zuallererst muss man den topologischen Raum G mit G = (V, E, Ω) definieren. Für jede Kante e = uv fügt man eine Menge e = (u, v) hinzu, welche aus zusammenhängenden Punkten besteht. Die e sind alle paarweise disjunkte Mengen und haben keinen Punkt in V Ω. Dann wählt man für jedes e eine festgelegte Bijektion zwischen e und dem reellen Intervall (0,1) und erweitern diese Bijektion auf [u, v] := {u} e {v} und [0,1]. Diese Bijektion definiert nun eine Metrik auf [u,v]. Weiters wird [u,v] topologische Kante genannt mit inneren Punkten x e. Für F E schreibt man nun F := { e e F }. Wenn man nun von einem Graph H G spricht meint man auch die Menge V (H) E(H). Damit ist die Punktmenge von G definiert. Nun wird die Topologie offener Mengen definiert. Für jede Kante uv definiere als offen jene Untermenge von (u,v), welche mit der Bijektion von (u,v) nach (0,1) einer offenen Menge in (0,1) entsprechen. Für jeden Knoten u und ɛ > 0 definiert man, die Menge aller Punkte auf den Kanten [u,v] mit Abstand kleiner als ɛ ist offen, für jede Kante extra gemessen auf der Metrik nach [0,1]. Für jedes Ende ω und endliche Menge S V existiert eine eindeutige Kompontente C(S, ω) aus G-S, welche Strahlen aus ω enthält. Sei Ω(S, ω) := {ω Ω C(S, ω ) = C(S, ω)} Für jedes ɛ > 0 ist E ɛ (S, ω) die Menge aller inneren Punkte von S C(S, ω) mit einer Entfernung kleiner als ɛ von ihrem Endpunkt in C(S, ω). Dann werden als offen alle Mengen bezeichnet, die die Form Ĉ ɛ (S, ω) := C(S, ω) Ω(S, ω) E ɛ (S, ω) haben. Der Abschluss von X G wird mit X bezeichnet. Der Abschluss eines Teilgraphen H=(U,F) von G in G ist H := U F. Wenn X ein Teilraum von G ist und es gilt X = H, wobei H ein Teilgraph ist, dann bezeichnet man X als Standartunterraum. Weiters bezeichnet man dann F als E(X) und sagt Daniel Perz 4

X wird von H aufgespannt. Wenn F E eine Menge von Kanten und U eine Menge von Endpunkten ist, kürzt man (U, F ) mit F ab und sagt X wird von F aufgespannt. Definition 12. X wird Hausdorff-Raum genannt, wenn für zwei unterschiedliche Punkte x und y Umgebungen U und V existieren, sodass U(x) V (y) =. Definition 13. Seien X,Y topologische Räume. Sei f eine Abbildung von X nach Y. Dann wird f dann Homöomorphismus genannt, wenn f bijektiv, stetig und die Umkehrabbildung stetig ist. Definition 14. Sei X ein beliebiger Hausdorff-Raum, dann nennt man X ist verbunden genau dann, wenn X nicht als Vereinigung zweier nichtleerer offener disjunkter Teilmengen darstellbar ist. Definition 15. Ein Bogen in X ist das homöomorphe Bild von [0,1] nach X. Dieser verbindet die Bilder von 0 und 1, welche auch Endpunkte genannt werden. Beispiele für Bögen wären endliche Pfade oder ein Strahl, wobei bei einem Strahl, dessen Ende ein Endpunkt ist. Definition 16. Der Knotengrad in einem Ende ω von X ist die maximale Anzahl von disjunkten Bögen, welche in ω einen gemeinsamen Endpunkt haben. Wenn X = G gilt und G lokal endlich ist, dann stimmen der kombinatorische Kantengrad und der topologische Kantengrad am Ende überein. Verbunden durch einen Bogen ist eine Äquivalenzrelation folgendermaßen: Jeder x-y Bogen A hat einen ersten Punkt p auf dem y-z Bogen A und die Abschnitte Ap und pa formen zusammen einen x-z Bogen ApA. Definition 17. Die Äquivalenzklassen der vorher beschriebenen Äquivalenzrelation heißen Bogenkomponenten. Zwei Punkte sind genau dann bogenverbunden, wenn nur eine Bogenkomponente existiert. Da [0,1] verbunden ist, gilt, wenn x und y bogenverbunden sind, dass sie auch verbunden sind. Definition 18. Ein Kreis in einem topologischen Raum X ist ein homöomorphes Bild des Einheitskreises in X. Die Menge aller Kanten die den Kreis aufspannt, nennt man Umfang. Definition 19. Ein topologischer Spannbaum von G ist ein bogenverbundener Standartunterraum von G, welcher alle Knoten enthält, aber keinen Kreis. Bei topologischen Spannbäumen kann es zu interessanten Phänomenen kommen. So kann es passieren, dass T ein Spannbaum ist aber T einen Kreis enthält. Auf der anderen Seite kann es passieren, dass T ein topologischer Spannbaum ist, aber T nicht zusammenhängend ist. Literatur [1] http://diestel-graph-theory.com/basic.html Daniel Perz 5