![]() |
[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 |