분석적 그래프를 가진 함수에 대한 솔레키키 이분법의 일반화

본 논문은 “분석적 그래프를 가진 함수에 대한 솔레키키 이분법”을 제시한다. 서두에서는 Lusin이 제기한 Borel 함수의 연속 분해 가능성 문제와 그에 대한 기존 연구(예: Keldyš, Adyan, Novikov)의 배경을 소개한다. 특히, Cantor 위상과 Baire 위상을 이용해 정의된 특수 함수 P가 연속 분해 불가능한 예시로 제시된다. 주요 결과인 Theorem 1은 두 부분으로 구성된다. 첫 번째는 함수 A가 σ-이상 I(연속 함수들의 그래프가 생성하는 σ-이상) 안에 포함되는 경우, 즉 A를 가산 개의 연속 함수들의 합으로 분해할 수 있음을 의미한다. 두 번째는 A가 위와 같은 분해가 불가능할 때, ω^ω에서 Cantor 위상으로의 연속 삽입 ϕ̇와 Baire 위상으로의 연속 삽입 ϕ̈가 존재하여 아래와 같은 교환 사상을 만든다. 이 사상은 P와 동형이며, 따라서 A는 P를 “포함”한다는 의미가 된다. 증명은 다음과 같은 구조적 단계로 진행된다. 1. **σ‑이상 I와 I‑양 집합** I는 연속 함수들의 그래프가 생성하는 σ‑이상으로 정의한다. Lemma 1은 I‑양 집합 X가 존재하면 그 투사 ¨X는 무수히 많으며, X 안에 상대적으로 닫힌 I‑양 부분집합 Y가 존재함을 보인다. Lemma 2는 임의의 ε>0에 대해 X를 유한 개의 부분집합으로 나누어 하나가 X에 ε‑가깝게 밀집함을 보인다. 2. **솔리드와 실린더** 분석적 집합 X⊆Ď×Ě가 “솔리드”라면, 모든 열린 집합 U에 대해 U∩X가 비어 있거나 I‑양이다. 실린더는 기본 집합 X 위에 정의된 닫힌 집합 ˜X⊆(ω^ω)^ω×Ď×Ě로, 투사 π