분리 가능한 로젠탈 콤팩트의 일곱 원형과 그 응용

본 논문은 크게 세 부분으로 구성된다. 1. **분리 가능한 로젠탈 콤팩트의 원형 분류** - **정의와 기본 개념**: 함수열 {f_i}_{i∈I}와 {g_i}_{i∈I}가 ‘동등(equivalent)’하다는 정의를 도입하고, ‘최소 가족(minimal family)’이라는 개념을 제시한다. 최소 가족은 모든 정규 dyadic 서브트리에서 동등성을 유지한다. - **주요 정리(Theorem 2)**: 정확히 일곱 개의 최소 가족이 존재함을 증명한다. 각각은 A(2<ℕ), 2^ℕ, ĤS⁺(2ℕ), ĤS⁻(2ℕ), ĤA(2ℕ), ĤD(2ℕ), ĤD ⊕ S(2ℕ)이며, 이들의 점별 폐쇄는 서로 다른 위상적 특성을 가진 분리 가능한 로젠탈 콤팩트를 형성한다. - **증명 전략**: * **라임즈 이론**: 2<ℕ 트리의 무한 부분집합이 체인 혹은 반사체를 포함한다는 사실을 이용한다. 체인은 라임즈가 보장하지만, 일반 반사체는 그렇지 않다. ‘증가·감소 반사체’를 정의하고, 이들이 라임즈와 코파이널임을 새롭게 입증한다. * **구조적 전이**: 함수열의 수렴 행동을 분석하기 위해, ‘수렴 부분트리’를 찾아 모든 수렴 부분열을 포괄한다. * **Galvin·Milliken 정리 활용**: Galvin의 완전 이분법 정리와 Milliken의 무한 차원 Hindman 정리를 통해, 반사체와 체인에 대한 파티션을 정규화하고, 결국 원형 중 하나와 동형인 구조를 얻는다. 2. **원형과 위상적 특성의 연계** - **Theorem 3**: 분리 가능한 로젠탈 콤팩트 K와 가산 조밀 부분집합 {f_n}에 대해, K의 메트리제이션 가능성, 비메트리제이션 가능성, 유전적 분리성 등에 따라 어떤 원형이 정규적으로 삽입되는지를 정확히 규정한다. - **분석적 부분공간(analytic subspace)**: K와 닫힌 부분공간 C가 ‘분석적’이라는 정의를 제시한다. 이는 가산 조밀 집합과 분석적 집합 A⊂