TEORA DE LOS JUEGOS

Adolfo Garca de la Sienra

Facultad de Economa/Instituto de Filosofa
Universidad Veracruzana

1. Introduccin
El objetivo del presente proyecto es reconstruir de manera completa y perfectamente general la Teora de los Juegos con un nmero finito de jugadores (TJ). Como hay tres formas de presentar un juego, a saber, (1)
forma extensiva, (2) forma conjuntista y (3) forma normal (tambin llamada estratgica), es menester decidir primero cul es la forma ms general
y apropiada para aquella tarea. Como no todo juego puede ser representado en forma normal, es posible descartar de entrada esta forma para el
propsito del proyecto.
Bonanno (1991) ha argumentado que el concepto de juego en forma
conjuntista tiene ciertas ventajas, como las de permitir una caracterizacin
rigurosa de los movimientos simultneos en juegos extensivos o estudiar
la relacin logica entre dos juegos extensivos. Sin embargo, el Teorema de
Categorizacin de Kuhn establece que los juegos de von Neumann [los
juegos en forma conjuntista], excluyendo las tiradas ilegales o imposibles,
son los juegos generales de n personas [extensivos] en los que la informacin de un jugador en la ocasin de una decisin incluye el nmero de
elecciones que preceden a esa decisin (Kuhn 1953; 1997:52). Como esto
implica que los juegos en forma conjuntista son de recuerdo perfecto, parecera que los mismos carecen de la generalidad requerida. En todo caso,
queda como un problema abierto el de si es posible reformular los juegos
en forma conjuntista sin implicar que sean de recuerdo perfecto. Por ello,

TEORA DE LOS JUEGOS

parece prudente iniciar la investigacin considerando los juegos en forma

extensiva.
Uno de los teoremas centrales de la TJ expresa que en los juegos finitos
de recuerdo perfecto cada estrategia mixta es equivalente a una estrategia
conductual (Kuhn 1953; 1997:66). Aumann (1964) generaliz este teorema al caso en que la longitud del juego es posiblemente infinita y en el
que puede haber un continuo de alternativas en todos o algunos de los
movimientos.
Con el objeto de proceder a una reformulacin infinitista del concepto
de forma extensiva, conviene empezar por recordar el finitista primero.
2. Formas extensivas finitas
Definicin 1 G es un grafo dirigido finito (o digrafo finito) syss existen T
y tales que
(0) G = hT ; i;
(1) T es un conjunto finito no vaco;
(2) es una relacin binaria irreflexiva sobre T .
Un elemento x T es llamado un vrtice o un nodo. Si x T , y T
y x y, decimos que x es un predecesor inmediato de y y y un sucesor
inmediato de x. Decimos que el par . x ; y / R ms convenientemente
denotado como x y es un arco, una rama o un filo que une o conecta los vrtices x y y. Si  = x y es un arco, decimos que  es saliente
desde x e incidente a y. El grado de incidencia (ingrado) de un nodo x
es el nmero de predecesores inmediatos de x; el grado de salencia (salgrado) de x es el nmero de sucesores inmediatos de x. Un nodo r es
una fuente o raz de G si r tiene salencia positiva e incidencia cero. Un
nodo z es un nodo terminal si z tiene incidencia positiva y salencia negativa. Denotaremos con Z el conjunto de los nodos terminales de T . Sean

TEORA DE LOS JUEGOS

1 = x1 y1 y 2 = x2 y2 dos arcos. Decimos que 1 es adyacente a 2 si

y1 = x2 . Una trayectoria que conecta los nodos x1 y xm es una secuencia
1 = x1 x2 ; 2 = x2 x3 ; : : : ; m = xm1 xm de arcos tales tales que, para todo
k = 1; : : : ; m 1, el arco k es adyacente a k+1 .
Definicin 2 T es un rbol finito con raz r syss existen T y tales que
(0) T = hT ; ; r i;
(1) hT ; i es un digrafo finito;
(2) r es una raz de hT ; i.
El rbol T ser denotado por el conjunto de sus nodos T cuando ello no
induzca a confusin. En la siguiente definicin, recordemos que una distribucin de probabilidad simple sobre un conjunto asigna probabilidades
positivas a todo evento elemental.
Definicin 3 G es una forma extensiva finita syss existen (, T , 3, *, p,
u tales que
(1) G = h(; T ; 3; *; p ; ui;
(2) ( es el conjunto {1; : : : ; I };
(3) T es un rbol finito con raz r ;
(4) 3 es una particin de T Z en I + 1 subconjuntos P0 ; P1 ; : : : ; PI ;
(5) * es una subparticin de 3 {P0 };
(6) p: P0 [0; 1] es una funcin tal que, para cada x P0 , px es una
distribucin simple de probabilidad sobre el conjunto de los arcos
salientes de x;

TEORA DE LOS JUEGOS

(7) u es una funcin que asigna a cada nodo terminal z T el vector

u .z / = .u 1 .z /; : : : ; u I .z // de nmeros reales;
(8) Para cada h *, todos los nodos de h tienen el mismo salgrado y,
para todo x ; y h, hay una correspondencia uno a uno 'xy entre
los arcos salientes de los nodos x ; y;
(9) Toda trayectoria en el rbol desde la raz a un nodo terminal puede
cruzar cada h * slo una vez.

Hart (1992:23) introduce como axioma la condicin de que la descripcin contenida en la Definicin 3 es conocimiento comn entre los jugadores. Esta es una condicin que suele dejarse implcita en casi todas
las formulaciones de la teora, pero que todos los tericos parecen presuponer. Sin embargo, no est claro cmo debe ser formulada ni qu papel
juega en las demostraciones de los teoremas de la TJ. Un problema abierto
es precisamente el de dar una formulacin que sea apropiada para los juegos generales. Otro problema, que aparece desde una perspectiva estructuralista, es el de determinar la ley general que define el elemento terico
bsico de la TJ. He sugerido cmo hacer esto en Garca de la Sienra y Reyes (2000). Una pregunta que surge es la de si una formulacin adecuada
de esa ley puede permitir derivar la asercin de que los jugadores tienen
conocimiento comn. As que por lo pronto dejar fuera de la definicin
dicha condicin.
Dejando de lado por el momento el problema del conocimiento comn,
concentrmonos en el problema de generalizar la Definicin 3 al caso infinito general, a lo largo de los lineamientos de Aumann (1964), quien no
representa por cierto los juegos en forma extensiva, sino ms bien seminormal. Esto plantea la dificultad de traducir el planteamiento de Aumann
al lenguaje de los juegos extensivos.

TEORA DE LOS JUEGOS

3. Formas extensivas generales

Cmo hay que modificar la Definicin 3 para obtener la estructura general? Responder esta pregunta no es fcil, pues es menester tratar el problema de definir los conceptos de estragia mixta y conductual. Para empezar,
es menester definir el concepto general de rbol con raz. Ello se hace directamente, eliminando la restriccin de que el conjunto de nodos T sea
finito. Puede entonces haber nodos terminales o no (el juego puede continuar indefinidamente) pero no se obtienen juegos en tiempo continuo
(si nos imaginamos que la transicin de un nodo a un sucesor inmediato
se realiza en un tiempo discreto; en los juegos de tiempo continuo los nodos no tendran sucesores inmediatos). En todo caso, se requiere primero
explorar la generalizacin en tiempo discreto antes de buscar una unificacin de los marcos conceptuales. Es prudente suponer por lo pronto que
cada jugada (trayectoria) del juego es finita.
Los axiomas que es menester modificar para obtener la formulacin general son el 3 y el 6. En el 3 hay que eliminar la restriccin de que el rbol
sea finito, de modo que el nuevo axioma rezara meramente T es un rbol
con raz r . Es ms difcil determinar cmo habra que modificar el axioma
6. Si el conjunto Sx de arcos salientes de x P0 es a lo sumo numerable,
px es una distribucin de probabilidad sobre S. Si Sx es un rectngulo en
Rn , px puede ser una funcin de densidad y se define una medida de probabilidad Px sobre la familia de los conjuntos de Borel de Sx de la manera
usual. Sin embargo, Sx puede ser un espacio de funciones y entonces no
es factible definir de entrada una funcin de densidad sobre Sx . La formulacin general de la teora requiere, pues, que se postule la existencia de
un espacio de probabilidad sobre Sx , dejando abierto el problema de si es
posible derivar del mismo una funcin de densidad. Acordemente, modificar el axioma 6 para que quede formulado en los siguientes trminos. En
vez del primitivo p, introducir un funtor % que asigna a cada x P0 un
espacio de probabilidad %. x / = hSx ; ^x ; Px i, donde Sx es la familia de los
arcos salientes de x. Una primera aproximacin a la definicin general de

TEORA DE LOS JUEGOS

forma extensiva quedara como sigue. Digo una primera aproximacin

porque como veremos la introduccin de espacios de probabilidad
arbitrarios va a requerir una modificacin del concepto de funcin de pagos u, a la cual se le va a requerir que sea medible con respecto a ciertos
espacios.
Definicin 4 G es una forma extensiva syss existen (, T , 3, *, %, u tales
que
(1) G = h(; T ; 3; *; %; ui;
(2) ( es el conjunto {1; : : : ; I };
(3) T es un rbol con raz r ;
(4) 3 es una particin de T Z en I + 1 subconjuntos P0 ; P1 ; : : : ; PI ;
(5) * es una subparticin de 3 {P0 };
(6) % es una funcin que asigna a cada x P0 un espacio de probabilidad %. x / = hSx ; ^x ; Px i, donde Sx es la familia de los arcos
salientes de x;
(7) u es una funcin que asigna a cada nodo terminal z T el vector
u .z / = .u 1 .z /; : : : ; u I .z // de nmeros reales;
(8) Para cada h *, todos los nodos de h tienen el mismo salgrado y,
para todo x ; y h, hay una correspondencia uno a uno 'xy entre
los arcos salientes de los nodos x ; y;
(9) Toda trayectoria en el rbol desde la raz a un nodo terminal puede
cruzar cada h * slo una vez.

TEORA DE LOS JUEGOS

Obsrvese que el nuevo axioma 6 es ms general que la condicin introducida por Aumann para generalizar el Teorema de Kuhn. Un problema
abierto es determinar las condiciones ms abstractas que permiten una ulterior generalizacin del mismo.
El axioma 5 significa que cada conjunto Pi (i = 1; : : : ; I ) est partido
en un familia Hi de subconjuntos de Pi . Los conjuntos en Hi son llamados
S
los conjuntos de informacin del jugador i . Claramente, hHi h = Pi y
S
* = .T Z / P0 .
Un concepto tpico de la TJ es el de estrategia pura. A grandes rasgos,
una estrategia pura del jugador i es una funcin si que asigna a cada conjunto de informacin de i un arco saliente de alguno de los nodos que
estn en el conjunto. Este concepto puede ser precisado an ms usando la
funciones ' introducidas en el axioma 8. Intuitivamente, cuando un jugador se encuentra en un nodo perteneciente al conjunto de informacin h,
no sabe en cul de los nodos en h se encuentra ya que, desde su punto de
vista, todos los nodos se ven iguales. Por ejemplo, en el juego de aparejar monedas, el jugador 1 pudo haber escogido entre guila o sol pero el
jugador 2 no sabe cul de estos dos escogi. Si escogi guila, el jugador
2 est en el nodo x (digamos); si escogi sol, est en el nodo y. As, el
jugador 2 sabe que est en alguno de los dos nodos pero no sabe en cul.
En otras palabras, el jugador 2 sabe que est en el conjunto de informacin
h = {x ; y}. Cada uno de los dos nodos x, y tiene dos arcos salientes, digamos x w1 , x w2 , y w3 y y w4 . El arco x w1 representa cantar guila en el
nodo x, x w2 cantar sol en el mismo, mientras que y w3 y y w4 significan
cantar respectivamente aguila y sol en el nodo y. As que cantar guila significa para 2 elegir de hecho uno de los arcos x w1 y y w3 ; mientras
que cantar sol significa elegir x w2 o x w4 . Es as que los arcos x w1 y y w3
son equivalentes entre s, pues representan la misma accin del jugador
2. La funcin 'xy se introduce precisamente para representar esa equivalencia. La interpretacin pretendida de 'xy es que 'xy mapea cada arco
saliente de x en el arco saliente de y que representa la misma accin. En

TEORA DE LOS JUEGOS

Figura 1: rbol de juego.

TEORA DE LOS JUEGOS

este ejemplo, 'xy . x w1 / = x w3 y 'xy . x w2 / = y w4 . Se puede ver que las

funciones ' inducen una particin de los nodos salientes de un conjunto
de informacin h en clases de equivalencia que representan acciones.
Definamos la relacin binaria misma accin sobre el conjunto de los arcos
que salen de los elementos de h: el arco saliente x w1 es equivalente al arco
saliente y w2 x w1 y w2 syss existe un nodo t en h, un predecesor inmediato v de t y funciones 't x y 't y tales x w1 = 't x .t v/ y y w2 = 't y .t v/. Es
obvio que es una relacin de equivalencia. Los elementos del conjunto
cociente A.h / mdulo son las acciones disponibles para el jugador en
h. La accin correspondiente al arco x w se denotar como [x w ].
Definicin 5 Una estrategia pura del jugador i ( es una funcin
[
si : Hi
A.h /
hHi

tal que si .h / A.h / para todo h Hi . Si es el conjunto de estrategias puras del jugador i y S = i( Si es el conjunto de los perfiles de estrategias
puras de los jugadores.
Cada perfil de estrategias puras determina un espacio de probabilidad
degenerado en cada nodo personal. As, dada una estrategia pura, queda
definido en cada nodo no terminal un espacio de probabilidad. Si r P0 ,
el espacio de probabilidad en r es %.r /; en general, el espacio de probabilidad en un x P0 es %. x /. Si x es un nodo personal con x h, todos los
arcos salientes de x reciben probabilidad cero, con excepcin de uno: precisamente aquel que pertenece a la accin si .h /; denotaremos por %s . x / el
espacio de probabilidad que determina el perfil s en x, o simplemente por
%. x / si se sabe por el contexto cul es la estrategia pura de que se trate.
Cuando la cardinalidad de T es a lo sumo numerable, estos espacios
de probabilidad determinan una distribucin de probabilidades sobre el
conjunto Z de los nodos terminales. Esta probabilidad se define por induccin sobre los nodos. Definimos los niveles del juego como sigue: 10

10

TEORA DE LOS JUEGOS

es el conjunto unitario de r ; 1k+1 = {y T | x y para algn x 1k }.

Denotaremos por  el nmero de niveles de nodos de decisin, de manera
que hay  + 1 niveles si consideramos el nivel de los nodos terminales
z Z . Si y 1 y x y, p . y|x / es simplemente la probabilidad que el
arco x y tiene en %. x /. Convenimos que el nodo raz, r , tiene probabilidad
p .r / = 1. Si y 1k (k > 0) y x y, p . y / = p . y|x / p . x /. En particular, si z Z y x z, p .z / = p .z|x / p . x /. As es como cada estrategia
pura s determina una distribucin de probabilidad ps sobre Z y, de esta
manera, un espacio de probabilidad con espacio muestral Z . Esto permite
definir el concepto de pago esperado de un perfil de estrategias puras para
cada jugador.
Definicin 6 El pago esperado del perfil s = .s1 ; : : : ; sn / de estrategias
puras para el jugador i se define como
Ui .s / =

ps .z /u i .z /:

zZ

El problema con el que quiero cerrar esta presentacin es el siguiente:

Si consideramos un rbol T de cardinalidad arbitraria (no numerable), con
espacios %. x / continuos o incluso espacios de funciones, cmo podemos
definir el espacio de probabilidad sobre Z determinado por cualquier estrategia pura?
Referencias
Aumann, R. J. (1964). Mixed and Behavior Strategies in Infinite Extensive Games, en Dresher, Shapley and Tucker (1964), pp. 627-650.
y S. Hart, eds. (1992). Handbook of Game Theory I. Amsterdam: North
Holland.
Balzer, W., J. D. Sneed y C. U. Moulines, eds. (2000). Structuralist Knowledge
Representation. Paradigmatic Examples. Amsterdam: Rodopi.

TEORA DE LOS JUEGOS

11

Dresher, M., L. S. Shapley y A. W. Tucker, eds. (1964). Advances in Game

Theory. (Annals of Mathematics Studies 52). Princeton: Princeton University
Press.
Garca de la Sienra, A. y P. Reyes. The Theory of Finite Games in Extensive
Form, en Balzer, Sneed y Moulines (2000), pp. 51-67.
Hart, S. (1992). Games in Extensive and Strategic Forms, en Aumann y Hart
(1992), pp. 20-40.
Kuhn, H. W. (1953). Extensive Games and the Problem of Information, en
Kuhn y Tucker (1953), pp. 193-216. Reimpreso en Kuhn (1997), pp. 46-68.
, ed. (1997). Classics in Game Theory. Princeton: Princeton University
Press.
y A. W. Tucker, eds. (1953). Contributions to the Theory of Games II.
(Annals of Mathematics Studies 28). Princeton: Princeton University Press.