03.11.2013 Aufrufe

Spieltheorie

Spieltheorie

Spieltheorie

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

3 Gemischte Strategien<br />

In der ersten der beiden folgenden Abbildungen ist der Graph der Korrespondenz nicht zusammenhängend<br />

und es liegen keine Punkte auf der Fixpunktdiagonalen. Der zweite Graph<br />

ist dagegen zusammenhängend und die Korrespondenz besitzt Fixpunkte.<br />

B(α)<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

B(α)<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0<br />

α<br />

0 0.2 0.4 0.6 0.8 1.0<br />

Definition 36. Eine Menge X ⊆ R n heißt kompakt, wenn sie<br />

0<br />

α<br />

0 0.2 0.4 0.6 0.8 1.0<br />

1. beschränkt ist, d.h. es in jeder Dimension obere und untere Schranken gibt und<br />

2. abgeschlossen ist, d.h. wenn der Grenzwert jeder konvergenten Folge von Elementen<br />

aus X selbst in X liegt.<br />

Eine Menge X ⊆ R n heißt konvex, wenn für alle x, y ∈ X und beliebiges λ ∈ [0, 1] gilt:<br />

λx + (1 − λ)y ∈ X.<br />

Eine Korrespondenz f : X → Pot(X) heißt ober-hemi-stetig, falls ihr Graph<br />

eine abgeschlossene Menge ist.<br />

Graph(f) = { (x, y) | x ∈ X, y ∈ f(x) }<br />

Satz 6 (Fixpunktsatz von Kakutani). Sei X ⊆ R n eine nicht-leere, kompakte und konvexe<br />

Menge und sei außerdem f : X → Pot(X) eine ober-hemi-stetige Korrespondenz, so dass<br />

für jedes x ∈ X die Menge f(x) ⊆ X nicht-leer und konvex ist. Dann hat f einen Fixpunkt,<br />

d.h. es existiert ein x ∈ X mit x ∈ f(x).<br />

Beweis. vgl. z. B. [Heu04, Abschnitt 232].<br />

Beweis des Satzes von Nash. Zeige, dass der Fixpunktsatz von Kakutani mit ∏ i ∆(A i) für<br />

X und B für f anwendbar ist.<br />

1. ∏ i ∆(A i) ist nicht-leer, konvex und kompakt: Ein Profil von gemischten Strategien<br />

zu G ist durch M := ∑ i∈N |A i| nicht-negative reelle Zahlen gegeben, so dass sich die<br />

Zahlen, die den Aktionen eines Spielers entsprechen, zu 1 addieren.<br />

Wir interpretieren die Menge der gemischten Strategieprofile für G, symbolisch A :=<br />

∏<br />

i∈N ∆(A i), als Teilmenge des R M . Es ist zu zeigen, dass A nicht-leer, kompakt und<br />

konvex ist.<br />

15

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!