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

Sintesi Tecnica: Sui Giochi di Banach-Mazur Efficaci e un'Applicazione al Teorema di Ricorrenza di Poincaré per la Categoria

Enunciato del Problema
La matematica classica spesso si basa su dimostrazioni di esistenza non costruttive (ad esempio, tramite l'Assioma della Scelta o il Lemma di Zorn) per dimostrare che oggetti con certe proprietà esistono, mostrando che l'insieme di tali oggetti è "grande" in un senso topologico (categoria di Baire). Nello specifico, il gioco di Banach-Mazur fornisce una caratterizzazione gioco-teoretica degli insiemi di prima categoria (insiemi meageri): un insieme è di prima categoria se e solo se il secondo giocatore ha una strategia vincente.

Tuttove, nel campo della teoria della computabilità e dell'analisi efficace, gli argomenti esistenziali sono insufficienti. È necessario estrarre il "contenuto efficace" dei teoremi classici, richiedendo costruzioni esplicite e algoritmiche. Sebbene il teorema della categoria di Baire efficace e le versioni della teoria della misura di Poincaré efficaci siano noti, la versione topologica efficace del Teorema di Ricorrenza di Poincaré non era stata pienamente stabilita per tutti gli insiemi di prima categoria efficace. Gli autori mirano a colmare questa lacuna rendendo efficace il gioco di Banach-Mazur e applicandolo ai sistemi dinamici.

Metodologia
Gli autori sviluppano un framework per Spazi Topologici Efficaci e Giochi di Banach-Mazur Efficaci nel contesto dell'Analisi Computabile.

1. Spazi Topologici Efficaci: Il lavoro opera principalmente all'interno di spazi $T_0$ computabili (specificamente spazi $T_0$ fortemente computabili per la prima versione del gioco e spoli spazi metrici computabili completi per la seconda). Questi spazi sono dotati di una base numerabile e di una rappresentazione di insiemi aperti di base tramite suriezioni parzialmente computabili. Le definizioni chiave includono:

   • insiemi aperti c.e.: unioni di insiemi aperti di base che sono computabilmente enumerabili.
   • insiemi efficacementi ovunque densi (nowhere dense): insiemi $A$ dove una funzione computabile può mappare ogni insieme aperto di base in un insieme aperto più piccolo disgiunto da $A$.
   • insiemi di prima categoria efficace: unioni numerabili di insiemi efficacementi ovunque densi.

2. Giochi di Banach-Mazur Efficaci: Gli autori definiscono due versioni del gioco per caratterizzare la meagrità efficace:

   • Versione 1: Il Giocatore 2 (P2) è limitato a una strategia efficace (risposta computabile), mentre il Giocatore 1 (P1) ha risorse illimitate. Il gioco si svolge su uno spazio $T_0$ fortemente computabile.
   • Versione 2: P1 ha una strategia efficace, mentre P2 ha risorse illimitate. Questa versione richiede che lo spazio sia uno spazio metrico computabile completo per utilizzare il Teorema di Intersezione di Cantor per la convergenza.

3. Dimostrazioni Gioco-Teoretiche: Invece di usare il Lemma di Zorn (che è non-costruttivo), gli autori forniscono strategie esplicite e costruttive per i giocatori. Essi dimostrano che, se un insieme è di prima categoria efficace, P2 possiede una strategia vincente computabile. Viceversa, se P2 ha una strategia vincente computabile, l'insieme bersaglio è di prima categoria efficace.

Contributi Chiave e Risultati

1. Caratterizzazione degli Insiemi di Prima Categoria Efficace:
   Il principale contributo teorico è il Teorema 4.3, che stabilisce che in uno spazio $T_0$ fortemente computabile, un insieme $M$ è di prima categoria efficace se e solo se il Giocatore 2 ha una strategia vincente efficace nel gioco di Banach-Mazur $BM(M, M^c)$. Questo fornisce una caratterizzazione puramente gioco-teoretica e costruttiva della meagrità efficace, evitando argomenti esistenziali non-costruttivi.

2. Applicazione ai Numeri di Liouville:
   Gli autori applicano il loro framework all'insieme dei numeri di Liouville ($E$). Dimostrano (Teorema 4.12) che il complemento dell'insieme dei numeri di Liouville ($E^c$) è un insieme di prima categoria efficace. Di conseguenza, l'insieme dei numeri di Liouville è efficacemente co-megere. Questo risultato evidenzia come, sebbene i numeri di Liouville siano "piccoli" in termini di misura di Lebesgue e dimensione di Hausdorff, essi siano "grandi" nel senso topologico efficace.

3. Teorema di Ricorrenza di Poincaré per la Categoria Efficace:
   La centrale applicazione del saggio è il Teorema 5.5, il Teorema di Ricorrenza di Poincaré per la Categoria Efficace.

   • Contesto: Per una regione aperta computabilmente enumerabile (c.e.) limitata $X \subseteq \mathbb{R}^n$ dotata di un omeomorfismo computabile $T$ che non ammette insiemi erranti (wandering sets) non vuoti e aperti.
   • Risultato: L'insieme dei punti non ricorrenti in $X$ è un insieme di prima categoria efficace.
   • Metodo: Gli autori definiscono l'insieme dei punti non ricorrenti $N(E)$ e costruiscono una strategia vincente efficace per il Giocatore 2 nel gioco $BM(N(E), X \setminus N(E))$. Dimostrando che per ogni insieme aperto scelto da P1, P2 può scegliere efficacemente un sottoinsieme disgiunto dai punti non ricorrenti (utilizzando la non esistenza di insiemi erranti), essi provano che l'intersezione del gioco evita interamente l'insieme dei non ricorrenti.

Significatività
Il saggio afferma la propria significatività nel fornire una dimostrazione gioco-teoretica del Teorema di Ricorrenza di Poincaré topologico efficace. A differenza di approcci precedenti che potrebbero fare affidamento su teoremi ergodici efficaci (che sono di tipo misura-teoretico), questo lavoro opera strettamente all'interno del quadro topologico della categoria di Baire.

Rendendo efficace il gioco di Banach-Mazur, gli autori dimostrano che la "grandezza" dell'insieme dei punti non ricorrenti non è solo topologicamente piccola (megera) ma efficacemente piccola (prima categoria efficace). Ciò significa che l'insieme dei punti non ricorrenti può essere coperto da un'unione computabilmente enumerabile di insiemi efficacementi ovunque densi, e che esiste una strategia computabile per evitare tali punti. Questo risolve la questione di stabilire il teorema di Poincaré topologico per tutti gli insiemi di prima categoria efficace, offrendo una prospettiva costruttiva sulla ricorrenza nei sistemi dinamici computabili.