Utilizamos la forma estratgica del juego
Un juegos: G= { J, (Si)i0J, (ui(.))i0J} o G= { J,
Tema 1.2: Juegos estticos
con informacin completa
1.Soluciones mediante argumentos de
dominacin
1.1 Dominancia estricta
Def.: En el juego G= { J, (Si), (ui(.))} la
estrategia si0Si es estrictamente
dominante para el jugador i si, para toda si
si,
ui(si,s-i) > ui(si,s-i)
para todo s-i 0S-i
1.2. Estrategias dominadas
Def.: En el juego G= { J, (Si), (ui(.))} la estrategia si est
estrictamente dominada por la estrategia si para el
jugador i si, para todo s-i 0S-i,
ui(si,s-i) > ui(si,s-i)
O la estrategia si domina estrictamente a si
Relacin entre conceptos: si es una estrategia
estrictamente dominante si domina estrictamente a
todas las dems estrategias en Si
Concepto de solucin: Eliminacin Iterativa
Estricta (EIE)
Se eliminan estrategias estrictamente dominadas; no
importa el orden
Si se llega a un nico perfil: la solucin del juego
(Si), (ui(.))}
Notacin:
s =(s1,s2,, si-1, si, si+1, , sn) es un perfil de
estrategias, s0Jj=1n Sj
s-i =(s1,s2,, si-1, si+1, , sn) 0Jji Sj
s = (si, s-i)
Es decir, la estrategia si es estrictamente
dominante para el jugador i si es la nica
que maximiza la utilidad del jugador i para
cualquier perfil de estrategias que puedan
jugar sus rivales
Primer concepto de solucin: el uso de
estrategias estrictamente dominantes
Def. : En el juego G= { J, (Si), (ui(.))} la
estrategia si est dbilmente dominada (o
dominada) por si para el jugador i si para todo
s-i 0S-i,
ui(si,s-i) # ui(si,s-i)
con desigualdad estricta para algn s-i
Es decir, si est dbilmente dominada si hay
otra estrategia que le proporciona al menos la
misma utilidad para todo s-i , y mayor utilidad
para algn s-i
O la estrategia si domina dbilmente a si
1

Def.: En el juego G= { J, (Si), (ui(.))} la
estrategia si0Si es (dbilmente)
dominante para el jugador i si, para toda si
si,
ui(si,s-i) $ ui(si,s-i)
para todo s-i, y para algn s-i se cumple de
modo estricto
2.Equilibrio de Nash (en estrategias
puras)
Def.: En el juego G = {J, (Si), (ui(.))} el perfil de
estrategias s* =(s1*, ,sn*) es un Equilibrio de
Nash (EN) si para cada jugador i =1,,n,
ui(si*, s-i*) $ ui(si, s-i*)
para todo si0Si
Es decir, cada jugador elige una mejor respuesta
a las estrategias que juegan sus rivales
Clave: ningn jugador tiene incentivos a desviarse
de un EN, dada las estrategias de sus rivales
Idea:
Un EN es un perfil en que ningn jugador mejora
cambiando su estrategia, dadas las estrategias de los
rivales
Es decir, un perfil en que la estrategia de cada
jugador es una mejor respuesta a las estrategias de
sus rivales
Teorema: En el juego G = {J, (Si), (ui(.))} el perfil
de estrategias s* =(s1*, ,sn*) es un EN si y solo
si si*0Ri(s-i*) para cada jugador i =1,,n,
1.3 Concepto de Solucin: Eliminacin
iterativa dbil
Def. : Dado un juego G={J, (Si), (ui(.)}, Eliminacin
Iterativa Dbil (EID) o Eliminacin Iterativa de
Estrategias Dbilmente Dominantes, es el siguiente
proceso de eliminacin:
Paso 1: De cada uno de los jugadores, y a la vez, se eliminan
todas las estrategias que estn dbilmente dominadas en el
juego inicial G. El juego que resulta de la eliminacin es el juego
reducido G1
Paso 2: Idem; G2
Y as sucesivamente
Se acaba el proceso cuando no se puede eliminar ninguna
estrategia para ningn jugador
SiS es el conjunto de estrategias supervivientes para i
Correspondencia de respuesta
ptima
Se puede rescribir la definicin de EN utilizando el
concepto de correspondencia de respuesta ptima (o
mejor respuesta)
Idea: para i, dado un perfil de estrategias de los rivales,
las estrategias que le proporcionan mayor utilidad
Def.: En el juego G={J,(Si), (ui(.))} la correspondencia de
respuesta ptima del jugador i es una correspondencia
que asigna a cada s-i0S-i el conjunto
Ri(s-i)={si0Si: ui(si,s-i)$ ui(si,s-i) para todo si 0Si}
EN y eficiencia de Pareto
Def.: a) En el juego G, el perfil de estrategias
s=(s1,, sn) est dominado en sentido de
Pareto por el perfil s=(s1,, sn) si y slo si
ui(s1,,sn) $ ui(s1,,sn) para todo i, con
desigualdad estricta para algn i
b) El perfil de estrategias s=(s1,, sn) es un
ptimo de Pareto (o eficiente en sentido de
Pareto) si y slo si no est dominado en
sentido de Pareto por ningn otro perfil