You are on page 1of 1

De los puntos fijos al equilibrio

de Nash
Felipe González Morales
1
Universidad Sergio Arboleda
lyfelipe@hotmail.com

decisión y que dependiendo no solo de la decisión Cada jugador conoce y ha adoptado su mejor
1. Resumen propia, sino de la de los demás se obtendrá un estrategia
pago o satisfacción. El juego es un juego de información completa,
La Teorı́a de Juegos busca optimizar para cada lo que quiere decir que todos conocen las es-
En este trabajo haremos una exposición de algu-
jugador este tipo de situaciones a partir de las de- trategias de todos.
nos teoremas importantes en la Teorı́a de Juegos
cisiones que pueden tomar, lo que quiere decir,
desde el Teorema del punto fijo de Brouwer, pa- Las estrategias mixtas es una ”solución.en la cual
escoger la estrategia de cada uno de los jugado-
sando por la demostración del método minimax el jugador escoge con una cierta probabilidad ca-
res tal que las perdidas se minimizan.
de Von Neumann, llegando desde allı́ hasta el da una de las estrategias puras preconcebidas y
Un juego se escribirá como G = (I, S, φ) donde:
teorema del punto fijo de Kakutani, buscaremos esa será su decisión.
I es el conjunto de jugadores
finalmente demostrar la existencia de los equi- Antoine Cornout fue quien sin darse cuenta
S es el espacio de estrategias puras
librios de Nash en juegos finitos, lo cual fue la dió inicio a la Teorı́a de Juegos con su trabajo
φ es la función combinada de pagos
Tesis de Doctorado de John Nash. sobre oligopolios en 1838. Mas tarde, en 1944,
John Von Neumann y Oskar Morgensten en su
4. Teorema Minimax libro Theory of Games and Economic Behavior
2. Teoremas de punto fijo incluyen el concepto del equilibrio, pero unica-
mente para juegos de suma cero, el cual en-
John Von Neumann(1903-1957) y Oskar contraban por medio del método minimax. Nash
Morgenstern(1902-1977) en su libro Theory of generalizó el concepto y demostró la existencia
Empezaremos con una revisión de los Teoremas
Games and Economic Behavior fueron los que de tal equilibrio no solo para juegos suma ce-
de punto fijo que serán utilizados en la demostra-
formularon el teorema minimax. ro,sino cualquier juego. Este equilibrio en honor a
ción posterior de la existencia de los equilibrios
Los dos teoremas que se formularon y se demos- su nombre es llamado Equilibrio de Nash.
de Nash.
traron fueron los siguientes: Vamos a llamar ΘN E como el conjunto de los
2.1 Teorema de Punto Fijo de Brouwer equilibrios de Nash, entonces el teorema al que
Para todo juego suma cero se cumple que queriamos llegar es:
M axxM iny φ(x, y) ≤ M iny M axxφ(x, y)
Este teorema fue formulado por primera vez por el
matemático holandés Luitzen Egbertus Jan Brou- y el otro teorema, que es el teorema minimax al Teorema
wer, al cual se debe su nombre. que se hace referencia es: Para todo juego finito G:ΘN E 6= ∅
El teorema, tal y como lo formuló Brouwer es:
Para todo juego suma cero M axxM iny φ(x, y) = La demostración de este teorema es un poco ex-
Sea A ⊂ Rn un conjunto homeomorfo a M iny M axxφ(x, y) si y solo si existe un punto tensa, por lo que vamos a dar un esquema de la
B(0, 1) (la bola unitaria cerrada). Sea F : de silla (x0, y0) para φ la función de pagos. demostración basandonos sobre los teoremas de
A → A una función continua. Entonces F punto fijo.
Demostración
admite un punto fijo, es decir ∃x ∈ A, tal que
F (x) = x 1. Supongamos que Lema 1
M axxM iny φ(x, y) = M iny M axxφ(x, y) En todo juego finito no cooperativo de N per-
escojamos un x0 en A y un y0 en B; entonces sonas, S es un subconjunto acotado, cerrado
Hay que tener en cuenta que el Teorema de Brou-
nosotros tenemos que y convexo de Rm, donde m = m1 + m2 + · · · +
wer es un teorema de existencia, no nos propor-
M axxφ(x, y0) = M iny M axxφ(x, y) mN .
ciona la solución explı́cita a f (x) = x, solo nos
= M axxM iny φ(x, y) = M iny φ(x0, y)
asegura la existencia de una solución.
llegando a que M axxφ(x, y0) = M iny φ(x0, y),
ası́ para cada x´ Sea Ri : S → R la función de ganancia para el ju-
2.2 Teorema del punto fijo de Kakutani φ(x´, y0) = M axxφ(x, y0) = M iny φ(x0, y) = gador i y sea Rij : S → R para cada acción j del
φ(x0, y0) jugador P
i. La función Ri se puede escribir como
mi i
Llamado ası́ en honor a Shizuo Kakutani quien lo esto es lo mismo que decir φ(x´, y0) = φ(x0, y0) Ri(γ) = i=1 γl Ril (γ)
demostró en 1941. Este teorema es una generali- lo que quiere decir que x0 es máximo.
zación del Teorema de punto fijo de Brouwer. De forma análoga se llega a decir que y0 es A partir de esta función y del Lema anterior, se
El enunciado original que trabajó Kakutani es: mı́nimo. puede llegar a la demostración de la existencia
Por estas dos razones (x0, y0) forman un punto de puntos fijos en la función Ri, y que esos pun-
de silla. tos fijos son los mismos equilibrios de Nash.
Sea S un subconjunto no vacio, compac-
to y convexo del espacio euclidiano Rn y 2. Sea (x0, y0) un punto de silla entonces
Una definición más formal de equilibrio de Nash
ϕ : S → 2S una correspondencia multiva- M axxM iny φ(x, y) ≥ M iny φ(x0, y) = φ(x0, y0)
es:
luada superiormente semicontinua cuyos va- M iny M axxφ(x, y) ≤ M axxφ(x, y0) = φ(x0, y0)
En un juego finito no cooperativo de N perso-
lores son cerrados y convexos y tal que ϕ(x)
nas, un equilibrio de Nash es un elemento ρ tal
es no vacio en todo x ∈ S. Entonces ϕ tiene ası́
que ρ = (ρ1, ρ2, · · · , ρN ) ∈ S tal que para cada
un punto fijo, es decir, ∃x tal que x ∈ ϕ(x)
i ∈ I, Ri(ρ) ≥ Ri(ρ1, ρ2 · · · , ρi−1, β i, ρi+1, · · · , ρN )
M axxM iny φ(x, y) ≥ φ(x0, y0) ≥ M iny M axxφ(x, y),
∀β i ∈ Si
por lo tanto
3. Introducción: Teorı́a de Juegos
Referencias
M axxM iny φ(x, y) = M iny M axxφ(x, y) 

Para llegar a decir lo que significa un equlibrio de [1] Teoremas de Punto Fijo y la Existencia de
Nash, debemos primero definir los conceptos ne- Equilibrios de Nash para Juegos no Cooperati-
5. Equilibrio de Nash
cesarios de Teorı́a de Juegos, empezando por el vos. Pérez Urquidi. Febrero de 2008.
simple concepto de lo que es un juego. [2] Theory of Games and Economic Behavior. Von
Un equilibrio de Nash también llamado equilibrio Neumann - Morgenstern. 1944.
Un juego es una situación en la que dos o mas de Cournot y Nash es una ”solución”de un juego
jugadores(pueden ser bacterias, animales, perso- con dos o mas jugadores que asume que: [3] Non Cooperative Games. Nash. 1950.
nas, entidades, paises, etc...)tienen capacidad de [4] Evolutionary Game Theory. Weibull. 1995.

1
Semillero de Matemática Aplicada en Teorı́a de Juegos. Dirigido por el profesor Camilo Argoty.

XVIII Congreso Colombiano de Matemáticas