분리 가능한 연속체가 H 의 여분이 될 수 없다는 결과

본 논문은 “분리 가능한 연속체가 H*의 여분이 될 수 없는” 사례를 OCA(열린 색칠 공리)를 가정하여 구성한다. 서론에서는 N*‑이미지와 H*‑이미지에 관한 기존 결과들을 정리한다. CH(연속체 가설) 하에서는 무게 ≤ c인 모든 컴팩트 하우스도르프 공간이 N*‑이미지이며, 같은 가설 아래에서는 무게 ≤ c인 모든 연속체가 H*‑이미지라는 평행성이 알려져 있다. 그러나 이러한 평행성이 분리 가능한 경우에도 성립하는지는 미해결 문제였으며, 저자들은 이를 부정한다. 1. **예비 지식** - βX와 X*의 표기법을 정리하고, 폐집합 F⊆X에 대해 βF와 F*를 정의한다. - Proposition 1.1은 H* 안의 두 불연속 폐집합을 서로 교차하지 않는 구간들로 구분할 수 있음을 보인다. - Lemma 1.2는 연속체의 구성요소가 불가분(irreducible)일 때, βF의 각 컴포넌트도 동일한 성질을 유지함을 증명한다. - OCA의 핵심 내용: X가 가산 메트릭 공간이고