[Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen] | |
Mathematik-Online-Lexikon: Erläuterung zu | |
Zusammenhang zwischen zweikantengefärbeten Graphen und den Teilmengen von endlichen Mengen |
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z | Übersicht |
Das Bild von in wird folgendermaßen konstruiert:
Man durchläuft den Graphen von unten nach oben bis zur Ebene . Beim Schritt von der Ebene zur
Ebene wählt man eine blaue Kante, falls gilt, anderenfalls eine rote. Auf diese Weise erhält man
z.B. für und
in den Weg:
Mit Hilfe dieser Abbildung lässt sich zeigen:
Die Anzahl der -elementigen Teilmenge einer Menge mit Elementen ist
Bei einer -elementigen Menge kann man ohne Einschränkung von der Menge
ausgehen. Die oben
definierte Abbildung von nach zeigt, dass die Anzahl der -elementigen Teilmengen
die gleiche ist, wie die Anzahl der Wege in bis zur Ebene mit blauen Kanten. Man beweist also:
Die Anzahl der Wege in bis Ebene die genau blaue Kanten besitzen ist
. Den Beweis
führt man mit Induktion nach für ein festes .
Induktionsanfang: Die Aussage macht nur für Sinn. Sei also . Es gilt
und
es gibt genau einen Weg bis zur Ebene , der blaue Kanten besitzt.
Induktionsvoraussetzung: Bis zur Ebene gibt es
Wege die genau blaue Kanten besitzen.
Induktionsschritt: Wir suchen die Wege bis zur Ebene von , die genau blaue Kanten enthalten. Dazu betrachtet man in die beiden Bereiche und
Die Teile des Graphen die in , bzw. liegen, entsprechen jeweils dem Graphen . Ein Weg in verläuft nun stets entweder durch oder durch .
Bei jedem Weg mit blauen Kanten von der teilweise durch verläuft müssen alle blauen Kanten bereits in liegen, denn zwischen den Ebenen 0 und von wird der Weg durch eine rote Kante vervollständigt. Nach Induktionsvoraussetzung gibt es in genau Wege mit blauen Kanten.
Bei jedem Weg der teilweise durch verläuft müssen blaue Kanten in liegen, denn zwischen den Ebenen 0 und von wird der Weg durch eine blaue Kante vervollständigt. Nach Induktionsvoraussetzung gibt es in genau Wege mit blauen Kanten.
Die Anzahl der Wege in mit blauen Kanten ist also
automatisch erstellt am 26. 2. 2007 |