Beweis des Satzes von Nikaido-Isoda (1955)

Vorlesung: Nicht-kooperative Spieltheorie Beweis des Satzes von Nikoida-Isoda

Dr. Thomas Krieger

Wintertrimester 2009

und

Dr. Thomas Krieger

Vorlesung: Nicht-kooperative Spieltheorie

Beweis des Satzes von Nikaido-Isoda (1955)

Theorem (Nikaido-Isoda, 1955) Es sei G = (N , (S1 , . . . , Sn ), (u1 , . . . , un )) ein n-Personenspiel in Normalform, welches die folgenden Bedingungen erfllt: Si ist eine konvexe und kompakte Teilmenge eines Rni , 1 i n. ui : S1 S2 . . . Sn R1 ist stetig, 1 i n. Fr jedes i {1, . . . , n} und fest gewhlte Strategien sj Sj , j {1, . . . , n} \ {i }, ist ui (s1 , . . . , si 1 , ., si +1 , . . . , sn ) : Si R1 konkav. Dann besitzt G mindestens ein Nash-Gleichgewicht. Bemerkung: Das Cournot-Duopol (aus Aufgabe 1 bungsblatt 2) erfllt unter der Voraussetzung, dass S1 = S2 = [0, a/b ] gilt, alle Voraussetzungen dieses Satzes.
und

Dr. Thomas Krieger

Vorlesung: Nicht-kooperative Spieltheorie

Beweis des Satzes von Nikaido-Isoda (1955)

Beweis des Satzes von Nikaido-Isoda (1)

Da Si , i = 1, . . . , n, eine konvexe und kompakte Teilmenge eines Rni ist, ist ebenfalls S = S1 S2 . . . Sn eine konvexe und kompakte Teilmenge des Rm mit m = n i =1 ni . Charakterisierung von Nash-Gleichgewichten mittels einer (Aggregator-)Funktion: Fr s = (s1 , . . . , sn ) S und t = (t1 , . . . , tn ) S sei
n

H (s , t ) :=
i =1

ui (s1 , . . . , si 1 , ti , si +1 , . . . , sn ) .

Dann gilt: s S ist ein Nash-Gleichgewicht von G genau dann, wenn H (s , t ) H (s , s ) fr alle t S .
und

Dr. Thomas Krieger

Vorlesung: Nicht-kooperative Spieltheorie

Beweis des Satzes von Nikaido-Isoda (1955)

Beweis des Satzes von Nikaido-Isoda (2)

H : S S R ist stetig. Wir nehmen an, G besitze kein Nash-Gleichgewicht, dann existiert zu jedem s S ein t S mit H (s , s ) < H (s , t ) . Fr jedes t S betrachten wir die Mengen Ut := { s S : H (s , s ) < H (s , t )} S . Da H stetig ist, sind die Mengen Ut oen in S und bilden eine oene berdeckung von S=
t S
und

Ut .

Dr. Thomas Krieger

Vorlesung: Nicht-kooperative Spieltheorie

Beweis des Satzes von Nikaido-Isoda (1955)

Beweis des Satzes von Nikaido-Isoda (3)

Da S kompakt, reichen endlich viele t (1) , . . . , t (k ) , um S zu berdecken, also
k

S=
j =1

Ut (j ) .

Wir denieren fr jedes s S und j = 1, . . . , k dj (s ) := max{ 0, H (s , t (j ) ) H (s , s ) } . Da S = k j =1 Ut (j ) , liegt jedes s S in (mindestens) einem Ut (j1 ) , weshalb H (s , s ) < H (s , t (j1 ) ) und damit dj1 (s ) > 0 gilt. Daher ist folgender Ausdruck wohldeniert: gj (s ) := dj (s ) k i =1 di (s )
und

Dr. Thomas Krieger

Vorlesung: Nicht-kooperative Spieltheorie

Beweis des Satzes von Nikaido-Isoda (1955)

Beweis des Satzes von Nikaido-Isoda (4)

Weiter sei
k

(s ) :=
j =1

gj (s ) t (j ) .

Da k j =1 gj (s ) = 1, ist (s ) ein Element der konvexen Hlle ( 1 von t ) , . . . , t (k ) , das wegen der Konvexitt von S in S enthalten ist. Daher ist : S S eine stetige Abbildung von S in sich, also (S ) S .
und

Dr. Thomas Krieger

Vorlesung: Nicht-kooperative Spieltheorie

Beweis des Satzes von Nikaido-Isoda (1955)

Beweis des Satzes von Nikaido-Isoda (5)

Der Fixpunktsatz von Brouwer: Jede stetige Funktion : S S , die auf einer konvexen und kompakten Menge S , = S Rm , deniert ist, besitzt einen Fixpunkt, also es existiert ein s S mit (s ) = s . Es existiert also ein s S mit
k

s = (s ) =
j =1

gj (s ) t (j ) .

und

Dr. Thomas Krieger

Vorlesung: Nicht-kooperative Spieltheorie

Beweis des Satzes von Nikaido-Isoda (1955)

Beweis des Satzes von Nikaido-Isoda (6)

Wegen der vorausgestzten Konkavitt folgt nun:
n

H (s , s ) =
i =1 n

ui (s1 , . . . , sn ) k ui (s1 , . . . , si 1 , i =1 n k gj (s ) ui (s1 , . . . , si 1 , ti , s i + 1 , . . . , s n ) i = 1 j =1 k k (j ) j =1 gj (s ) ti , si +1 , . . . , sn ) (j )

=
j =1

gj (s ) H (s , t (j ) ) >
j =1

gj (s ) H (s , s )

= H (s , s ) .
und

Dr. Thomas Krieger

Vorlesung: Nicht-kooperative Spieltheorie

Beweis des Satzes von Nikaido-Isoda (1955)

Beweis des Satzes von Nikaido-Isoda (7)

Mit Hilfe des Fixpunktes s folgt also H (s , s ) > H (s , s ) , also ein Widerspruch zur Annahme, dass in G kein Nash-Gleichgewicht existiert. Literatur zum Beweis:
B. Rauhut, N. Schmitz, E.-W. Zachow: Spieltheorie: Einfhrung in die mathematische Theorie strategischer Spiele. Teubner-Verlag, Stuttgart, 1979. E. Burger: Einfhrung in die Theorie der Spiele. Walter de Gruyter, Berlin, 1966.
und

Dr. Thomas Krieger

Vorlesung: Nicht-kooperative Spieltheorie