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

技術要約：有効なバナッハ・マズール・ゲームと、カテゴリーに関するポアンカレ回帰定理への応用

問題提起
古典的な数学は、特定の性質を持つ対象が存在することを証明するために、非構成的な存在証明（例：選択公理やツォルンの補題によるもの）に依存することがよくある。これらは、対象の集合が位相的な意味で「大きい」（ベア・カテゴリー）ことを示すことで、その存在を証明する。具体的には、バナッハ・マズール・ゲームは、第一カテゴリー（メジャー集合）の集合に対するゲーム論的な特徴付けを提供する。すなわち、ある集合が第一カテゴリーであるための必要十分条件は、第2プレイヤーが勝利戦略を持つことである。

しかし、計算理論および有効解析の領域においては、存在論的な議論だけでは不十分である。有効な性質を持つ対象の「有効な内容（effective content）」を抽出するには、明示的かつアルゴリズム的な構成が必要となる。有効なベア・カテゴリー定理や、有効な測度論的バージョンのポアンカレ回帰定理は既知であるが、有効な位相的バージョンのポアンカレ回帰定理は、すべての有効な第一カテゴリー集合に対して完全には確立されていなかった。著者らは、バナッハ・マズール・ゲームを有効化し、それを力学系へと適用することで、このギャップを埋めることを目的としている。

手法
著者らは、計算可能解析の文脈において、有効な位相空間および有効なバナッハ・マズール・ゲームの枠組みを開発する。

1. 有効な位相空間： 本研究は、主に計算可能な $T_0$ 空間（第1ゲーム版については強計算可能な $T_0$ 空間、第2版については完全計算可能距離空間）の範囲内で展開される。これらの空間は、可算な基底を備え、基本開集合は部分計算可能全射によって表現される。主要な定義は以下の通りである：

   • c.e. 開集合： 計算可能に列挙可能な基本開集合の和集合。
   • 有効な非稠密集合： 任意の基本開集合から、それと交わらないより小さな基本開集合への写像を計算可能関数が提供できる集合 $A$。
   • 有効な第一カテゴリー集合： 有効な非稠密集合の可算な和集合。

2. 有効なバナッハ・マズール・ゲーム： 著者らは、有効なメア（meagerness）を特徴付けるために、2つのバージョンのゲームを定義する：

   • バージョン1： 第2プレイヤー（P2）は有効な戦略（計算可能な応答）に制限されるが、第1プレイヤー（P1）は無制限のリソースを持つ。このゲームは、強計算可能な $T_0$ 空間上で展開される。
   • バージョン2： P1が有効な戦略を持ち、P2が無制限のリソースを持つ。このバージョンは、カンターの区間縮小定理を利用するために、空間が完全計算可能距離空間であることを要求する。

3. ゲーム論的証明： 非構成的なツォルンの補題を使用する代わりに、著者らはプレイヤーのための明示的かつ構成的な戦略を提供する。ある集合が有効な第一カテゴリーであれば、P2は計算可能な勝利戦略を持つことを示す。逆に、P2が計算可能な勝利戦略を持つならば、対象となる集合は有効な第一カテゴリーである。

主要な貢献と結果

1. 有効な第一カテゴリー集合の特徴付け：
   主要な理論的貢献は、強計算可能な $T_0$ 空間において、集合 $M$ が有効な第一カテゴリーであるための必要十分条件は、バナッハ・マズール・ゲーム $BM(M, M^c)$ において第2プレイヤーが有効な勝利戦略を持つことであるとする定理 4.3である。これは、非構成的な存在論的議論を回避した、純粋にゲーム論的かつ構成的な有効なメアの性質付けを提供する。

2. リウヴィル数への応用：
   著者らは、彼らの枠組みをリウヴィル数の集合（$E$）に適用する。彼らは、リウヴィル数の補集合（$E^c$）が有効な第一カテゴリー集合であることを証明する（定理 4.12）。したがって、リウヴィル数の集合は**有効な余メジャー（co-meager）**である。この結果は、リウヴィル数がルベーグ測度やハウスドルフ次元の観点からは「小さい」ものの、有効な位相的観点からは「大きい」ことを浮き彫りにしている。

3. カテゴリーに関する有効なポアンカレ回帰定理：
   本論文の中心的な応用は、定理 5.5、すなわちカテゴリーに関する有効なポアンカレ回帰定理である。

   • 文脈： 非空の開漂流集合（wandering sets）を持たない計算可能な同相写像 $T$ を備えた、有界な計算可能列挙（c.e.）開領域 $X \subseteq \mathbb{R}^n$。
   • 結果： $X$ における非回帰点の集合は、有効な第一カテゴリーの集合である。
   • 手法： 著者らは非回帰点の集合 $N(E)$ を定義し、ゲーム $BM(N(E), X \setminus N(E))$ におけるP2の有効な勝利戦略を構築する。P1が選んだ任意の開集合に対して、P2が（漂流集合の不在を利用して）非回帰点と交わらない部分集合を有効に選択できることを示すことで、ゲームの過程における共通部分が非回帰集合を完全に回避することを証明する。

意義
本論文は、有効な位相的ポアンカレ回帰定理のゲーム論的な証明を提供しているという点で重要である。測度論的な有効エルゴード定理に依存する可能性のある従来のアプローチとは異なり、本研究はベア・カテゴリーの枠組み内で厳密に動作する。

バナッハ・マズール・ゲームを有効化することにより、著者らは、非回帰点の集合が単に位相的に小さい（メジャーである）だけでなく、有効に小さい（有効な第一カテゴリーである）ことを示している。これは、非回帰点の集合が有効な非稠密集合の計算可能列挙可能な和集合で覆われ、かつ、その点を回避するための計算可能な戦略が存在することを意味する。これにより、すべての有効な第一カテゴリー集合に対して、位相的なポアンカレの定理を確立するという課題が解決され、計算可能な力学系における回帰に関する構成的な視点が提示された。