보렐 함수의 이분법: 소레츠키·자플레탈 정리의 새로운 증명

본 논문은 “보렐 함수의 이분법”이라는 주제로, 소레츠키가 Baire 1 함수에 대해 제시한 이분법을 보다 간결하게 재구성하고, 이를 모든 보렐 함수로 일반화한다. 서론에서는 Lusin의 오래된 질문을 언급하며, Pawlikowski 함수 \(P:(\omega+1)^\omega\to\omega^\omega\) 가 σ‑연속이 아니면서도 Borel 함수의 대표적인 비연속성 예시임을 소개한다. 소레츠키의 원래 정리(Theorem 1)는 Baire 1 함수가 σ‑연속이거나, 위상학적 삽입 \(\varphi,\psi\) 를 통해 \(P\) 를 포함한다는 것을 보였으며, Zapletal은 이를 보렐 함수까지 확장한 정리(Theorem 2)를 제시했다. 논문의 핵심은 Zapletal이 만든 두 사람 게임 \(G_f(B)\) 를 이용해 σ‑연속성을 판정하는 방법이다. 게임은 Adam이 자연수 열 \(x\) 를, Eve가 0‑1 열 \(y\) 를 선택하며 진행되고, \(y\) 로부터 일련의 부분 연속 함수 \(f_n\) 를 정의한다. Adam이 승리하면 \(x\notin B\) 혹은 어떤 \(n\) 에 대해 \(f(x)=f_n(x)\) 가 되며, 이는 \(f\) 가 σ‑연속이 아님을 의미한다. 반대로 Eve가 승리하면 \(f\) 가 σ‑연속임을 보인다. 이 게임은 Borel 결정성을 이용해 승자 전략이 존재함을 보이며, Corollary 1을 통해 σ‑연속이 아닌 경우 압축된 집합 \(C\) 위에서도 σ‑연속이 아님을 얻는다. 다음 섹션에서는 위임을 위한 구체적 구성을 제시한다. \((\omega+1)^{<\omega}\) 의 각 초기 구간 \(S_n^k\) 를 카터‑벤딕슨 순위에 따라 정의하고, 투사 \(\pi_n^k:S_n^k\to S_n^{k-1}\) 를 만들며, 이 투사들이 연속임을 증명한다. 또한 \(r_n\) 라는 변환을 도입해 \((\omega+1)^n\) 의 마지막 좌표를 \(\omega\) 로 바꾸는 연산을 정의한다. 이러한 구조 위에 “잘-정렬”(well‑ordering) \(\le\) 를 부여해, 재귀적으로 열린 집합 \(C_\tau\) 와 압축된 집합 \(X_\tau\) 를 구축한다. 각 단계에서 다음과 같은 조건을 만족한다: (i) \(\tau\subseteq\sigma\Rightarrow C_\tau\subseteq C_\sigma,\ X_\tau\subseteq X_\sigma\); (ii) \(C_\tau\) 들은 서로소이며, \(X_\tau\subseteq f^{-1}