Spieltheorie
Spieltheorie
Spieltheorie
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