On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category

Resumen Técnico: Sobre los Juegos de Banach-Mazur Efectivos y una Aplicación al Teorema de Recurrencia de Poincaré para la Categoría

Planteamiento del Problema
La matemática clásica a menudo se apoya en demostraciones de existencia no constructivas (por ejemplo, mediante el Axioma de Elección o el Lema de Zorn) para demostrar que existen objetos con ciertas propiedades, mostrando que el conjunto de tales objetos es "grande" en un sentido topológico (categoría de Baire). Específicamente, el juego de Banach-Mazur proporciona una caracterización juego-teórica de los conjuntos de primera categoría (conjuntos menudos): un conjunto es de primera categoría si y solo si el segundo jugador tiene una estrategia ganadora.

Sin embargo, en el ámbito de la teoría de la computabilidad y el análisis efectivo, los argumentos existenciales son insuficientes. Existe la necesidad de extraer el "contenido efectivo" de los teoremas clásicos, lo que requiere construcciones explícitas y algorítmicas. Aunque el teorema de la categoría de Baire efectivo y las versiones de la teoría de la medida efectivas del Teorema de Recurrencia de Poincaré son conocidos, el teorema de la versión topológica efectiva de la Recurrencia de Poincaré no se había establecido plenamente para todos los conjuntos de primera categoría efectiva. Los autores pretenden cerrar esta brecha efectivizando el juego de Banach-Mazur y aplicándolo a los sistemas dinámicos.

Metodología
Los autores desarrollan un marco para Espacios Topológicos Efectivos y Juegos de Banach-Mazur Efectivos dentro del contexto del Análisis Computable.

1. Espacios Topológicos Efectivos: El trabajo opera principalmente dentro de espacios $T_0$ computables (específicamente espacios $T_0$ fuertemente computables para la primera versión del juego y espacios métricos computables completos para la segunda). Estos espacios están equipados con una base contable y una representación de los conjuntos abiertos básicos mediante suryecciones parciales computables. Las definiciones clave incluyen:

   • conjuntos abiertos c.e.: uniones de conjuntos abiertos básicos que son computablemente enumerables.
   • Conjuntos de densidad nula efectiva: conjuntos $A$ donde una función computable puede mapear cualquier conjunto abierto básico a un conjunto abierto básico más pequeño que sea disjunto de $A$.
   • Conjuntos de primera categoría efectiva: uniones contables de conjuntos de densidad nula efectiva.

2. Juegos de Banach-Mazur Efectivos: Los autores definen dos versiones del juego para caracterizar la mequedad efectiva:

   • Versión 1: El Jugador 2 (P2) está restringido a una estrategia efectiva (respuesta computable), mientras que el Jugador 1 (P1) tiene recursos ilimitados. El juego se juega en un espacio $T_0$ fuertemente computable.
   • Versión 2: P1 tiene una estrategia efectiva, mientras que P2 tiene recursos ilimitados. Esta versión requiere que el espacio sea un espacio métrico computable completo para utilizar el Teorema de Intersección de Cantor para la convergencia.

3. Demostraciones Juego-Teóricas: En lugar de utilizar el Lema de Zorn (que es no constructivo), los autores proporcionan estrategias explícitas y constructivas para los jugadores. Demuestran que, si un conjunto es de primera categoría efectiva, P2 posee una estrategia ganadora computable. Inversamente, si P2 tiene una estrategia ganadora computable, el conjunto objetivo es de primera categoría efectiva.

Contribuciones Clave y Resultados

1. Caracterización de Conjuntos de Primera Categoría Efectiva:
   La principal contribución teórica es el Teorema 4.3, que establece que, en un espacio $T_0$ fuertemente computable, un conjunto $M$ es de primera categoría efectiva si y solo si el Jugador 2 tiene una estrategia ganadora efectiva en el juego de Banach-Mazur $BM(M, M^c)$. Esto proporciona una caracterización puramente juego-teórica y constructiva de la mequedad efectiva, evitando argumentos existenciales no constructivos.

2. Aplicación a los Números de Liouville:
   Los autores aplican su marco al conjunto de los números de Liouville ($E$). Demuestran (Teorema 4.12) que el complemento del conjunto de los números de Liouville ($E^c$) es un conjunto de primera categoría efectiva. Consecuentemente, el conjunto de los números de Liouville es efectivamente co-menor. Este resultado destaca que, aunque los números de Liouville son "pequeños" en términos de medida de Lebesgue y dimensión de Hausdorff, son "grandes" en el sentido topológico efectivo.

3. Teorema de Recurrencia de Poincaré para la Categoría Efectiva:
   La aplicación central del artículo es el Teorema 5.5, el Teorema de la Recurrencia de Poincaré para la Categoría Efectiva.

   • Contexto: Para una región abierta computablemente enumerable (c.e.) $X \subseteq \mathbb{R}^n$ equipada con un homeomorfismo computable $T$ que no admite conjuntos errantes abiertos no vacíos.
   • Resultado: El conjunto de puntos no recurrentes en $X$ es un conjunto de primera categoría efectiva.
   • Método: Los autores definen el conjunto de puntos no recurrentes $N(E)$ y construyen una estrategia ganadora efectiva para el Jugador 2 en el juego $BM(N(E), X \setminus N(E))$. Al demostrar que para cualquier conjunto abierto elegido por P1, P2 puede elegir efectivamente un subconjunto disjunto de los puntos no recurrentes (utilizando la no existencia de conjuntos errantes), prueban que la intersección del juego evita enteramente el conjunto de no recurrencia.

Significancia
El artículo afirma su significancia al proporcionar una demostración juego-teórica del Teorema de la Recurrencia de Poincaré topológico efectivo. A diferencia de enfoques previos que podrían depender de teoremas ergódicos efectivos (que son de naturaleza de la medida), este trabajo opera estrictamente dentro del marco topológico de la categoría de Baire.

Al efectivizar el juego de Banach-Mazur, los autores demuestran que el "tamaño" del conjunto de puntos no recurrentes no es solo topológicamente pequeño (menor), sino efectivamente pequeño (de primera categoría efectiva). Esto significa que el conjunto de puntos no recurrentes puede ser cubierto por una unión computablemente enumerable de conjuntos de densidad nula efectiva, y que existe una estrategia computable para evitar dichos puntos. Esto resuelve el problema de establecer el teorema de Poincaré topológico para todos los conjuntos de primera categoría efectiva, ofreciendo una perspectiva constructiva sobre la recurrencia en sistemas dinámicos computables.