Beweis Nikoida Isoda
Beweis Nikoida Isoda
Wintertrimester 2009
und
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
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
Ut .
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
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
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
H (s , s ) =
i =1 n
=
j =1
gj (s ) H (s , t (j ) ) >
j =1
gj (s ) H (s , s )
= H (s , s ) .
und