Juegos matemticos

Alejandro Prez Carballor{rfr{D

rD7rfDffr$DDZrrr

magine que se encuentra frente a un tablero de ajedrez, al otro lado del cual se
sienta un gran maestro. Le permiten escoger blancas o negras y le aseguran que, en
caso de tablas, usted ser declarado ganador. Cmo proceder?
Imagino que depender de lo bien que
juegue. Pero, si su nivel es similar al mo
XWijWdj[XW`e"b[Yed[ie"h[YedeY[h|
de inmediato que no importar qu color
elija. Juegue con blancas o negras, lo ms
probable es que pierda la partida.
Sin embargo, no tendra por qu suceder as. Sabemos que, ya sea para las
blancas o para las negras, existe una estrategia ganadora: una manera de jugar
que garantiza la victoria sin importar qu
haga el oponente (recuerde que hemos
estipulado que, en caso de tablas, usted
ser declarado vencedor). Por desgracia
o por suerte, al menos para quienes
disfrutan con el ajedrez, nadie conoce

dicha estrategia. Peor an: ni siquiera sabemos si puede ejecutarse con las blancas
o con las negras.
Por supuesto, el ajedrez no es el nico
juego con esta propiedad. En cada juego
con dos participantes en el que no haya
azar, en el que ambos jugadores tengan
acceso a la historia completa del juego antes de su turno, y en el que el nmero de
`k]WZWii[Wd_je"kdeZ[beiZeiYedjh_dcantes tiene una estrategia ganadora. (En
caso de que las reglas iniciales permitan
un empate, aadiremos la clusula de que
quien empiece ser declarado ganador.)
Ahora bien, qu sucede si consideramos
`k[]ei_dd_jei1[iZ[Y_h"`k[]eiYedkd
dc[he_dd_jeZ[jkhdei5
Un caso sencillo
Para entender a qu nos referimos con un
`k[]e_dd_je"Yedi_Z[h[cei[bi_]k_[dj[
YWie$ ;d fh_c[h bk]Wh" `[cei kd Yed-

LA TEORA DE JUEGOSxxlxDxxx`lDlxj
`xDxlxjxxxxDxDxDDDlD"DxxDD`lxxx`D
x`DDxDxlxUxDDUxxxDlx`
lDxxxlxDxDDD

90 INVESTIGACIN Y CIENCIA, junio 2016

junto SZ[i[Yk[dY_Wi_dd_jWiZ[Y[hei
okdei1feh[`[cfbe"[bYed`kdjeZ[jeZWi
las secuencias que contienen un nmero
_dd_jeZ[Y[hei$:WZeS"feZ[ceiZ[d_h
un juego J(S) para dos jugadores, a quienes llamaremos Andrs y Bernardo, del
modo siguiente. Por turnos, empezando
con Andrs, cada uno de ellos escoger 0
e'$:[[ijWcWd[hW"jhWih[f[j_h[bfheY[ie
_dd_jWil[Y[i"bWfWhj_ZW^WXh|][d[hWZekdWi[Yk[dY_W_dd_jWp de ceros y
unos. Andrs ganar si consigue que la
secuencia generada pertenezca a S1[iZ[cir, si p S. En caso contrario (si p S),
vencer Bernardo.
:WZekd`k[]eJ(S) de este tipo, una
estrategia para Andrs es una funcin que
Wi_]dW&e'WYWZWi[Yk[dY_Wd_jWZ[Y[ros y unos de longitud par (para incluir el
primer turno de Andrs, determinaremos
que la secuencia vaca es tambin una de
longitud par). Por ejemplo, la funcin que
Wi_]dW&WjeZWibWii[Yk[dY_Wid_jWiZ[
longitud par constituye una estrategia para
Andrs. En general, una estrategia para
Andrs le dir cmo jugar en su turno
n-simo en funcin de lo que haya sucedido hasta entonces en el juego.
:[Y_ceigk[kdW[ijhWj[]_WfWhW7ddrs es una estrategia ganadora en el
juego J(S) si, al seguirla, Andrs tiene
garantizada la victoria haga lo que haga
8[hdWhZe$:[_]kWbceZe"feZ[ceiZ[d_h
una estrategia para Bernardo (una funcin
que asigna un 0 o un 1 a cada secuencia
d_jWZ[bed]_jkZ_cfWh"WiYecekdW
estrategia ganadora para Bernardo.
Es fcil verificar que, para el juego
que corresponde al conjunto de todas
las secuencias que contienen un nmero
_dd_jeZ[Y[hei"bW[ijhWj[]_WZ[7dZhi
consistente en elegir siempre 0 constituye un ejemplo de estrategia ganadora.
:[bc_iceceZe"[d[b`k[]eWieY_WZeWb
conjunto de secuencias que contienen un
dc[hed_jeZ[Y[hei"8[hdWhZei_[cpre podr asegurarse la victoria (bastar

DOODLEMACHINE/ISTOCKPHOTO

Juegos infinitos

con que se decida por la estrategia que

dicta escoger 0 en todos los turnos). Y no
es difcil ver que, si S es un conjunto de
secuencias numerable, entonces siempre
habr una estrategia ganadora para Bernardo (puede ver por qu?).
Juegos abiertos y cerrados
:WZekdYed`kdjeSZ[i[Yk[dY_Wi_dd_tas, diremos que S es abierto si, para cada
secuencia s S, existe un nmero natural m tal que, si s' es idntica a s en sus
primeros m elementos, entonces s' S.
Un ejemplo de un conjunto abierto nos lo
proporciona el conjunto S1 formado por
todas las secuencias que contienen ms de
k unos para un k dado. En general, si S es
WX_[hje"fWhWl[h_YWhgk[kdWi[Yk[dY_W
s pertenece a S, basta con mirar un segc[dje_d_Y_Wbd_jeZ[s.
Por otro lado, diremos que un conjunto S es cerrado si su complemento, S c (el
conjunto de secuencias que no estn en
S), es abierto. Por ejemplo, el conjunto de
secuencias S2 que contienen a lo sumo k
unos constituye un conjunto cerrado (ya
que su complemento es S2c = S1). Adems,
feZ[ceil[h_YWhgk[S2 no es abierto,
ya que cualquier segmento inicial de la
secuencia cuyos primeros k miembros son
iguales a 1 puede extenderse para obtener
una secuencia que no est en S2.
Sin embargo, en general no es cierto
que un conjunto abierto no pueda ser al
mismo tiempo uno cerrado. Por ejemplo,
el conjunto S3 de secuencias cuyo primer
elemento es un cero constituye un conjunto abierto. Pero S3c, el conjunto de secuencias cuyo primer elemento no es un cero,
es tambin un conjunto abierto. Por tanto,
S3 es a la vez abierto y cerrado.
Si S es abierto tendremos que, si Andrs gan una partida de J(S), habra sido
fei_Xb[fWhWhZ[ifkiZ[kddc[henito de turnos y saber con certeza que
Andrs sera el vencedor. Si S es cerrado, podemos decir lo mismo de Bernardo.
:[ceZegk["i_S es abierto y cerrado,
iebe^WhW\WbjW`k]Whkddc[hed_je
de turnos para determinar quin ser el
ganador. Podemos pensar en los juegos
d_jeiYece[bW`[Zh[p"bWiZWcWi"[jYj[hWYece[d`k[]ei_dd_jeiWX_[hjei
y cerrados, en los que no importa qu
ikY[ZWZ[ifkiZ[kddc[hed_jeZ[
jugadas.
Juegos determinados
Uno de los resultados principales de la
j[ehWZ[`k[]ei_dd_jei[ijWXb[Y[gk["
si S es un conjunto abierto o cerrado (o

ambos a la vez), entonces el juego J(S)

est determinado: alguno de los dos jugadores tiene una estrategia ganadora para
J(S). (Nota para los entendidos: sabemos
adems que, si S es un conjunto de Borel,
entonces J(S) est determinado.) Podemos generalizar este resultado a otros
conjuntos de sucesiones?
En general, es posible demostrar que
existen conjuntos S[njhWeifWhWbei
cuales el juego J(S) no est determinado.
(A los lectores ms duchos en teora de
conjuntos les interesar saber que este
resultado se sigue del axioma de eleccin.)
Pero supongamos que S es un conjunto
gk[WZc_j[kdWZ[d_Y_d[dkdb[d]kW`[
hWpedWXb[1[iZ[Y_h"kdYed`kdjeYkoW
construccin podemos enunciar en un lenguaje preciso, como, por ejemplo, un lenguaje de segundo orden. Podemos demostrar que J(S) est determinado?
En un principio parecera que s. Al
WhcWhgk[7dZhij_[d[kdW[ijhWj[]_W
ganadora para J(S) estamos diciendo lo
siguiente: en el primer turno, Andrs puede escoger un nmero a1 (bien 0, bien 1)
tal que, para toda jugada b1 de Bernardo,
Andrs puede elegir en el segundo turno
un nmero a2 tal que, para toda jugada
b2 de Bernardo... etctera, tal que la sucesin resultante est en S. En smbolos y
h[ijh_d]_[dZebeiYkWdj_YWZeh[iWbYedjunto 0 , 1:
 a1 b1 a2 b2 ... : a1 , b1 , a2 , b2 , ... S .
:[bc_iceceZe"Z[Y_hgk[8[hdWhZe
tiene una estrategia ganadora puede escribirse como:
a1 b1 a2 b2 ... : a1 , b1 , a2 , b2 , ... S .
Ahora bien, en general, dado un nc[hed_jem y un conjunto cualquiera
X, la negacin de:
a1 b1 a2 b2 ...  am bm :
a1 , b1 , a2 , b2 , ... , am , bm X

hWpedWXb[SZ[i[Yk[dY_Wi_dd_jWi"[b
juego J(S) est determinado.
Sin embargo, a partir de los axiomas
usuales de la teora de conjuntos, no es
posible demostrar que para todo ShWpedWXb[[b`k[]eJ(S) est determinado.
Para llegar a tal resultado necesitaramos
Wikc_hgk[[n_ij[dY_[hjeiYed`kdjei_dd_jeih[Wbc[dj[[dehc[i"bbWcWZeiYWh#
Z_dWb[i]hWdZ[i$F[he"[djWbYWie"dkmerosos problemas abiertos en teora de
conjuntos (problemas que no admiten
solucin a partir de los axiomas usuales)
podran resolverse. Es ms, podran resolverse de manera natural.
Por ejemplo, si asumimos que para todo
ShWpedWXb[[b`k[]eJ(S) est determinado, podramos resolver el problema de
iWX[hi_jeZeYed`kdjehWpedWXb[jeZe
Yed`kdjegk[i[fk[Z[Yedijhk_h[dkd
sentido preciso) es medible. Este problema
entronca con varias de las patologas asociadas a los conjuntos no medibles que han
aparecido en columnas anteriores [vanse ;b j[eh[cW Z[ 8WdWY^#JWhia_" feh
A. Rayo, ?9, diciembre
Z[(&&/19eb[YY_ed[idec[Z_Xb[i"feh
A. Rayo, ?9, octubre
Z[(&'(1:WhZeioYed`kdjei_dd_jei"
por A. Prez Carballo, ?9"WXh_bZ[(&'*1y8ehZ[i[_Z[Wb_pWY_ed[i"feh7$Fh[p9WhXWbbe"?
9, agosto de 2015].
Uno de los programas de investigacin ms fascinantes en la teora de conjuntos contempornea gira en torno al estudio de las consecuencias de principios
de este tipo: principios que, en esencia,
WhcWdgk[[n_ij[dYed`kdjeiS con ciertas propiedades tales que el juego J(S)
est determinado. Resulta sorprendente
que una generalizacin tan sencilla de
la teora de juegos implique consecuencias de semejante calado para el estudio
de problemas muy abstractos en teora de
conjuntos.

es lgicamente equivalente a:
a1  b1 a2 b2 ... am bm :
a1 , b1 , a2 , b2 , ... , am , bm X .
Por tanto, parecera que, si generalipWceibeWdj[h_ehWi[Yk[dY_Wi_dd_jWi
Z[YkWdj_YWZeh[i"bWd[]WY_dZ[bWfh_mera expresin que escribamos arriba
debera ser equivalente a la segunda. Ello
implicara que, si Andrs no tiene una estrategia ganadora, entonces habr una
para Bernardo. En otras palabras, ello nos
f[hc_j_hWWhcWhgk["fWhWjeZeYed`kdje

PARA SABER MS

7DEmyDyyy
myyyDyDyDmy`myD
ymyy`Dyyyym`Dmy
Defending the axioms: On the philosophical
foundations of set theory, de Penelope Maddy
'm7y0yj
EN NUESTRO ARCHIVO

'DD`D`myDyDyDyymy
yyymyy`DyyEl problema
de la induccin de HumejDUy
Uzquiano; IyCjyUymy

Junio 2016, InvestigacionyCiencia.es 91