1.

Juegos en forma extensiva

Teorema 1. En una grafica con n vertices, cualquier arbol contiene n 1

aristas.
Teorema 2 (Von Neumman, 1928). En todo juego bipersonal en forma
extensiva con informacion perfecta con resultados {1 gana, 2 gana, empatan}
una y solo una de las siguientes alternativas se cumple:
a) El jugador 1 tiene una estrategia ganadora.
b) El jugador 2 tiene una estrategia ganadora.
c) Cada jugador tiene una estrategia noperdedora.
Teorema 3. Si el jugador 1 inicia el juego, entonces existe una estrategia
ganadora para el 1.
Proposici
on 1. Si el jugador 1 inicia y existe una estrategia ganadora para
el 2, entonces existe una estrategia ganadora para el 1.
Teorema 4 (Zermelo, 1913). Todo juego finito npersonal con informacion
perfecta tiene al menos un PSE.
Teorema 5. Todo juego finito npersonal con informacion perfecta tiene
un equilibrio perfecto en subjuegos.
Corolario 1. Todo SPE es un PSE para juegos finitos npersonales con
informacion perfecta.

1.1.

Juegos con informaci

on imperfecta

Teorema 6 (Nash, 1950). Todo juego en forma extensiva finito (jugadores)

tiene un equilibrio en estrategias mixtas.
Corolario 2. Sea = (i )iN un vector de estrategias mixtas y sea b =
(bi )iN un vector de estrategias de comportamiento de resultado equivalente
entre ellas. Entonces
ui () = ui (b) i N.
Proposici
on 2. Si existe un camino desde la raz a un vertice x que pase
al menos dos veces por un conjunto de informacion Ui y si la accion en
direccion de x no es la misma dentro del conjunto de informacion, entonces
i N tiene una estrategia de comportamiento que no tiene una estrategia
mixta de resultado equivalente.
1

Teorema 7. Sea un juego en forma extensiva con informacion perfecta

tal que cada nodo de decision tiene al menos dos acciones. Toda estrategia
de comportamiento de i tiene una estrategia mixta de resultado equivalente
si y solo si cada conjunto de informacion de i intersecta a cada camino a lo
mas una vez.
Proposici
on 3. Sea i un jugador con recordacion perfecta y sea xi , x0i Ui .
Entonces, si (xi ) = si (x0i ), donde si (y) es el conjunto de estrategias que
incluyen a y.
Teorema 8 (Kuhn, 1957). En todo juego en forma extensiva, si el jugador i
tiene recordacion perfecta, entonces toda estrategia mixta de i es de resultado
equivalente a una estrategia de comportamiento.
Teorema 9. Si un juego en forma extensiva es de recordacion perfecta,
entonces el juego tiene un equilibrio en estrategias de comportamiento.
Teorema 10. Sea un juego en forma extensiva. Todo equilibrio completamente mixto es un equilibrio perfecto en subjuegos.
Teorema 11. Todo juego en forma extensiva con informacion imperfecta y
con recordacion perfecta tiene un equilibrio perfecto en subjuegos completamente mixto.
Teorema 12. En un juego extensivo con recordacion perfecta, si la pareja
(b, ) es secuencialmente racional, entonces b es un equilibrio en estrategias
de comportamiento.
Teorema 13. Si b es equilibrio en estrategias de comportamiento entonces
(b , b ) es secuencialmente racional.
Teorema 14. En un juego en forma extensiva con recordacion perfecta, si
(b, ) es un equilibrio secuencial, entonces b es un equilibrio en estrategias de
comportamiento.
Teorema 15. En un juego en forma extensiva con recordacion perfecta, si
b es un equilibrio en estrategias de comportamiento entonces (b, b ) es un
equilibrio secuencial.

2.
2.1.

Juegos en forma normal

Soluciones a un juego en forma normal

Proposici
on 4. Un PSE consiste en una estrategia dominante para cada
agente.
2

2.1 Soluciones a un juego en forma normal

Teorema 16 (Nash, 1950). Todo juego finito en forma normal tiene equilibrio en estrategias mixtas.
Teorema 17 (Teorema de punto fijo de Brouwer). Sea X un conjunto convexo y compacto en el espacio euclidiano ddimensional y f : X X
continua. Entonces x X tal que f (x) = x.
Teorema 18. Si el conjunto de estrategias puras de i, Si es finito, entonces
el conjunto de estrategias mixtas es convexo y compacto.
Teorema 19. Sea un juego con Si finito para todo i N
a) = ni=1 i es convexo,
b) = ni=1 i es compacto.
Proposici
on 5. Para todo i N y j Mi , la funcion gij es una funcion
continua en .
Hecho 1. f () .
Hecho 2. f es una funcion continua en .
Hecho 3. Sea un punto fijo de f . Entonces
gij

() = i

sji

mi

X

gik ()

i N, J Mi .

k=1

Proposici
on 6. Sea un punto fijo de f . Entonces es un equilibrio en
estrategias mixtas.
Teorema 20 (El principio de indiferencia). Sea un MSE, si , si dos estrategias puras del jugador i. Si i (si ) > 0 y i (
si ) > 0 entonces

ui si , i
= ui si , i
.
Teorema 21. Una estrategia dominante del jugador i es una estrategia
maxmin de i. Ademas, tal estrategia es la mejor respuesta de i a cualquier
estrategia de los demas jugadores.
Teorema 22. En un juego donde cada i N tiene una si estrictamente
dominante, = (s1 , . . . , sn ) es el u
nico equilibrio del juego y el u
nico vector
de estrategias maxmin.
Teorema 23. Todo equilibrio en un juego en forma normal satisface
ui ( ) = v i

i N.

el
Teorema 24. Sea si una estrategia dominada para el jugador i, y sea G
juego derivado de eliminar dicha estrategia. Entonces, el valor maxmin de i
es igual que en G.
en G
3

2.2 Juegos de suma cero bipersonales

2.2.

Juegos de suma cero bipersonales

Teorema 25. Todo juego finito bipersonal de suma cero en forma extensiva
con informacion perfecta tiene un valor.
Teorema 26. Si un juego en forma normal bipersonal de suma cero tiene
un valor v con estrategias maxmin 1 y minmax 2 entonces = (1 , 2 )
es un equilibrio con pago (v, v).
Teorema 27. Si = (1 , 2 ) es un equilibrio de un juego en forma normal
bipersonal de suma cero, entonces tiene un valor v = u ( ) y 1 y 2 son
estrategias maxmin y minmax respectivamente.
Corolario 3. En un juego bipersonal de suma cero, si y son equilibrios, entonces
a) Ambos equilibrios arrojan el mismo pago: u ( ) = u ( ),
b) (1 , 2 ) y (1 , 2 ) son ambos equilibrios.
Teorema 28. En un juego bipersonal de suma cero es punto silla si y
solo si 1 es una estrategia maxmin y 2 es una estrategia minmax. El valor
del juego es u ( ).
Teorema 29 (Teorema minmax de Von Neumann). Todo juego de suma
cero bipersonal con finito n
umero de estrategias tiene un valor en estrategias
mixtas.
Teorema 30. Sea A una matriz cuadrada no singular con 1T A1 1 6= 0
(donde 1T es un renglon de unos adecuado). Entonces el juego tiene un
valor dado por
1
v = T 1
1 A 1
y estrategias optimas
pT = v1T A1

y q = vA1 1.

Teorema 31. En todo juego en forma normal, v i v i i N .

Teorema 32. Para todo equilibrio de un juego en forma normal y para
todo jugador i N se tiene
ui ( ) v i .

2.3 Trembling hand equilibrium (equilibrio perfecto)

2.3.

Trembling hand equilibrium (equilibrio perfecto)

Teorema 33. Todo juego perturbado tiene un equilibrio.

Teorema 34. Si si es una estrategia dominada, entonces en todo equilibrio
del juego perturbado, i (si ) = i (si ).


Teorema 35. Sea k kN una secuencia de vectores de perturbacion tal




que lmk+ M k = 0. Entonces, i i existe una secuencia ik kN
de estrategias completamente mixtas de i tal que


a) ik i ki k N,
b) lmk+ ik existe y es igual a i .


Teorema 36. Sea G un juego en forma normal. Sea k kN una secuencia
de vectores de perturbaci
on y sea k un equilibrio del juego k perturbado.


Si lmk+ M k = 0 y lmk+ k = , entonces es equilibrio de G.
Corolario 4. Todo juego finito npersonal tiene un trembling hand equilibrium (equilibrio perfecto).
Teorema 37. En todo trembling hand equilibrium cada estrategia dominada se elige con probabilidad cero.
Teorema 38. Todo equilibrio en estrategias completamente mixtas para
juegos finitos npersonales es un trembling hand equilibrium.

2.4.

Equilibrio correlacionado

Teorema 39. El vector de estrategias = (1 , . . . , n ) es un equilibrio de

G (p) si y solo si
X
X
p (si , si ) ui (si , si )
p (si , si ) ui (s0i , si )
si Si

si Si

para todo i, si , s0i Si .

Teorema 40. Para todo equilibrio , la distribucion de probabilidad inducida por es un equilibrio correlacionado.
Corolario 5. Todo juego normal finito npersonal tiene un equilibrio correlacionado.

2.5 Estrategias evolutivamente estables

2.5.

Estrategias evolutivamente estables

Teorema 41. Si es una EEE en un juego bipersonal simetrico entonces

( , ) es un equilibrio.
Teorema 42. Una estrategia es EEE si y solo si para todo 6= , se
sigue u
nicamente una de las siguientes condiciones:
a) u1 (, ) < u1 ( , ),
b) u1 (, ) = u1 ( , ) y u1 (, ) < u1 ( , ).

3.
3.1.

Juegos repetidos
Juegos finitamente repetidos

Teorema 43. Sea G un juego en forma normal y GT el correspondiente

juego repetido de T etapas. Sean 1 , . . . , T equilibrios (no necesariamente
distintos) de G. Entonces, el vector de estrategias en que cada etapa el
jugador elige la accion it es un equilibrio de GT .
Teorema 44. Sea un equilibrio de GT . Entonces iT ( ) v i .
Teorema 45 (Teorema Folk). Supongase que i N un equilibrio
(i) del juego base G tal que ui ( (i)) > v i . Entonces,  > 0 T0 N tal
que T T0 y todo pago factible e individualmente racional x existe un
equilibrio del juego repetido de T etapas cuyo pago cumple
T

( ) x < .

Teorema 46. Para todo k N y todo x FG existen enteros no negativos

(ks )sS que suman k y donde



X k
M |s|


s
u (s) x



k
k
sS

donde
M=

max |ui (s)| .

iN
si S i

3.2 Juegos infinitamente repetidos

3.2.

Juegos infinitamente repetidos

Teorema 47 (Teorema Folk para juegos infinitamente repetidos). El conjunto de pagos de equilibrio en G es el conjunto de pagos factibles e individualmente racionales.
Teorema 48.  > 0 y todo vector x Rn factible e individualmente
racional existe T0 N y un vector de estrategias infinito tal que
a) es un equilibrio en G ,
b) |T es un equilibrio de GT , T T0 .
Teorema 49 (Teorema Folk para juegos descontados). Sea G un juego con
un vector x factible e individualmente racional con xi > v i i N . Para
todo  > 0 existe 0 [0, 1) tal que para todo [0 , 1) y todo vector x
factible e individualmente racional existe un equilibrio de G con


( ) x < .

Teorema 50 (Teorema Folk para equilibrios uniformes en juegos descontados). Sea G un juego en forma normal tal que existe un pago factible e
individualmente racional x tal que xi > v i i N  > 0 y todo x factible e individualmente racional existe un vector de estrategias del juego
descontado tal que es un equilibrio uniforme y




lm ( ) x < .
1

3.3.

Aprendizaje en juegos repetidos

Teorema 51. Supongase que una secuencia convergente en el sentido del

tiempo promedio {st }t=1 a como resultado de la regla del juego

ficticio, es un equilibrio del juego.
Teorema 52. Si cada jugador juega de acuerdo al procedimiento adaptativo basado en arrepentimientos, entonces la distribucion emprica converge,
cuando t , a un equilibrio correlacionado del juego.
Teorema 53. El procedimiento adaptativo basado en arrepentimientos es
consistente.

4.
4.1.

Juegos Bayesianos
El modelo tipo Harsanyi para juegos Bayesianos

Teorema 54. Todo juego Bayesiano tipo Harsanyi con finito conjunto de
jugadores tiene un equilibrio.
Teorema 55. Un vector es un equilibrio Bayesiano de G si y solo si el
vector (i (ti ))
es un equilibrio del juego de agentes.
ti Ti
iN
Teorema 56. Todo juego Bayesiano tipo Harsanyi con finitos conjuntos de
tipos y acciones de cada tipo tiene un equilibrio Bayesiano.
Teorema 57 (Harsanyi 1967). En todo juego Bayesiano tipo Harsanyi con
finito conjunto de tipos, todo equilibrio Bayesiano es tambien un equilibrio
del juego y viceversa.

4.2.
4.2.1.

Subastas como juegos Bayesianos

An
alisis de la subasta del segundo precio

Teorema 58. En una subasta del segundo precio, pujar la verdadera valoracion del bien es un equilibrio Bayesiano.
Teorema 59 (Teorema de equivalencia de ingresos). Si las valoraciones son
independientes e identicamente distribuidas, R1 = R2 .
Teorema 60. El ingreso esperado del vendedor aumenta si aumenta el
n
umero de participantes en la subasta.

4.3.

El modelo de Aumann de informaci

on incompleta

Teorema 61 (Axioma del conocimiento). Ki (A) A para todo A Y e

i N.
Teorema 62. A, B Y, i N, A B Ki (A) Ki (B).
Teorema 63. El operador Ki satisface las siguientes propiedades
a) Ki (Y ) = Y ,
b) Ki (A) Ki (B) = Ki (A B),
c) Ki (Ki (A)) = Ki (A),
8

4.4 Juegos con informacion incompleta con creencias inconsistentes

d) (Ki (A))c = Ki (Ki (A)c ).
Teorema 64. Toda situacion de informacion incompleta N, Y, (Fi )iN , ,
determina una u
nica jerarqua de conocimiento en el estado sobre Y .


Teorema 65. Sea N, Y, (Fi )iN , , P un modelo de Aumann con informacion incompleta con creencias. Entonces, para cada Y , i N , y
A Y , el jugador i conoce el evento A en si y solo si K le asigna
probabilidad 1 a dicho evento

Pi (A|Fi ()) = 1 Fi () A.
Teorema 66 (Teorema del acuerdo de Aumann 1976). Sea N, Y, (Fi )iN , , P
con N = 2. Sea A Y y Y . Si el evento El jugador 1 asigna una probabilidad q1 a A en es de conocimiento com
un y El jugador 2 asigna una
probabilidad q2 a A en tambien, entonces q1 = q2 .
Proposici
on 7. Sin especificar los juegos de estados correspondientes a cada
estado de la naturaleza, todo juego Bayesiano tipo Harsanyi es equivalente a
un modelo
de Aumann de informaci
on incompleta con creencias y viceversa.


N
Y = T i=1 Ti |p (T ) > 0 , Fi = {(ti , ti )}
, (Ti )iN = (i )i Fi ,
ti Ti
tP
i Ti
P
T
p (t1 , . . . , tn ) = N ti p (), p (Fij , Fhk ) = l (Fij Fhk ) p (l ).
i=1

4.4.

Juegos con informaci

on incompleta con creencias
inconsistentes

Proposici
on 8. Todo modelo de Aumann de informacion incompleta con
creencias es un espacio de creencias. i () = p (|Fi ()) Y, i N .
Proposici
on 9. Todo espacio de creencias con finito n
umero de estados es
un modelo de Aumann de informacion incompleta donde cada jugador tiene
su propia distribucion de probabilidad sobre Y y con FiPno necesariamente
igual a Y . Fi () = { 0 Y |i ( 0 ) = i ()} y pi (A) = Y |Y1 | i (A|).
Proposici
on 10. El operador creencia satisface las mismas propiedades que
el operador conocimiento.
Teorema 67. Para cada jugador i N , y cualquier par de eventos A, B Y
y si A B, entonces se tiene que Bi (A) Bi (B).
Teorema 68. Sea Y y A Y un evento que satisface
a) i (A|) = 1 i N ,
9

4.4 Juegos con informacion incompleta con creencias inconsistentes

b) i (A| 0 ) = 1 i N, 0 A.
Entonces, A es de creencia com
un entre los jugadores en .
Teorema 69. Sea un espacio de creencias equivalente a un modelo de Aumann de informacion incompleta con creencias. Entonces el operador creencia de y el operador conocimiento del modelo de Aumann coinciden, i.e.,
[i N, en i cree que el evento A ocurre si y solo si sabe que el evento A
ocurrira.]


Teorema 70. Sea G = N, S, (Ai )iN , un juego con informacion incompleta con S y Y finitos y (Ai )iN finito. Entonces G tiene un equilibrio
Bayesiano.

10