아주 I 우호적 공간의 새로운 특성

본 논문은 ‘아주 I‑우호적’ 공간이라는 새로운 위상적 클래스를 정의하고, 이를 역시스템 이론과 d‑열린 사상이라는 도구를 이용해 완전히 기술한다. 먼저, I‑우호적 게임과 그 변형인 ‘오픈‑오픈’ 게임을 소개한다. 이 게임에서 플레이어 I는 매 라운드마다 비공집합 열린 집합을 선택하고, 플레이어 II는 그 안에서 또 다른 비공집합 열린 집합을 선택한다. I가 선택한 모든 II의 집합들의 합이 전체 공간에 조밀하면 I가 승리한다. ‘아주 I‑우호적’은 이 게임에서 I가 강한 승리 전략(strong winning strategy)을 가질 때를 의미한다. 강한 승리 전략의 존재는 클럽 구조와 동치임을 보인다. 구체적으로, 위상 TX의 가산 부분집합들 중에서 !TX(특정 분리성 조건을 만족하는 집합) 안에 포함되는 집합들의 모임이 클럽을 이룰 경우, 강한 승리 전략을 구성할 수 있다. 반대로, 강한 승리 전략이 주어지면 해당 클럽을 정의할 수 있다. 이와 같은 등가성은 Lemma 2.4와 Proposition 2.5에서 상세히 증명된다. 다음으로, d‑열린 사상의 정의와 그 성질을 제시한다. 연속 사상 f:X→Y가 d‑열린이면, 임의의 열린 집합 U⊂X에 대해 f(U)⊂Int cl f(U) 가 성립한다. Proposition 2.1에서는 이 정의가 폐쇄와 역상 연산이 교환되는 조건, 그리고 역상들의 집합이 !TX에 포함되는 조건과 동치임을 증명한다. 또한, d‑열린 사상은 스켈레톤(skeletal) 사상의 일반화이며, 스켈레톤 사상보다 강한 성질을 가진다. 핵심 결과인 Theorem 3.3은 ‘아주 I‑우호적’ 하우스도르프 공간 X가 σ‑완비 역시스템 S={XA, qAB, C}의 거의극한(a‑lim←S)으로 표현될 수 있음을 보인다. 여기서 각 XA는 가산 무게를 가진 2차 가산 공간이며, 결합 사상 qAB는 d‑열린 전사이다. 증명은 다음과 같다. 먼저, 클럽 C⊂{P∈