CARACTERIZACIN DE ESTRATEGIAS GANADORAS EN JUEGOS INFINITOS

Objetivo

Caracterizar las estrategias ganadores de juegos infinitos entre dos jugadores en trminos de -diagonalizable y dos propiedades combinatoricas de los filtros:

Filter Games and Combinatorial Properties of Strategies, Laflamme (1991)

(X) es un filtro sobre un conjunto X si cumple con:

(i)

(ii) Si (iii) Si A

entonces

Y X tal que A B entonces B Y

Y y B

Se dice que Y es libre si adems de las tres condiciones anteriores contiene a los subconjuntos cofinitos de X. Un conjunto es cofinito si su complemento es finito.

Diremos tambin que A tiene que .

; es decir, que A es un conjunto positivo, si F

Y se

Es equivalente decir tambin que:

Propiedades Combinatoricas de los Filtros

Sea Y un filtro libre sobre X. a. Y es -diagonalizable si

tal que ( F Y )(

X infinito est casi contenido en F , si

es finito.

Ejemplo de un filtro

-diagonalizable:

Vamos a definir un filtro Y sobre x

Diremos

que

pertenece

al

filtro

si,

solo

si,

)(n

b. Y es

si

particin de X en conjuntos finitos

tal que

Diremos que Y es un selector parcial

Y cmo se relacionan stas dos propiedades?

Lema: Si Y es

-diagonalizable entonces Y es

Y cmo se construye un conjunto positivo?

Afirmacin: Sea Y un filtro sobre X Si entonces A es una coleccin que diagonaliza Y Y A yA X tal que A es infinita

La demostracin de esta afirmacin se realizar por reduccin al absurdo.

Veamos un bosquejo de la prueba Supongamos que diagonaliza a Y y tomemos en subconjuntos finitos de X. como una particin

..

Claramente

es un selector parcial que pertenece a Y

Y todo filtro es

Ejemplo de un filtro que no es

Vamos a definir un filtro Y sobre

Primero vamos a definir una particin de intervalos

en tales que

La particin luce de la siguiente manera:

Entonces diremos que A pertenece al filtro si, y solo si,

Formalizando

A pertenece al filtro si, y solo si, (m

)(n

Por reduccin al absurdo vamos a probar que Y no es

Ahora s, vamos a caracterizar las estrategias ganadores de algunos juegos infinitos en trminos de stas dos propiedades A qu tipo de juegos estamos haciendo referencia?

Jugador Jugador

I II

...

Un juego infinito es la coleccin de todas las partidas legales jugadas por I y II

Diremos que el jugador I gana la partida si

Y A En caso contrario diremos

que II gana. Adems, tenemos que en este tipo de juegos no hay empates.

Una estrategia es una regla que le indica a un jugador lo que debe jugar en vista de lo que ha jugado el otro.

Para el ejemplo, tememos que una estrategia para I es una funcin :

definida como:

Una estrategia es ganadora si todas las partidas donde el jugador la sigue lo dejan como ganador.

Caracterizacin de estrategias ganadoras Teorema: Fije un filtro Y sobre (i) (ii) I y considere el juego G. Entonces diremos que

tiene una estrategia ganadora s, y solo s, Y no es -diagonalizable

II tiene una estrategia ganadora s, y solo s, Y es

Demostracin:

Veamos primero (i) () Si I tiene una estrategia ganadora entonces Y no es

Vamos a probar el contrarecproco; es decir, que Si Y es entonces no existe ninguna estrategia ganadora para el jugador I

Tomemos una estrategia (cualesquiera) para I. Nuestro objetivo es construir una partida legal en la que I siga y el salga vencido.

Para ello vamos a definir una sucesin estrictamente creciente

que particione a

en subconjuntos finitos.

) Si Y no es

. no es entonces

Nuestro objetivo es definir una estrategia ganadora para I. Como Y

existe

una particin de X en conjuntos finitos tal que

se tiene que

para algn n

Es decir, que ningn conjunto positivo es selector parcial de la particin

La estrategia es la siguiente:

..

Claramente

es un selector parcial. Y por hiptesis no pertenece a Y

Veamos ahora (ii) () Si II tiene una estrategia ganadora entonces Y es -diagonalizable.

Antes de probar la implicacin vamos a ver la siguiente afirmacin

Afirmacin: Si Y es un filtro sobre y

es una estrategia ganadora para II, entonces

Y )

La demostracin de esta afirmacin se realizar por reduccin al absurdo.

Sea Y A

. Claramente, la coleccin

diagonaliza

) Si Y es

-diagonalizable entonces II tiene una estrategia ganadora. es una coleccin que diagonaliza a Y A Fije es infinito. : una

Supongamos que funcin sobreyectiva tal que Por ejemplo, Definamos como:

Claramente II visita infinitamente a cada