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