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

기술 요약: 유효 바나흐-마주르 게임과 카테고리에 대한 푸앵카레 재귀 정리에 대한 응용

문제 제기
고전 수학은 특정 성질을 가진 대상이 존재함을 증명하기 위해, 해당 대상의 집합이 위상적 의미에서 "크다"(베르의 범주/Baire category)는 것을 보여줌으로써 비구성적 존재 증명(예: 선택 공리 또는 조른의 보보법을 통한 증명)에 자주 의존한다. 구체적으로, 바나흐-마주르 게임은 제1범주(meager sets) 집합에 대한 게임론적 특징을 제공한다: 즉, 어떤 집합이 제1범주라면 제2 플레이어가 승리 전략을 갖는다.

그러나 계산 이론 및 유효 해석학의 영역에서는 실존적 논증만으로는 불충분하다. 유효한 분석을 위해서는 "유효한 내용(effective content)"을 추출하는, 즉 명시적이고 알고리즘적인 구성이 필요하다. 유효한 베르 범주 정리와 유효한 측도론적 버전의 푸앵카레 재귀 정리는 알려져 있으나, 유효한 위상적 버전의 푸앵카레 재귀 정리는 모든 유효 제1범주 집합에 대해 완전히 확립되지 않았었다. 저자들은 바나흐-마주르 게임을 유효화하고 이를 동역학계에 적용함으로써 이 간극을 메우고자 한다.

방법론
저자들은 계산 가능성 이론(Computable Analysis)의 맥락 내에서 유효 위상 공간(Effective Topological Spaces) 및 **유효 바나흐-마주르 게임(Effective Banach-Mazur Games)**의 프레임워크를 개발한다.

1. 유효 위상 공간: 본 연구는 주로 계산 가능한 $T_0$ 공간(첫 번째 게임 버전의 경우 강하게 계산 가능한 $T_0$ 공간, 두 번째 버전의 경우 완전 계산 가능 메트릭 공간) 내에서 작동한다. 이러한 공간들은 가산 기저(countable basis)를 가지며, 부분 계산 가능한 전사 함수를 통해 기본 열린 집합을 표현한다. 주요 정의는 다음과 같다:

   • c.e. 열린 집합: 계산 가능한 열린 기본 집합들의 합집합.
   • 유효 조밀하지 않은 집합(Effective nowhere dense sets): 임의의 기본 열린 집합을 $A$와 만나지 않는 더 작은 기본 열한 집합으로 매핑할 수 있는 계산 가능한 함수가 존재하는 집합 $A$.
   • 유효 제1범주 집합: 유효 조밀하지 않은 집합들의 가산 합집합.

2. 유효 바나흐-마주르 게임: 저자들은 유효한 메거함(meagerness)을 특징짓기 위해 두 가지 버전의 게임을 정의한다:

   • 버전 1: 플레이어 2(P2)는 유효 전략(계산 가능한 응답)으로 제한되는 반면, 플레이어 1(P1)은 무제한의 자원을 갖는다. 이 게임은 강하게 계산 가능한 $T_0$ 공간에서 진행된다.
   • 버전 2: P1은 유효한 전략을 갖는 반면, P2는 무제한의 자원을 갖는다. 이 버전은 수렴을 위해 칸토어 교집합 정리를 활용해야 하므로 완전 계산 가능 메트릭 공간을 필요로 한다.

3. 게임론적 증명: 저자들은 비구성적인 조른의 보보법을 사용하는 대신, 플레이어들을 위한 명시적이고 구성적인 전략을 제공한다. 저자들은 만약 어떤 집합이 유효 제1범주라면, P2가 계산 가능한 승리 전략을 보유함을 입증한다. 역으로, P2가 계산 가능한 승리 전략을 가지고 있다면, 대상 집합은 유효 제1범주이다.

주요 기여 및 결과

1. 유효 제1범주 집합의 특징화:
   주요 이론적 기여는 정리 4.3으로, 이는 강하게 계산 가능한 $T_0$ 공간에서 집합 $M$이 유효 제1범주일 필요충분조건이 바나흐-마주르 게임 $BM(M, M^c)$에서 플레이어 2가 유효한 승리 전략을 갖는 것임을 확립한다. 이는 비구성적인 실존적 논증을 피하면서, 유효한 메거함에 대한 순수하게 게임론적이고 구성적인 특징화를 제공한다.

2. 리우빌 수(Liouville Numbers)에 대한 적용:
   저자들은 리우빌 수의 집합($E$)에 이 프레임워크를 적용한다. 그들은 리우빌 수의 여집합($E^c$)이 유효 제1범주 집합임을 증명한다(정리 4.12). 결과적으로 리우빌 수는 **유효 코-메거(effectively co-meager)**이다. 이 결과는 리우빌 수가 르베그 측도와 하우스도르프 차원 관점에서는 "작지만", 유효 위상적 관점에서는 "크다"는 점을 강조한다.

3. 카테고리에 대한 유효 푸앵카레 재귀 정리:
   본 논문의 핵심적인 응용은 정리 5.5, 카테고리에 대한 유효 푸앵카레 재귀 정리이다.

   • 맥락: 비어 있지 않은 열린 표류 집합(wandering sets)을 허용하지 않는 계산 가능한 홈오모피즘 $T$를 가진 유계 c.e. 열린 영역 $X \subseteq \mathbb{R}^n$에 대하여.
   • 결과: $X$ 내의 비재귀 점(non-recurrent points)의 집합은 유효 제1범주 집합이다.
   • 방법: 저자들은 비재귀 점의 집합 $N(E)$를 정의하고, 게임 $BM(N(E), X \setminus N(E))$에서 플레이어 2를 위한 유효한 승리 전략을 구성한다. P1이 선택한 임의의 열린 집합에 대해, P2가 (표류 집합의 부존재를 활용하여) 비재귀 점들과 만나지 않는 부분 집합을 효과적으로 선택할 수 있음을 보여줌으로써, 게임의 교집합이 비재귀 집합을 완전히 회피함을 증명한다.

의의
본 논문은 카테고리에 대한 유효 위상적 푸앵카레 정리의 게임론적 증명을 제공한다는 점에서 의의를 갖는다. 기존의 접근 방식들이 (측도론적인) 유효 에르고딕 정리들에 의존했을 수 있는 것과 달리, 본 연구는 베르 범주의 순수한 위상적 프레임워크 내에서 엄격하게 작동한다.

바나흐-마주르 게임을 유효화함으로써, 저자들은 비재귀 점의 집합이 단지 위상적으로 작을(meager) 뿐만 아니라 **유효하게 작음(effective first category)**을 입증한다. 이는 비재귀 점의 집합이 유효 조밀하지 않은 집합들의 계산 가능한 열거 가능한 합집합으로 덮일 수 있으며, 이러한 점들을 피할 수 있는 계산 가능한 전략이 존재함을 의미한다. 이는 모든 유효 제1범주 집합에 대해 위상적 푸앵카레 정리를 확립하는 문제를 해결하며, 계산 가능한 동역학계에서의 재귀에 대한 구성적 관점을 제시한다.