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

Resumo Técnico: Sobre Jogos de Banach-Mazur Eficazes e uma Aplicação ao Teorema da Recorrência de Poincaré para Categoria

Enunciado do Problema
A matemática clássica frequentemente se baseia em provas de existência não construtivas (por exemplo, via Axioma da Escolha ou Lema de Zorn) para demonstrar que objetos com certas propriedades existem, mostrando que o conjunto de tais objetos é "grande" em um sentido topológico (categoria de Baire). Especificamente, o jogo de Banach-Mazur fornece uma caracterização jogo-teórica de conjuntos de primeira categoria (conjuntos meager): um conjunto é de primeira categoria se, e somente se, o segundo jogador possui uma estratégia vencedora.

No entanto, no domínio da teoria da computabilidade e da análise efetiva, argumentos existenciais são insuficientes. Há uma necessidade de extrair o "conteúdo efetivo" de teoremas clássicos, exigindo construções explícitas e algorítmicas. Embora o teorema da categoria de Baire efetivo e as versões de teoria da medida efetiva do Teorema da Recorrência de Poincaré sejam conhecidos, a versão topológica efetiva do Teorema da Recorrência de Poincaré não havia sido totalmente estabelecida para todos os conjuntos de primeira categoria efetiva. Os autores visam preencher essa lacuna efetivizando o jogo de Banach-Mazur e aplicando-o a sistemas dinâmicos.

Metodologia
Os autores desenvolvem um arcabouço para Espaços Topológicos Efetivos e Jogos de Banach-Mazur Eficazes dentro do contexto da Análise Computável.

1. Espaços Topológicos Efetivos: O trabalho opera primariamente em espaços $T_0$ computáveis (especificamente espaços $T_0$ fortemente computáveis para a primeira versão do jogo e espaços métricos computáveis completos para a segunda). Esses espaços são equipados com uma base enumerável e uma representação de conjuntos abertos básicos via surjeções parciais computáveis. Definições chave incluem:

   • conjuntos abertos c.e.: Uniões de conjuntos abertos básicos que são computavelmente enumeráveis.
   • Conjuntos efetivamente nulos (nowhere dense): Conjuntos $A$ onde uma função computável pode mapear qualquer conjunto aberto básico para um conjunto aberto básico menor e disjunto de $A$.
   • Conjuntos de primeira categoria efetiva: Uniões enumeráveis de conjuntos efetivamente nulos.

2. Jogos de Banach-Mazur Eficazes: Os autores definem duas versões do jogo para caracterizar a meagridade efetiva:

   • Versão 1: O Jogador 2 (P2) é restrito a uma estratégia efetiva (resposta computável), enquanto o Jogador 1 (P1) possui recursos ilimitados. O jogo é jogado em um espaço $T_0$ fortemente computável.
   • Versão 2: P1 possui uma estratégia efetiva, enquanto P2 possui recursos ilimitados. Esta versão requer que o espaço seja um espaço métrico computável completo para utilizar o Teorema da Interseção de Cantor para convergência.

3. Provas Jogo-Teóricas: Em vez de usar o Lema de Zorn (que é não-construtivo), os autores fornecem estratégias explícitas e construtivas para os jogadores. Eles demonstram que, se um conjunto é de primeira categoria efetiva, P2 possui uma estratégia vencedora computável. Inversamente, se P2 possui uma estratégia vencedora computável, o conjunto alvo é de primeira categoria efetiva.

Principais Contribuições e Resultados

1. Caracterização de Conjuntos de Primeira Categoria Efetiva:
   A principal contribuição teórica é o Teorema 4.3, que estabelece que, em um espaço $T_0$ fortemente computável, um conjunto $M$ é de primeira categoria efetiva se, e somente se, o Jogador 2 possui uma estratégia vencedora efetiva no jogo de Banach-Mazur $BM(M, M^c)$. Isso fornece uma caracterização puramente jogo-teórica e construtiva da meagridade efetiva, evitando argumentos existenciais não-construtivos.

2. Aplicação aos Números de Liouville:
   Os autores aplicam seu arcabouço ao conjunto dos números de Liouville ($E$). Eles provam (Teorema 4.12) que o complemento do conjunto dos números de Liouville ($E^c$) é um conjunto de primeira categoria efetiva. Consequentemente, o conjunto dos números de Liouville é efetivamente co-meager. Este resultado destaca que, embora os números de Liouville sejam "pequenos" em termos de medida de Lebesgue e dimensão de Hausdorff, eles são "grandes" no sentido topológico efetivo.

3. Teorema da Recorrência de Poincaré para Categoria Efetiva:
   A aplicação central do artigo é o Teorema 5.5, o Teorema da Recorrência de Poincaré para Categoria Efetiva.

   • Contexto: Para uma região aberta computavelmente enumerável (c.e.) limitada $X \subseteq \mathbb{R}^n$ equipada com um homeomorfismo computável $T$ que não admite conjuntos errantes (wandering sets) abertos não vazios.
   • Resultado: O conjunto de pontos não recorrentes em $X$ é um conjunto de primeira categoria efetiva.
   • Método: Os autores definem o conjunto de pontos não recorrentes $N(E)$ e constroem uma estratégia vencedora efetiva para o Jogador 2 no jogo $BM(N(E), X \setminus N(E))$. Ao mostrar que, para qualquer conjunto aberto escolhido por P1, P2 pode escolher efetivamente um subconjunto disjunto dos pontos não recorrentes (utilizando a não existência de conjuntos errantes), eles provam que a interseção do jogo evita inteiramente o conjunto não recorrente.

Significância
O artigo afirma sua significância ao fornecer uma prova jogo-teórica do teorema da recorrência de Poincaré topológica efetiva. Diferente de abordagens anteriores que podem depender de teoremas ergódicos efetivos (que são de teoria da medida), este trabalho opera estritamente dentro do arcabouço topológico da categoria de Baire.

Ao efetivizar o jogo de Banach-Mazur, os autores demonstram que o "tamanho" do conjunto de pontos não recorrentes não é apenas topologicamente pequeno (meager), mas efetivamente pequeno (primeira categoria efetiva). Isso significa que o conjunto de pontos não recorrentes pode ser coberto por uma união computavelmente enumerável de conjuntos efetivamente nulos, e uma estratégia computável existe para evitar esses pontos. Isso resolve a questão de estabelecer o teorema de Poincaré topológico para todos os conjuntos de primeira categoria efetiva, oferecendo uma perspectiva construtiva sobre a recorrência em sistemas dinâmicos computáveis.